Section: Dissemination

Animation of the scientific community

M. Bravetti: Program Committee member of the following conferences: 8th European Performance Engineering Workshop (EPEW); 4th International Conference on Fundamentals of Software Engineering (FSEN); 4th IEEE International Conference on Software Testing, Verification and Validation (ICST); 1st International Workshop on Trustworthy Service-Oriented Computing; Process Algebra and Coordination (PACO); 1st Workshop on Formal Methods in the Development of Software (WS-FMDS); 11th International Conference On Quality Software (QSIC); 4th IEEE International Conference on Cloud Computing (CLOUD). Invited lecturer at 7th TAROT Summer School on Software Testing, Verification and Validation (TAROT) Saint Petersburg, Russia.

M. Gaboardi: Invited speaker at Workshop on Linear Logic, Kyoto, Japan. Organizing Committee member of the following events: Oregon Programming Language Summer School (OPLSS 2011), Eugene, Oregon; June 16-July 1, 2011. XXIV Incontro di Logica (AILA 2011), Bologna, February 2-4, 2011.

U. Dal Lago: Program Committee member of the following conferences: Tenth International Conference on Typed Lambda Calculi and Applications (TLCA), Novisad, Serbia; International Workshop on Games in Logic and Programming (GaLoP), Saarbrucken, Germany. An invited talk at the Workshop on Geometry of Interaction, Traced Monoidal Categories and Implicit Computational Complexity, Kyoto, Japan, Novembre 2011.

M. Gabbrielli: Organizer in March 2011 of the third International School on Computational logic. Member of the editorial board of the Int'l Journal Theory and Practice of Logic Programming. Member of the program committee of the 4th International Conference on Fundamentals of Software Engineering (FSEN).

I. Lanese: Program Committee co-Chair of the Service Oriented Architectures and Programming track of the 26th Annual ACM Symposium on Applied Computing (SAC 2011), Taichung, Taiwan Program Committee member of the following conferences: 1st Conference on Electronics, Telecommunications and Computers (CETC) Lisboa, Portugal; 1st International Workshop on TRUstworthy Service Oriented Computing (INTRUSO), Copenaghen, Denmark; 4th Interaction and Concurrency Experience (ICE), Reykjavik, Iceland. Invited to give a talk at IMT Lucca, Italy, on “Control of Reversibility”, October 2011.

C. Laneve: Program Committee member of: 18th International Workshop on Expressiveness in Concurrency (EXPRESS), Aachen, Germany, September 2011; 8th International Conference on Quantitative Evaluation of SysTems (QUEST), Aachen, Germany. Invited speaker at the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Versailles, September 2011.

S. Martini: Program Committee member of: Foundational and Practical Aspects of Resource Analysis (FOPARA), Madrid, Spain; Second Workshop on Developments in Implicit Computational Complexity (DICE), Saarbrucken, Germany; Member of the final jury for the PhD of Alberto Carraro, Universitá Ca' Foscari, Venezia, Italy. Rapporteur of the PhD thesis of Beniamino Accattoli, Universitá di Roma “La Sapienza”, Italy. Organizing Committee member of the XXIV Incontro di Logica (AILA 2011), Bologna, February 2-4, 2011.

D. Sangiorgi: Member of the editorial board of the journals: Logical Methods in Computer Science, Acta Informatica, and Distributed Computing. Chairman of the IFIP Working Group 2.2 (Formal description of programming concepts). Program Committee member of the conferences: 4th International Conference on Algebraic Informatics, Linz, Austria; Twenty-Sixth Annual IEEE Symposium on Logic in Computer Science (LICS), Toronto, Ontario, Canada; the 38th International Colloquium on Automata, Languages and Programming (ICALP), Zurich, Switzerland; the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS), Pittsburgh; workshop Process Algebra and Coordination (PaCo), Reykjavik, Iceland. Member of the evaluation committee of the “Habilitation a Diriger des Recherche” (HDR) of Alan Schmitt, INRIA Grenoble, France. Invited lecturer at the school 'Software Engineering and Formal Methods' November 7-11, 2011 Montevideo, Uruguay.

G. Zavattaro: Program Committee Chair of 9th IEEE European Conference on Web Services (ECOWS). Program Committee member of the following conferences: 5th International Workshop on Reachability Problems (RP); 1st International Workshop on Verification, Analysis, and Testing of Service Systems (VATSS); 8th International Workshop on Web Services and Formal Methods (WS-FM); 5th Membrane Computing and Biologically Inspired Process Calculi workshop (MeCBIC); 4th IEEE International Conference on Cloud Computing (CLOUD); 2nd Int. Workshop on Interactions between Computer Science and Biology (CS2Bio); Twenty-Seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS). Invited speaker at 1st International Workshop on Process Algebra and Coordination (PaCo). Member of the Editorial Board of the Journal of Software (JSW). Member of the evaluation committee of the “Habilitation a Diriger des Recherche” (HDR) of Gwen Salaun, INRIA Grenoble, France.