Email Gateway (Sep 17 2025 at 09:35): Email Gateway (Sep 17 2025 at 09:35):From: Paul-André Melliès <mellies@irif.fr>
Dear friends and colleagues,
We’re happy to announce that the kick-off meeting of the ERC Synergy project Malinca <http://malinca.org/> will take place in Paris at Institut Henri Poincaré <https://www.ihp.fr/en> (IHP) on October the 1st, the 2nd and the 3rd, 2025.
The ERC project Malinca is a six-year research project whose ambition is to bridge the linguistic gap currently existing between the daily practice of mathematics performed in natural language and the formal mathematics implemented today in interactive proof assistants, such as Agda, Isabelle, Lean, Mizar, Rocq and many others.
The three-days kick-off meeting will consist of invited talks and tutorials, together with informal sessions and demos dedicated to the topics of the Malinca project.
Here is a preliminary list of invited speakers:
Guillaume Baudart <https://guillaume.baudart.eu/> (IRIF, Université Paris Cité, INRIA, Paris, France)
Adrian De Lon <https://adelon.net/> (Czech Institute of Informatics, Prague, Czech Republic)
Emilio Gallego <https://x80.org/emilio/> (IRIF, Université Paris Cité, CNRS, Paris, France)
Juan Luis Gastaldi <https://www.giannigastaldi.com/> (ETH, Zürich, Switzerland)
Georges Gonthier <https://en.wikipedia.org/wiki/Georges_Gonthier> (INRIA, Saclay, France)
Amaury Hayat <https://cermics.enpc.fr/~hayata/index_en.html> (École des Ponts, Paris, France)
Andrew Head <https://andrewhead.info/> (University of Pennsylvania, Philadelphie, USA)
Michael Kohlhase <https://kwarc.info/people/mkohlhase/> (Friedrich-Alexander-Universität, Erlangen-Nürnberg, Germany)
Jim Portegies <https://www.tue.nl/en/research/researchers/jim-portegies> (Eindhoven University of Technology, Netherlands)
Josef Urban <https://josefurban.eu/> (Czech Institute of Informatics, Prague, Czech Republic)
Makarius Wenzel <https://sketis.net/> (Augsburg, Germany)
Students and young researchers interested in attending the kick-off meeting but lacking their own funding are welcome to contact us to apply for financial support.
For the Malinca team,
Philippe de Groote,
Hugo Herbelin,
Paul-André Melliès,
Carlos Simpson
https://www.ihp.fr/fr/agenda/bridging-linguistic-gap-between-mathematician-and-machine
http://malinca.org
Last updated: Oct 08 2025 at 20:22 UTC