Research in our group focuses on two main topics:

• Log&Prog: linear logic and various applications to computer science;
• Spécif-Vérif: systems specification and assisted modelisation with applications to dynamic and distributed systems, as well as to databases.

These researches are complemented by those carried out in the domain of representation and temporal reasoning (more...).

Research projects

People in our team are involved or have until recently been involved in the following research projects:

• Logoi (ANR Blanc, 2010-2014)
• Loci (ANR Blanc, 2010-2014)
• Logique linéaire et applications (PICS CNRS France-Italie, 2010-2012)
• Panda (ANR Blanc, 2009-2012)
• Neoppod (FEDER, 2009-2011)
• Complice (ANR Blanc, 2009-2012)
• FOST (ANR Blanc, 2009-2012)
• Choco (ANR Blanc, 2008-2011)

See the list of all projects of our lab for older projects.

Seminars

We regularly organize seminars, and more informal discussion groups:

• LCR seminar: it is our group's seminar; the talks are supposed to be of general interest and accessible to the whole group. More or less monthly, usually on Mondays, at 3:30 pm, in room B311. Contact person: Damiano Mazza.
• MeFoSyLoMa seminar: this seminar is jointly organized by eight laboratories in the Paris area, among which LIPN. It is focused on the application of formal methods to software engineering and the conception of different kinds of computer systems. Meetings take place bimonthly.
• Kairos seminar: this seminar is organized within the Kairos project, an exploratory interdisciplinary project in mathematics-computer science-linguistics about linguistic expressions associated with deictic and anaphoric calendar series, analyzed from a typological perspective. Contact person: Sylviane Schwer.
• GdT Log&Prog: the "Logic and Programming" discussion group is organized within the Complice project. Its (informal) meetings revolve around proof theory and its connections with functional programming, implicit computational complexity, and models of parallelism and concurrent computation. These take place more or less weekly, usually on Monday afternoon, in room B311. Contact person: Damiano Mazza.

Upcoming seminars and discussion group meetings are usually announced on this page (see here on the right) or on the LIPN blog. Some of these events are also announced through mailing lists; please contact the respective organizer(s) to subscribe.

• The University of Paris 13, through our team, coorganizes the Logic and interactions 2012 session, which will take place at CIRM (Marseilles) from January 30th, to Mars 2nd, 2012.

• New propositions for Master internships are available!

• No upcoming LCR seminar in the immediate future. See the complete list of past and future seminars, or the archives.

• More news from the lab...