Conferences - Colloquium

2006

• 23nd International Symposium on Theoretical Aspects of Computer Science (STACS 2006) 2006, Marseille

2005

• Journées Polyèdres et Optimisation Combinatoire, Juin, 2-3, Marseille
• 18th IEEE Computer Security Foundations Workshop, 2005, Marseille
• Spring School on Security, Avril, 25-29 2005, Marseille
• La logique Floue et le Web Sémantique, Février, 11 2005, Marseille

2004

• Théorie des preuves des types inductifs et coinductifs, Juin, 17-18 2004, Marseille
• 32nd Spring School in Theoretical Computer Science, Avril, 26-30 2004, Marseille

2003

• 14th International Conference on Concurrency Theory (CONCUR 2003), Sept 2-7 2003, Marseille (France)
• Journée d’Optimisation Polyédrale, 22 mai, Marseille

2002

• Logic and Interaction Weeks, January 28 - March 1, CIRM, Marseille
• 5th INTEX Workshop, May 2-3, Marseille

2001

• Théorie algorithmique de l’Information (Algorithmic information theory)- TAI 2001, Sep 24/26, Porquerolles, Hyères
• Automata 2001, Sep 27/29, Porquerolles, Hyères