Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

S. Martini: Workshop “Formalisms at the interface with machines, languages and systems”, Bertinoro October 16-17 2018. https://programme.hypotheses.org/autumn-workshop-formalisms-at-the-interface-with-machines-languages-and-systems

U. Dal Lago: First Workshop on Probabilistic Interactive and Higher-Order Computation, http://pihoc2018.cs.unibo.it/

Member of the Organizing Committees

Steering Committee membersip:

I. Lanese: Conference on Reversible Computation (RC); Microservices, DevOps, and Service-Oriented Architecture (MiDOS) track of the Annual ACM Symposium on Applied Computing (SAC); IFIP Int. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE)

Scientific Events Selection

Chair of Conference Program Committees

U. Dal Lago: 21st Int. Conference on Foundations of Software Science and Computation Structures (FoSSaCS)

Member of the Conference Program Committees

M. Bravetti: IEEE Int. Conference on Big Data (BigData 2018); 12th IEEE Int. Conference On Big Data Science and Engineering (BigDataSE 2018); 18th IEEE Int. Conference on Software Quality, Reliability, and Security (QRS 2018); 30th IFIP Int. Conference on Testing Software and Systems (ICTSS 2018); 16th Int. Conference on Software Engineering and Formal Methods (SEFM 2018); 15th Int. Conference on Applied Computing (AC 2018)

U. Dal Lago: Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS); Third Int. Conference on Formal Structures for Computation and Deduction (FSCD); 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA);

I. Lanese: 11th IEEE Int. Conference on Service-Oriented Computing and Applications (SOCA 2018); 11th Interaction and Concurrency Experience (ICE 2018); 10th Conference on Reversible Computation (RC 2018); 15th Int. Conference on Formal Aspects of Component Software (FACS 2018); Second Int. Workshop on Microservices: Agile and DevOps Experience (MADE18)

D. Sangiorgi: 27th European Symposium on Programming (ESOP); 13th int. conf. on Software Technologies (ICSOFT'18); Symposium on Dependable Software Engineering (SETTA'18); IFIP Int. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE); int. conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-22).

A. Yoshimizu: Games for Logic and Programming Languages XIII (GaLoP 2018).

Journal

Member of the Editorial Boards

M. Bravetti: Journal of Universal Computer Science

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

I. Lanese: 10th Conference on Reversible Computation (RC 2018)

D. Sangiorgi: 19th Italian Conference on Theoretical Computer Science (ICTCS'18)

Schools:

U. Dal Lago: “Lambda Calcolo e Teoria dei Tipi”, Scuola AILA, Gargnano 2018

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 the vice-presiden of EQANIE (European Quality Assurance Network for Informatics Education), since 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.