Logic and Programming

  • Chairs
    • Nikolaj Bjorner, Microsoft, Redmond, USA
    • Laura Kovacs, Technical University of Vienna, Austria
  • Topics
    • automatic reasoning
    • formal system verification
    • formal verification and synthesis
    • software quality assessment
    • static analysis
    • timing analysis
  • PC members
    • Wolfgang  Ahrendt, Chalmers University of Technology, Sweden
    • Stefan Andrei,   Lamar University, USA
    • Madalina Erascu, Institute e-Austria and West University of Timisoara, Romania
    • Vijay  Ganesh,  Waterloo University, Canada
    • Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
    • Marijn  Heule, The University of Texas at Austin, USA
    • Jens  Knoop, TU Vienna, Austria
    • Igor Konnov, Vienna University of Technology, Austria
    • Temur Kutsia, Johannes Kepler University Linz, Austria
    • Dorel Lucanu, Alexandru Ioan Cuza University, Romania
    • Jie Luo, SKLSDE, Beihang University, China
    • Ruzica  Piskac, Yale University, USA
    • Giles Reger, University of Manchester, UK
    • Philipp  Ruemmer, Uppsala University, Sweden
    • Martina  Seidl, Johannes Kepler University Linz, Austria
    • Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
    • Sorin Stratulat, Université de Lorraine, Metz, France
    • Martin Suda, Technische Universität Wien, Austria
    • Margus  Veanes, Microsoft Research, USA