Welcome to the landing page of the Udine Summer of Logic and Computation, an initiative encompassing many events that will take place in Udine, Italy, between June and September 2023.
The annual meeting of the Italian Association for Logic Programming.
The third edition of the UniVr/UniUd summer school dedicated to the main achievements and the current trends of reactive synthesis. The first two editions went by the name Summer School on Formal Methods for Cyber-Physical Systems
August 31–September 1
A two-day event on the intersection between artificial intelligence and formal methods
The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification