Workshop on Logic, Language and Information
edit SideBar
|
Committees
Steering Committee
Farhad Arbab (chair) | CWI and Leiden University, The Netherlands |
Luís Soares Barbosa | Universidade do Minho, Portugal |
Christiano Braga | Universidade Federal Fluminense, Brazil |
Carlos Canal | University of Málaga, Spain |
Ivan Lanese | University of Bologna/INRIA, Italy |
Zhiming Liu | Birmingham City University, United Kingdom |
Markus Lumpe | Swinburne University of Technology, Australia |
Eric Madelaine | INRIA Sophia Antipolis, France |
Peter Csaba Ölveczky | University of Oslo, Norway |
Corina Pasareanu | NASA Ames, USA |
Bernhard Schätz | fortiss GmbH, Germany |
Program Committee Chairs
Program Committee
Dalal Alrajeh | Imperial College, UK |
Farhad Arbab | CWI and Leiden University, The Netherlands |
Cyrille Artho | AIST, Japan |
Kyungmin Bae | Carnegie Mellon University, USA |
Luis Barbosa | Universidade do Minho, Portugal |
Christiano Braga | Universidade Federal Fluminense, Brazil |
Roberto Bruni | Universita di Pisa, Italy |
Carlos Canal | University of Malaga, Spain |
Ana Cavalcanti | University of York, UK |
Jose Luiz Fiadeiro | Royal Holloway University of London, UK |
Bernd Fischer | Stellenbosch University, South Africa |
Marcelo Frias | Buenos Aires Institute of Technology, Argentina |
Rolf Hennicker | Ludwig-Maximilians-Universitat Munchen, Germany |
Ramtin Khosravi | University of Tehran, Iran |
Ivan Lanese | University of Bologna/INRIA, Italy |
Axel Legay | IRISA/INRIA, France |
Zhiming Liu | Birmingham City University, UK |
Alberto Lluch Lafuente | Technical University of Denmark, Denmark |
Markus Lumpe | Swinburne University of Technology, Australia |
Eric Madelaine | INRIA, France |
Robi Malik | University of Waikato, New Zealand |
Hernán Melgratti | University of Buenos Aires, Argentina |
Alvaro Moreira | Universidade Federal do Rio Grande do Sul, Brazil |
Arnaldo Moura | Universidade Estadual de Campinas, Brazil |
Thomas Noll | RWTH Aachen University, Germany |
Peter Csaba Ölveczky | University of Oslo, Norway |
Corina Pasareanu | CMU/NASA Ames, USA |
Frantisek Plasil | Charles University, Czech Republic |
Augusto Sampaio | Universidade Federal de Pernambuco, Brazil |
Camilo Rocha | Escuela Colombiana de Ingenieria, Colombia |
Gwen Salaun | Grenoble INP - INRIA - LIG, France |
Ralf Sasse | ETH Zürich, Switzerland |
Bernhard Schätz | fortiss GmbH, Germany |
Organizing Committee
|