[PL-sem-jr] MONDAY 11/10 - The computational content of classical logic

[Aaron Turon]

Monday 11/10, Dan will give a talk entitled "The computational content
of classical logic", taking a look at what happens with the
Curry-Howard isomorphism when e.g. negation and its classical laws are
introduced at the type level.

The talk will be held from 1:00-2:45 in WVH166.

--

Upcoming talks:

11/17 Christos: research talk
11/24 Ben: TBD, possibly bounded model checking