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/ ************************************* ------------------------------------------------------------------------------ Open source business process management suite built on Java and Eclipse Turn processes into business applications with Bonita BPM Community Edition Quickly connect people, data, and systems into organized workflows Winner of BOSSIE, CODIE, OW2 and Gartner awards http://p.sf.net/sfu/Bonitasoft _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
