- SEFM’23 - The 21st International Conference on Software Engineering and Formal Methods
10 November 2023, Eindhoven University of Technology, The Netherlands.
Keynote: ”Randomized Testing of Distributed Systems”
Invited Tutorials, Seminars, Symposium and Workshop Talks:
Dagstuhl Seminar 23441: Ensuring the Reliability and Robustness of Database Systems.
29 October - 3 November 2023, Schloss Dagstuhl, Wadern, Germany.
DARE’23: First Summer School on Distributed and Replicated Environments.
Invited tutorial, 11-15 September 2023, Vrije Universiteit Brussel (VUB), Brussels, Belgium.
STV’23: Second Summer School on Security Testing and Verification
Invited tutorial, 13-15 September 2023, Vrije Universiteit Brussel (VUB), Brussels, Belgium.
Dagstuhl Seminar 23112: Unifying Formal Methods for Trustworthy Distributed Systems
12-15 March 2023, Schloss Dagstuhl, Wadern, Germany.
Dagstuhl Seminar 22492: Formal Methods and Distributed Computing: Stronger Together
4-9 December 2022, Schloss Dagstuhl, Wadern, Germany.
SEN Symposium’21: National Symposium Software Engineering in The Netherlands
Invited talk, 18-19 February 2021, online.
Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Systems
1-4 November 2021, Schloss Dagstuhl, Wadern, Germany.
VDS’19 - Workshop on Verification of Distributed Systems colocated with the International Conference on Networked Systems (NETYS) Invited talk, 19-21 June 2019, Marrakesh, Morocco.
Invited Panel Discussions:
- Discussions with Experts - PL/SE for Concurrent / Distributed Systems.
Joint DwE Track of ISSTA/ECOOP’21, the 30th Int. Symposium on Software Testing and Analysis (ISSTA’21) and the 35th European Conf. on Object-Oriented Programming (ECOOP’21). 16 July 2021. Online.
Invited Research Group Talks:
AptosLabs Internal Seminar, 1 December 2023. Online.
SUMO (SUpervision of large MOdular and distributed systems) Research Group Seminar
Inria Rennes Bretagne-Atlantique Research Center and IRISA lab, 01.2023, France (Hybrid). 9 January 2023.
Adyen Internal Tech Talks, 9 February 2022.
FMT (Formal Methods and Tools) Group Seminar at the University of Twente. 1 July 2021.
IRIF (Research Institute on the Foundations of CS) Seminar. Paris Diderot University, 11 June 2019, France.
Computer Engineering Department Seminar, Izmir Institute of Technology, December 2016, Izmir, Turkey.
The Joint UMIC (Ultra high-speed Mobile Information and Communication) and Software for Embedded Systems Lab Seminar, RWTH Aachen University, February 2011, Aachen, Germany.
Interviews at Press:
- I/O Magazine, ICT Platform Nederland. Volume:19 No:4 (page:16), 2022.
Article: “Challenges of Concurrency”