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
20th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-20, 2015 (Event)
- Franz Baader (Member)
- Christel Baier (Member)
- Peter Baumgartner (Member)
- Armin Biere (Member)
- Nikolaj Bjorner (Member)
- Franck Cassez (Member)
- Ansgar Fehnker (Member)
- Rajeev Gore (Member)
- Tim Griffin (Member)
- Kim Guldstrand Larsen (Member)
- Ralf Huuck (Member)
- D. Jovanovic (Member)
- Gerwin Klein (Member)
- Dexter Kozen (Member)
- Kutsia, T. (Member)
- Rustan Leino (Member)
- Joe Leslie-Hurd (Member)
- Annabelle McIver (Member)
- Kenneth McMillan (Member)
- Marius Minea (Member)
- Matteo mio (Member)
- Lei Bu Nanjing (Member)
- Prakash Panangaden (Member)
- Christine Paulin-Mohring (Member)
- Andreas Podelski (Member)
- Geoff Sutcliffe (Member)
- Gancho Vachkov (Member)
- Cyrille Valentin (Member)
- Ron Van Der Meyden (Member)
- Tomas Vojnar (Member)
- Andrei Voronkov (Member)
- T. Walsh (Member)
Activity: Membership/Function › Program committee