CICM 2023 Programme Committee Members
- Jesús Aransay (Universidad de La Rioja, Spain)
- Mauricio Ayala-Rincon (Universidade de Brasilía, Brazil)
- Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
- Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
- Kevin Buzzard (Imperial College, UK)
- Isabela Drãmnesc (West University of Timişoara, Romania)
- Catherine Dubois (ENSIIE, Evry-Courcouronnes, France) [Co-Chair]
- Mădălina Eraşcu (West University of Timişoara, Romania)
- William Farmer (McMaster University, Canada)
- John Harrison (Amazon Web Services)
- Tetsuo Ida (University of Tsukuba, Japan)
- Moa Johansson (Chalmers University of Technology, Sweden)
- Fairouz Kamareddine (Heriot-Watt University, UK)
- Daniela Kaufmann (TU Wien, Austria)
- Manfred Kerber (University of Birmingham, UK) [Co-Chair]
- Peter Koepke (University of Bonn, Germany)
- Michael Kohlhase (FAU Erlangen-Nürnberg, Germany)
- Angeliki Koutsoukou-Argyraki (University of Cambridge, UK)
- Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
- Micaela Mayero (Institut Galilée, Université Paris Nord, France)
- Bruce R. Miller (NIST, USA)
- Adam Naumowicz (University of Białystok, Poland)
- Claudio Sacerdoti-Cohen (University of Bologna, Italy)
- Sofiène Tahar (Concordia University, Canada)
- Olaf Teschke (FIZ Karlsruhe, Germany)
- Josef Urban (Czech Technical University, Czech Republic)
- Stephen M. Watt (University of Waterloo, Canada)
- Freek Wiedijk (Radboud University, The Netherlands)
- Wolfgang Windsteiger (RISC, Johannes Kepler University Linz, Austria)
- Abdou Youssef (The George Washington University, USA)
|