Quantitative Model Checking 2010

March 2-5, 2010      IT University Copenhagen, Denmark organised and funded by ARTIST 

Participants

Invited Speakers

Christel Baier, Technische Universität Dresden, Germany
Patricia Bouyer-Decitre, École Normale Supérieure de Cachan, France
Alessandro Cimatti, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy
Martin Fränzle, Universität Oldenburg, Germany
Goran Frehse, Université Joseph Fourier Grenoble 1, France
Keijo Heljanko, Aalto University, Helsinki, Finland
Joost-Pieter Katoen, RWTH Aachen, Germany
Kim G. Larsen, Aalborg University, Denmark
Nicolas Markey, École Normale Supérieure de Cachan, France
David Parker, University of Oxford, UK
Jean-François Raskin, Université Libre de Bruxelles, Belgium
Pierre Wolper, Université de Liege, Belgium

Participants

Aida Omerovic SINTEF Oslo Norway
Alberto Delgado IT University of Copenhagen Denmark
Alberto Salmerón Moreno University of Málaga Spain
Alejandro Hernandez Technical University of Denmark Denmark
Alexey Voronov Chalmers University of Technology Sweden
Alfredo Motta Politecnico di Milano Italy
Amelie Stainer INRIA Rennes France
Amir Molzam Sharifloo Politecnico di Milano Italy
Andrea Cerone Trinity College Dublin Ireland
Andreas E. Dalsgaard Aalborg University Denmark
Andreas Haas University of Salzburg Austria
Anton Tarasyuk Åbo Akademi University Finland
Arjun Radhakrishna Institute for Science and Technology Austria
Benjamin Monmege ENS Cachan France
Benoit Delahaye IRISA Rennes France
Bo Friis Nielsen Technical University of Denmark Denmark
Carl M Torstensson Chalmers University of Technology Sweden
Christoffer Sloth Aalborg University Denmark
Claus Thrane Aalborg University Denmark
Cristian Prisacariu University of Oslo Norway
Dario Pacino IT University of Copenhagen Denmark
Dimitar P Guelev Academy of Sciences Bulgaria
Ender Yuksel Technical University of Denmark Denmark
Feng Zhou University of Southern Denmark Denmark
Flemming Nielson Technical University of Denmark Denmark
Florian Leitner-Fischer University of Konstanz Germany
Francesco Calzolai University of Florence Italy
Fuyuan Zhang Technical University of Denmark Denmark
Hanne Riis Nielson Technical University of Denmark Denmark
Hilal Djafri ENS Cachan France
Hua Mao Aalborg University Denmark
Jana Tumova Masaryk University Brno Czechia
Jesper Pedersen Notander Lund University Sweden
Jonas van Vliet Aalborg University Denmark
Jörg Brauer RWTH Aachen University Germany
Julie De Pril University of Mons Belgium
K.C. Shashidhar Fraunhofer IESE Germany
Karl Berntorp Lund University Sweden
Kebin Zeng Technical University of Denmark Denmark
Kenneth Yrke Joergensen Aalborg University Denmark
Lasse Jacobsen Aalborg University Denmark
Laura Panizo Jaime University of Málaga Spain
Liliana D’Errico University of Florence Italy
Line Juhl Aalborg University Denmark
Loïc Paulevé IRCCyN Nantes France
Luz Judith Rodriguez Esparza Technical University of Denmark Denmark
Mads Chr. Olesen Aalborg University Denmark
Magnus Persson Royal Institute of Technology Sweden
Mahsa Shirmohammadi Université Libre de Bruxelles Belgium
Marc Ducobu University of Mons Belgium
Marcello M. Bersani Politecnico di Milano Italy
Markus Weißmann Technische Universität München Germany
Martin Toft Aalborg University Denmark
Mickael Randour University of Mons Belgium
Mihail-Octavian Staicu University of Namur Belgium
Mikael H. Moeller Aalborg University Denmark
Mikkel Larsen Pedersen Aalborg University Denmark
Mohammad Reza Shoaei Chalmers University of Technology Sweden
Morten Jacobsen Aalborg University Denmark
Musard Balliu Royal Institute of Technology Sweden
Nataliya Skrypnyuk Technical University of Denmark Denmark
Petur Olsen Aalborg University Denmark
Philippe Chaput ENS Cachan France
Piotr Filipiuk Technical University of Denmark Denmark
Raghava Rao Mukkamala IT University of Copenhagen Denmark
Rastislav Lenhardt University of Oxford England
Roland Kindermann Aalto University Finland
Romain Brenguier ENS Cachan France
Sabrina von Styp RWTH Aachen University Germany
Sajed Miremadi Chalmers University of Technology Sweden
Saleem Vighio Aalborg University Denmark
Sandie Balaguer ENS Cachan France
Sébastien Chédor INRIA Rennes France
Sérgio Daniel Pequito Technical University of Lisbon Portugal
Sergiy Bogomolov University of Freiburg Germany
Stephanie Kemper Centrum Wiskunde & Informatica Netherlands
Thomas Bøgholm Aalborg University Denmark
Valentin Goranko Technical University of Denmark Denmark
Wei Guan University of Southern Denmark Denmark
Yingke Chen Aalborg University Denmark
Ylies Falcone INRIA Rennes France
Zhennan Fei Chalmers University of Technology Sweden

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet