FORTE 2014: 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems

A DisCoTec Member Conference

June 3-5, 2014, Berlin, Germany

PC Chairs

Programme Committee

Myrto Arapinis (University of Edinbourgh, UK)
Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina)
Paul C. Attie (American University of Beirut, Lebanon)
Dirk Beyer (University of Passau, Germany)
Frank de Boer (LIACS/CWI, The Netherlands)
Michele Boreale (Univeristy of Florence, Italy)
Johannes Borgström (Uppsala University, Sweden)
Roberto Bruni (University of Pisa, Italy)
Yuxin Deng (Shanghai Jiaotong University, China)
Yliès Falcone (University of Grenoble, France)
Daniele Gorla (Sapienza Università di Roma, Italy)
Susanne Graf (CNRS/VERIMAG, France)
Rachid Guerraoui (EPFL, Switzerland)
Klaus Havelund (NASA/JPL, USA)
Alberto Lluch Lafuente (IMT Lucca, Italy)
Axel Legay (IRISA/INRIA at Rennes, France)
Jay Ligatti (University of South Florida, USA)
Antonia Lopes (University of Lisbon, Portugal)
Sjouke Mauw (University of Luxembourg, Luxembourg)
Annabelle McIver (Macquarie University, Australia)
Sebastian Mödersheim (Technical University of Denmark, Denmark)
Peter Csaba Ölveczky (University of Oslo, Norway)
Doron Peled (Bar Ilan University, Israel)
Anna Philippou (University of Cyprus, Cyprus)
Sanjiva Prasad (Indian Institute of Technology Delhi, India)
Sophie Quinton (INRIA, France)
Ana Sokolova (University of Salzburg, Austria)
Heike Wehrheim (University of Paderborn, Germany)

Steering Committee

Dirk Beyer (University of Passau, Germany)
Frank de Boer (LIACS/CWI, The Netherlands)
Michele Boreale (University of Florence, Italy)
Roberto Bruni (University of Pisa, Italy)
Juergen Dingel (Queens's University, Canada)
Holger Giese (University of Potsdam, Germany)
Einar Broch Johnsen (University of Oslo, Norway)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Jean-Bernard Stefani (INRIA, France)
Heike Wehrheim (University of Paderborn, Germany)