From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8602 Path: news.gmane.org!not-for-mail From: Helle Hvid Hansen Newsgroups: gmane.science.mathematics.categories Subject: ALCOP 2015 -- Call for participation Date: Mon, 20 Apr 2015 08:04:42 +0200 Message-ID: Reply-To: Helle Hvid Hansen NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1429555613 6152 80.91.229.3 (20 Apr 2015 18:46:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 20 Apr 2015 18:46:53 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Apr 20 20:46:37 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YkGiK-0004vD-OR for gsmc-categories@m.gmane.org; Mon, 20 Apr 2015 20:46:36 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:50679) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YkGhf-0002A9-NJ; Mon, 20 Apr 2015 15:45:55 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YkGhd-0002uf-MV for categories-list@mlist.mta.ca; Mon, 20 Apr 2015 15:45:53 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8602 Archived-At: *********************************************************************** CALL FOR PARTICIPATION ALCOP 2015: Algebra and Coalgebra meet Proof Theory Dates: 6 - 8 May 2015 Location: Delft University of Technology http://www.appliedlogictudelft.nl/alcop-2015/ *********************************************************************** (Apologies if you receive this announcement twice. Please forward to anyone interested.) The ALCOP meetings bring together experts in algebraic logic, coalgebraic logic and proof theory with the aim of sharing new results and developing mutually beneficial relationships between these fields. As a special theme, ALCOP 2015 will explore connections with substructural logics and their applications in computer science, social science and AI. This year's keynote speakers are: * F??lix Bou, Artificial Intelligence Research Institute (IIIA), Spain * Agata Ciabattoni, TU Vienna * Clemens Kupke, University of Strathclyde * Tadeusz Litak, FAU Erlangen-N??rnberg * David Pym, University College London For more information including the full list of speakers, please see our website: http://www.appliedlogictudelft.nl/alcop-2015/ Attendance is free, but the number of places is limited. To participate, send an email to Helle Hvid Hansen (h.h.hansen@tudelft.nl) or Umberto Rivieccio (U.Rivieccio@tudelft.nl) before *26 April 2015* with the following information: 1. First name 2. Last name 3. Affiliation 4. Registration (please indicate your choice): - excl. workshop dinner: free of cost, - incl. workshop dinner on Thu 7 May: 35 euro p.p. all inclusive. (Please inform us of any dietary restrictions.) The TU Delft gets special rates at a number of hotels in Delft. If you are interested, let us know in your reply. Best wishes, Giuseppe Greco, Delft University of Technology Helle Hvid Hansen, Delft University of Technology Umberto Rivieccio, Delft University of Technology [For admin and other information see: http://www.mta.ca/~cat-dist/ ]