Committees

Programme Committee Chairs

Alexandre Madeira, University of Aveiro, Portugal
Alexander Knapp, University of Augsburg, Germany

Programme Committee

With great sadness and a feeling of a heartbreaking premature loss, the SEFM community learned that Prof. Rance Cleaveland passed away on the 27th March. A remarkable computer scientist, with outstanding contributions in developing theoretical and applied formal methods, a friend of this conference, in which 2024 PC he accepted to serve, a mentor for many, and an excellent person, Rance will be missed very dearly.

Luis S. Barbosa, University of Minho
Mario Bravetti, University of Bologna
Radu Calinescu, University of York
Taolue Chen, Birkbeck, University of London
Alcino Cunha, University of Minho
Carla Ferreira, Universidade NOVA de Lisboa
João Ferreira University of Lisbon
Adrian Francalanza, University of Malta
Hubert Garavel, INRIA
Mario Gleirscher, University of Bremen
Marie-Christine Jakobs, LMU Munich
Christian Johansen, Norwegian University of Science and Technology
Daniela Kaufmann, TU Wien
Alexander Knapp, University of Augsburg (co-chair)
Burcu Kulahcioglu Ozkan, Delft University of Technology
Alexandre Madeira, University of Aveiro (co-chair)
Manuel A. Martins, University of Aveiro
Marjan Mernik, University of Maribor
Charles Morisset, Newcastle University
Stephan Merz, Inria Nancy
Renato Neves, University of Minho
Rocco De Nicola, IMT - School for Advanced Studies Lucca
Peter Ölveczky, University of Oslo
Jovanka Pantovic, University of Novi Sad, Faculty of Technical Sciences
Carlos Pombo, University of Buenos Aires
José Proença, University of Porto
Gwen Salaün, Université Grenoble Alpes
Augusto Sampaio, Federal university of Pernambuco
Marjan Sirjani, Malardalen University
Ana Sokolova, University of Salzburg
Pierre-Yves Schobbens, University of Namur
Meng Sun, Peking University
Bernardo Toninho, Universidade Nova de Lisboa and NOVA-LINCS
Ionut Tutu, Romanian Academy
Tim Willemse, Eindhoven University of Technology

Artefact Evaluation Committee Chair

Marie-Christine Jakobs, LMU Munich, Germany

Artefact Evaluation Committee

Zsófia Ádám, Budapest University of Technology and Economics, Hungary
Alessio Coltellacci, INRIA, France
Simon Dierl, TU Dortmund, Germany
Jan Haltermann, Carl von Ossietzky University of Oldenburg, Germany
Marek Jankola, LMU Munich, Germany
Joabe Jesus, University of Pernambuco, Brazil
Eduard Kamburjan, University of Oslo, Norway
Bjørnar Luteberget, SINTEF Digital, Norway
Agustín Eloy Martinez Suñé, Universidad de Buenos Aires, Argentina
James Ortiz, University of Nmaur, Belgium
Cedric Richter, Carl von Ossietzky University of Oldenburg, Germany
Martin Tappler, TU Wien, Austria

Steering Committee

Radu Calinescu, University of York, UK
Antonio Cerone, Nazarbayev University, Kazakhstan
Rocco De Nicola, IMT - School for Advanced Studies Lucca, Italy
Gwen Salaün, University of Grenoble Alpes, France
Marjan Sirjani, Malardalen University, Sweden
Bernd-Holger Schlingloff, Fraunhofer FOKUS and Humboldt University of Berlin, Germany
Ming Chai, Beijing Jiaotong University, China

Local Organisation

Juliana Cunha, University of Aveiro, Portugal
Antonio Iglesias, University of Aveiro, Portugal
Alexandre Madeira, University of Aveiro, Portugal
Manuel Martins, University of Aveiro, Portugal
Renato Neves, University of Minho, Portugal
José Proença, University of Porto, Portugal

Website

José Proença, University of Porto, Portugal

Edit the content of this page here.