2018-annual-report

3.4 Association and Organization
Committees
Gilles Barthe:
1. International School on Foundations of Security
Analysis and Design (FOSAD).
2. European Association for Theoretical Computer
Science (EATCS) Summer School.
3. European Joint Conferences on Theory
and Practice of Software (ETAPS) Summer
School.
4. ACM Special Interest Group on Logic and
Computation (SIGLOG) Summer School.
5. ACM Special Interest Group on Programming
Languages (SIGPLAN) Summer School.
Manuel Carro:
1. Representative of IMDEA Software in Informatics
Europe.
2. Member of the joint board of the Erasmus
Mundos European Master in Software Engineering.
3. Representative of IMDEA Software in the
Node Strategy Committee of EIT Digital
Spain.
4. Representative of IMDEA Software at the
General Assembly of EIT Digital.
5. Member of the Technical and Scientific Advisory
Board of Origen Ventures Fund.
6. Member of the IRILL Scientific Advisory
Board (French Institute for Free Software).
7. Member of the External Advisory Board of the
NOVA LINCS Institute (Portugal).
8. Secretary of the International Association for
Logic Programming.
9. Member of the International Federation for
Computational Logic (IFCoLog) Advisory
Board.
10. Member of the Technical University of
Madrid Consulting Council.
11. Member of the Technical University of
Madrid Gallery of Distinguished Professors.
Niki Vazou:
1. Co-organizer of Programming Languages
Mentoring Worskhop (PLMW) at ICFP.
2. Member of Haskell.Org committee.
Zsolt István:
1. Co-organizer of Birds-of-a-Feather session at
ACM Middleware’18.
César Sánchez:
1. Co-organizer of Reliable Smart Contracts:
State-of-the-art, Applications, Challenges
and Future Directions track at International
Symposium On Leveraging Applications of
Formal Methods, Verification and Validation.
93
annual report
20
Dario Fiore:
1. Vice-Chair and Management Committee
member (representing Spain) of COST Action
IC1306 “Cryptography for Secure Digital
Interaction”.
Manuel Hermenegildo:
1. President of the INRIA Scientific Council
(Institut National de Recherche en Informatique
et en Automatique, France).
2. Member of the Academia Europaea.
3. Member of the Schloss Dagstuhl Scientific
Advisory Board (Germany).
4. Informatics Europe: Member of the Nomination
Committee.
5. Member of the Steering Board of EIT Digital.