Quantitative Verification

A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
event

Visible to the public  FM 2015
Jun 22, 2015 8:00 am - Jun 26, 2015 5:00 pm CEST

20th International Symposium on Formal Methods

SCOPE AND TOPICS

forum

Visible to the public CfP: FM2015

FM 2015

20th International Symposium on Formal Methods

Oslo, Norway, June 22-26, 2015

http://fm2015.ifi.uio.no/


Call for Papers

IMPORTANT DATES:

Jan 2 Abstract submission deadline
Jan 9 Full paper submission deadline
March 23 Notification
June 22-26 Conference

CALL FOR PAPERS

event

Visible to the public  WoSoCer 2014
Nov 03, 2014 8:00 am - Nov 08, 2014 5:00 pm CET

The 4th International IEEE Workshop on Software Certification (WoSoCer 2014)

http://cecris-project.eu/wosocer2014

3-6 November 2014, Naples, Italy

The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014.

We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.

forum

Visible to the public CfP: 4th IEEE Int'l Workshop on Software Certification - WoSoCer, 3-6 Nov 2014

The 4th International IEEE Workshop on Software Certification (WoSoCer 2014)

http://cecris-project.eu/wosocer2014

3-6 November 2014, Naples, Italy

The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014.

We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.

event

Visible to the public  NSV 2014
Jul 17, 2014 8:00 am - Jul 18, 2014 5:00 pm CEST

7th International Workshop on Numerical Software Verification

July 17-18, 2014

A Satellite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014

Novelty of this edition

forum

Visible to the public Deadline Approaching: Numerical Software Verification 2014

7th International Workshop on Numerical Software Verification

July 17-18, 2014

A Sattelite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014
Vienna, Austria


Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14


Important Dates
===============
Submissions deadline: March 20th 2014.
Notification: May 4th 2014.
Final version: May 25th 2014.
Workshop: July 17th-18th 2014.

event

Visible to the public  MEMOCODE'14
Oct 19, 2014 8:00 am - Oct 21, 2014 6:00 pm CEST

12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14)
Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland, 19-21 October, 2014