Welcome to LIPN! LIPN: Members LIPN: Research LIPN: Teachings LIPN: Publications Libraries Seminars Intranet
A3    Team AOC    Team CALIN   Team LCR    Team RCLN    Team News Positions 2009/2010

LIPN: LCR

Logic, Computation and Reasoning (LCR)

Head of group: Christine Choppy

Members Research projects Seminars Publications Master internships

Research

News

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.

Members

Full Professors

CNRS Researchers

Visiting Members

(LIPN full list)
  • Jörg Desel (Invited professor)
  • Katholische Universität Eichstätt

Professors

Post-Doc Fellows

Software Engineer

PhD Students

Partners and Former Members

Research Partners

Former Members


Last modified: Tuesday 09 March 2010 Valid HTML 4.01! Valid CSS! Contact for this webpage: Damiano.Mazza at lipn.univ-paris13.fr