Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

I. Lanese: Co-chair and local organizer for the 8th Conference on Reversible Computation (RC 2016), Bologna, July 7th-8th, 2016.

Chair of Conference Program Committees

I. Lanese: 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016)

D. Sangiorgi: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Rome, July 2016

Member of the Conference Program Committees

M. Bravetti: 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016); 14th International Conference on Software Engineering and Formal Methods (SEFM 2016); 10th IEEE International Conference on Big Data Science and Engineering (IEEE BigDataSE 2016); 2016 IEEE International Conference on Big Data (IEEE BigData 2016) 32nd Symposium on Applied Computing, track on Software Verification and Testing (SAC-SVT 2016); 7th International Conference on Fundamentals of Software Engineering (FSEN 2017).

U. Dal Lago: 13th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2016); 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016); 15th International Workshop on Termination (WST 2016); 17th International Workshop on Logic and Computational Complexity (LCC 2016, Chair).

I. Lanese: 1st International Workshop on Pre- and Post-Deployment Verification Techniques (PrePost 2016); 9th Interaction and Concurrency Experience (ICE 2016); 25th European Symposium on Programming (ESOP 2016); Special Track on Microservices: Science and Engineering of the 9th IEEE International Conference on Service-Oriented Computing and Applications (MSE @ SOCA 2016).

S. Martini: DIDAMATICA - Informatica per la Didattica (DIDAMATICA 2016).

D. Sangiorgi: 10th International Conference on Language and Automata Theory and Applications (LATA'16).

V. Vignudelli: 9th Interaction and Concurrency Experience (ICE 2016).

G. Zavattaro: 21st International Symposium on Formal Methods (FM2016); 5th European Conference on Service-oriented and Cloud Computing (ESOCC'16); 27th International Conference on Concurrency Theory (CONCUR'16); 31st ACM/SIGAPP Symposium On Applied Computing - track on Software Verification and Testing (ACM-SAC 2016).

Member of the Editorial Boards

U. Dal Lago: Logical Methods in Computer Science.

M. Gabbrielli: Int. Journal Theory and Practice of Logic Programming.

C. Laneve: Frontiers in ICT (Section Formal Methods).

I. Lanese: Editor in chief of the Open Journal of Communications and Software (Scientific Online).

The Scientific World Journal (Hindawi Publishing Corporation): editor till August 3, 2016

F. Montesi: Guest editor for "Special issue on Service-Oriented Architecture and Programming (SOAP 2013)". Science of Computer Programming.

D. Sangiorgi: Acta Informatica, Distributed Computing, RAIRO Theoretical Informatics and Applications.

Invited Talks

U. Dal Lago: gave an invited course “Implicit Complexity and the Curry-Howard Correspondence” at `Days in Logic 2016', Lisboa, Portugal.

D. Hirschkoff: gave an invited course “Mechanised Coinductive Proofs” at East China Normal University (Shanghai, China), in november 2016 (a course mainly targeted towards master students).

S. Martini: gave the invited talk “Types in programming languages, between modelling, abstraction and correctness” at `Computability in Europe' (Cie 2016), special session on History and Philosophy of Computing, Paris, June 2016.

G. Zavattaro: gave an invited course on cloud computing management at the `Bertinoro International Spring School 2016' (BISS'16), Bertinoro, Italy, 6-11 March, 2016.