BEAT2019

Peter Thiemann holder sit indbudte foredrag om graduerede sessionstyper.

Jeg ankom til Lissabon kl. 7.30. Mine kolleger og samarbejdspartnere António Ravara fra Lissabon og Adrian Francalanza fra Malta holdt og ventede på mig, og vi kørte ud til Cascais, hvor POPL 2019 finder sted.

BEAT-workshoppen er en af de mange aktiviteter på den første dag af konferenceugen, der har POPL som centrum. Jeg var selv organisator af den første BEAT-workshop i Rom i januar 2013, den ser endte med at jeg sneede inde i München og endte med at gå glip af det meste selv.

I år kunne jeg læne mig tilbage og lytte til de mange foredrag. Især bed jeg mærke i et foredrag af Andreai Mondido og Vasco Vasconcelos, for det handlede om en slags tableau-algoritme for ækvivalens af kontekstfri sessionstyper, der til forveksling ligner noget, der var den centrale del af min Ph.D.-afhandling fra 1991! De vidste imidlertid ikke, at der var en forbindelse. Sidst på eftermiddagen fortalte jeg Andreai og Vasco om mit arbejde fra dengang for mange år siden. Det var interessant, at det nu pludselig var blevet nyttigt igen for andre – og for mig var det fascinerende at være i stand til tale om dette igen og opdage, at det hele var derinde endnu.

Midt på eftermiddagen var det tid for mig til selv at holde mit foredrag, og der kom heldigvis flere gode spørgsmål fra salen.

Det var godt at gense mange af dem, jeg kender, og igen blive mindet om, at også jeg faktisk er en del af et større forskningsfællesskab og at også jeg bidrager med noget, som lader til at være af værdi for andre. Netop i det fællesskab, der er omkring BEAT og det nu afsluttede BETTY-projekt, synes jeg at der en på en og samme tid positiv og ambitiøs ånd, og her føler jeg mig velkommen.

I morgen skal jeg holde mit andet foredrag, men først skal jeg lige have tjekket ind på mit værelse i Lissabon efter en lang dag i Cascais.