Actualités

• [Infolix] Alberto Costa's Seminar: Thursday 27/6 h 15
  2013-06-17
• [Infolix] Comete-Parsifal Seminar - Tue Jun 20, 15:00 hs - "A Tool for Verifying Bisimilarity in CCP"
  2013-06-17
• [Infolix] [LABOLIX] Barbecue du LIX
  2013-06-14
• [Infolix] Comete-Parsifal Seminar - Tue Jun 18, 15:00 hs - "A General Proof System for Modalities in Concurrent Constraint Programming"
  2013-06-13
• [Infolix] REMINDER: Comete-Parsifal Seminar - Thu Jun 13, 11:00 hs - "The Price of Privacy in Untrusted Recommendations"
  2013-06-12
• [Infolix]GT Combi du LIX - lundi 17/6 à 11h - Guillaume Chapuy
  2013-06-12
• [Infolix] Comete-Parsifal Seminar - Thu Jun 13, 11:00 hs - "The Price of Privacy in Untrusted Recommendations"
  2013-06-11
• [Infolix] REMINDER: Comete-Parsifal Seminar - Mon Jun 10, 10:30 hs - "Enriching the flexibility of soft constraints formalisms"
  2013-06-10
• [Infolix] RESCHEDULED: Comete-Parsifal Seminar - Mon Jun 10, 10:30 hs - "Enriching the flexibility of soft constraints formalisms"
  2013-06-07
• [Infolix] REMINDER: Comete-Parsifal Seminar - Wed Jun 5, 15:00 hs - "Semantic foundations of heterogeneous compilation"
  2013-06-06
• [Infolix] [gdr-im] LIX-Qualcomm-Carnot fellowship / Postdoctoral position in LIX: extended deadline
  2013-06-06
• [Infolix] Comete-Parsifal Seminar - Mon Jun 10, 14:00 hs - "Enriching the flexibility of soft constraints formalisms"
  2013-06-06
• [Infolix] Comete-Parsifal Seminar - Wed Jun 5, 15:00 hs - "Semantic foundations of heterogeneous compilation"
  2013-06-06
• [Infolix] REMINDER: Comete-Parsifal Seminar - Wed Jun 5, 15:00 hs - "Semantic foundations of heterogeneous compilation"
  2013-06-06
• [Infolix]GT Combi du LIX - lundi 10/6 à 11h - Cédric Boutillier
  2013-06-06
• [Infolix]GT Combi du LIX - lundi 3/6 à 11h - Kolja Knauer
  2013-06-06
• [Infolix]Soutenance de thèse de Chantal KELLER le 19 juin
  2013-06-06
• [tanc] Workshop on Number-Theoretic Algorithms for Asymmetric Cryptology
  2013-05-27