Programme Committee

General chair

• Michael Kohlhase (Jacobs University Bremen)

Calculemus track

• Leonardo de Moura (Microsoft; Chair)
• Georges Gonthier (Microsoft Research, UK)
• Ursula Martin (Oxford University, UK)
• Jacques Carette (McMaster University, CA)
• Lawrence Paulson (Cambridge University, UK)
• Assia Mahboubi (INRIA, France)
• Christopher Brown (US Naval Academy)
• Adam Strzebonski (Wolfram Inc.)
• James Davenport (University of Bath, UK)

DML track

• Frank Tompa (University of Waterloo; Chair)
• Akiko Aizawa (NII and University of Tokyo, Japan)
• Thiery Bouche (University Grenoble, France)
• Yannis Haralambous, Inst Mines-Télécom (Télécom Bretagne, France)
• Joe Corneli (Goldsmiths College, UK)
• Jim Pitman (UC Berkeley, USA)
• Petr Sojka (Masaryk University, CZ)
• Volker Sorge (University of Birmingham, UK)
• Abdou Youssef (George Washington University, USA)

MKM track

• Bruce Miller (NIST; Chair)
• Cezary Kaliszyk (Innsbruck University, Austria)
• Christoph Lange (Fraunhofer Bonn, Germany)
• David Aspinall (The University of Edinburgh, UK)
• Florian Rabe (Jacobs University, Germany)
• Gudmund Grov (Heriot Watt University, UK)
• Elena Smirnova (Texas Instruments, USA)
• Andrea Asperti (University of Bologna, Italy)
• Richard Zanibbi (Rochester Institute of Technology, USA)

Systems and Data track

• Moa Johansson (Chalmers University, Sweden; Chair)
• Serge Autexier (DFKI Bermen, Germany)
• Mateja Jamnik (Cambridge University, UK)
• Andrea Kohlhase (University of Applied Sciences, Neu Ulm, Germany)
• Laura Kovacs (Chalmers University, Sweden)
• Fiona McNeill (Heriot Watt University, UK)
• Nick Smallbone (Chalmers University, Sweden)
• Geoff Sutcliffe (University of Miami, USA)
• Josef Urban (Czech Technical University in Prague, Czech Republic)