Logic and Programming

  • Chairs
    • Nikolaj Bjorner, Microsoft
    • Tudor Jebelean, Johannes Kepler University Linz, Austria
  • Topics
    • automatic reasoning
    • formal system verification
    • formal verification and synthesis
    • software quality assessment
    • static analysis
    • timing analysis
  • PC members
    • Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
    • Dorel Lucanu, Alexandru Ioan Cuza University, Romania
    • Cezara Dragoi, IST Austria, Austria
    • Florian Zuleger, Technische Universiat Wien, Austria
    • Grant Passmore, University of Cambridge and University of Edinburgh, UK
    • Jie Luo, SKLSDE, Beihang University, China
    • Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, USA
    • Madalina Erascu, Institute e-Austria & West University of Timisoara, Austria
    • Markus Schordan, Lawrence Livermore National Laboratory, USA
    • Nikolaj Popov, RISC University of Linz, Austria
    • Philipp Ruemmer, Uppsala University, Department of Information Technology, Sweden
    • Radu Iosif, Verimag/CNRS/University of Grenoble, France
    • Sorin Stratulat, Universit‚ de Lorraine, Metz, France
    • Stefan Andrei, Lamar University, USA
    • Stephan Merz, Inria Nancy, France
    • Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
    • Viorica Sofronie-Stokkermans, Max Planck Institute, Germany