Colloques organisés par le LIF

2010

• Journées Graphes et Algorithmes du 8 au 10 novembre 2010, CIRM, Luminy.
• PASCAL Bootcamp 2010 du 5 au 13 juillet 2010, Saint-Charles.
• Nouvelles interactions entre mathématiques et informatique, mois thématique Math-Info 2010, du 1er février au 5 mars 2010, CIRM, Luminy.
• European Workshop on Mixed Integer Nonlinear Programming, du 12 au 16 avril 2010, CIRM, Luminy.
• Journées du groupe de travail Complexité et Modèles Finis du GDR IM, Organisateurs : Nadia Creignou (LIF) et Frédéric Olive (LIF), du 25 au 26 mai, à Saint-Charles. Informations.
• Petit groupe de travail : Complexité Paramétrée, Organisateurs : Nadia Creignou (LIF), Arnaud Durand (Univ. Paris 7), Heribert Vollmer (Leibniz Universität, Allemagne), du 14 au 18 juin, CIRM, Luminy.
• 7th Workshop on Fixed Points in Computer Science, FICS 2010, du ?? au ?? août 2010, atelier de MFCS & CSL 2010, Brno, République tchèque.

2009

• Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (ALGOTEL) 2009, du 16 au 19 juin 2009, Carry Le Rouet.
• 4th Conference on Logic Computability and Randomness, du 29 juin au 3 juillet 2009, CIRM, Luminy.

2008

• Frac d’automne 2008, Worshop « Systèmes complexes et modèles de calcul », 1er au 3 décembre 2008, Grand Château du campus Valrose de l’Université de Nice - Sophia Antipolis.
• Ecole de printemps en informatique théorique, du 24 au 29 mai 2008, Porquerolles.
• Journées Automates Cellulaires 2008, du 21 au 25 avril 2008, Uzés (Gard). Call for Papers. Important dates. Submission. Contact.
• Ecole Jeunes Chercheurs en Informatique Mathématique, du 31 mars au 4 avril 2008, CIRM.
• Workshop on Modal Fixpoint Logics, du 25 au 27 mars 2008, Amsterdam. Appel à contributions.
• Journée CALM, le 28 janvier 2008, Amphi 12, Luminy.

2007

• Journée Fouille de données Web, 29 novembre 2007, 9h30-17h, ESIL (Luminy). Appel à participation.
• Frac d’automne 2007, Worshop Systèmes Complexes, 27 au 28 novembre 2007, CMI.
• Agents, Logic and Theorem Proving Workshop (Tableaux’2007), Workshop, July 3, 2007, Aix-en-Provence.
• Groupe de Travail Treillis Marseillais, du 23 au 27 avril 2007, CIRM.

2006

• Frac d’automne 2006. Worshop Systèmes Complexes. 1er au 2 juin 2006, CMI.
• 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ère