## Project-Team : calligramme

## Section: Dissemination

## Participation to colloquia, seminars, invitations

J. Besombes, G. Perrier and S. Pogodalla attended the Categorial Grammars meeting in Montpellier on June. In addition to a regular talk, S. Pogodalla presented a joint work with Christian Rétoré as an invited talk, and G. Perrier gave an invited talk.

J. Besombes attended the ISS 2004 meeting in Zakopane (Poland) on May.

J. Besombes visited the Symbiose group in Rennes and gave a talk.

G. Besombes and J.-Y. Marion attended the ALT 2004 conference in Padova (Italy) on October.

Three members of Calligramme (G. Bonfante, E. Hainry and J.-Y. Marion) attended the APPSEM 2004 meeting in Tallin (Estonia) on April and gave a talk on ``On complexity analysis by Quasi-interpretations''.

G. Bonfante, F. Lamarche, J.-Y. Marion, J.-Y. Moyen and L. Straßburger attended the ``Première rencontre de l'ACI GEOCAL'' in Marseille in January and L. Straßburger gave a talk on ``The calculus of structures'', and François Lamarche on ``the geometry of rewriting.''

G. Bonfante, J.-Y. Marion, J.-Y. Moyen and R. Péchoux attended the CRISS workshop at the INRIA Sophia, January 23. J.-Y. Moyen gave a talk on ``Termination and ressource analysis of assembly-programs by Petri Nets''.

G. Bonfante, J.-Y. Marion, J.-Y. Moyen and R. Péchoux attended the CRISS workshop in Nancy in June and R. Péchoux gave a talk on ``Synthèse et vérification de QI''.

D. Duchier, B. Guillaume and G. Perrier attended the COLING 2004 conference in Geneva (Switzerland) on August.

D. Duchier and J. Le Roux attended the MOZ 2004 conference at Charleroi (Belgium) in October and presented a paper about the XMG design and implementation: ``The Metagrammar Compiler: an NLP Application With a Multi-paradigm Architecture''.

D. Duchier attended the CSLP 2004 conference in Copenhagen (Denmark) in September.

Ph. de Groote, B. Guillaume and S. Salvati attended the Demonat workshop in Paris in November.

Ph. de Groote and J.-Y. Marion attended the LICS 2004 conference on July. Ph. de Groote presented the paper ``Vector Addition Tree Automata'' [27].

Ph. de Groote, S. Salvati and L. Straßburger attended the CSL 2004 conference in September, in Karpacz, Poland. L. Straßburger presented the paper ``On proof nets for multiplicative linear logic with units'' [26] and S. Salvati presented the paper ``Higher-order Matching in the Linear -calculus with Pairing'' [28].

B. Guillaume, Ph. de Groote, S. Pogodalla and S. Salvati attended the Demonat workshop at the Université de Savoie, 5–6 May 2004;

B. Guillaume, J. Le Roux, G. Perrier and S. Pogodalla attended a workshop organized by the Signes INRIA project to present Leopar and related NLP issues;

B. Guillaume attended the 2nd international workshop Coq+rewriting at Palaiseau in September and gave a talk.

F. Lamarche and L. Straßburger attended the ICCL Summer School 2004 on Proof Theory and Automated Theorem Proving, and the PCC Workshop 2004, in June in Dresden, Germany, and L. Straßburger gave a talk ``On proof nets for classical propositional logic''.

F. Lamarche and L. Straßburger attended the ICCL 2004 workshop in Dresden on September 25–26. Both gave a talk.

J.-Y. Marion and J.-Y. Moyen attended the GeoCal meeting at LIPN (Université de Paris Nord) in September. J.-Y. Marion gave a talk ``Resource analysis by Quasi-interpretations'' and J.-Y. Moyen gave a talk ``Resource termination – using Petri Nets to analyse programs''.

J.-Y. Marion was twice invited speaker at CMAF in Lisbon (Portugal) in March and May.

J.-Y. Marion attended the LCC 2004 workshop in July and gave an invited talk ``Resource analysis by Quasi-interpretations''.

J.-Y. Marion attended the ACI ``Sécurité Informatique'' meeting in Toulouse in November.

J.-Y. Moyen visited the LCR group at LIPN (Université de Paris Nord) and gave a talk on ``Ordres de teminaison et Quasi-interprétations''.

J.-Y. Moyen visited the LogiCal group at LIX (Palaiseau) and gave a talk on ``Terminaison par ressources''.

J.-Y. Moyen visited the PPS group at Université Paris 7 and gave a talk on ``Ordres de terminaison et Quasi-interprétations''.

G. Perrier and S. Pogodalla each gave a talk at the 11th conference TALN 2004 that was held in Fès, Morocco, April 19-22.

S. Pogodalla gave a talk at the 7th international workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), 20-22 May 2004, Vancouver, Canada.

Lutz Straßburger visited the PPS group (CNRS UMR 7126) in Paris in February, and gave a talk on ``The calculus of structures''.

Lutz Straßburger visited Dale Miller at the LIX (École polytechnique) in Palaiseau in February and gave a talk on ``Proof nets for multiplicative linear logic with units''.

Lutz Straßburger attended the 9th Estonian Winter School in Computer Science, EWSCS 2004, in Palmse, Estonia, in March and gave a talk on ``The calculus of structures''.

Lutz Straßburger visited the IMMM (CNRS UMR 5149) in Montpellier in March and gave two talks: ``Linear logic in the calculus of structures'' and ``On proof nets for multiplicative linear logic with units''.

Lutz Straßburger visited the LaBRI (INRIA Futurs, CNRS UMR 5800) in Bordeaux in May and gave a talk ``Le calcul des structures''.

Lutz Straßburger visited the PPS group (CNRS UMR 7126) in Paris in June, and gave a talk ``On proof nets for classical propositional logic''.

Lutz Straßburger visited the Programming Systems Lab, Universität des Saarlandes, Saarbrücken, Germany, in September and gave a talk on ``The calculus of structures''.