Participants

  • Andrei Arusoaie (Alexandru Ioan Cuza University of Iași)
  • Péter Bereczky (Eötvös Loránd University)
  • Radu Traian Bobe (University of Bucharest)
  • Rodica Ceterchi (University of Bucharest)
  • Horațiu Cheval (University of Bucharest)
  • Denisa Diaconescu (University of Bucharest)
  • Andrei Drăghici (University of Oxford)
  • Nicoleta Dumitru (University of Bucharest)
  • Mădălina Erașcu (West University of Timișoara)
  • Radu Iosif (CNRS-VERIMAG)
  • Gabriel Istrate (University of Bucharest)
  • Ulrich Kohlenbach (Technische Universität Darmstadt)
  • Ioana Leuștean (University of Bucharest)
  • Laurențiu Leuștean (ILDS & University of Bucharest & IMAR)
  • Dorel Lucanu (Alexandru Ioan Cuza University of Iași)
  • Bogdan Macovei (University of Bucharest)
  • Mircea Marin (West University of Timișoara)
  • Flávio L. C. de Moura (Universidade de Brasília)
  • Eugenio Omodeo (Università degli Studi di Trieste)
  • Natalia Ozunu (University of Bucharest)
  • Ana Pantilie (Runtime Verification)
  • Thomas Powell (University of Bath)
  • Mihai Prunescu (University of Bucharest)
  • Vlad Rusu (INRIA)
  • Lorenzo Sauras-Altuzarra (Vienna University of Technology)
  • Andrei Sipoș (ILDS & University of Bucharest & IMAR)
  • Alin Ștefănescu (University of Bucharest)
  • Gheorghe Ștefănescu (University of Bucharest)
  • Anda Toma (University of Bucharest)
  • Dafina Trufaș (University of Bucharest)
  • Alicia Villanueva (Universitat Politècnica de València)
  • Alexandru Weng (TU Wien)