Section: Dissemination

Scientific Animation

M. Bravetti: Program Committee co-chair for: SEFM 2013 11th International Conference on Software Engineering and Formal Methods.

Program Committee member of the following conferences: SITIS 2013 (WeCA): 9th Conference on Signal-Image Technology and Internet-Based Systems (Web Computing and Application track); CLOUD 2013: 6th IEEE Conference on Cloud Computing; WS-FM 2013: 10th Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing; ESOCC 2013: 2nd European Conference on Service-Oriented and Cloud Computing; FSEN 2013: 5th Conference on Fundamentals of Software Engineering; WS-FMDS 2013: 3rd Workshop on Formal Methods in the Development of Software.

O. Dardha: Program Committee member 6th Interaction and Concurrency Experience (ICE 2013)

U. Dal Lago: Program Committee co-chair and main orgainser for FOPARA 2013: Third International Workshop on Foundational and Practical Aspects of Resource Analysis (August 29th to 31st, 2013, Bertinoro, Italy).

Program Committee member of the following conferences: FOSSACS 2013: 16th Conference on Foundations of Software Science and Computation Structures; CSL 2013: Computer Science Logic 2013; FSTTCS 2013: Foundations of Software Technology and Theoretical Computer Science; LOLA 2013: Syntax and Semantics of Low-Level Languages; GaLoP VIII: Games for Logic and Programming Languages.

I. Lanese: Program Committee co-chair of the following conferences: ICE 2013: 6th Interaction and Concurrency Experience; Service Oriented Architectures and Programming track of the 28th Annual ACM Symposium on Applied Computing (SAC 2013).

Program Committee member of 9th Workshop on Automated Specification and Verification of Web Systems (WWV 2013).

Member of the editorial board of the Scientific World Journal, and the Open Journal of Communications and Software.

C. Laneve: Invited speaker at IFM 2013, 10th International Conference on Integrated Formal Methods

M.Gabbrielli: Member of the editorial board of the Int'l Journal Theory and Practice of Logic Programming.

S. Martini: Program Committee member of the following conferences: 14th Italian Conference on Theoretical Computer Science (ICTCS 2013); 8th International Computer Science Symposium in Russia (CSR 2013); Workshop Logic and Computational Complexity (LCC 13); conference on the History and Philosophy of Computing (HaPoC 2013).

F. Montesi: Track program chair for 27th ACM Symposium on Applied Computing (SAC) track on Service-Oriented Applications and Programming track (SOAP).

Program Committee member of 2013 World Conference on Information Systems and Technologies (World-CIST).

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.

Invited speaker at the events: the SIGPLAN Programming Languages Mentoring Workshop; 6th Interaction and Concurrency Experience (ICE 2013)

Program Committee member of the conferences: 7th Conference on Language and Automata Theory and Applications (LATA 2013); 5th IPM International Conference on Fundamentals of Software Engineering (FSEN 2013); 24th International Conference on Concurrency Theory (CONCUR); Fourth International Symposium on Games, Automata, Logics and Formal Verification (GandALF)

Lecturer at the schools: 18th Estonian Winter School in Computer Science (EWSCS), Tallin, February 2013, and Scuola Estiva di Logica 2013, Garignano sul Garda, August 2013.

G. Zavattaro: Invited speaker at the 2013 European Conference on Service-oriented and Cloud Computing (ESOCC'13).

Program Committee member of the following conferences: 3rd Workshop on Adaptive Services for the Future Internet (WAS4FI'13); 10th Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM'13); 7th Workshop on Reachability Problems (RP'13); European Conference on Service-oriented and Cloud Computing (ESOCC'13); 2nd Workshop on Quality Assurance for Service-based applications (QASBA 2013); 6th IEEE Conference on Cloud Computing (CLOUD 2013); IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS); 10th Symposium on Formal Aspects of Component Software (FACS'13); the 10th Conference on Integrating Formal Methods (iFM'13).