Research in our group focuses on two main topics:

• linear logic and various applications to computer science;
• 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:

• Logique linéaire et applications (PICS CNRS France-Italie, 2010-2012)
• Panda (ANR Blanc, Oct 2009-Sep 2012)
• Collodi (Digiteo, Oct 2009-Sep 2010)
• Neoppod (FEDER, Mar 2009-Feb 2011)
• Complice (ANR Blanc, Jan 2009-Dec 2012)
• FOST (ANR Blanc, Jan 2009-Jan 2012)
• CerBISS (PEPS CNRS/INST2I, 2009-2010)
• Choco (ANR Blanc, 2008-2010)
• CoVAMP (BQR Paris 13, 2009)
• Relations (PEPS 2008)

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.
• 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.

• A Full Professor position in our lab is open (deadline for application: 4 October 2010).

• 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...