[TYPES/announce] British Logic Colloquium 2015

Anuj Dawar anuj.dawar at cl.cam.ac.uk
Fri May 29 06:13:31 EDT 2015


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1



Registration is now open: http://www.newton.ac.uk/event/blc-2015



BRITISH LOGIC COLLOQUIUM
Cambridge, England
2-4 September 2015
http://www.newton.ac.uk/event/blc-2015

The 2015 meeting of the British Logic Colloquium will be held in
Cambridge on 2nd-4th September.  It will be preceded by BLC PhD day
(1st-2nd September).  This is a general Logic meeting covering a
variety of topics within mathematical, philosophical and computer
science logic.  The meeting will include ten invited talks (speakers
listed below) and a number of contributed talks.  Anyone wishing to
contibute a talk should send an abstract (of about 250 words) to
blc-2015 at cl.cam.ac.uk by 15 July, 2015.

Invited speakers:

     Andreas Blass (Michigan)
     Victoria Gitman (New York)
     Ian Pratt-Hartman (Manchester)
     Alexander Kechris (Pasadena)
     Jonathan Kirby (East Anglia)
     Agi Kurucz (London)
     Itay Neeman (Los Angeles)
     Arno Pauly (Cambridge)
     Andrew Pitts (Cambridge)
     Mehrnoosh Sadrzadeh (London)


Bursaries

There is a limited number of bursaries available for students who wish
to attend.  A bursary will provide a subsidy for travel and
accommodation costs.  Applications for bursaries should be accompanied
by a short paragraph stating your affiliation, the name of your
supervisor and a brief description of your research; priority will be
given to those contributing a talk in either the PhD day or the main
BLC meeting. Deadline: 15 July.

PhD Day

The BLC PhD day provides an opportunity for postgraduates to meet and
discuss their research or area of interest with fellow young
logicians. If you wish to attend the PhD day, please email
blc-2015-phd at maths.cam.ac.uk, including your Name, Affiliation and
whether or not you would like to present a talk or a poster.


Programme Committee:
  Anuj Dawar (Cambridge, chair)
  Thomas Forster (Cambridge)
  Martin Hyland (Cambridge)
  Benedikt Löwe (Amsterdam/Hamburg)
  Dugald Macpherson (Leeds)
  Philip Welch (Bristol)

The meeting is supported by the London Mathematical Society, the Isaac
Newton Institute for Mathematical Sciences and Robinson College,
Cambridge.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJVaDvKAAoJEM9dI1G+OXVRCe0H/Rj7F4g76BUZKmlpJDOdIpo7
mtp84ZY1iuAQ/kzlVnDo4SEIOcv9R2sCirjpef6xSNZy7COlvQkcheTGtt7+JQfT
APq25JziUfWtElXIjg+0t4UwvyitFLcVfWq4ByVV0PqXStr4kwHM13lx8ItavWU3
gqQ2f/lgFhSSoE0pGD7rSsP48w5VpL0DuDxXhfEUOTCyEWUePJhxMhK6SXBE/KUZ
kMcgEgF0Etlu/7HU6Hx0c4bVNfDGM/5myA0d2r4xcxVaA6pjBv86WhVTCMODT3BA
o6vUWS7tJb7WMTKkIHGnYOu7AqUsrYW6IMBGVL/q5gB+AlXe4RFVkWUKCtzUedE=
=54JG
-----END PGP SIGNATURE-----


More information about the Types-announce mailing list