Hello all I'm forwarding this announcement on behalf of Thorsten Altenkirch.
Conor
--- Begin Message ---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
--- End Message ---
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
