[TYPES/announce] PLNL 2018 | November 22, 2018 | Utrecht | Programming Languages

[Robbert Krebbers]

===================================================================

                             PLNL 2018

           1st VERSEN Workshop on Programming Languages
                      in The Netherlands
                               --
                  Thursday, November 22, 2018
           University Library Utrecht, The Netherlands

                      CALL FOR PARTICIPATION

               https://conf.researchr.org/home/plnl-2018

===================================================================

Workshop Overview
-----------------

The purpose of this new annual workshop is to bring together researchers
in the area of programming languages in the Netherlands. The workshop
targets programming language research in the broad sense, included but
not limited to the design, implementation, theory, application, and
teaching of programming languages.

Workshop Format
---------------

The workshop will consist of a number of contributed talks. These talks
should provoke discussion and/or questions --- we strive to have
interactive talks with plenty of discussion by the audience.

Coffee and lunch breaks will provide the opportunity to network with
your colleagues and to meet new people. Junior researchers and senior
researchers are equally welcome, and both are encouraged to submit a
talk proposal.

Researchers that are not from the Netherlands, but for example, from
neighboring countries like Belgium or Germany, are also welcome to
attend. The language of the workshop is English.

At the end of the workshop there will be a workshop dinner in Utrecht
(exact location and costs TBA).

Program
-------

Confirmed talks:

- Concrete Redex: Semantics Engineering with Concrete Syntax
   (Tijs van der Storm)
- A Functional Approach to Blockchain Contract Languages
   (Manuel Chakravarty)
- High-performance parallel arrays for Haskell
   (Trevor L. McDonell)
- Reversible Session-Based Concurrency, and its Haskell Implementation
   (Folkert de Vries and Jorge A. Perez)
- From Rascal to JVM byte code: a play in several acts
   (Paul Klint)
- Intrinsically Typed Definitional Interpreters: The Good, The Bad,
   and The Ugly
   (Casper Bach Poulsen)
- Task Oriented Programming
   (Rinus Plasmeijer)
- Sound and Reusable Components for Abstract Interpretation
   (Sven Keidel and Sebastian Erdweg)
- Degrees of Relatedness - A Unified Framework for Parametricity,
   Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra
   in Dependent Type Theory
   (Andreas Nuyts and Dominique Devriese)
- A Verified Automatic Prover Based on Ordered Resolution
   (Anders Schlichtkrull, Jasmin Blanchette, and Dmitriy Traytel)
- Type Systems with Constraints for ML Type Inference with the
   Implementation in Haskell
   (Alen Arslanagić)
- Improving pattern matching style
   (Alejandro Serrano)

Registration
------------

Registration for the workshop is required, but free of charge.

Registration site: https://goo.gl/forms/zHzQdXCKpTk7kdn63

Please register by November 12, 2018

Program Committee
-----------------

- Robbert Krebbers   Delft University of Technology
- Wouter Swierstra   University of Utrecht
- Eelco Visser       Delft University of Technology