Workshop on Algebra and Coalgebra meet Proof Theory - Call for Participation

Workshop on Algebra and Coalgebra meet Proof Theory - Call for Participation

[Mehrnoosh Sadrzadeh]

ALCOP 2014: Algebra and Coalgebra meet Proof Theory - Call for Participation

15 - 16 May 2014

Queen Mary University of London

http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html

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.

Invited Speakers
================

  - Samson Abramsky
  - Michael Rathjen
  - Sara Negri
  - Corina Cirstea
  - Marcelo Fiore
  - Bart Jacobs

Plus 13 contributed talks. See full program at http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html

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.


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]