[TYPES/announce] Call for Participation: SEFM 2014

lina.ye at inria.fr lina.ye at inria.fr
Fri Jul 4 08:27:13 EDT 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 Types-announce mailing list