[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The following meeting is organised by the Swansea subsite of the
last TYPES project and has at least one speaker in type theory, and might
be of interest to the Types community.




                  BRITISH LOGIC COLLOQUIUM 2009
                  =============================
                 http://www.cs.swan.ac.uk/blc09/

The Annual Meeting of the British Logic Colloquium will be held
at the Department of Computer Science, Swansea University, from

            Thursday to Saturday, September 3-5, 2009. 

Confirmed invited speakers:

Peter Dybjer (Gothenburg); Richard Kaye (Birmingham); Margarita
Korovina (Manchester); Paulo Oliva (Queen Mary); Mark Priestley
(Westminster); Stephen Read (St Andrews); Peter Schuster (Leeds);
Alexander Summers (Imperial); Neil Thapen (Prague); Stan Wainer
(Leeds); Andreas Weiermann (Gent).

The meeting is supported by the London Mathematical Society and the
British Logic Colloquium.

Contact: Ulrich Berger <u.ber...@swansea.ac.uk>

STUDENT GRANTS
==============

A limited number of grants for UK-based research students of any
nationality, funded by the London Mathematical Society, are
available. The grants cover accommodation for the time of the meeting
as well as lunch on Thursday and all breaks.

Students who want to apply for a grant should send an email to
Monika Seisenberger <m.seisenber...@swansea.ac.uk>, with the subject
"BLC09 student grant application" containing contact information (name,
affiliation, email, phone) a short summary of their research in logic
and an explanation why they need a grant.  The application must be
accompanied by a brief supporting email from a supervisor - this email
should come directly from their supervisor.

Deadline: Sunday, July 12, 2009

CONTRIBUTED TALKS
=================

We have space for a few contributed talks.  Please send an abstract to
u.ber...@swansea.ac.uk with subject "BLC09 contributed talk".

Deadline: Monday, August 3, 2009


REGISTRATION AND ACCOMMODATION
==============================

To register, please visit our web-site http://www.cs.swan.ac.uk/blc09/

We have reserved a limited number of on campus accommodation, which
are on hold until the following

Deadline: Monday, August 10, 2009





-- 
---------------------------------------
Anton Setzer
Department of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
UK

Telephone:
(national)        (01792) 513368
(international) +44 1792  513368
Fax:
(national)        (01792) 295708
(international) +44 1792  295708
Visiting address:
Faraday Building,
Computer Science Dept.
2nd floor, room 211.
Email: a.g.set...@swan.ac.uk
WWW:
http://www.cs.swan.ac.uk/~csetzer/
---------------------------------------
 
                    
  

Reply via email to