2018-annual-report

86
annual report
20
6. Miguel Ambrona. Workshop on Cryptography
and Internet Security. Science Week, Universidad
Complutense de Madrid, Madrid,
Spain. November 2018.
7. Alejandro Aguirre. Almost Sure Productivity.
Guest talk at Rheinisch-Westfälische Technische
Hochschule Aachen (RWTH Aachen)
Aachen, Germany. November 2018.
16. Pierre Ganty. Tree dimension in verification
of constrained Horn clauses. Workshop on
Horn Clauses for Verification and Synthesis.
Oxford, UK. July 2018.
17. Pierre Ganty. Population protocols and
predicates. International Workshop on Synthesis
of Complex Parameters. Thessaloniki,
Greece. April 2018.
8. Joaquín Arias. Decoding Smart Cities Using
a Rule-Based Programming Language. EIT
Digital Cities Workshop, Madrid, Spain. October
2018.
9. Joaquín Arias. Reasoning over Stream Data
Using a Rule-Based Programming Language.
iDS Workshop, Madrid, Spain. May 2018.
10. Gilles Barthe. Formal verification of cryptographic
implementations: side-channels
and beyond. Alpine Verification Meeting,
Wagrain, Austria. September 2018
11. Gilles Barthe. Security & Correctness in the
IoT. Summer School, Graz, Austria. September
2018.
12. Manuel Carro. The Event-B Software Development
Method. Tutorial at the Spanish
Workshop on Programming Languages
(PROLE’18). Seville, September 2018.
18. Alessandra Gorla. Understanding the
Behavior of Android apps by Means of Static
and Dynamic Analyses. Summer School on
Software Engineering, Free University of
Bozen-Bolzano, Bolzano, Italy. July 2018.
19. Felipe Gorostiaga. Introduccion a Stream
Runtime Verification. XVI Jornadas de Ciencias
de la Computacion, Rosario, Argentina.
October 2018.
20. Alexey Gotsman. Fast atomic broadcast
over RDMA. New York University, New York,
USA. October 2018.
21. Alexey Gotsman. Fast atomic broadcast over
RDMA. Lehigh University, Bethlehem, USA.
October 2018.
22. Alexey Gotsman. Atomic Transaction Commit
for Modern Data Stores. Yahoo Research
Israel, Tel-Aviv, Israel. December 2018.
13. Manuel Carro. Horizontal Programs in
Horizon 2020: The European Institute of
Innovation and Technology. UPM Courses
on European Project Management. March
2018.
14. Daniel Domínguez. Checking application
behaviours against descriptions at scale.
Jornadas Nacionales de Investigación en
Ciberseguridad. Bilbao, Spain.
15. Daniel Domínguez. Checking application
behaviours against descriptions at scale.
Madrid Seminar on Software Research
(MadSESE). Madrid, Spain. May 2018.
23. Alexey Gotsman. Atomic Transaction Commit
for Modern Data Stores. IBM Research
Israel, Haifa, Israel. December 2018.
24. Alexey Gotsman. Atomic Transaction Commit
for Modern Data Stores. Tel-Aviv University,
Tel-Aviv, Israel. December 2018.
25. Elena Gutiérrez. The Parikh Property for
Weighted Context-Free Grammars. Formal
Methods and Verification Seminar, Université
Libre de Bruxelles, Bruxelles, Belgium.
September 2018.