Section: Dissemination

Promoting Scientific Activities

M. Bravetti: Program Committee member of the following conferences. BigData 2014 (IEEE International Conference on Big Data), WWV 2014 (10th International Workshop on Automated Specification and Verification of Web Systems), WS-FMDS 2014 (4th WorkShop on Formal Methods in the Development of Software), SEFM 2014 (12th International Conference on Software Engineering and Formal Methods), WS-FM 2014 (11th Workshop on Web Services and Formal Methods), ESOCC 2014 (3rd European Conference on Service-Oriented and Cloud Computing).

Invited speaker at MOD* 2014 (1st Int. Workshop on Logics and MODel-checking for self-* systems).

Organiser of Int. Workshop on Contracts for Efficient and Reliable Services.

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 conferences RTA-TLCA 2014, LOLA 2014 and IFIP-TCS 2014.

PC chair for DCM 2014.

Invited speaker at the "Mathematical Structures of Computation" event in Lyon.

Lecturer at the school BISS 2014, Bertinoro, Italy, March 2014.

D. Hirschkoff: Co-organisee of the international event on `Concurrency, Logic and Types', as part of the `Mathematical Structures of Computation', in february 2014 in Lyon (see http://smc2014.univ-lyon1.fr/doku.php?id=week5 ). Several Focus members took part in the event.

E. Giachino: Program Committee member of the conference iFM 2014 and the workshops BEAT 2014 and ICE 2014.

Workshop chair for the iFM and FACS 2014.

I. Lanese: Program Committee member of the following workshops and conferences: EXPRESS/SOS 2014 (Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structured Operational Semantics), WS-FM:FASOCC 2014 (11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing), IFIP TCS 2014 (Theoretical Computer Science 2014), SAC 2014 (Service Oriented Architectures and Programming track of the 29th Annual ACM Symposium on Applied Computing).

Steering committee for the Service Oriented Architectures and Programming (SOAP) track of the Annual ACM Symposium on Applied Computing (SAC), the International Symposium on Formal Aspects of Component Software (FACS).

Co-chair of the conferences 11th International Symposium on Formal Aspects of Component Software (FACS 2014), and 7th Interaction and Concurrency Experience (ICE 2014).

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

C. Laneve: Tutorialist at the PhD School: SFM-14:ESM (14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models)

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

S. Martini: Program Committee member of International Workshop Linearity 2014. Invited speaker at the Symposium on History and Philosophy of Computing (Annual Meeting of the International Association for Computing and Philosophy), Thessaloniki, Greece.

F. Montesi: Invited speaker at WS-FM: FASOCC (11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing)

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

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

Invited speaker at the workshops "Mathematical Structures of Computation" (Lyon, February 2014), CMCS'14 (12th International Workshop on Coalgebraic Methods in Computer Science), and "Open Problems in Concurrency Theory" (Bertinoro, Italy, June 2014).

Program Committee member of the conferences FOSSACS'14 (17th International Conference on Foundations of Software Science and Computation Structures) and LATA'14 (8th International Conference on Language and Automata Theory and Applications).

V. Vignudelli: Invited talks at the workshop "Mathematical Structures of Computation" (Lyon, February 2014), at the workshop "Open Problems in Concurrency Theory", Bertinoro, Italy, June 2014, and at the seminar series "CHoCoLa", at ENS Lyon, September 2014.

G. Zavattaro: Program Committee member of the following conferences and workshops: 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM:FASOCC’14); 2014 European Conference on Service-Oriented and Cloud Computing (ESOCC’14); 2nd Workshop on Dependability and Interoperability in Heterogeneous Clouds (DIHC14), Porto, Portugal, August 25-29, 2014; 2nd IEEE International Workshop on Formal Methods Integration (FMi 2014); 7th IEEE International Conference on Cloud Computing (CLOUD 2014); 16th International Conference on Coordination Models and Languages (COORDINATION’14).

General chair of the joint conferences 11th International Symposium on Formal Aspects of Component Software (FACS 2014) and 11th International Conference on Integrated Formal Methods (iFM 2014, Bertinoro, Italy, 9–12 September 2014).

Organiser of iFM and FACS 2014 (Bertinoro, Italy, 9–12 September 2014).