Section: Dissemination

Scientific Animation

M. Bravetti: Program Committee member of the following conferences: ESOCC 2012: European Conference on Service-Oriented and Cloud Computing; SITIS 2012 (IBCS): The 8th International Conference On Signal-Image Technology and Internet-Based Systems, Track on Internet-Based Computing and Systems; WS-FMDS 12: 2nd Workshop on Formal Methods in the Development of Software; CLOUD 2012: 5th IEEE International Conference on Cloud Computing; ICST 2012: 5th IEEE International Conference on Software Testing, Verification, and Validation; IADIS: International Conference on Applied Computing 2012; PLACES 2012: 5th Int. Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software; WS-FM 2012: 9th International Workshop on Web Services and Formal Methods.

Member of the editorial board of the journal J.UCS Journal of Universal Computer Science.

M. Dalla Preda: Program Committee member of the following conferences: 5th IEEE international conference Malware 2012; Software Security and Protection Workshop 2012; Workshop on Program Protection and Reverse Engineering 2012.

U. Dal Lago: Program Committee member of the following conferences: 39th International Colloquium on Automata, Languages and Programming (ICALP 2012); Third International Workshop on Developments in Implicit Complexity (DICE 2012).

Invited speaker at Second International Workshop on Linearity, Tallin, Estonia, 1 April, 2012. Guest Editors of a special number of Theoretical Computer Science devoted to DICE 2012.

Member of the organising committee of the “Logic and interactions 2012” weeks, Marseille 30 January – 2 March 2012.

M. Gaboardi: Program Committee member for the Third Workshop on Developments in Implicit Computational Complexity

Invited speaker at the ASL meeting special session on Structural Proof Theory and Computing April 2-3, 2012, Madison, USA.

I. Lanese: Program Committee member of the following conferences: 9th International Workshop on Web Services and Formal Methods (WS-FM 2012); 5th Interaction and Concurrency Experience (ICE 2012).

Co-chair of the Service Oriented Architectures and Programming track of the 27th Annual ACM Symposium on Applied Computing (SAC 2012). Workshop Co-Chair of ESOCC 2012, the European Conference on Service-Oriented and Cloud Computing 19-21 September 2012, Bertinoro, Italy.

Member of the organising committee of the 5th Interaction and Concurrency Experience (ICE 2012).

C. Laneve: Program Committee member of the following conferences: 23rd International Conference on Concurrency Theory (CONCUR); 22nd European Symposium on Programming (ESOP).

Invited speaker at 7th International Symposium on Trustworthy Global Computing Newcastle upon Tyne, UK, 7-8 September 2012.

M.Gabbrielli: Member of the editorial board of the Int'l Journal Theory and Practice of Logic Programming. Member of the program committee of the 9th International Workshop on Constraint Handling Rules; Fifteenth International Symposium on Practical Aspects of Declarative Languages (PADL'13).

Expert Committee member for 2012 EAPLS Best Ph.D. Dissertation award.

Organizer of the 2012 Bertinoro school for Ph.D. students in computer science (BISS 2012).

S. Martini: Program Committee member of the Second International Workshop on Linearity (FOPARA), Tallinn, Estonia.

Invited speaker at Pisa Summer Workshop on Proof Theory, Pisa, Italy.

D. Sangiorgi: Member of the editorial board of the journals: Logical Methods in Computer Science, Acta Informatica, and Distributed Computing, Foundations and Trends in Programming Languages.

Program Committee member of the conferences: 38th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM); Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012); 39th International Colloquium on Automata, Languages and Programming (ICALP 2012),

Invited speaker at the Milner Symposium, 15-18 April 2012, Edimburgh UK, 2012 Microsoft Summer School on Concurrency, August 22-29 2012, St. Petersburg, Russia.

Co-director of the International School HATS-FMCO on Formal Models for Components and Objects, 24-28 September 2012 University Residential Center of Bertinoro, Italy.

G. Zavattaro: Program Committee member of the following conferences: 6th International Workshop on Reachability Problems; 9th International Symposium on Formal Aspects of Component Software (FACS); 4th Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION 2012); 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE); 5th IEEE International Conference on Cloud Computing (CLOUD 2012).

Invited speaker at 3rd International Workshop on Interactions between Computer Science and Biology (CS2Bio'12), 16 June 2012, Stockholm, Sweden.

Member of the Editorial Board of the Journal of Software (JSW), Academy Publisher.

General Chair of ESOCC 2012, the European Conference on Service-Oriented and Cloud Computing 19-21 September 2012, Bertinoro, Italy.