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).
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.
I. Lanese: 10th Conference on Reversible Computation (RC 2018)
D. Sangiorgi: 19th Italian Conference on Theoretical Computer Science (ICTCS'18)
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.