ALCOP 2015 -- Call for participation

[Helle Hvid Hansen <h.h.hansen@science.ru.nl>]

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