IWIL Program Committee

• Peter Baumgartner (National ICT Australia)
• Guillaume Burel (ENSIIE/CÉDRIC)
• Leonardo de Moura (Microsoft Research)
• Tommi Junttila (Aalto University School of Science and Technology)
• Boris Konev (The University of Liverpool) - chair
• Konstantin Korovin (Manchester University)
• Andrew Reynolds (University of Iowa)
• Stephan Schulz (TU München) - chair
• Graham Steel (INRIA)
• Geoff Sutcliffe (University of Miami) - chair
• Uwe Waldmann (MPI fr Informatik)