Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

I. Lanese: Scientific coordinator of the International Training School on Reversible Computation (28-31/8/2017, Torun, Poland), organized by the COST Action IC1405 on Reversible Computation - Extending Horizons of Computing

Member of the Organizing Committees (conferences and schools)

S. Giallorenzo: Publicity Chair for 1st Conference on Microservices 2017 (Microservices 2017)

I. Lanese: Publicity Chair for 12th International Federated Conference on Distributed Computing Techniques (DisCoTec 2017)

Scientific Events Selection

Member of the Conference Program Committees

M. Bravetti: 15th International Conference on Software Engineering and Formal Methods (SEFM 2017); 2017 IEEE International Conference on Big Data (IEEE BigData 2017); 29th IFIP International Conference on Testing Software and Systems (ICTSS 2017).

U. Dal Lago: 26th Annual Conference of the European Association for Computer Science Logic (CSL 2017); 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017).

S. Giallorenzo: 32nd Annual ACM/SIGAPP Symposium On Applied Computing (SAC 2017)

I. Lanese: 14th International Conference on Formal Aspects of Component Software (FACS 2017); 9th Conference on Reversible Computation (RC 2017); 10th Interaction and Concurrency Experience (ICE 2017).

S. Martini: 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017); Fourth International Conference on History and Philosophy of Computing (HAPOC 2017); DIDAMATICA - Informatica per la Didattica (DIDAMATICA 2017).

D. Sangiorgi: 11th edition A.P. Ershov Informatics Conference (PSI Conference Series); 11th Int. Conference on Language and Automata Theory and Applications (LATA); 28th International Conference on Concurrency Theory (CONCUR 2017); 18th Italian Conference on Theoretical Computer Science (ICTCS 2017); 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL).

G. Zavattaro: 5th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017), Trento, Italy, 6–10 September, 2017; 6th European Conference on Service-oriented and Cloud Computing (ESOCC'17), Oslo, Norway, 27–29 September, 2017; 28th International Conference on Concurrency Theory (CONCUR'17), Berlin, Germany, 5–8 September 2017.

Member of the Editorial Boards

U. Dal Lago: Logical Methods in Computer Science; Mathematical Structures 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).

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

Invited Talks

U. Dal Lago: lecturer at the International School “A Brief Introduction to Probabilistic and Quantum Programming”, Universidade do Minho.

I. Lanese: lecturer at the International Training School on Reversible Computation (28-31/8/2017, Torun, Poland), organized by the COST Action IC1405 on Reversible Computation - Extending Horizons of Computing

D. Sangiorgi: invited talk at the event “Celebrating 20 years of IRAFS (The International Research Area on Foundations of the Sciences)”, Pontifical Lateran University, Rome.

G. Zavattaro: Invited talk at `15th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA'17)”.

Leadership within the Scientific Community

U. Dal Lago has been elected member of the Scientific Council of the Italian Chapter IC-EATCS (November 2017).

S. Martini is a member of the Executive Board of EQANIE (European Quality Assurance Network for Informatics Education); he has been nominated vice-president, starting 1 January 2018.

S. Martini is a member of the Council of the Commission on History and Philosophy of Computing, an organism of the International Union for History and Philosophy of Science, 2017-2021.

S. Martini is a member of the Board of CINI (Italian National Interuniversity Consortium for Informatics), designated by the Ministry for Semplificazione e Pubblica Amministrazione, from 2015.