Partenaires
Institut de Mathématiques de Toulouse
Institut de Recherche en Informatique de Toulouse
Search
Headline News
CIMI LabEx
The CIMI project has been selected by the ANR (Agence Nationale de la Recherche) and awarded a funding of 12 million Euros over the period 2012-2020.
CIMI involves IMT (Institut de Mathématiques de Toulouse) and IRIT (Institut de Recherche en Informatique de Toulouse). CIMI brings new perspectives to mathematics and computer science research and open new possibilities for the development of research at IMT and IRIT.
CIMI opening
The official opening of the CIMI program took place on Friday October 12, 2012
Conférence par le professeur Valentin Goranko le 6 juin : "Almost sure Validities and zero-one Laws : Logic meets Probabilistic Combinatorics"
Conférence de 2 heures
Date et lieu : Jeudi 6 juin, 10H-12H
IMT, Bât 1R3, Salle MIP, 1er étage
Contact Us
Address
CIMIInstitut de Mathématiques de Toulouse - Institut de Recherche en Informatique de Toulouse - Université de Toulouse
31062 Toulouse cedex 9
Phone
+33 (0)5.61.55.64.66Fax
+33 (0)5.61.55.83.85E-mail : contact@cimi.univ-toulouse.fr
Agenda
APRIL 2013 : Advanced Course on Models and Logics for Strategic Reasoning in multi-agent Systems Professor Valentin Goranko, Department of Informatics and Mathematical Modelling, Technical University of Denmark
LECTURE 1 (April 2nd, 10-12h, IRIT Thesis Room) : Models and Logics of Strategic Abilities in (...)