Program and Organization Commitees
General Chairs
- Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
- Tetsuo Ida (University of Tsukuba, Japan)
Program Chairs
- Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
- Andrei Voronkov (University of Manchester, UK)
Local Chair
- Mohamed Bécha Kaâniche (University of Carthage, Tunisia)
Program Committee
- Elvira Albert (Complutense University of Madrid)
- Adel Bouhoula (Higher School of Communications of Tunis)
- James H. Davenport (University of Bath)
- Roberto Giacobazzi (University of Verona)
- Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
- Nao Hirokawa (JAIST)
- Tetsuo Ida (University of Tsukuba)
- Florent Jacquemard (INRIA - IRCAM)
- Laura Kovacs (Chalmers University of Technology)
- Temur Kutsia (RISC, Johannes Kepler University Linz) - chair
- Ali Mili (NJIT)
- Joel Ouaknine (Department of Computer Science, Oxford University)
- Ruzica Piskac (Yale University)
- Andrei Voronkov (University of Manchester) - chair
- Dongming Wang (Beihang University and UPMC-CNRS)
