[Haskell-cafe] Reminder: Workshop on Coalgebra, Horn Clause Logic, and Types

František Farka frantisek at farka.eu
Thu Oct 6 10:17:57 UTC 2016

Reminder: Call for Papers, Presentations and Participation

Workshop on
  Coalgebra, Horn Clause Logic Programming and Types

28-29 November 2016, Edinburgh, UK

Abstract submission:    15 October, 2016
Registration deadline:  1 November, 2016


Objectives and scope

The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for
Type Inference, by K. Komendantskaya and J. Power and will consist of two parts:

        Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and
        Functional Programming

        Part 2 - Programming languages: Horn Clause Logic for Type Inference in
        Functional Languages and Beyond

We invite all colleagues working in related areas to present and share their
results. We envisage a friendly meeting with many stimulating discussions, and
therefore  welcome presentations of already published research as well as novel
results. Authors of original contributions will be invited to submit their
papers to EPTCS post-proceedings. We especially encourage early career
researchers to present and participate.


The workshop will be held at the International Center for Mathematical Sciences,
in Edinburgh city center, just 2 minutes walk from the Informatics Forum.

Invited speakers and tutorials


* Logic programming: laxness and saturation
  John Power, University of Bath, UK

* Comodels and interaction
  Tarmo Uustalu, Tallinn University of Technology, Estonia.

* Refinement Types and Higher-Order Constrained Horn Clauses
  Steven Ramsay and Luke Ong, University of Oxford, UK

Applications and Implementations:

* Abstract compilation for type analysis of OO languages
  Davide Ancona, University of Genoa, Italy

* Classes for the masses
  Claudio Russo, Microsoft Research Cambridge, UK

* Relational specification of type systems using Logic Programming
  Ki Yung Ahn, Nanyang Technological University, Singapore

Proceedings publication

Presentations: We invite submission of 2-page extended abstracts via Easychair,
by the 15th October 2016. These will be subject to light review process.
Preliminary proceedings will be made available at the conference in electronic

Post-proceedings: Authors presenting original work will be invited to submit
full papers to the post-proceedings of the workshop. The post-proceedings volume
will be published in Electronic Proceedings in Theoretical Computer Science and
peer-reviewed according to EPTCS standards by the PC members.

Important dates

Extended Abstract Submission:   15 October, 2016
Author notification:            25 October, 2016
Workshop registration:           1 November, 2016
Workshop:                       28–29 November, 2016
EPTCS proceedings invitations:  15 December, 2016
EPTCS final version submission: 30 January, 2017

Programme committee

Ki Yung Ahn, Nanyang Technological University, Singapore
Davide Ancona, University of Genoa, Italy
Filippo Bonchi, CNRS, ENS de Lyon, France
Iavor Diatchki, Galois, Inc, USA
Peng Fu, Heriot-Watt University, Edinburgh, UK
Neil Ghani, University of Strathclyde, UK
Patricia Johann, Appalachian State University, USA
Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh, UK
Clemens Kupke, University of Strathclyde, UK
J. Garrett Morris, University of Edinburgh, UK
Fredrik Nordvall Forsberg, University of Strathclyde, UK
John Power, University of Bath, UK
Claudio Russo, Microsoft Research Cambridge, UK
Martin Schmidt, DHBW Stuttgart and Osnabrück University , Germany
Stephan Schulz, DHBW Stuttgart, Germany
Aaron Stump, The University of Iowa, USA
Niki Vazou, University of California, San Diego, USA
Joe Wells, Heriot-Watt University, Edinburgh, UK
Fabio Zanasi, Radboud University of Nijmegen, The Netherlands

Workshop chairs
Ekaterina Komendantskaya, Heriot-Watt University, UK
John Power, University of Bath, UK

Publicity chair
František Farka, University of Dundee, UK and University of St Andrews, UK


František Farka

More information about the Haskell-Cafe mailing list