![]() |
![]() |
![]() |
Si vous voyez ce message, votre navigateur est incompatible avec les standards ou trop ancien, ce qui peut rendre la lecture difficile. Nous vous suggérons d’en utiliser un autre.
News ! | ||||||||
| ||||||||
Workshop "Termination and Circular Proofs", 19th of July 2017, Chambéry | ||||||||
Termination is a very active research topic, which is essential for the construction of proof assistants. Indeed, a circular proof (i.e., a proof having the freedom of using its own goal as a premise) is only valid if it is well-founded, and thus terminating in some sense. This one day workshop aims at bringing together researchers from both the termination and the proof assistant communities around a few talks, in the hope of stimulating interactions and fruitful discussions. More informations on the workshop web page. |
||||||||
Workshop on Coinduction in Type Theory, July 3 to July 6, Chambery | ||||||||
A workshop on Coinduction in Type Theory will take place on the Bourget-du-Lac campus of Savoie Mont Blanc University from July 3 to July 6, organised by the LIMD team of LAMA. The workshop is organised around 3 invited mini-courses:
More information available on the CoTT2017 website. |
||||||||
Next seminars | ||||||||
EDPs²Friday 8th March 2019 à 14h
Joachim Bernier
(ENS Rennes, IRMAR),
GéométrieThursday 7th March 2019 à 14h
Emmanuel Peyre
(Institut Fourier, Grenoble),
LIMDThursday 14th March 2019 à 10h
Guillaume Malod
(IMJ-PRJ (Paris 7)),
CMIThursday 28th March 2019 à 14h, A préciser
Laurent Vuillon
(LAMA),
|
Legal notice | Website admin.: C. Acary-Robert |