Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Chair of conference program committees

I. Lanese: Co-chair of 8th Interaction and Concurrency Experience (ICE 2015)

Member of the conference program committees

M. Bravetti: Int. Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2015); 9th IEEE Int. Conference on Big Data Science and Engineering (IEEE BigDataSE 2015); 4th European Conference on Service-Oriented and Cloud Computing (ESOCC 2015); 20th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015); 6th Int. Conference on Fundamentals of Software Engineering (FSEN 2015); 13th Int. Conference on Software Engineering and Formal Methods (SEFM 2015).

U. Dal Lago: 18th Int. Conference on Foundations of Software Science and Computation Structures (FOSSACS 2015); 6th Workshop on Developments in Implicit Computational Complexity (DICE 2015); 31st Workshop on Mathematical Foundations of Programming Semantics (MFPS 2015); 42nd Int. Colloquium on Automata, Languages, and Programming (ICALP 2015); 11th Int. Workshop on Developments in Computational Models (DCM 2015); 16th Italian Conference on Theoretical Computer Science (ICTCS 2015); 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).

D. Hirschkoff: 18th Int. Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2015.

I. Lanese: 12th Int. Conference on Formal Aspects of Component Software (FACS 2015); 7th Conference on Reversible Computation (RC 2015); 35th IFIP Int. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2015); 11th Int. Workshop on Developments in Computational Models (DCM 2015); Special Session on Formal Approaches to Parallel and Distributed Systems (4PAD) of the 23rd Euromicro Int. Conference on Parallel, Distributed and Network-based Processing (PDP 2015).

S. Martini: 30th ACM/IEEE Symposium on Logic in Computer Science (LICS) 2015.

F. Montesi: 6th Int. Conference on Ambient Systems, Networks and Technologies (ANT 2015); 31st Annual ACM/SIGAPP Symposium On Applied Computing (SAC 2015) - Operating Systems track; 8th Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2015). 8th Interaction and Concurrency Experience (ICE 2015).

D. Sangiorgi: 20th Int. Symposium on Fundamentals of Computation Theory 2015 (FCT); 10th Int. Andrei Ershov Memorial Conference (PSI 2015); 10th Int. Conference on Language and Automata Theory and Applications.

V. Vignudelli: 8th Interaction and Concurrency Experience (ICE 2015).

G. Zavattaro: 17th Int. Conference on Formal Engineering Methods (ICFEM 2015); 12th Int. Colloquium on Theoretical Aspects of Computing (ICTAC 2015); 8th IEEE Int. Conference on Service Oriented Computing and Applications (SOCA 2015); 4th European Conference on Service-oriented and Cloud Computing (ESOCC'15); 5th Int. Workshop on Adaptive Services for the Future Internet (WAS4FI 2015); 3rd IEEE Int. Workshop on Formal Methods Integration (FMi 2015); 20th Int. Symposium on Formal Methods (FM2015); Int. Conference on Cloud Computing Technologies and Applications (CLOUDTECH 2015); 30th ACM/SIGAPP Symposium On Applied Computing - track on Software Verication and Testing (ACM-SAC 2015).

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).

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

D. Sangiorgi: Logical Methods in Computer Science, Acta Informatica, Distributed Computing, RAIRO Theoretical Informatics and Applications.

Invited talks

M. Bravetti: 14th Int. Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2015).

U. Dal Lago: gave an invited course “From Implicit Complexity to Quantitative Resource Analysis” at the Warsaw's Open PhD lectures in Computer Science.

C. Laneve: Int. Symposium on Web Services, Formal Methods and Behavioural Types (WS-FM/BEAT 2015).

S. Martini: Colloque “Computing, Logic and Types”, Université Jean Moulin Lyon 3.

D Sangiorgi: DIMAP Logic Day 2015, Centre for Discrete Mathematics and its Applications, University of Warwick; Joint 22th Int. Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, Madrid; 12th Int. Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Cali, Colombia.

G. Zavattaro: 26th Conference on Concurrency Theory (CONCUR'15).