From adamshaw at cs.uchicago.edu Sun Feb 5 17:05:07 2006 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Sun Feb 5 17:08:53 2006 Subject: [Hyper] no meeting Tues; meeting next Tues Message-ID: Greetings all -- I suggest we have no HYPER meeting this week (although if others want it, let me know), the reason being that many of us are busy with logical relations proofs (tip of the hat to Dr. Dreyer) and also that PL lunch has taken up some of the PL slack. I propose then for the next meeting (Tues 2/14) Tim Sheard's "Putting Curry-Howard to Work" (thanks to Aaron for recommending this paper). Regards, Adam From adamshaw at cs.uchicago.edu Mon Feb 13 22:31:06 2006 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Mon Feb 13 22:34:26 2006 Subject: [Hyper] HYPER meeting 2/14 Message-ID: Greetings all -- Tomorrow's Valentine's Day HYPER is on Tim Sheard's "Putting Curry-Howard to Work." For some, Curry-Howard is merely an isomorphism; for me, it's a love story. Regards, Adam From dbm at cs.uchicago.edu Tue Feb 21 11:47:04 2006 From: dbm at cs.uchicago.edu (David MacQueen) Date: Tue Feb 21 11:49:59 2006 Subject: [Hyper] Atsushi Ohori at HYPER today Message-ID: Atsushi Ohori is visiting this week, and we'd like to preempt the HYPER meeting time this week for an informal seminar with him. This will be at the usual time of 4pm, but we may move the venue to Ry 255 (I'll send out a further announcement). Dave From dbm at cs.uchicago.edu Tue Feb 21 14:38:34 2006 From: dbm at cs.uchicago.edu (David MacQueen) Date: Tue Feb 21 14:41:27 2006 Subject: [Hyper] HYPER with Atsushi Ohori - update Message-ID: <90108D01-A12B-451D-827A-178DF109CA3A@cs.uchicago.edu> We'll meet in Ry 153 as usual, as there is a conflict with Ry 255. Dave