EN FR
EN FR


Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair

Mario Bravetti has been scientfiic co-organizer for Int. PhD School and Bootcamp on Behavioural Application Program Interfaces (BehAPI 2019), Leicester, UK.

Ugo Dal Lago has organized the Second Workshop on Probabilistic Interactive and Higher-Order Computation (6-7 February 2019) http://pihoc2019.cs.unibo.it/.

Member of the Organizing Committees

Local Organising Committee:

Michael Lodi has been a member of the Local Organising Committee of the 13th Conference of European Science Education Research Association (ESERA ’19). Bologna, 26th - 30th August 2019

Steering Committee membership:

I. Lanese: Conference on Reversible Computation (RC); IFIP Int. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE); Interaction and Concurrency Experience (ICE)

D. Sangiorgi: Int. Conference on Concurrency Theory (CONCUR)

Scientific Events: Selection

Member of the Conference Program Committees

M. Bravetti: 22nd International Conference on Fundamental Approaches to Software Engineering (FASE/ETAPS 2019); IEEE International Conference on Big Data (BigData 2019); 19th IEEE International Conference on Software Quality, Reliability, and Security (QRS 2019); 8th IPM International Conference on Fundamentals of Software Engineering (FSEN 2019)

U. Dal Lago: Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019; 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020); 28th European Symposium on Programming (ESOP 2019); 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)

I. Lanese: 11th Conference on Reversible Computation (RC 2019); 12th Interaction and Concurrency Experience (ICE 2019); 16th International Conference on Formal Aspects of Component Software (FACS 2019); 12th IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2019); First Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2019); 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2019); 2nd International Conference on Microservices (MICROSERVICES 2019); 12th Innovations in Software Engineering Conference (ISEC 2019)

S. Martini: Workshop on History of Formal Methods (HFM2019); Fifth International Conference on History and Philosophy of Computing (HAPOC 5).

D. Sangiorgi: 22nd International Conference on Foundations of Software Science and Computation Structures (FOSSACS); 44th International Symposium on Mathematical Foundations of Computer Science (MFCS); 12th A.P. Ershov Informatics Conference (PSI); Workshop on History of Formal Methods (HFM2019); 15th International Conference on Software Technologies (ICSOFT)

G. Zavattaro: 17th International Conference on Service Oriented Computing (ICSOC'19); International Conference TOOLS 50+1: Technology of Object-Oriented Languages and Systems (TOOLS'19); 30th International Conference on Concurrency Theory (CONCUR'19); 34th ACM/SIGAPP Symposium On Applied Computing – track on Microservices, DevOps, and Service-Oriented Architecture (ACM-SAC 2019)

Journals

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; Acta Informatica.

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: Bellairs Workshop on Higher-Order Probabilistic Computation; 1st Computer Science Workshop; “Mission 10000 Conference: Quantum Science and Technologies”

D. Sangiorgi: International Conference TOOLS 50+1: Technology of Object-Oriented Languages and Systems (TOOLS'19)

Schools:

M. Avanzini: International School on Rewriting, Paris, France, 1–6 July, 2019

U. Dal Lago: 1st “Caleidoscope” Summer School

G. Zavattaro: BehAPI Summer School: Behavioural Approaches for API-Economy with Applications, Leicester, UK, 8–12 July, 2019

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 Council of the Commission on History and Philosophy of Computing, an organism of the International Union for History and Philosophy of Science, 2017-2021.

G. Zavattaro is member of the scientific committee of GRIN (GRuppo INformatici), Italy.

Administration duties

M. Gabbrielli is Deputy Head of the Department of Computer Science and Engineering, University of Bologna, since May 2018.

D. Sangiorgi is coordinator of postgraduate studies at the Department of Computer Science and Engineering, University of Bologna.

G. Zavattaro is coordinator of undergraduate studies at the Department of Computer Science and Engineering, University of Bologna.