First it took me forever to get a website (pl.ewi.tudelft.nl), and now I have a twitter account as well!

We have five open PhD positions in programming languages @[email protected] pl.ewi.tudelft.nl/hiring/

Delft PL has open PhD student positions in dependently typed programming languages, web programming languages, static and dynamic semantics specification, and software restructurings. pl.ewi.tudelft.nl/hiring/

PhD/graduate and undergraduate students: our student research competition ‹Programming› 2025 is a great opportunity to get feedback from experts and a chance to win $500! Submit your 2-page extended abstract by Feb 10 AoE. Association for Computing Machinery contributes $500 to your travel expenses!

Build Automation and Programming Languages (BAPL 2020) ... to explore the interaction of build automation and programming languages in systems for incremental analysis, building, testing, packaging, and deployment of software. At PLDI 2020 Contribute! pldi20.sigplan.org/home/bapl-2020

Also applies to PhD students in PL!

BAPL20: The First Workshop on Build Automation and Programming Languages Co-located with PLDI’20 in London, June 20, 2020 Submission of extended abstracts (2-4 pages) due March 15, 2020 (AoE) pldi20.sigplan.org/home/bapl-2020

The Delft Programming Languages group is looking for two Assistant/Associate Professors Deadline for applications is July 15, 2020 pl.ewi.tudelft.nl/hiring/2020/as…

6 days to go to submit your application

Plenty of time after submitting your POPL paper to prepare application to Delft PL (we also have 5 open salaried PhD student positions).

Multi-Purpose Syntax Definition with SDF3 An overview paper of SDF3 with Eduardo Souza for SEFM 2020 Preprint at eelcovisser.org/talks/2020/09/…

English version of my eulogy for Eelco Visser at his Farewell Ceremony. avandeursen.com/2022/04/15/eel…

Programming Languages is still alive in Delft

A commemorative symposium for Eelco Visser will be held on 5 April 2023, on the first anniversary of his untimely passing. More information and a call for papers can be found on symposium.eelcovisser.org. Please help us to spread the word!

Hello Twitter !

Today at @[email protected]: Paul van der Stel defends his MSc thesis “Tactics in Agda using reflection”. Supervised by @agdakx & Bohdan Liesnikov. Committee: Wouter Swierstra & yt

Very happy to announce that our (with Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser and Peter Mosses) paper on "Intrinsically-Typed Definitional à la Carte" (dl.acm.org/doi/10.1145/35…) has been accepted for OOPSLA '22!

Programming Languages Delft is moving from Twitter to Mastodon. Social media have become too essential in our society to leave in the hands of large companies, so we think it is important to use open and non-commercial systems. So follow us at akademienl.social/@DelftPL! #Mastodon