Research teams

Algorithms and complexity	Algorithms and models for biology	Types, logic and computation
System Modelling and Optimization	Automatic deduction and logic specifications	Algebraic models
High performance communications	Cryptography and coding theory	Concurrency, mobility and transactions
	Combinatorial models

News

[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

Highlights

Powered by Pyramid