British Logic Colloquium 2017

The British Logic Colloquium will take place at the University of Sussex on
8-9 September 2017, with the BLC PhD day on 7 September.

This is the annual meeting of the British Logic Colloquium. The scope of
the event includes mathematical and philosophical logic as well as logic in
computer science and applications of logic.

SPONSORS. We are grateful for support from The London Mathematical Society

INVITED SPEAKERS

? Hazel Brickhill, University of Bristol, UK
? Oliver Kullmann, Swansea University, UK
? James Ladyman, University of Bristol, UK
? Sam Staton, Oxford University, UK
? Tamara von Glehn, Cambridge University, UK
? Katrin Tent, Universität Münster, Germany

PROGRAMME COMMITTEE

? Martin Hyland, Cambridge
? Charlotte Kestner, Lancaster
? Ekaterina Komendantskaya, Heriot-Watt University
? Bernhard Reus, Sussex (chair)
? Monika Seisenberger, Swansea
? Philip Welch, Bristol

ACCOMMODATION

There will be a reduced conference fee for PhD students. Affordable
accommodation on campus will be available through the organisers as early
September is still tourist season in Brighton and hotels in the city centre
will be expensive. The campus is just a 9min train ride away from the city
centre. More info coming soon.

CONTRIBUTED TALKS

There will be a few slots available for contributed talks. If you would
like to present your recent work, either already published or work in
progress, please submit a single page abstract (A4 pdf) via EasyChair  (
https://easychair.org/conferences/?conf=blc2017) by 20th July.

For more details please contact Bernhard Reus <bernhard@sussex.ac.uk>.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s