From: Venanzio Capretta <vxc@Cs.Nott.AC.UK>
To: caml-list@yquem.inria.fr
Subject: [Caml-list] MGS 2011
Date: Fri, 28 Jan 2011 11:44:37 +0000 [thread overview]
Message-ID: <1296215077.1954.4.camel@hypatia> (raw)
MIDLANDS GRADUATE SCHOOL
in the Foundations of Computing Science
University of Nottingham, 11-15 April 2011
http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html
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
11 April and finish on 15 April.
This year the school offers the following courses.
Core courses:
"Functional Programming" by Henrik Nilsson
"Category Theory" by Thorsten Altenkirch
"Typed Lambda Calculi" by Andrzej Murawski
Advanced courses:
"Coalgebra" by Paul Blain Levy
"Game Semantics and Applications" by Dan Razvan Ghica
"Game Theory, Topology and Proof Theory for Functional Programming"
by Martín Escardó
"Process Calculi for Protocol Verification" by Eike Ritter
"Mechanized Theorem Proving" by Georg Struth
In addition there will be an invited course given by Professor Andrew M
Pitts.
We invite graduate students in computer science and related fields to
participate. Applicants from industry who want to strengthen their
theoretical background are also welcome. The deadline for registration
is 18 March 2011. More details and information on how to register are on
the school web page.
--
Venanzio Capretta
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~vxc/
reply other threads:[~2011-01-28 11:44 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=1296215077.1954.4.camel@hypatia \
--to=vxc@cs.nott.ac.uk \
--cc=caml-list@yquem.inria.fr \
/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).