Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Participation: SEFM 2014

Email Gateway (Aug 19 2022 at 15:03):

From: lina.ye@inria.fr
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/

Last updated: Apr 24 2024 at 20:16 UTC