July 6th, 2016

beartato phd

(no subject)

Snuck up to LICS to see what was going on in the world of logic a tiny bit. Listened to a talk about Buchi automata and the linear-time mu-calculus, and talked with Noam a bunch.