I am a keynote speaker at ITP 2025 in Reykjavik.
I am in the Program Committee of NFM 2026.
I am in the Program Committee of ITP 2026.
I am in the Program Committee of the 18th NASA Formal Methods Symposium (NFM 2026).
I am a program co-chair, together with Santiago Escobar, of the 35nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025). Stay tuned for more details.
I have accepted a new position as Principal Research Scientist at Code Metal.
I am General Chair of the 17th NASA Formal Methods Symposium NFM 2025 that will be held at the University of William and Mary (Williamsburg, VA, USA) June 11-13, 2025. Submissions are due on December 13, 2025.
I am a member of the Program Commitee of the 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025).
I am PC co-chair of the 28rd International Conference on Formal Methods for Industrial Critical Systems (FMICS 2023) together with Alessandro Cimatti.