Team s4

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2003
Project: s4

Project : s4

Section: Other Grants and Activities

Catalysis: categorical and algebraic approaches to synthesis

Participants : Éric Badouel, Benoît Caillaud, Philippe Darondeau.

Catalysis, which stands for categorical and algebraic approaches to synthesis, is a collaboration initiated in 1999 between Team S4 and the Institute for Computer Science (Ipi Pan) in Gdansk, Poland. This collaboration is part of the scientific cooperation framework between CNRS and the Polish Academy of Science. Participant to that collaboration are Éric Badouel, Benoît Caillaud and Philippe Darondeau for Team S4 and Marek Bednarczyk, Andrzej Borzyszkowski and Wieslaw Pawlowski for Ipi Pan. A two-week visit in Gdansk of two members of the S4 project (in December) and a two-week visit in Rennes of two members of Ipi Pan (in May) are planned yearly. This collaboration has enabled the publication of one conference paper [14] and two research reports [23] [22].