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

Ekaterina Komendantskaya komendantskaya at gmail.com
Tue Sep 13 10:34:07 UTC 2016

Call for Papers, Presentations and Participation

Workshop on  Coalgebra, Horn Clause Logic Programming and Types

28-29 November 2016, Edinburgh, UK


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
    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
in Edinburgh city center, just 2 minutes walk from the Informatics Forum.

Invited speakers and tutorials
* Relational Specification of type systems using Logic Programming,
  Ki Yung Ahn, Nanyang Techological University, Singapore

* Logic programming for type inference in object-oriented languages,
  Davide Ancona, University of Genoa, Italy

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

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

* Comodels and interaction,
Tarmo Ustalu, Tallinn University of Technology, Estonia


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 form.

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:                       28–29 November, 2016
  EPTCS post-proceedings invitations:  15 December, 2016
  EPTCS final version submission: 30 January, 2017


Programme committee

Ki Yung Ahn, Nanyang Techological 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 University of Osnabrueck, 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 Zanassi, Radboud University of Nijmegen, Netherlands

Workschop 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160913/f4813ecf/attachment.html>

More information about the Haskell-Cafe mailing list