OXF Events
Back to events

Computer-Aided Formal Verification

talks
academic

Date & Time

Thu, 15 Oct 2026

10:00

Venue

The Bill Roscoe Lecture Theatre

Full details on the original listing

On Dept of Computer Science - Events

About this event

Departmental lecture on Computer-Aided Formal Verification (not open to the public).

Why you should come

• Gain insights from expert speakers and thought leaders

• Engage with ideas that shape our understanding of the world

Source: Dept of Computer Science - Events
website