Manifestations

● 6th Congrès International sur la théorie de la répartition Uniforme (UDT 2018)

1-5 October, 2018.

● Ecole d'été internationale : "Fonctions zêta, polyzêta, séries arithmétiques : applications aux motifs et à la théorie des nombres"

du 18 au 29 Juin 2018, sur le campus du Bourget du Lac, Univesité de Savoie Mont Blanc. Plus d'informations sur le site de la conférence : etzetas2018.

● Colloque "Termination and Circular Proofs", le 19 Juillet 2017 à Chambéry

La terminaison est un domaine de recherche très actif, qui est essentiel pour la construction d'assistants à la preuve. En effet, une preuve circulaire (qui peut utiliser son propre but comme hypothèse) n'est valide que si elle est bien fondée, et donc terminante en un certain sens. Ce workshop, organisé le 19 Juillet à Chambéry rassemblera des chercheurs de diverses communautés liées à la terminaison et aux preuves circulaires, dans le but de provoquer discussions et interactions. Retrouvez plus d'information sur la page du colloque.

● Colloque "Coinduction in Type Theory", du 3 au 6 Juillet, au LAMA

Coinduction in Type Theory est un workshop organisé du 3 au 6 Juillet 2017 sur le campus du Bourget du Lac de l' Université de Savoie Mont Blanc, par l'équipe LIMD du LAMA.
Le colloque comprend 3 mini-cours invités : Retrouvez plus d'information sur le site du workshop CoTT2017.