Logic and Programming

  • Topics
    • automatic reasoning
    • formal system verification
    • formal verification and synthesis
    • software quality assessment
    • static analysis
    • timing analysis
  • Chairs
    • Nikolaj Bjorner, Microsoft, Redmond, USA
    • Laura Kovacs, Technical University of Vienna, Austria
  • Program Committee
    • Stefan Andrei, Lamar University, USA
    • Mădălina Erașcu, Institute e-Austria Timișoara and West University of Timișoara, Romania
    • Marijn Heule, Carnegie Mellon University, USA
    • Lukáš Holík, Brno University of Technology, Czechia
    • Konstantin Korovin, The University of Manchester, UK
    • Gergely Kovásznai, Eszterházy Károly University, Eger, Hungary
    • Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
    • Dorel Lucanu, Alexandru Ioan Cuza University, Romania
    • Ana Sokolova, University of Salzburg, Austria
    • Sorin Stratulat, Université de Lorraine, Metz, France
    • Jun Sun, Singapore University of Technology and Design, Singapore
    • Josef Urban, Czech Technical University in Prague, Czechia
    • Tjark Weber, Uppsala University, Sweden
    • Sarah Winkler, University of Verona, Italy