Dagstuhl Seminars

• Organizer of the seminar Logic and Learning (September 2019)

Reviewer for Funding Agencies

• Deutsche Forschungsgemeinschaft (German Research Foundation)
• Max Planck Society (Minerva Programme)
• Islandic Research Fund

• (Horn-)ICE Learning: An Inductive Approach to Deductive Software Verification. Invited talk, June 2021, RWTH Aachen University, Germany
• Logic and Learning: Formal Guarantees for Trustworthy Intelligent Systems. Invited talk, November 2020, University of Oldenburg, Germany
• Learning Correctness Proofs of Software. Invited talk, January 2020, University of Liverpool, UK
• Combining Deductive and Inductive Reasoning in Formal Methods. Invited talk, October 2019, University of California, Los Angeles, USA
• Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. SAS, October 2019, Porto, Portugal
• Deductive Verification, the Inductive Way. Invited tutorial at the ForMaL Spring School on Formal Methods and Machine Learning, June 2019, ENS Paris-Saclay, France
• Formal Verification Meets Machine Learning. Invited talk, March 2019, University of Bochum, Germany
• Learning Linear Temporal Properties. Invited talk, Complexity, Algorithms, Automata and Logic Meet, January 2019, Chennai Mathematical Institute, India
• Horn-ICE Learning for Synthesizing Invariants and Contracts. OOPSLA, November 2018, Boston, MA, USA
• Learning Linear Temporal Properties. Invited talk, Highlights of Logic, Games and Automata, September 2018, Berlin, Germany
• A Tutorial on Automata Learning. Invited tutorial at MOVEP '18 Summer School, July 2018, ENS Paris-Saclay, France
• Machine Learning Meets Formal Methods. Invited talk, June 2018, Saarland University, Germany
• Invariant Synthesis for Incomplete Verification Engines. TACAS, April 2018, Thessaloniki, Greece
• Logic and Learning. Invited talk, February 2018, University of Kaiserslautern, Germany