[Hol-info] [fm-announcements] Last Call for Papers: NASA Formal Methods (NFM) 2014

2013-11-05 Thread Kristin Yvonne Rozier
** The Sixth NASA Formal Methods Symposium http://www.NASAFormalMethods.org/ 29 April - 1 May 2014 NASA Johnson Space Center, Houston, Texas, USA ** Theme of the Symp

[Hol-info] Call for participation: APLAS and CPP 2013

2013-11-05 Thread Peter Schachte
= FINAL CALL FOR PARTICIPATION APLAS: 11th Asian Symposium on Programming Languages and Systems CPP: 3rd International Conference on Certified Programs and Proofs 9-13 December 2013 (APLAS 9-11 December; CPP 11-13 December) Melbourne