Home Page
Participants
Research and Integration
Dissemination
Embedded System Links
intranet
»
Dissemination
»
Schools and Seminars
»
ARTIST Quantitative Model Checking Winter School 2012
Dissemination
Workshops
Past Workshops
Schools and Seminars
International Collaboration
Publications
Contributions to Standards
Course Materials Available Online
ARTIST followup
EMSIG website
more info
Subscriptions
ARTIST Mailing List
ARTIST Quantitative Model Checking Winter School 2012
Overview
Registration
Lecturers
Program
Social event
Travel & Local Information
Organizers
February 27th - March 1st 2012 Copenhagen, Denmark
organised and funded by ARTIST
Organizers
The PhD school is organized by
Kim G. Larsen
,
Axel Legay
and
Andrzej Wąsowski
(program co-chairs),
Louis-Marie Traonouez
and
Fabrizio Biondi
(local organizers).
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009
Réalisation Axome
-
Création de sites Internet