Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• Ilaria Castellani was the co-chair (together with Pedro D'Argenio, Mohammad Reza Mousavi and Ana Sokolova) of the workshop “Open Problems in Concurrency Theory 2017” (OPCT'17), which was held in the Institute of Science and Technology Austria (IST Austria), from June 26 to June 29. http://opct2017.famaf.unc.edu.ar/Home.html

• Ilaria Castellani was the co-chair (together with Mohammad Reza Mousavi) of the workshop TRENDS 2017, which took place in Berlin on September 9, in association with the CONCUR 2017 conference. https://concurrency-theory.org/events/workshops/trends

Member of the Organizing Committees

• Tamara Rezk was member of the Organizing Committees of the conference Euro Security and Privacy 2017 and the workshop Secure Compilation Meeting at POPL 2017. She also is a member of the Steering Committee of the POST conference.

• Manuel Serrano is a member of the Steering Committee for the Trends in Functional Programming conference and the Programming conference.

• Nataliia Bielova was a member of the Organizing Committee of the Dagstuhl Seminar on Online Privacy and Web Transparency. https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=17162

Scientific Events Selection

Chair of Conference Program Committees

• Nataliia Bielova was the PC co-chair (together with Marco Gaboardi) of the ACM workshop “Workshop on Programming Languages and Analysis for Security” (PLAS 2017), which took place in Dallas (USA) on 30 October 2017. http://plas2017.cse.buffalo.edu/

Member of the Conference Program Committees

• Ilaria Castellani served in the Program Committees of the conference TTCS'17 and of the workshops PLACES'17 and EXPRESS/SOS'17.

• Tamara Rezk served in the Program Committees of SecDev, Sec@SAC, ESSoS, HotSpot@Etaps.

• Manuel Serrano served the ProWeb'17 program committee.

• Nataliia Bielova served in the Program Committees of CLaw'17, MMM-ACNS'17, ProWeb'17, FCS'17, IEEE SecDev'17, IEEE CSF'17, USENIX Security Poster session, APVP'17.

Reviewer

• The team members have been reviewers for the following conferences and workshops: TTCS'17, PLACES'17, EXPRESS/SOS'17, SecDev, Sec@SAC, ESSoS, HotSpot@Etaps, ProWeb'17, CLaw'17, MMM-ACNS'17, ProWeb'17, FCS'17, IEEE SecDev'17, IEEE CSF'17, USENIX Security Poster session, APVP'17.

Journal

Member of the Editorial Boards

• Ilaria Castellani is a member of the editorial board of Technique et Science Informatiques.

• Ilaria Castellani (together with Mohammad Reza Mousavi) was guest editor for the JLAMP special issue on Trends in Concurrency Theory (Selected invited contributions from the workshops TRENDS 2014 and TRENDS 2015), J. Log. Algebr. Meth. Program., vol. 87, 2017. https://doi.org/10.1016/j.jlamp.2017.01.002.

• Tamara Rezk is a member of the editorial board of Interstices.

Reviewer - Reviewing Activities

• The team members have been reviewers for the following journals: JLAMP, LMCS, ACM TOIT, ACM Toplas, ACM TOPS.

Invited Talks

• Tamara Rezk was an invited speaker at ETH Zurich in January, at GT-Verif (during the days of the meeting Gdr Sécurité) in May, and at the Journées Scientifiques Inria in June.

• Manuel Serrano gave a keynote talk on Web Programming at the Splash META'17 workshop in September https://2017.splashcon.org/track/meta-2017.

• Nataliia Bielova was an invited speaker at DGCCRF in March, at SySoSec seminar (Rennes) in May, at Higher School of Economics (Moscow) in October, and at DNU and KPI universities (Ukraine) in November.

Leadership within the Scientific Community

• Ilaria Castellani is the chair of the IFIP TC1 WG 1.8 on Concurrency Theory since June 2014.

• Ilaria Castellani is a Management Committee member of the COST Action IC1405 on Reversible Computation (November 2014-November 2018).

Scientific Expertise

• Tamara Rezk was an expert for reviewing projects for the National Center of Science and Technology Agency (Kazakhstan) and the CMU Portugal Program in collaboration with Carnegie Mellon University.

• Nataliia Bielova was an expert for reviewing projects for the Data Transparency Lab (DTL).

Research Administration

• Manuel Serrano is the "Délégué scientifique" (head of research) of the Inria Sophia Antipolis Mediterranée research center. He is member of the Inria Evaluation Committee.

• Nataliia Bielova is a member of “Comité du Suivi Doctoral (CSD)” (Supervision of PhD students) of the Inria Sophia Antipolis Mediterranée research center.

• Ilaria Castellani is a member of Inria’s “Comité Parité et Égalité des Chances”. In the Centre of Inria Sophia Antipolis, she is a member of the “Comité d’Animation et Médiation Scientifique” and of the “Comité Scientifique du Colloquium”.

• Tamara Rezk is a member of the "Commission de Développement Technologique (CDT)" of the Inria Sophia Antipolis Mediterranée research center.