[PL-sem-jr] Nov 3: NO TALK

Aaron Turon turon at ccs.neu.edu
Sun Nov 2 21:59:15 EST 2008

Next message: [PL-sem-jr] MONDAY 11/10 - The computational content of classical logic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

There will be no talk this week.  The upcoming schedule of talks is as follows:

11/10 Dan on call/cc and Curry-Howard
11/17 Christos on his research
11/24 Ben on bounded model checking

Next message: [PL-sem-jr] MONDAY 11/10 - The computational content of classical logic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list