*********************************************************************** 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/ ]