From July 7-12 I was at Dagstuhl Seminar 19281: “Notional Machines and Programming Language Semantics in Education” organized by:
Mark Guzdial (University of Michigan – Ann Arbor, US)
Shriram Krishnamurthi (Brown University – Providence, US)
Juha Sorva (Aalto University, FI) [who completed a PhD that involved Notional Machines]
Jan Vahrenhold (Universität Münster, DE)
Update Dec 18, 2019: The report for this Dagstuhl seminar is now out: drops.dagstuhl.de/opus/institut_dagrep.php (Issue 7) seminar number 19281.
Several folks have written about this seminar already and I’m late to the game as I went straight to ITiCSE after Dagstuhl (like several others) and I’m just catching my breath. As these other posts are all so great and some, like that by Andy Ko, are so in-depth, I have decided to post a list of them all below. I figured I would base my post around some photos to give a different take on a week in Dagstuhl discussing Notional Machines with 47 great people (which is huge for a Dagsthul seminar). First, the customary “Dagstul Chapel Steps Photo”:
Jan Vahrenhold took some great shots during the week. I know that I was thinking hard for most of the week, but through the eye of the lens it appears I was at times close to overheating.
Paul Denny and myself arrived early and explored the Dagstuhl library which is very impressive. They even had an original hardcopy of the ITiCSE ’98 (Dublin, Ireland) proceedings!
It was nice to be in Dagstuhl in the summer. Last time I was there it was snowing.
Matt Jadud and I took a walk up to Dagstuhl Castle…
But most of the time things looked like this:
Including the obligatory projection meltdown…
It was a super week of really hard work with really great people. I feel that the week put the right people in the right place to allow more interesting work in this area to coalesce.
Other posts and things on Dagstuhl Seminar 19281 (please email me if I’m missing any):
- Schloss Dagstuhl page
- Twitter feed
- Ben Shapiro’s guest post on Mark Guzdial’s blog
- Mark on Blog@CACM
- Mark on a previous Dagstuhl
- Andy Ko
- Rodrigo Duran
- Felienne Hermans (live blogging)