[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


Dear Colleagues,

We still have a small number of places remaining at MGS2009, available
at the full rate of £380. If you would like to attend, please complete the
registration form provided on the web page.


****************************************************************
Midlands Graduate School in the Foundations of Computing Science
****************************************************************
       
                30th March - 3rd April 2009
                University of Leicester, UK
            http://www.cs.le.ac.uk/events/mgs2009

      The 10th Midlands Graduate School (MGS) is taking place!

WHAT IS MGS 2009?

The MGS is an intensive course of lectures on the Foundations
of Computing. It is very well established, with this being our 10th
anniversary, and has always proved a very popular and successful
event. This year we have Professor Peter Dybjer, Chalmers, Sweden, as
guest lecturer.

The lectures are aimed at graduate students, typically in their first
or second year of study for a PhD. However, the school is open to
anyone who is interested in learning more about mathematical computing
foundations. We very much welcome international applications as well
as from those from the UK.

COURSES

 - Foundations

Thorsten Altenkirch       Category Theory     
Paul Levy                 The Lambda Calculus    
Henrik Nilsson            Functional Programming    

 - Advanced

Peter Dybjer              Normalization by Evaluation    
Martin Escardo            Semantics    
Nicola Gambino            Dependent Types
Alexander Kurz            Coalgebra
Uday Reddy                Separation Logic
Georg Struth              Automated Theorem Proving

WHERE IS MGS 2009?

MGS 2009 will take place at John Foster Hall, University of Leicester,
UK, with accommodation and lectures all on one site. Breakfasts,
lunches and four course dinners will be provided.

For further details and registration visit

   http://www.cs.le.ac.uk/events/mgs2009


Roy Crole and Daniela Petrisan.


Reply via email to