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
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/Function › Program committee