From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8084 Path: news.gmane.org!not-for-mail From: Mehrnoosh Sadrzadeh Newsgroups: gmane.science.mathematics.categories Subject: Workshop on Algebra and Coalgebra meet Proof Theory - Call for Participation Date: Thu, 24 Apr 2014 12:28:04 +0000 Message-ID: Reply-To: Mehrnoosh Sadrzadeh NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1398385902 17228 80.91.229.3 (25 Apr 2014 00:31:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 25 Apr 2014 00:31:42 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Fri Apr 25 02:31:38 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WdU3D-0005RI-Qv for gsmc-categories@m.gmane.org; Fri, 25 Apr 2014 02:31:35 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:42038) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1WdU2F-00067g-13; Thu, 24 Apr 2014 21:30:40 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1WdU2D-0000jm-3L for categories-list@mlist.mta.ca; Thu, 24 Apr 2014 21:30:33 -0300 Accept-Language: en-GB, en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8084 Archived-At: ALCOP 2014: Algebra and Coalgebra meet Proof Theory - Call for Participatio= n 15 - 16 May 2014 Queen Mary University of London http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html Aims and Scope =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 works= hop. Giving a talk is by invitation only.This is the fifth issue of this workshop. Prev= ious meetings were held in London, Bern, Prague and Utrecht. This meeting is partially sponsored by the British Logic Colloquium. Invited Speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D There is no registration fee for attending the workshop, but we need to kee= p track of numbers. Therefore, if you would like to attend the workshop please register by send= ing an email to the organisers Mehrnoosh Sadrzadeh and Paulo Oliva. Please also indicate whethe= r 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/ ]