[From nobody Thu Feb 5 11:53:09 2004 Received: via tmail-2002(14) for dcs1ctm+; Thu, 5 Feb 2004 13:43:14 +0000 (GMT) Received: from mailrelay2.dur.ac.uk (mailrelay2.dur.ac.uk [129.234.4.176]) by pluto2.dur.ac.uk (8.12.8/8.11.7) with ESMTP id i15DgmXF023806 for <dcs1ctm@neptune.dur.ac.uk>; Thu, 5 Feb 2004 13:42:48 GMT Received: from Cs.Nott.AC.UK (pat.cs.nott.ac.uk [128.243.20.9]) by mailrelay2.dur.ac.uk (8.11.6/8.11.1) with SMTP id i15DgjZ05844 for <C.T.McBride@durham.ac.uk>; Thu, 5 Feb 2004 13:42:45 GMT Received: from cs.nott.ac.uk by pat.Cs.Nott.AC.UK id aa27890; 5 Feb 2004 13:42 GMT Received: from marian.cs.nott.ac.uk by pat.Cs.Nott.AC.UK id aa27879; 5 Feb 2004 13:42 GMT Received: from jacob.cs.nott.ac.uk by marian.Cs.Nott.AC.UK id aa14422; 5 Feb 2004 13:42 GMT Message-ID: <40224824.505@cs.nott.ac.uk> Date: Thu, 05 Feb 2004 13:41:56 +0000 From: Thorsten Altenkirch <txa@Cs.Nott.AC.UK> Organization: University of Nottingham User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6b) Gecko/20031210 X-Accept-Language: en-us, en MIME-Version: 1.0 To: appsem@tcs.informatik.uni-muenchen.de, James Smith <biggus@pair.com>, Lew Ludwig <ludwigl@denison.edu>, Joan Krone <Krone@denison.edu>, mgs-lecturers@Cs.Nott.AC.UK, types@cis.upenn.edu, fop@Cs.Nott.AC.UK, gkli@mathematik.uni-muenchen.de, algprog@comlab.ox.ac.uk, compsci@Cs.Nott.AC.UK, als+lics-junk@inf.ed.ac.uk, haskell@haskell.org, types-wg@durham.ac.uk, csulrich@swansea.ac.uk, cphc-conf@jiscmail.ac.uk, mgs-students@Cs.Nott.AC.UK Subject: Midland Graduate School 2004 / APPSEM Spring School 2004 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-DurhamAcUk-MailScanner: Found to be clean X-Mozilla-Status2: 00000000 Midland Graduate School 2004 / APPSEM Spring School 2004 ******************************************************** http://www.cs.nott.ac.uk/~txa/mgs/ The Midland Graduate School - APPSEM Spring School is taking place 29 March - 2 April 2004 in Nottingham at the Jubilee Campus of Nottingham University. We especially invite participants from UK universities and from sites participating in the APPSEM working group. We expect to have some grants for UK students, while APPSEM funds can be used to support students from APPSEM affiliated sites. Foundational courses: Thorsten Altenkirch U Nottingham Lambda calculus and types Neil Ghani U Leicester Category Theory Graham Hutton U Nottingham Functional Programming Achim Jung U Birmingham Denotational Semantics Advanced courses: Sara Kalvala U Warwick Theorem Proving in Isabelle Martin Escardo U Birmingham Topology of data types Alexander Kurz U Leicester Stone Duality - The Duality of Syntax and Semantics Conor McBride U Durham Dependently Typed Programming Uday Reddy U Birmingham Programming logics for dynamic data structures For details and registration please visit our web page http://www.cs.nott.ac.uk/~txa/mgs/ Please register soon! Places and accomodation will be allocated on a first come, first serve basis. -- Dr. Thorsten Altenkirch phone : (+44) (0)115 84 66516 Lecturer http://www.cs.nott.ac.uk/~txa/ School of Computer Science & IT University of Nottingham ]