2018-annual-report

90
annual report
20
Niki Vazou:
1. PC co-Ccair, 3rd ACM SIGPLAN International
Workshop on Type-Driven Development
(TyDe 2018).
3.2. Editorial Boards and Conference
Steering Committees
3. Scientific Service
and Other Activities
3.1. Conference and Program
Committee Chairmanship
Gilles Barthe:
1. PC Co-Chair, 22nd International Conference
on Logic for Programming, Artificial Intelligence
and Reasoning (LPAR-22).
Juan Caballero:
1. TPC Co-Chair, 2018 Annual Computer Security
Applications Conference (ACSAC 2018).
John Gallagher:
1. PC Co-Chair, 14th International Symposium
on Functional and Logic Programming
(FLOPS 2018).
2. PC Chair of the Sixth International Workshop
on Verification and Program Transformation
(VPT 2018) (joint ETAPS workshop MARS/
VPT@ETAPS 2018).
Alessandra Gorla:
1. PC Co-Chair, 10th International Workshop
on Search-Based Software Testing (SBST
2018). ,
Gilles Barthe:
1. Editorial Board of the Journal of Automated
Reasoning.
2. Editorial Board of the Journal of Computer
Security.
3. Editorial board of Transactions on Dependable
and Secure Computing.
4. Steering Committee of the European Symposium
on Security and Privacy (EuroS&P).
Juan Caballero:
1. Editorial Board of the ACM Transactions in
Privacy and Security (ACM TOPS).
2. Steering committee of Conference on Detection
of Intrusions and Malware & Vulnerability
Assessment (DIMVA).
3. Steering committee of Jornadas Nacionales
de Investigación en Ciberseguridad (JNIC).
4. Steering Committee of the International Symposium
on Engineering Secure Software and
Systems (ESSoS).
Manuel Carro:
1. Area Editor, Theory and Practice of Logic
Programming (Technical Notes and Rapid
Publications, since July 2018).
Dario Fiore:
1. Editorial Board of IET Information Security
Journal.
2. Editor Board of the International Journal of
Applied Cryptography.