Toutes les actualités

Conférence

19/05/2014 - 20/05/2014

Workshop AMLaGAP

Événement

16/04/2014

JIRC 2014 Journées informatique en Région Centre

Événement

08/04/2014 - 10/04/2014

Journée SDA2 - Frac

Actualité

10/03/2014

Pour la Science 437 : recherches du LIFO a l'honneur

La rubrique Logique et calcul du numéro du mois de mars 2014 de la revue Pour la science est consacrée aux Machines à Signaux, modèle de calcul développé au LIFO par Jérôme DURAND-LOSE.

Événement

13/11/2013

Journée des doctorants LI - LIFO

Événement

24/10/2013 - 25/10/2013

Rencontres Frac 2013

Conférence

07/10/2013

FraDeCoP-3 -- Third Workshop on Frameworks for the Development of Correct (parallel) Programs

Événement

12/08/2013 - 16/08/2013

Atelier HMGE @ ESSLLI 2013

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Les actualités du LIFO

Workshop AMLaGAP

JIRC 2014 Journées informatique en Région Centre

Journée SDA2 - Frac

Pour la Science 437 : recherches du LIFO a l'honneur

Journée des doctorants LI - LIFO

Rencontres Frac 2013

FraDeCoP-3 -- Third Workshop on Frameworks for the Development of Correct (parallel) Programs

Atelier HMGE @ ESSLLI 2013

Carte

Informations