CICM 2022 Programme Committee Members

• Jesús Aransay (Universidad de La Rioja)
• David Aspinall (The University of Edinburgh)
• Serge Autexier (DFKI)
• Alexander Bentkamp (Vrije Universiteit Amsterdam)
• Alex J Best (Vrije Universiteit Amsterdam)
• Kevin Buzzard (Imperial College, London) co-chair
• David Cerna (Institute of Computer Science, Czech Academy of Sciences)
• Shaoshi Chen (KLMM, AMSS, Chinese Academy of Sciences)
• Sander Dahmen (Vrije Universiteit Amsterdam)
• Mădălina Eraşcu (West University of Timișoara, Romania)
• William Farmer (McMaster University)
• Cezary Kaliszyk (University of Innsbruck)
• Fairouz Kamareddine (Heriot-Watt University)
• Marie Kerjean (CNRS, LIPN, Université Sorbonne Paris Nord)
• Michael Kohlhase (FAU Erlangen-Nürnberg)
• Olexandr Konovalov (University of St Andrews)
• Angeliki Koutsoukou-Argyraki (University of Cambridge)
• Temur Kutsia (RISC, Johannes Kepler University Linz) co-chair
• Robert Y. Lewis (Brown University)
• Heather Macbeth (Fordham University)
• Barbara Morawska (Ahmedabad University)
• Daniele Nantes-Sobrinho (Universidade de Brasília)
• Pedro Quaresma (University of Coimbra)
• Florian Rabe (FAU Erlangen-Nürnberg)
• Claudio Sacerdoti Coen (University of Bologna)
• Christoph Schwarzweller (Gdansk University)
• Sofiene Tahar (Concordia University)
• Olaf Teschke (FIZ Karlsruhe)
• Wolfgang Windsteiger (RISC, Johannes Kepler University Linz)