Project : s4
Section: Other Grants and Activities
Catalysis: categorical and algebraic approaches to synthesis
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  and two research reports  .