The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, 2013 (Event)

  • Kenneth McMillan (Chair)
  • Aart Middeldorp (Chair)
  • Andrei Voronkov (Chair)
  • Franz Baader (Member)
  • Christel Baier (Member)
  • Josh Berdine (Member)
  • Armin Biere (Member)
  • Nikolaj Bjorner (Member)
  • Sandrine Blazy (Member)
  • Krishnendu Chatterjee (Member)
  • Thierry Coquand (Member)
  • Jörg Endrullis (Member)
  • Alberto Griggio (Member)
  • Kim Guldstrand Larsen (Member)
  • John Harrison (Member)
  • Manuel Hermenegildo (Member)
  • Stefan Hetzl (Member)
  • Nao Hirokawa (Member)
  • Martin Hofmann (Member)
  • Gerwin Klein (Member)
  • Michael Kohlhase (Member)
  • Laura Kovacs (Member)
  • Orna Kupferman (Member)
  • Kutsia, T. (Member)
  • Marta Kwiatkowska (Member)
  • Parthasarathy Madhusudan (Member)
  • Rupak Majumdar (Member)
  • Albert Oliveras (Member)
  • Axel Polleres (Member)
  • Norbert Preining (Member)
  • Grigore Rosu (Member)
  • P. Rümmer (Member)
  • Natarajan Shankar (Member)
  • Geoff Sutcliffe (Member)
  • Naoyuki Tamura (Member)
  • H. Veith (Member)
  • Christoph Weidenbach (Member)

Activity: Membership/FunctionProgram committee

Period15 Dec 201319 Dec 2013
Event titleThe 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, 2013
Event typeOther
LocationSouth AfricaShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra

JKU Focus areas

  • Computation in Informatics and Mathematics