Our apologies if you have received multiple copies. ************************************* * Call for Participation * *************************************
12th International Conference on Software Engineering and Formal Methods Grenoble, France September 1-5, 2014 http://sefm2014.inria.fr/ ************************************* ***** Dates ***** - Workshops: September 1-2, 2014 - Conference: September 3-5, 2014 ***** Keynote Speakers ***** - Xavier Leroy "Formal proofs of code generation and verification tools" (9:00-10:00, Spetember 3, 2014) - Joost-Pieter Kaoten "Model Checking Gigantic Markov Models" (9:00-10:00, Spetember 4, 2014) - Patrice Godefroid "500 Machine-Years of Software Model Checking and SMT Solving" (9:00-10:00, Spetember 5, 2014) ***** Conference Program ***** Eight exciting sessions of best research & practice papers presenting current researches and applications of software engineering and formal methods. For more details, please check http://sefm2014.inria.fr/program/ ***** Worshops ***** Five colocated workshops gathering both local and international, academic and industrial professionals, for promising discussions - HOFM 2014: Human-Oriented Formal Methods 2014 (September 1, 2014) - MoKMaSD 2014 : 3RD INTERNATIONAL SYMPOSIUM ON Modelling and Knowledge Management applications : Systems and Domains (September 2, 2014) - OpenCert 2014 : 8th International Workshop on Foundations and Techniques for Open Source Software Certification (September 1, 2014) - SaFoMe 2014 : 1st International Workshop on Safety and Formal Methods (September 1, 2014) - WS-FMDS 2014 : 4th Workshop on Formal Methods in the Development of Software (September 2, 2014) For more details, please see http://sefm2014.inria.fr/workshops/ ***** Registration Fees ***** Early Registration: Up to 20 July, 2014 - workshop 1 day: 70 (student); 90 (full) - workshop 2 days: 130 (student); 160 (full) - conference: 330 (student); 370 (full) Late Registration: From 21 July, 2014 - workshop 1 day: 100 (student); 120 (full) - workshop 2 days: 160 (student); 190 (full) - conference: 380 (student); 420 (full) Register Now at http://sefm2014.inria.fr/registration/ ************************************* ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
