A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
event
Submitted by Anonymous on Mon, 07/21/2014 - 12:03pm
20th International Symposium on Formal Methods
SCOPE AND TOPICS
forum
Submitted by Anonymous on Mon, 07/21/2014 - 11:57am
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
Submitted by Anonymous on Fri, 07/11/2014 - 11:43am
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
Submitted by Anonymous on Fri, 07/11/2014 - 11:38am
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
Submitted by Anonymous on Wed, 03/26/2014 - 11:01am
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
Submitted by Anonymous on Wed, 03/26/2014 - 10:57am
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.
