Organization

The key organizers and committees driving CMSB 2024.

Conference organizers

Roberta Gori, University of Pisa (Italy)
Paolo Milazzo, University of Pisa (Italy)
Mirco Tribastone, IMT School for Advanced Studies Lucca (Italy)

Programme committee

Alona Ben-Tal, University of Auckland (New Zaeland)
Daniela Besozzi, University of Milano-Bicocca (Italy)
Luca Bortolussi, University of Trieste (Italy)
Linda Brodo, University of Sassari (Italy)
Roberto Bruni, Univerity of Pisa (Italy)
Luca Cardelli, University of Oxford (UK)
Milan Ceska, Brno University of Technology (Czech Republic)
Eugenio Cinquemani, Inria [ Grenoble-Rhône-Alpes (France)
David Doty, University of California (Davis)
François Fages, Inria Saclay (France)
Jérôme Feret, École normale supérieure (France)
Roberta Gori, University of Pisa (Italy) - co-chair
Ashutosh Gupta, Indian Institute of Technology Bombay (India)
Monika Heiner, Brandenburg Technical University Cottbus-Senftenberg (Germany)
Jane Hillston, University of Edinburgh (UK)
Paolo Milazzo, University of Pisa (Italy)
Pedro T. Monteiro, University of Lisbon (Portugal)
Jun Pang, University of Luxembourg (Luxembourg)
Loïc Paulevé, CNRS (France)
Andrei Paun, University of Bucharest (Romania)
Sabine Peres, University of Lyon (France)
Ion Petre, University of Turku (Finland)
Tatjana Petrov, University of Konstanz (Germany)
Gelb Pogudin, Ecole Polytechnique (France)
David Šafránek, Masaryk University (Czech Republic)
Albin Salazar, Ecole Normale Supérieure (France)
Carolyn Talcott SRI International (USA)
Mirco Tribastone, IMT School for Advanced Studies Lucca (Italy) - co-chair
Max Tschaikowski, Aalborg University (Denmark)
Adelinde Uhrmacher, University of Rostock (Germany)
Andrea Vandin, Sant’Anna School of Advanced Studies, Pisa (Italy)
Verena Wolf, Saarland University (Germany)
Christoph Zechner, Max Planck Institute (Germany)

Organizing committee

Linda Brodo, University of Sassari (Italy)
Martina Cirinciani, University of Pisa (Italy)
Alessandro Dipalma, University of Pisa (Italy)
Moreno Falaschi, University of Siena (Italy)
Silvia Giulia Galfrè, University of Pisa (Italy)
Roberta Gori, University of Pisa (Italy)
Paolo Milazzo, University of Pisa (Italy)
Giang Pham, University of Pisa (Italy)
Mirco Tribastone, IMT School for Advanced Studies Lucca (Italy)

Steering committee

Luca Cardelli, University of Oxford (UK)
Eugenio Cinquemani, Inria Grenoble-Rhône-Alpes (France) – guest member
François Fages, Inria Saclay (France)
Roberta Gori, University of Pisa (Italy)
Monika Heiner, Brandenburg Technical University Cottbus-Senftenberg (Germany)
Satoru Miyano, University of Tokyo (Japan)
Joachim Niehren, Inria Lille (France) – guest member
Jun Pang, University of Luxembourg (Luxembourg) – guest member
Loïc Paulevé, CNRS, Bordeaux (France) – guest member
Andrei Paun, University of Bucharest (Romania) – guest member
Ion Petre, University of Turku (Finland)
Gordon Plotkin, University of Edinburgh (UK)
Corrado Priami, University of Pisa (Italy)
Carolyn Talcott SRI International (USA)
Mirco Tribastone, IMT School for Advanced Studies Lucca (Italy)
Adelinde Uhrmacher, University of Rostock (Germany)