Logic and Programming

  • Chairs
    • Nikolaj Bjorner, Microsoft, Redmond, USA
    • Tudor Jebelean, Johannes Kepler University, Linz, Austria
    • 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 construction>