[Agda] BLC 2009 meeting

[Anton Setzer]

The following meeting is organised by the Swansea subsite of the
last TYPES project who are involved in Agda and has at least one
active Agda user as invited speaker and might be of interest to the
Agda 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.berger at 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.seisenberger at 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.berger at 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.setzer at swan.ac.uk
WWW:
http://www.cs.swan.ac.uk/~csetzer/
---------------------------------------