Difference between revisions of "PLNL19"

From Clean
Jump to navigationJump to search
 
(8 intermediate revisions by one other user not shown)
Line 11: Line 11:
 
== Location ==
 
== Location ==
 
PLNL'19 will take place at [https://www.ru.nl/english/ Radboud University Nijmegen], Lecture Hall Complex, CC1 (https://www.ru.nl/english/about-us/contact/how-get/ directions in English; https://www.ru.nl/over-ons/contact/bereikbaarheid/ directions in Dutch).
 
PLNL'19 will take place at [https://www.ru.nl/english/ Radboud University Nijmegen], Lecture Hall Complex, CC1 (https://www.ru.nl/english/about-us/contact/how-get/ directions in English; https://www.ru.nl/over-ons/contact/bereikbaarheid/ directions in Dutch).
 +
 +
PLNL'19 is sponsored by Radboud University Nijmegen and NWO.
  
 
== Call for Talk Proposals ==
 
== Call for Talk Proposals ==
Line 22: Line 24:
 
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.
 
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.
  
== Programme (preliminary) ==
+
== Programme ==
 
General information.
 
General information.
* All presentation are in '''lecture hall CC1''' (Lecture Hall Complex, Mercatorpad 1).  
+
* All presentations are in '''lecture hall CC1''' (Lecture Hall Complex, Mercatorpad 1).  
 
* Coffee breaks and closing drinks are in the next door '''Cultuur Café'''.  
 
* Coffee breaks and closing drinks are in the next door '''Cultuur Café'''.  
 
* Lunch is served in the '''University Restaurant De Refter''' (Erasmusplein 3).  
 
* Lunch is served in the '''University Restaurant De Refter''' (Erasmusplein 3).  
  
 
----
 
----
'''09:30 - 10:00'''  Registration in CC1, coffee and tea in Cultuur Café
+
'''09:30 - 10:00'''  Registration, coffee, tea in CC1
 
----
 
----
 
'''10:00 - 10:05'''  Welcome
 
'''10:00 - 10:05'''  Welcome
 
----
 
----
 
''Session types'' (chair: Pieter Koopman)
 
''Session types'' (chair: Pieter Koopman)
* '''10:05 - 10:30''' ''Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages'', Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
+
* '''10:05 - 10:30''' ''Actris: Session-Type Based Reasoning in Separation Logic'', '''Robbert Krebbers'''
* '''10:30 - 11:55''' ''Minimal Session Types'', Alen Arslanagic, Jorge A. Pérez and Erik Voogd
+
* '''10:30 - 11:55''' ''Minimal Session Types'', '''Alen Arslanagic''', Jorge A. Pérez and Erik Voogd
* '''10:55 - 11:20''' ''Actris: Session-Type Based Reasoning in Separation Logic'', Robbert Krebbers
+
* '''10:55 - 11:20'' '''Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages'', '''Arjen Rouvoet''', Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
 
----
 
----
  
Line 43: Line 45:
 
----
 
----
 
''Language design'' (chair: Eelco Visser)
 
''Language design'' (chair: Eelco Visser)
* '''12:05 - 12:30''' ''Marking Piecewise Observable Purity'', Seyed Hossein Haeri, Peter Van Roy
+
* '''12:05 - 12:30''' ''Piecewise Relative Observational Purity'', '''Seyed Hossein Haeri''', Peter Van Roy
* '''12:30 - 12:55''' ''FPGA Design with CLaSH'', Jan Kuper
+
* '''12:30 - 12:55''' ''FPGA Design with CLaSH'', '''Jan Kuper'''
 
----
 
----
  
Line 51: Line 53:
  
 
''SAC'' (chair: Robbert Krebbers)
 
''SAC'' (chair: Robbert Krebbers)
* '''14:15 - 14:40''' ''SAC Goes Cluster: Fully Implicit Distributed Array Processing'', Clemens Grelck, Thomas Macht
+
* '''14:15 - 14:40''' ''SAC Goes Cluster: Fully Implicit Distributed Array Processing'', '''Clemens Grelck''', Thomas Macht
* '''14:40 - 15:05''' ''Array Languages for Deep Learning - High-Productivity and High-Performance'', Sven-Bodo Scholz
+
* '''14:40 - 15:05''' ''Array Languages for Deep Learning - High-Productivity and High-Performance'', '''Sven-Bodo Scholz''', Artjoms Sinkarovs, Hans-Nikolai Viessmann
  
 
----
 
----
Line 59: Line 61:
 
----
 
----
 
''FP oriented'' (chair: Peter Achten)
 
