WRLA 2024

Luxembourg city. Photo by Manu on Unsplash

Program Committee

  • Erika Abraham, RWTH Aachen, Germany
  • Kyungmin Bae, POSTECH, Korea
  • Roberto Bruni, Università di Pisa, Italy
  • Canh Minh Do, JAIST, Japan
  • Francisco Durán, Universidad de Málaga, Spain
  • Santiago Escobar, Universitat Politècnica de València, Spain
  • Maribel Fernández, King's College London, United Kingdom
  • Nao Hirokawa, JAIST, Japan
  • Alexander Knapp, University Augsburg, Germany
  • Temur Kutsia, Johannes Kepler University Linz, Austria
  • Alberto Lluch-Lafuente, Technical University of Denmark, Denmark
  • Dorel Lucanu, Alexandru Ioan Cuza University, Romania
  • Salvador Lucas, Universitat Politècnica de València, Spain
  • Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain
  • José Meseguer, University of Illinois at Urbana-Champaign, USA
  • Aart Middeldorp, University of Innsbruck, Austria
  • Masaki Nakamura, Toyama Prefectural University, Japan
  • Kazuhiro Ogata, JAIST, Japan, Chair
  • Peter Ölveczky, University of Oslo, Norway
  • Adrián Riesco, Universidad Complutense de Madrid, Spain
  • Christophe Ringeissen, INRIA, France
  • Camilo Rocha, Pontificia Universidad Javeriana, Colombia
  • Traian-Florin Serbanuta, University of Bucharest, Romania
  • Carolyn Talcott, SRI International, USA

Steering Committee

  • Kokichi Futatsugi, JAIST, Japan
  • Claude Kirchner, INRIA Research Center Bordeaux - Sud-Ouest, France
  • Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain
  • José Meseguer, University of Illinois at Urbana-Champaign, USA
  • Ugo Montanari, University of Pisa, Italy
  • Grigore Rosu, University of Illinois at Urbana-Champaign, USA
  • Carolyn Talcott, SRI International, USA
  • Martin Wirsing, Ludwig Maximilians Universität München, Germany

Publicity chair

  • Duong Dinh Tran, JAIST, Japan