Logic and Programming

  • automatic reasoning
  • formal system verification
  • formal verification and synthesis
  • software quality assessment
  • static analysis
  • timing analysis

Track Chairs:

  • Nikolaj Bjorner, Microsoft Research, USA
  • Arie Gurfinkel, University of Waterloo, Canada
  • Laura Kovacs, Technical University of Vienna, Austria

Program Committee:

  • Marcel Hark, RWTH Aachen University
  • Madalina Erascu, Institute e-Austria Timisoara and West University of Timisoara
  • Arie Gurfinkel, University of Waterloo
  • Alexander Bentkamp, Vrije Universiteit Amsterdam
  • Grigory Fedyukovich, Princeton University
  • Stefan Andrei, Lamar University
  • Sorin Stratulat, Universit√© de Lorraine, Metz
  • Temur Kutsia, RISC, Johannes Kepler University Linz
  • Sharon Shoham, Tel Aviv University
  • Simon Robillard, IMT Atlantique
  • Yakir Vizel, The Technion
  • Jorge A Navas, SRI International