The 19th Conference on Intelligent Computer Mathematics (CICM 2026)
Programme Committee Members
(to be completed)
- Aarne Ranta (University of Gothenburg, Sweden)
- Abdou Youssef (The George Washington University, USA)
- Adam Naumowicz (University of Bialystok, Poland) [Co-Chair]
- Ana Bove (Chalmers University of Technology and University of Gothenburg, Sweden)
- Andrea Kohlhase (HNU Hochschule Neu-Ulm, Germany)
- Angeliki Koutsoukou-Argyraki (Royal Holloway University of London, UK)
- Catherine Dubois (ENSIIE, Evry-Courcouronnes, France)
- Cezary Kaliszyk (University of Melbourne, Australia)
- Chelsea Edmonds (University of Western Australia, Australia)
- Claudio Sacerdoti Coen (University of Bologna, Italy)
- Florian Rabe (University of Erlangen, Germany)
- Geoff Sutcliffe (University of Miami, USA)
- Jacques Carette (McMaster University, Canada)
- James Davenport (University of Bath, UK)
- Josef Urban (Czech Institute of Informatics, Robotics and Cybernetics, Czech Republic)
- Julien Narboux (University Paris Cité, France)
- Kevin Buzzard (Imperial College, UK)
- Manuel Eberl (University of Innsbruck, Austria)
- Mario Carneiro (Chalmers University of Technology, Sweden)
- Martina Seidl (Johannes Kepler University, Linz, Austria) [Co-Chair]
- Mauricio Ayala Rincon (University of Brasilia, Brazil)
- Michael Kohlhase (FAU Erlangen-Nürnberg, Germany)
- Pedro Quaresma (University of Coimbra, Portugal)
- Peter Koepke (University of Bonn, Germany)
- Robert Y. Lewis (Brown University, USA)
- Temur Kutsia (Johannes Kepler University, Linz, Austria)
- Valeria de Paiva (Topos Institute, USA)
- William Farmer (McMaster University, Canada)
|