## Section: Dissemination

### Seminars and conferences

**Roberto Amadio**presented [25] at the meeting on Algebraic Process Calculi in Bertinoro. He participated in the workshops of the CRISS project, giving a talk on [24] , and in the CONCUR Conference and the EXPRESS workshop.

**Gérard Boudol**in January, Gérard Boudol participated in a CRISS workshop in Marseille, where he gave a talk on [16] , and in a meeting of the MIKADO project in Torino. He participated in the Dagstuhl Seminar on the Foundations of Global Computing in February, and gave a talk on [16] . He participated in the final review of the MIKADO project in Edinburgh, giving a talk on the research activities in the area of models in this project. He attended the ETAPS conference held in the same period (April). He gave a three hours course on Language-Based Security at the CIRM School on Security (Marseille, April). He gave an invited seminar on [16] at the DSL Workshop on Functional Programming and Verification (Nancy, May). He participated in a CRISS workshop in Paris (June), where he gave a talk on [19] . He participated in the 18th IEEE Computer Security Foundations Workshop (Aix-en-Provence, June), where the work [16] was presented by Ana Matos. He participated in a meeting on Algebraic Process Calculi in Bertinoro (August), where [25] was presented by Roberto Amadio. He attended the International Colloquium on Theoretical Aspects of Computing in Hanoi (October), where he presented the paper [19] .

**Ilaria Castellani**participated to the 18th IEEE Computer Security Foundations Workshop (Aix-en-Provence, June 20-22, 2005) where she gave a short talk, and to the workshop

*Algebraic Process Calculi: The First Twenty Five Years and Beyond*(Bertinoro, Italy, August 1-5, 2005), where the paper [25] was presented by Roberto Amadio. She took part in a meeting of the ACI project CRISS in Marseille (January 17-18, 2005). She visited the University of Aarhus (June 30, 2005) to attend Marco Carbone's PhD thesis defense.**Frédéric Dabrowski**gave a talk on [17] at the LACL (University of Paris 12). He presented also this paper at the EXPRESS Workshop, and attended the CONCUR Conference. He participated in the workshops of the CRISS project.

**Silvano Dal Zilio**gave a talk at NWPT'05, the 17th nordic workshop on programming theory [14] , on a typed process calculus for querying distributed XML documents. He gave a talk on resource control for functional programs at CSL'04, the 18th International Conference on Computer Science Logic. A subsequent result [20] , [27] that extend our work on resource control to the case of tail-recursive programs was presented at APLAS'05, the 3rd Asian Symposium on Programming Languages and Systems. Silvano Dal Zilio gave several talks on meetings of the ACI Masses de Données Tralala in Paris, Marseille and Lille.

**Manuel Serrano**gave a talk on

*Ubiquitous Mail*during the 6^{th}Scheme and Functional Programming Workshop that took place in Tallinn.