Théorie des algorithmes d'optimisation évolutionnaires Le 4ème Workshop sur la théorie des algorithmes d'optimisation évolutionnaires (équipe AO) aura lieu à Paris les 24 et 25 Mars prochains.
		Cinq postes de Maître de conférences ouverts au recrutement en 27ème section à l'Université Paris-Sud 11 (campagne 2010) : deux à l’UFR des Sciences d’Orsay, dont un accompagné d’une chaire INRIA, et trois à l'IUT d'Orsay. Fermeture des candidature : 25/03/2010
		Naissance de l'EIT ICT labs Cet ambitieux projet auquel participe le LRI à travers l'université Paris XI a été sélectionné le 16 décembre 2009 à l'issue d'un processus européen très sélectif.
> toutes les news
		HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler Sascha Böhme, Michal Moskal, Wolfram Schulte, and Burkhart Wolff. J. Autom. Resoning(JAR),2009.
		Non-conservative Extension of a Peer in a P2P Inference System Nada Abdallah and François Goasdoué. AI Communications (AICOM), 2009.
		Meilleur SAT-Solveur au monde sur les instances industrielles glucose, démonstrateur SAT développé par L. Simon (LRI) et G. Audemard du CRIL (Lens) a gagné la
> tous les résultats

	Testing a probabilistic FSM using interval estimation Test de Logiciels Jeu 18 mars 2010 - 14h00 Salle : Conférence (I) Iksoon Hwang
	Sur une suite universelle d'entiers génératrice de figures de Steinhaus équil Combinatoire Ven 26 mars 2010 - 10h30 Salle : 79 (490) Jonathan CHAPPELON
	Leo Seminar Ven 09 avril 2010 - 13h30 Salle : 107 (N)
	TBA Test de Logiciels Mer 14 avril 2010 - 14h00 Salle : () Manuel Nunez
	TBA Bioinformatique Jeu 22 avril 2010 - 14h00 Salle : 90 (490) Sabine Pérès
	TBA Algorithmique Jeu 27 mai 2010 - 14h00 Salle : 101 (490) Ben Rossman
	> plus de séminaires