Skip to content
- Henning Basold (chair), LIACS, Leiden University, NLD
- Nikolaj Bjørner, Microsoft Research, USA
- William Byrd, University of Alabama at Birmingham, USA
- Gopal Gupta, The University of Texas at Dallas, USA
- Ekaterina Komendantskaya (chair), Heriot-Watt University, GBR
- James Lipton, Wesleyan University, USA
- Dale Miller, INRIA and LIX/Ecole Polytechnique, FRA
- Gopalan Nadathur, University of Minnesota, USA
- Frank Pfenning, Carnegie Mellon University, USA
- Hiroshi Unno, University of Tsukuba, JPN
- Noam Zeilberger, University of Birmingham, GBR