This is a test

Advanced Course at ESSLLI 2023
Post-Doc Opening -- Deadline January 2023
World Logic Day
Post-Doc Opening -- Deadline July 2022
ICALP satellite workshop 'Trends in Arithmetic Theories'
Two papers at ETAPS'21
Two papers at ICALP'20
I'm serving on the Beth dissertation prize committee
I'm co-organising the 1st Imperial - UCL Verification Meeting
PC member of HIGHLIGHTS'20