2018-annual-report

6. Alexey Gotsman. Tutorial: Consistency Choices
in Modern Distributed Systems. PODC’18:
Symposium on Principles of Distributed
Computing. University of London, Egham,
United Kingdom. July 2018.
7. M.V. Hermenegildo. 25 Years of Ciao. Invited
tutorial at International Symposium on Logicbased
Program Synthesis and Transformation.
Frankfurt, Germany. September 2018.
85
annual report
20
8. M.V. Hermenegildo. Horn Clause-based Program
Analysis and Verification with CiaoPP.
International Workshop on Declarative Program
Analysis. Amsterdam, Holland. July 2018.
2 Invited Talks
2.1 Invited and Plenary Talks by IMDEA
Scientists
1. Gilles Barthe. Formal verification of sidechannel
resistance. International Conference
on Applied Cryptography and Network Security.
Leuven, Belgium. July 2018.
2. Juan Caballero. A Lustrum of Malware Network
Communication: Evolution and Insights.
Invited talk at OPTICS2 Workshop on Avionics
Cybersecurity. Cologne, Germany. June
2018.
3. Juan Caballero. Cybersecurity 360. EIT Professional
School, Munich, Germany, November
2018.
4. Dario Fiore. Zero-Knowledge Proofs and
Applications to IoT and Blockchains. B4Things,
Madrid, Spain. April 2018.
5. Alexey Gotsman. Reasoning about consistency
choices in modern distributed systems.
Workshop on Interaction and Concurrency
Experiences, affiliated with International
Federated Conference on Distributed Computing
Techniques. Universidad Complutense
de Madrid, Madrid, Spain. June 2018.
2.2 Invited Seminars and Lectures by
IMDEA Scientists
1. Raúl Alborodo. Model-based Construction of
Reliable Concurrent Software. iDS Workshop
Digital Infrastructure Madrid Node, Madrid,
Spain. May 2018.
2. Raúl Alborodo. Model-based development of
concurrent software. Seminar ES Unit. FBK,
Trento, Italy. March 2018.
3. Miguel Ambrona. Criptografía: una invitación
a las matemáticas. XIII Concurso matemático
Miguel de Guzmán’s Awards Ceremony,
Rivas-Vaciamadrid, Madrid, Spain. May
2018.
4. Miguel Ambrona. El modelo del Grupo
Genérico en Criptografía: demostraciones
automáticas. Universidad Complutense de
Madrid, Madrid, Spain. February 2018.
5. Miguel Ambrona. Matemáticas y Criptografía.
ICMAT, Campus Cantoblanco UAM, Madrid,
Spain. March 2018.