[Om-announce] Call for Participation: SEFM 2014
lina.ye at inria.fr
lina.ye at inria.fr
Fri Jul 4 14:27:11 CEST 2014
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/
*************************************
More information about the Om-announce
mailing list