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
  • Laura Kovacs, Technical University of Vienna, Austria