From: Alexander Kurz <ak155@mcs.le.ac.uk>
To: categories <categories@mta.ca>
Subject: Spring School MGS 2013
Date: Thu, 20 Dec 2012 20:54:43 +0000 [thread overview]
Message-ID: <E1Tm3Ey-0007P3-9z@mlist.mta.ca> (raw)
*************************************************************
Midlands Graduate School 2013 in the Foundations of Computing
*************************************************************
The Midlands Graduate School is taking place
8 - 12 April 2013 at the University of Leicester, UK.
http://www.cs.le.ac.uk/events/mgs2013/
The School provides an intensive course of lectures on the Foundations
of Computing. It is very well established, having run annually for
10 years, and has always proved a popular and successful event.
This year we have Philip Wadler, University of Edinburgh, as guest lecturer.
Natasha Alechina, Modal Logic
Venanzio Capretta, Coalgebras and Infinite Data Structures
Paul Levy, Typed Lambda-Calculus
Brian Logan, Multi-agent programming
Uday Reddy, Category Theory
Eike Ritter, Security and applied pi-calculus
Georg Struth, Kleene Algebra
Rick Thomas, Formal Languages and Group Theory
Philip Wadler, tba
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.
Early registration fee will be approximately 500 GBP, including
accommodation and full board. Details will be announced in January, but
we already welcome expressions of interest to mgs.le.2013@gmail.com
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2012-12-20 20:54 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1Tm3Ey-0007P3-9z@mlist.mta.ca \
--to=ak155@mcs.le.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).