Quantitative Verification

A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
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

forum

Visible to the public GTTSE 2015 -- Call for Participation

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

Sunday 23 Aug - Saturday 29 Aug, 2015, Braga, Portugal
http://gttse.wikidot.com/

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

event

Visible to the public  GraMSec 2015
Jul 13, 2015 8:00 am - 5:00 pm CEST

The Second International Workshop on Graphical Models for Security (GraMSec 2015)

Co-located with CSF 2015

Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. Formal methods and computer security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes.

forum

Visible to the public CfP: Graphical Models for Security - July 13

The Second International Workshop on Graphical Models for Security (GraMSec 2015)

Co-located with CSF 2015

July 13, 2015, Verona, Italy
http://gramsec.uni.lu/

Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. Formal methods and computer security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes.

forum

Visible to the public Extended Deadline QAPL 2015

SECOND CALL FOR PAPERS - Extended Deadline 13th Workshop on Quantitative
Aspects of Programming Languages and Systems (QAPL 2015)

Affiliated with ETAPS 2015 April 11 - 12, 2015, London, United Kingdom

http://qapl15.inria.fr

SCOPE:

forum

Visible to the public 2nd CFP: 20th Intl. Symposium on Formal Methods (FM 2015), Oslo

Call for Papers: 20th International Symposium on Formal Methods

Oslo, Norway, June 22-26, 2015

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

NEWS:

There will be special issues of the Journals

  • Acta Informatica
  • Formal Aspects of Computing

featuring selected papers from FM 2015.

IMPORTANT DATES:

event

Visible to the public  NSV 2015
Apr 13, 2015 8:00 am - Apr 13, 2015 5:00 pm PDT

The 8th International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA

Web Page: http://nsv2015.informatik.uni-freiburg.de/

Scope

forum

Visible to the public CfP: NSV 2015

8th International Workshop on Numerical Software Verification

April 13, 2015 | Cyber-Physical Week 2015 | Seattle, WA, USA

Web Page: http://nsv2015.informatik.uni-freiburg.de/

Important Dates