Équipes de recherche

Modélisation de systèmes et optimisation	Modélisation algébrique	Concurrence, Mobilité et Transactions
Algorithmes et complexité	Théorie algorithmique des nombres et cryptologie	Types, logique et calcul
Communication hautes performances	Preuves automatiques et raisonnement sur des spécifications logiques	Algorithmes et modèles pour la biologie intégrative
	Modélisation combinatoire

Actualités

[Infolix]Fwd: [LABOLIX] Séminaire Robert Giegerich - Mercredi 16 Mai à 14h

2012-05-15

[Infolix] Fwd: [LABOLIX] Reminder: Comete-Parsifal Seminar Thu May 10, 15:00

2012-05-08

[Infolix] Fwd: [LABOLIX] Comete-Parsifal Seminar Thu May 10, 15:00

2012-05-02

[Infolix] [gdr-im] LIX-Qualcomm fellowship 2012

2012-04-25

Faits marquants

Powered by Pyramid