Organization


General Chair:

Program Chair:

Publicity Chair:

Tutorials Chair:

Local Organization:

Web Master:

Organizing Committee:

  • Moshe Levinger (IBM)
  • Eli Arbel (IBM)
  • Avi Ziv (IBM)
  • Karen Yorav (IBM)
  • Sharon Keidar Barner (IBM)
  • Laurent Fournier (IBM)

Program Committee:

  • Nicolai Bjorner, Microsoft Research
  • Hana Chockler, King's College London
  • Alessandro Cimatti, Fondazione Bruno Kessler
  • Rayna Dimitrova, Max Planck Institute for Software Systems
  • Adrian Evans, iRoC Technologies
  • Franco Fummi, University of Verona
  • Alberto Griggio, Fondazione Bruno Kessler
  • Alan Hu, University of British Columbia
  • Warren Hunt, University of Texas at Austin
  • Alexander Ivrii, IBM Research
  • Laura Kovacs, Vienna University of Technology
  • Akash Lal, Microsoft Research
  • Annalisa Massini, Sapienza University of Rome
  • Ziv Nevo, IBM Research
  • Shaz Qadeer, Microsoft Research
  • Martina Seidl, Johannes Kepler University Linz
  • Natasha Sharygina, University of Lugano
  • Carsten Sinz, Kalsruhe Institute of Technology
  • Mattias Ulbrich, Kalsruhe Institute of Technology
  • Willem Visser, Stellenbosch University
  • Greta Yorsh, Queen Mary University of London

Keynote Speakers



Links


%%sidebarspace%%
See us on Linked In See us on Facebook IBM Research Cadence Mellanox Mentor Graphics Qualcomm SunDisk