✕
Thèmes de recherche
- Techniques de preuves automatiques (résolution, résolution inverse)
- Lambda calcul simplement typé linéaire et intuitioniste
Sujet de Thèse
Vers un assitant à la preuve en langue naturelle
- Le document est à télécharger ici
- Voir sur la page des téléchargements des documents à télécharger sur le projet DemoNat, dont le démonstrateur automatique
- Les transparents de la soutenance de Thèse sont ici
Exposés
Conférences
- Nottingham - Types 2006 (Avril 2006)
- Transparents : The DemoNat project
- Luminy - Geocal'06 (Février 2006)
- Transparents : Typing with two arrows
- Chambéry - Small Types Workshop (Avril 2005) où ont été donnés les traits principaux d'un démonstrateur universel
- Transparents : A universal prover
- Lyon - Chambéry / Krakow / Lyon Workshop (Juin 2004) où a été expliqué ce qu'est le projet DemoNat
- Transparents : Proofs using PhoX
Seminaires
- Chambéry - Laboratoire LAMA (05 Décembre 2006), soutenance de Thèse
- Transparents : Vers un assistant à la preuve en langue naturelle
- Nice - Laboratoire J.-A. Dieudonné (04 Mai 2006)
- Transparents : Le projet DemoNat
- Palaiseau - Ecole polytechnique (31 Mars 2006), Séminaire COMETE-PARSIFAL
- Transparents : The DemoNat project