[pakgrid] Quantitative Model Checking PhD School

 

Quantitative Model Checking PhD School

February 27th - March 1st 2012      Copenhagen, Denmark

http://www.artist-embedded.org/artist/Overview,2414.html

The PhD school on quantivative model checking, QMC 2012, is organized by the European Network of Excellence ARTIST Design and the Danish VKR Center of Excellence MT-LAB and takes place at the IT University Copenhagen from the 27 of February to the 1st of March 2012. It features lectures and other activities by world-renowned experts within the areas of real-time, probabilistic, and hybrid model checking. The lectures will present advances within this broad field of quantitative model checking, providing an in-depth account of state-of-the-art modeling and logical formalisms, model checking algorithms as well as practical applications and offering hands-on experience of state-of-the art quantitative model checking tools.

__._,_.___

Reply to sender | Reply to group | Reply via web post | Start a New Topic

Messages in this topic (1)

Recent Activity:

• New Members 11

Visit Your Group

Switch to: Text-Only, Daily Digest • Unsubscribe • Terms of Use

.

__,_._,___