Toutes les actualités

08/04/2014 - 10/04/2014

Journée SDA2 - Frac

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

High-level Methodologies for Grammar Engineering (atelier de l'Ecole d'Ete Europeenne en Logique, Linguistique et Informatique, ESSLLI 2013)

Événement

12/08/2013 - 16/08/2013

Atelier HMGE @ ESSLLI 2013

Événement

07/06/2013

Journée GAMoC 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

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

High-level Methodologies for Grammar Engineering (atelier de l'Ecole d'Ete Europeenne en Logique, Linguistique et Informatique, ESSLLI 2013)

Atelier HMGE @ ESSLLI 2013

Journée GAMoC 2013

Carte

Informations