Recent and upcoming events
-
TACL School, Île de Porquerolles, France, 10-15 June 2019.
-
TACL Conference, Université Côte d’Azur, Parc Valrose, Nice, France, 17-21 June 2019.
-
SohpI.A Master Classes 2019, Telecom Valley, Sophia-Antipolis, France, 19 November 2019.
-
Mathematical Language and Practical Type Theory, HCM, Bonn, Germany, 1-4 February 2020.
-
Artificial Intelligence and Theorem Proving, Aussois, France, 13-18 September 2020.
-
Colloque des Doctorants, Nice, France, 19-22 April 2021.
-
From PhD to PhD: A Conference Mapping the Network of Lebanese Mathematics, Beirut, Lebanon, 1-3 June 2021.