OXF Events
Back to events

Computer-Aided Formal Verification

talks
academic

Date & Time

Wed, 14 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: Computer-Aided Formal Verification by D Parker.

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