From: Paul Levy <P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org>
To: categories list <categories-59hdLBrVOVU@public.gmane.org>,
types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org,
moca-announce-HnE2qM1WCGk4M/bo5TPICw@public.gmane.org,
ProofTheory.List-o4GsF6Y0fuwAvxtiuMwx3w@public.gmane.org,
galop-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org
Subject: [PT] Midlands Graduate School in Foundations of Computing Science - last chance to register
Date: Tue, 18 Mar 2014 22:36:15 +0000 [thread overview]
Message-ID: <765AF966-C234-4C87-A1F8-E7EC77DFD590@cs.bham.ac.uk> (raw)
Dear colleagues,
The Midlands Graduate School (MGS) in the Foundations of Computing
Science is a collaboration between researchers at the Universities of
Birmingham, Leicester, Nottingham and Sheffield. It was established in
1999. The MGS has two main goals: to provide PhD students with a sound
basis for research in the mathematical and practical foundations of
computing and to give PhD students the opportunity to make contact
with established researchers in the field and their peers who are at a
similar stage in their research careers.
This year, the MGS is at the University of Nottingham. It will start
on 22 April and finish on 26 April.
CORE COURSES
* Category Theory (Roy Crole, Leicester)
* Denotational Semantics (Achim Jung, Birmingham)
* Typed Lambda Calculus (Paul Blain Levy, Birmingham)
ADVANCED COURSES
* Concurrency, Causality, Reversibility (Irek Ulidowski, Leicester)
* Theory of Randomised Search Heuristics (Dirk Sudholt, Per
Kristian Lehre,Pietro S. Oliveto, Christine Zarges, Birmingham,
Nottingham, Sheffield)
* Homotopy Type Theory (Thorsten Altenkirch, Nottingham)
* Infinite Data Structures (Venanzio Capretta, Nottingham)
* Logical relations and parametricity (Uday Reddy, Birmingham)
* Higher-Order Functional Reactive Programming (Neelakantan
Krishnaswami, Birmingham)
+ an invited lecture course on Dependently Typed Programming by Conor
McBride (Strathclyde).
The fee is £440, this includes on campus accommodation with breakfast,
lunches, coffees and a workshop dinner!
More information is available on
http://www.cs.nott.ac.uk/~txa/mgs.2014/
from where you also find a link to the registration page
<http://store.nottingham.ac.uk/browse/extra_info.asp?compid=1&modid=2&deptid=9&catid=4&prodid=359
> page.
The registration deadline is Friday, 21 March. Please register as soon
as possible since there is a limited number of spaces which are
allocated on a first-come-first-served basis.
--
Paul Blain Levy
School of Computer Science, University of Birmingham
+44 121 414 4792
http://www.cs.bham.ac.uk/~pbl
reply other threads:[~2014-03-18 22:36 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=765AF966-C234-4C87-A1F8-E7EC77DFD590@cs.bham.ac.uk \
--to=p.b.levy-dxbotfgcefw2ecthio1ccq@public.gmane.org \
--cc=ProofTheory.List-o4GsF6Y0fuwAvxtiuMwx3w@public.gmane.org \
--cc=categories-59hdLBrVOVU@public.gmane.org \
--cc=galop-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org \
--cc=moca-announce-HnE2qM1WCGk4M/bo5TPICw@public.gmane.org \
--cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org \
/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).