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
16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 (Event)
- Olivier Danvy (Chair)
- Michael Adams (Member)
- Elvira Albert (Member)
- Dariusz Biernacki (Member)
- Bernd Braßel (Member)
- Michael Codish (Member)
- Marc Denecker (Member)
- Zoé Drey (Member)
- Joshua Dunfield (Member)
- Thibaut Feydy (Member)
- Danko Ilik (Member)
- Yukiyoshi Kameyama (Member)
- Chantal Keller (Member)
- Kutsia, T. (Member)
- Dan Licata (Member)
- Akimasa Morihata (Member)
- Matthias Puech (Member)
- Tiark Rompf (Member)
- Kristoffer H. Rose (Member)
- Ilya Sergey (Member)
- Ralf Treinen (Member)
- Frank D. Valencia (Member)
Activity: Membership/Function › Program committee