Quantitative Verification

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

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