''FP oriented'' (chair: Peter Achten)
* '''15:45 - 16:10''' ''Type theory unchained'', Jesper Cockx
+
* '''15:45 - 16:10''' ''Type theory unchained'', '''Jesper Cockx'''
* '''16:10 - 16:35''' ''Revisiting pattern match overlap checks'', Sebastian Graf, Simon Peyton Jones
+
* '''16:10 - 16:35''' ''Revisiting pattern match overlap checks'', '''Sebastian Graf''', Simon Peyton Jones
* '''16:35 - 17:00''' ''From FP to OO'', Tom Verhoeff
+
* '''16:35 - 17:00''' ''From FP to OO'', '''Tom Verhoeff'''
  
 
-----
 
-----
Line 67: Line 69:
  
 
-----
 
-----
Optional dinner, pay for yourself (see also registration page)
+
On the registration page you can indicate if you wish to participate in the dinner. We have booked [http://www.restaurantmira.nl/ restaurant Mira], which is conveniently located in the city centre of Nijmegen, and of walking distance to the central railway station (700m). Dinner is payed entirely by yourself. We have reserved a shared dinner, costing 29 euro, drinks are not included in that amount.
  
 
== Submission details ==
 
== Submission details ==

Latest revision as of 09:14, 12 December 2019

PLNL 2019 : Second Workshop on Programming Languages in The Netherlands

  • Radboud University Nijmegen
  • December 12 2019


Workshop Overview

After the succesfull launch of this new workshop series, PLNL'18, we are happy to invite you to give a presentation or attend the second edition. The purpose of PLNL 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.

Location

PLNL'19 will take place at Radboud University Nijmegen, Lecture Hall Complex, CC1 (https://www.ru.nl/english/about-us/contact/how-get/ directions in English; https://www.ru.nl/over-ons/contact/bereikbaarheid/ directions in Dutch).

PLNL'19 is sponsored by Radboud University Nijmegen and NWO.

Call for Talk Proposals

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.

Programme

General information.

  • All presentations are in lecture hall CC1 (Lecture Hall Complex, Mercatorpad 1).
  • Coffee breaks and closing drinks are in the next door Cultuur Café.
  • Lunch is served in the University Restaurant De Refter (Erasmusplein 3).

09:30 - 10:00 Registration, coffee, tea in CC1


10:00 - 10:05 Welcome


Session types (chair: Pieter Koopman)

  • 10:05 - 10:30 Actris: Session-Type Based Reasoning in Separation Logic, Robbert Krebbers
  • 10:30 - 11:55 Minimal Session Types, Alen Arslanagic, Jorge A. Pérez and Erik Voogd
  • 10:55 - 11:20 Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages, Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

11:20 - 12:05 coffee and tea


Language design (chair: Eelco Visser)

  • 12:05 - 12:30 Piecewise Relative Observational Purity, Seyed Hossein Haeri, Peter Van Roy
  • 12:30 - 12:55 FPGA Design with CLaSH, Jan Kuper

13:00 - 14:15 Lunch


SAC (chair: Robbert Krebbers)

  • 14:15 - 14:40 SAC Goes Cluster: Fully Implicit Distributed Array Processing, Clemens Grelck, Thomas Macht
  • 14:40 - 15:05 Array Languages for Deep Learning - High-Productivity and High-Performance, Sven-Bodo Scholz, Artjoms Sinkarovs, Hans-Nikolai Viessmann

15:05 - 15:45 coffee and tea


FP oriented (chair: Peter Achten)

  • 15:45 - 16:10 Type theory unchained, Jesper Cockx
  • 16:10 - 16:35 Revisiting pattern match overlap checks, Sebastian Graf, Simon Peyton Jones
  • 16:35 - 17:00 From FP to OO, Tom Verhoeff

17:00 - 17:30 Announcement PLNL'20 and drinks


On the registration page you can indicate if you wish to participate in the dinner. We have booked restaurant Mira, which is conveniently located in the city centre of Nijmegen, and of walking distance to the central railway station (700m). Dinner is payed entirely by yourself. We have reserved a shared dinner, costing 29 euro, drinks are not included in that amount.

Submission details

Submission page: https://easychair.org/conferences/?conf=plnl19

  • Submission: Monday, November 18, 2019.
  • Notification: Monday, November 25, 2019.
  • Workshop: Thursday, December 12, 2019.

Submissions for talk proposals should be described in an abstract of at most 300 words. Proposals do not need to represent original work. It is fine to propose to talk about (recently) published work.

Organizers

  • Pieter Koopman (pieter@cs.ru.nl)
  • Peter Achten (P.Achten@cs.ru.nl)

Program committee

  • Pieter Koopman (Radboud University)
  • Peter Achten (Radboud University)
  • Robbert Krebbers (Delft University of Technology)
  • Wouter Swierstra (Utrecht University)
  • Eelco Visser (Delft University of Technology)

Registration

Participation is free, but you will need to register. The deadline for registration is December 5, 2019.

To register, please visit https://forms.gle/p1Pn3UnBycQH6zyr6

Past workshops