@[email protected]

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 @DelftPL" target="_blank" rel="nofollow noopener">akademienl.social/@DelftPL! #Mastodon

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!

Today at @DelftPL: Paul van der Stel defends his MSc thesis “Tactics in Agda using reflection”. Supervised by @agdakx & @phittacus. Committee: @wouterswierstra & yt

Hello Twitter !

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!

Programming Languages is still alive in Delft

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

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

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

6 days to go to submit your application

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…

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

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!

PhD/graduate and undergraduate students: our student research competition @programmingconf 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. @TheOfficialACM contributes $500 to your travel expenses!

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/

We have five open PhD positions in programming languages @DelftPL pl.ewi.tudelft.nl/hiring/

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