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] [DMANET] 3rd INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS DESIGN & MANAGEMENT

2012-01-27

[Infolix] [LABOLIX] Reminder: Comete-Parsifal Seminar Tue Jan 17, 14:30

2012-01-27

[Infolix] Fwd: [LABOLIX] Comete-Parsifal Seminar Tue Jan 17, 14:30

2012-01-27

[Infolix] gt combi du lix, lundi 16 janvier 14h, Omid Amini

2012-01-27

[Infolix] gt combi du lix, vendredi janvier 11h, Jarek Rossignac

2012-01-27

[Infolix] Offre d'emploi dans le projet MaGiX / Job offer in MaGiX project

2012-01-10

[Infolix] Fwd: Call For Papers: 3rd International Conference on Complex Systems Design & Management - Dec. 2012, Paris

2012-01-06

[Infolix] Fwd: gt combi du lix, lundi 14h, Nicolas Bonichon

2012-01-06

Highlights

Powered by Pyramid