From: Georg Struth <g.struth@dcs.shef.ac.uk>
To: Georg Struth <g.struth@dcs.shef.ac.uk>
Subject: call for participation: midlands graduate school in the foundations of computing science
Date: Thu, 21 Jan 2010 11:23:11 +0000 [thread overview]
Message-ID: <E1NY5XY-0002kg-Ny@mailserv.mta.ca> (raw)
[Apologies for multiple copies]
Call for Participation
MIDLANDS GRADUATE SCHOOL IN THE FOUNDATIONS OF COMPUTING SCIENCE
(MGS 2010)
28.03.-01.04.2010, Sheffield, UK
http://www.dcs.shef.ac.uk/~georg/mgs.html
The MGS is the leading annual research training event in Theoretical
Computer Science in the UK. We are widely known for our courses on the
mathematical foundations of computing. Our main mission is advanced
research training for PhD students, but our school is open for anyone.
We have consistently been evaluated as excellent: All recent
participants would recommend the school to others. The MGS addresses
primarily PhD students in their first and second year. But we warmly
welcome postdoctoral researchers, academics or industrial
practitioners as well. Further information can be found at the MGS
2010 web site.
PROGRAMME: The MGS is an intensive one-week training event. We offer
nine courses with five hours of lectures plus exercise sessions.
Invited Speaker:
Lectures on Separation Logic
Peter O'Hearn (Queen Mary, London)
Introductory Courses:
Category Theory
Graham Hutton (Nottingham)
Functional Programming
Henrik Nilsson (Nottingham)
Typed Lambda Calculi
Eike Ritter (Birmingham)
Advanced Courses:
Domain Theory and Denotational Semantics
Martín Escardó (Birmingham)
Game Semantics and Applications
Dan Ghica (Birmingham)
Formal Languages and Group Theory
Rick Thomas (Leicester)
Protocol Verification
Emilio Tuosto (Leicester)
Quantum Topos Theory
Steve Vickers (Birmingham)
VENUE: The MGS 2010 will be hosted at the University of Sheffield. B&B
accommodation is provided at the newly built Ranmoor Student
Village. Sheffield is centrally located in the UK and easy to reach by
train, air or car. Travel advice and general information for visitors
can be found at the MGS 2010 web site.
REGISTRATION:
Registration fee: £350 (incl accommodation)
Registration deadline: 01.03.2010.
Instructions on how to register can be found at the MGS 2010 web site.
FURTHER INFORMATION:
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2010-01-21 11:23 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=E1NY5XY-0002kg-Ny@mailserv.mta.ca \
--to=g.struth@dcs.shef.ac.uk \
/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).