20 Oct 21:19 2014

### CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

Michael Winter <mwinter <at> brocku.ca>

2014-10-20 19:19:13 GMT

2014-10-20 19:19:13 GMT

CALL FOR PAPERS 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015) 28 September to 1 October 2015, Braga, Portugal URL: http://ramics2015.di.uminho.pt PDF: http://ramics2015.di.uminho.pt/RAMiCS15-CFP.pdf Scope ----- We invite submissions in the general area of Relational and Algebraic Methods in Computer Science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Particular topics of interest for the conference cover, but are not limited to: * Algebraic approaches to - specification, development, verification, and analysis of programs and algorithms - computational logic, in particular logics of programs, modal and dynamic logics, interval and temporal logics - semantics of programming languages * Applications in fields such as - relational formal methods such as B or Z, tabular methods - information systems(Continue reading)