Quantitative Verification

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

Visible to the public CALL FOR PAPERS: The 27th International Conference on Concurrency Theory (CONCUR2016)

CALL FOR PAPERS

The 27th International Conference on Concurrency Theory (CONCUR2016)

Quebec City, Canada | 23-26 August 2016 | http://www.concur2016.ulaval.ca/

co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).

forum

Visible to the public First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems

FIRST CALL FOR PAPERS

Special Issue of the SCP on Automated Verification of Critical Systems

Science of Computer Programming | Special Issue on Automated Verification of Critical Systems

Guest editors: Gudmund Grov & Andrew Ireland

forum

Visible to the public CfP: 5th IEEE Intl. Workshop on Software Certification (WoSoCer 2015)

CALL FOR PAPERS

The 5th International IEEE Workshop on Software Certification (WoSoCer 2015)

November 2-5, 2015, Washington DC, USA

HIGHLIGHTS

event

Visible to the public  GTTSE 2015
Aug 23, 2015 8:00 am - Aug 29, 2015 6:00 pm -04

The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE)

Registration is open for participants!
http://gttse.wikidot.com/2015:registration

There is a students' workshop to which one may submit.
http://gttse.wikidot.com/2015:students-workshop

List of speakers