CICM 2025 Invited Speakers

• Fabian Huch, Technische Universität München (TUM)
  Keynote TBA
  Abstract TBA
  Bio Fabian Huch is a young researcher who earned his B.Sc. and M.Sc. at the Technische Universität München, where he joined the theorem proving group in 2020. His research focuses on computer support for large-scale Mathematics, which he advances as a developer of the Isabelle system. He is also passionate about the Archive of Formal Proofs: Both as a treasure trove of formalized mathematics and as an invaluable body of research. When not behind a keyboard, he enjoys cooking and tinkering on one of his DIY projects.
• Assia Mahboubi, INRIA, Nantes
  Keynote TBA
  Abstract TBA
  Bio Assia Mahboubi is a tenured researcher (directrice de recherche) at Inria, in the Gallinette team, Nantes, France. She's also an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, in the Netherlands. Her research interests revolve around the foundations and formalization of mathematics in type theory and the automated verification of mathematical proofs. She's especially interested in the interplay between computer algebra and formal proofs and, more generally, in computer-aided mathematics, using the Rocq interactive proof assistant.
• Daniele Nantes Sobrinho, University of Brasilia (UnB)
  Keynote TBA
  Abstract TBA
  Bio Daniele Nantes Sobrinho is a Research Fellow at the Verified Software Group at Imperial College London and an Adjunct Professor (on research leave) at the University of Brasília, where she has been part of the Department of Mathematics since 2016. She holds a PhD in Mathematics from the University of Brasília (2013) and has extensive experience in theoretical computer science, formal methods, and automated reasoning. Her research collaborations span multiple institutions worldwide, including King’s College London, Groningen University and Goethe-University Frankfurt. She has has contributed to advancements in nominal techniques, rewriting systems, symbolic computation, and logic-based software verification. Daniele is an active member of the international research community, serving on steering committees and program committees for conferences such as FSCD, LSFA, and UNIF. She has also organized workshops and initiatives promoting diversity, equity, and inclusion in STEM, including the Women in Logic (WiL) workshop and the DEI4Everyone initiative at POPL 2024.
• Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics (CIIRC)
  Keynote TBA
  Abstract TBA
  Bio Josef Urban is a distinguished researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC), heading its AI department and formerly also the ERC project AI4REASON. His main interests are in combining inductive/learning and deductive/reasoning AI methods over large formal mathematical corpora. His systems have won several theorem proving competitions, and the methods today assist formal verification in proof assistants. He received his MSc in Mathematics and PhD in Computer Science from Charles University in Prague, worked as an assistant professor in Prague, and as a researcher at University of Miami and Radboud University Nijmegen. He has also co-founded the conference on Artificial Intelligence and Theorem Proving (AITP) and co-organized it since 2016.

Joint Invited Speaker with LSFA 2025:

• Temur Kutsia, Research Institute for Symbolic Computation (RISC), Johannes Kepler University
  Keynote TBA
  Abstract TBA
  Bio Temur Kutsia obtained his PhD and habilitation in mathematics from Johannes Kepler University Linz, where he is currently a senior researcher at the Research Institute for Symbolic Computation (RISC). His work covers various aspects of computational logic and symbolic AI, including unification and generalization, declarative programming, automated reasoning, rewriting, and their applications. He has published over 100 papers on these topics, contributed to the development of software packages, and led several research projects.