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 (under confirmation/ to be updated)
    • Sorin Stratulat, Université de Lorraine, Metz
    • Temur Kutsia, Johannes Kepler University Linz, Austria
    • Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
    • Madalina Erascu, Institute e-Austria and West University of Timisoara, Romania
    • Giles Reger, University of Manchester, UK
    • Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
    • Grant Passmore, University of Cambridge, UK
    • Stefan Andrei,   Lamar University, USA
    • Igor Konnov, Vienna University of Technology, Austria
    • Wolfgang Ahrendt, Chalmers University of Technology, Sweden
    • Philipp  Ruemmer, Uppsala University, Sweden
    • Jie Luo, SKLSDE, Beihang University, China
    • Dorel Lucanu, Alexandru Ioan Cuza University, Romania