Algebra and Coalgebra meet Proof Theory

ALCOP 2014

15 - 16 May 2014

Room CS 302
School of Electronic Engineering and Computer Science
Queen Mary, University of London
London E1 4NS, UK

Aims and Scope

The aim of this workshop is to bring together experts in algebra, coalgebra, and proof theory to share ideas and methods.

Everybody is welcome to attend the workshop. Giving a talk is by invitation only.

This is the fifth issue of this workshop. Previous meetings were held in London, Bern, Prague and Utrecht.

This meeting is partially sponsored by the British Logic Colloquium.

Accommodation

There is a plethora of hotels easily reachable by tube from Queen Mary, especially in the Stratford Olympic park area (one stop from Mile End on the Central line). Moreover, we know of the following hotels that are reachable on foot in ~20 mins: Ibis Budget London Whitechapel, City Hotel London, Holiday Inn Commercial Road, Town Hall Hotel, The Whitechapel Hotel.

Registration

There is no registration fee for attending the workshop, but we need to keep track of numbers. Therefore, if you would like to attend the workshop please register by sending an email to the organisers Mehrnoosh Sadrzadeh and Paulo Oliva. Please also indicate whether you plan to join us for the workshop dinner in the evening of 15 May. Participants other than the invited speakers will be expected to pay for the dinner.

Program DAY 1 - Thursday 15 May

09.15 - 10.00	Samson Abramsky (invited)	Game Theory for Dependent Type Theory (slides)
10.00 - 10.30	George Metcalfe	From Admissible Rules to (New) Unification Types (slides)
10.30 - 11.00	Coffee break
11.00 - 11.30	Jeroen Goudsmit	Admissibility and Unification (slides)
11.30 - 12.00	Rosalie Iemhoff	Cuts and Completions (slides)
12.00 - 14.00	Lunch
14.00 - 14.45	Michael Rathjen (invited)	Indefiniteness of Mathematical Problems? (slides)
14.45 - 15.15	Clemens Kupke	Modal mu-calculus on Topological Spaces (slides)
15.15 - 16.15	Coffee break
16.15 - 16.45	Dick De Jongh	Subframe Formulas and Stable Formulas in Intuitionistic Logic (slides)
16.45 - 17.15	Marco Carbone	Choreographies, Logically (slides)

19.00 - 21.00	Workshop dinner (Muhib Restaurant, 73 Brick Lane, London, E1 6RL)

Program DAY 2 - Friday 16 May

09.15 - 10.00	Sara Negri (invited)	Proof Sytems for First-order Theories (slides)
10.00 - 10.30	Marta Bilkova	On Model Theory of Bi-approximation Semantics for Substructural Logics (slides)
10.30 - 11.00	Coffee break
11.00 - 11.30	Sabine Frittella	Relational and Final Coalgebra Semantics for Dynamic Logic (slides)
11.30 - 12.00	Giuseppe Greco	Cut-elimination for Multi-type Display Calculi (slides)
12.00 - 14.00	Lunch
14.00 - 14.45	Marcelo Fiore (invited)	Algebraic Theories and Control Effects, Back and Forth (slides)
14.45 - 15.15	Jiri Velebil	V-cat-ification of Set Functors (slides)
15.15 - 16.00	Coffee break
16.00 - 16.45	Bart Jacobs (invited)	Logic of Effects (slides)

Participants

Alessandra Palmigiano	Universiry of Delft
Alexander Kurz	University of Leicester
Antonin Delpeuch	Ecole Normale Superieure, Paris
Bart Jacobs	Radboud University Nijmegen
Clemens Kupke	University of Strathclyde
Daniel Marsden	Oxford University
Dick De Jongh	University of Amsterdam
Edmund Robinson	Queen Mary University of London
Gabrielle Anderson	University College London
George Metcalfe	University of Bern
Graham White	Queen Mary University of London
Hooman Safizadeh
Jiri Velebil	Czech Technical University Prague
Jeroen Goudsmit	Utrecht University
Jules Hedges	Queen Mary University of London
Klaus Draeger	Queen Mary University of London
Kwok Cheung	University of Oxford
Leonardo Cabrer	University of Firenze
Marcelo Fiore	University of Cambridge
Marco Carbone	Copenhagen IT University
Marta Bilkova	Charles University Prague
Mehrnoosh Sadrzadeh	Queen Mary University of London
Michael Rathjen	University of Leeds
Nikos Tzevelekos	Queen Mary University of London
Paulo Oliva	Queen Mary University of London
Paul Taylor
Rob Arthan	Queen Mary University of London
Rosalie Iemhoff	Utrecht University
Samson Abramsky	Oxford University
Sara Negri	University of Helsinki
Yoshihiro Maruyama	Oxford University

Last updated 28 April 2014 (Paulo Oliva)