[TYPES/announce] Call for Papers: Eelco Visser Commemorative Symposium

Jonathan Aldrich jonathan.aldrich at cs.cmu.edu
Mon Jul 18 09:37:49 EDT 2022

Eelco Visser Commemorative Symposium

5 April 2023, Delft, The Netherlands

Call for Papers

A commemorative symposium for Eelco Visser is to be held on the first
anniversary of his untimely passing away in April 2022. It will bring
together colleagues from various communities, with presentations of papers
on topics related to his research and other academic activities.

Topics of interest include, but are not limited to:

   - Language engineering
   - Program transformation
   - Language workbenches
   - Declarative language specification
   - Name binding and scope graphs
   - Type soundness and intrinsically-typed interpreters
   - Language specification testing
   - Language implementation generation
   - Domain-specific programming languages
   - DSLs for software deployment
   - DSLs for web application development
   - Tool-supported programming education

Important dates:

   - Friday 30 September 2022: Declaration of intent to submit
   - Friday 28 October 2022: Paper submission deadline
   - Monday 28 November 2022: Notifications
   - Wednesday 5 April 2023: Symposium
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220718/359a78bd/attachment-0001.htm>

More information about the Types-announce mailing list