FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies


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.