EN FR
Homepage Inria website


Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

general chair, scientific chair
  • Ilaria Castellani is the chair of the IFIP WG 1.8 on Concurrency Theory (of which she has been a member since its start in 2005). She is a member of the Management Committee of the european COST Action IC1201 BETTY on Behavioural Types, and the chair of the BETTY working group on Security. Since November 2014 she is also a member of the COST Action IC1405 on Reversible Computation.

  • Manuel Serrano is the coordinator of the ANR DEFIS project PWD .

  • Tamara Rezk is the coordinator of the security work package (WP3) of the ANR AJACS project.

member of the organizing committee
  • Ilaria Castellani co-organised (with the WG Secretary Mohammad Reza Mousavi) the workshop TRENDS 2014 and the annual business meeting of WG 1.8, and she participated in the IFIP TC1 (Foundations of Computation) business meeting, all held in September in Rome. She was involved in the organisation of the OPCT (Open Problems in Concurrency Theory) workshop that took place in May in Bertinoro, which was co-sponsored by WG 1.8. She was also one of the organisers of the MatthewFest, a two-day workshop that took place in Lucca in October to celebrate the 65th anniversary of Matthew Hennessy. She reported on the 2013 workshop ?25 Years of Combining Compositionality and Concurrency" (WS25CCC) in the Bulletin of EATCS.

  • Tamara Rezk organized a workshop on Programming Languages and Verification and a workshop on JavaScript Security at Inria Sophia Antipolis, on 9th and 16th December 2014.

Scientific events selection

member of the conference program committee
  • Manuel Serrano served on the program committee of the 16th Practical Aspects of Declarative Languages (PADL'14) conference, Trends in Functional Programming, (TFP'14) and Web Audio Conference (WAC'15).

  • Nataliia Bielova was a publication chair of International Symposium on Engineering Secure Software and Systems (ESSoS 2014) and was invited to be a publication chair of ESSoS 2015.

  • Ilaria Castellani was a member of the programme committee of the workshop BEAT 2014.

  • Tamara Rezk served on the program committees of Computer Security Foundations (CSF'14), of International Symposium on Engineering Secure Software and Systems (ESSOS'15), and of 4th Conference on Principles of Security and Trust (POST'15).

reviewer
  • Nataliia Bielova served as an external reviewer to the Conference on Principles of Security and Trust (POST 2014) and Computer Security Foundations Symposium (CSF 2014).

Journal

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

reviewer
  • Nataliia Bielova was an invited reviewer of the ACM Transactions on Information and System Security (TISSEC).

  • Tamara Rezk was an invited reviewer of the Journal Computer Languages, Systems & Structures.