IRIT - UMR 5505

Partenaires

Le séminaire de l’IRIT est constitué

de séances inscrites dans la thématique du cycle annuel choisi par le laboratoire, et
de séances hors-cycle.

Vous trouverez les informations relatives aux séminaires précédents dans les rubriques Archives des cycles et Archives des résumés (cycles et hors-cycles).

Les séminaires de l’IRIT qui se déroulent à l’Université Toulouse 1 Sciences Sociales sont en ligne ici.

Les séminaires de l’IRIT qui se déroulent à l’Université du Mirail sont ici.

Jan-Georg SMAUS
Applications des assistants de preuve dans la vérification
7 février 2012 - 14 h - IRIT, Auditorium J. Herbrand

Daniel Etiemble président (sortant) de la 27e section du CNU

4 novembre 2011 - 15 h - IRIT, Auditorium J. Herbrand

David HAWKING
Sous le capot d'un moteur de recherche (soit web ou soit en entreprise)
4 juillet 2011 - 10 h - IRIT, Auditorium J. Herbrand

Jean-Léon BOURAOUI
Expansion sémantique de requête
3 décembre 2010 - 10 h - IRIT, Salle des thèses

Contact :

Véronique Debats (Tél. 05 61 55 65 10 - Fax 05 61 55 74 59)