From adamshaw at cs.uchicago.edu Tue Nov 6 10:56:59 2007 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Tue Nov 6 10:59:37 2007 Subject: [Hyper] FreshML meeting today In-Reply-To: <29C56742-9412-4752-82FE-45E4BC97DC0D@cs.uchicago.edu> References: <29C56742-9412-4752-82FE-45E4BC97DC0D@cs.uchicago.edu> Message-ID: A reminder that there is Hyper meeting today. 1:30 PM, Ryerson 255. The paper is "FreshML: Programming with Binders Made Simple" (Shinwell et al, ICFP 2003). - Adam From adamshaw at cs.uchicago.edu Tue Nov 13 10:53:24 2007 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Tue Nov 13 10:47:15 2007 Subject: [Hyper] meeting today Message-ID: <26B54274-8707-4178-9A2F-C5D362B05D0A@cs.uchicago.edu> Greetings -- A reminder that there is a Hyper meeting today at 1:30 in Ryerson 255. We will continue to discuss "FreshML: Programming with Binders Made Simple." Regards, Adam From adamshaw at cs.uchicago.edu Thu Nov 15 13:25:50 2007 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Thu Nov 15 13:19:35 2007 Subject: [Hyper] next Hyper meeting Message-ID: <6F6099C5-ADB4-451E-AAA9-97120605057C@cs.uchicago.edu> Hi -- The next Hyper meeting will be on Tuesday 11/20 at 1:30 PM, Ry 255. The paper is "Nominal Logic: A First Order Theory of Names and Binding"; Lars sent me the following link to a nice-looking copy thereof: http://www.cl.cam.ac.uk/~amp12/papers/nomlfo/nomlfo.pdf Regards, Adam From fluet at tti-c.org Fri Nov 16 20:25:26 2007 From: fluet at tti-c.org (Matthew Fluet) Date: Fri Nov 16 20:25:29 2007 Subject: [Hyper] Re: PLL Reading Group In-Reply-To: <002901c82864$c69f04d0$a9bf8780@cnovakHBRQFD1> References: <002901c82864$c69f04d0$a9bf8780@cnovakHBRQFD1> Message-ID: On Fri, 16 Nov 2007, Christina Novak wrote: > The PL Reading Group which is listed on the Reservations Calendar, from > 1:30- 2:30pm every Tuesday: > > Who is hosting this, please? Is it in the conference room? Will it > continue through 2008? It is actually being held at UoC (Ryerson 255); it will likely continue in 2008, but will also likely to be held at UoC. -Matthew From adamshaw at cs.uchicago.edu Tue Nov 27 10:01:06 2007 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Tue Nov 27 09:54:15 2007 Subject: [Hyper] no meeting today Message-ID: <485D4982-E276-4943-8D70-1193EE7A04A3@cs.uchicago.edu> Greetings -- There will be no Hyper meeting today (Tues). We will have our next meeting in early December -- look for an email soon. Regards - Adam