Seminars

Foundations Lab seminars

Our lab hosts a variety of seminars to promote research and collaboration.

Search events

Keywords

Category

Next:

Between:

Select dates

Missed out? Catch up on our past events now.

Foundations Lab Seminars

Logic, games, formal verification

In this talk, I will present some work on logic, games, and formal verification, in particular for the automated analysis...