---
ICFEM 2013 CALL FOR PARTICIPATIONS
---
15th International Conference on Formal Engineering Methods (ICFEM 2013)
Queenstown, New Zealand, 29 October - 1 November 2013
http://www.cs.auckland.ac.nz/icfem2013/
The 15th
CALL FOR PAPERS:
Formal Methods 2014 (FM 2014)
19th International Symposium on Formal Methods
Singapore, May 14-16, 2014
http://www.comp.nus.edu.sg/~pat/FM2014/
FM 2014 is the nineteenth in a series of symposia organized by
Formal Methods Europe, an independent association whose aim is
to
MCS Special Issue:
Formal Proofs for Mathematics and Computer Science
http://www-sop.inria.fr/marelle/MCS-FP-2013/
CALL FOR PAPERS
We invite submission of papers on Proof Formalization
for possible publication in this Mathematics in Computer
Science (MCS) special issue.
Deadlines: