ALCOP meetings bring together experts in algebraic logic, coalgebraic logic and proof theory to share new results and to strengthen the relationships between these fields. The Theory and Logic Group at the TU Wien will host the seventh edition of this workshop. If you would like to give a contributed talk, please submit an abstract of 1-2 pages in pdf via the EasyChair submission page (deadline 23rd January 2016):
|Abstract submission deadline:||23rd January, 2016|
|Author notification:||12th February, 2016|
|Workshop:||7th-9th April, 2016|
There will be no proceedings. Participation will be free of charge, and everyone is welcome to attend with or without contributing a talk. Notification of attendance via email would be appreciated. All notifications and informal enquiries should be addressed to
We look forward to your participation.