* 2nd Call for Participation - Midlands Graduate School in the Foundations of Computing Science 2009
[not found] ` <49414C89.4020600-KujIM1l7rAGFxr2TtlUqVg@public.gmane.org>
@ 2009-02-16 15:41 ` Roy L. Crole
0 siblings, 0 replies; 2+ messages in thread
From: Roy L. Crole @ 2009-02-16 15:41 UTC (permalink / raw)
To: categories-59hdLBrVOVU, concurrency-rh8NL+sEX9E,
types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8,
haskell-HC+Z4NTRIlBAfugRpC6u6w, cs-logic-gDEi0k0Ng3RQXdO203pMgQ,
facs-x3O3tObnRt/10XsdtD+oqA, eacsl-SKCg+tzqgwRqE5k7x5A0cw, fmics
[ 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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* 2nd Call for Participation - Midlands Graduate School in the Foundations of Computing Science 2009
@ 2009-02-16 15:41 Roy L. Crole
0 siblings, 0 replies; 2+ messages in thread
From: Roy L. Crole @ 2009-02-16 15:41 UTC (permalink / raw)
To: categories
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-02-16 15:41 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <49414C89.4020600@mcs.le.ac.uk>
[not found] ` <49414C89.4020600-KujIM1l7rAGFxr2TtlUqVg@public.gmane.org>
2009-02-16 15:41 ` 2nd Call for Participation - Midlands Graduate School in the Foundations of Computing Science 2009 Roy L. Crole
2009-02-16 15:41 Roy L. Crole
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).