?

Log in

No account? Create an account
Snuck up to LICS to see what was going on in the world of logic a… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Jul. 6th, 2016|08:13 pm]
Jason
[Tags|]

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.
LinkReply