You must enable JavaScript to use this site
-
- Akiko Aizawa (University of Tokyo)
- Edwin Brady (University of St Andrews), Calculemus chair
- Cyril Cohen (INRIA)
- Howard Cohl (NIST)
- William Farmer (McMaster University)
- Cezar Ionescu (Oxford University)
- Mateja Jamnik (University of Cambridge)
- Cezary Kaliszyk (University of Innsbruck), general chair
- Fairouz Kamareddine ( Heriot-Watt University)
- Andrea Kohlhase (University of Applied Sciences Neu-Ulm), MKM chair
- Michael Kohlhase (Computer Science, FAU Erlangen-Nuremberg)
- Laura Kovacs (Vienna University of Technology)
- Zoltán Kovács (JKU Linz)
- Adam Naumowicz (Institute of Informatics, University of Bialystok, Poland)
- Grant Passmore (Aesthetic Integration)
- Markus Pfeiffer (University of St Andrews)
- Florian Rabe (FAU Erlangen-Nürnberg and LRI Paris)
- Bas Spitters (Aarhus University)
- Claudio Sacerdoti Coen (University of Bologna), Systems and Projects chair
- Freek Wiedijk (Radboud University, Nijmegen)
- Wolfgang Windsteiger (RISC, Linz)
- Abdou Youssef (The George Washington University)
- Richard Zanibbi (Rochester Institute of Technologies, USA)
|
-
News
- tentative informal proceedings
- formal proceedings online
- detailed program online
- 3 invited speakers
- accepted papers announced
- registration open
- extended deadline
- four workshops and tutorial confirmed
- LNAI proceedings confirmed
- initial program committee
- initial website online
Privacy policy and legal information
Last modified: November 05 2018 08:44:49 CET