Tilbage i Den Evige Stad

Rom 22. marts 2013

I dag tog jeg til Rom for anden gang i år i embeds medfør. Også denne gang er det en kort tur; jeg rejser ud fredag og kommer hjem mandag.

Jeg ankom ved 13-tiden efter en helt begivenhedsløs flyrejse og tog hen på Hotel Cambridge‚ det lyder finere end det er – et billigt hotel tæt på banegården Roma Termini og på Universitá La Sapienza. Mine udgifter skal holdes inden for grænserne af forskernetværket BETTY, som holder sit første møde her i overmorgen. Det er derfor jeg er af sted. Vi har lagt BETTY-mødet i forlængelse af den store datalogikonference ETAPS, som jeg når at fange den sidste halvanden dag af.

Det var ikke svært at finde Universitá La Sapienza og såmænd heller ikke så svært at finde Aula Magna, hvor alle de indbudte foredrag finder sted. Men at finde ind i bygningen og finde auditoriet var en ganske anden historie. Jeg fandt et ETAPS-skilt, men det førte ingen steder hen (!!). Og jeg spurgte flere lokale personer, og de var venlige, men kunne heller ikke hjælpe mig. Der var ikke andet at gøre end at gå ind i bygningen og kigge sig om.

Til sidst fandt jeg auditoriet og havnede oppe på balkonen sidst i et (tror jeg) interessant foredrag af Mark S. Miller fra Google om alle seriøse datalogers yndlingsbekymring, det meget udbredte Javascript. Under diskussionsrunden bagefter fik jeg listet mig ned i selve salen til det, jeg havde været sikker på at kunne nå, nemlig mindeforedragene om Kohei Honda, der døde så pludselig lige før jul.

Vasco Vasconcelos fortalte om sit tidlige samarbejde med Kohei Honda og om to af hans vigtige bidrag: den asynkrone pi-kalkyle og sessionstyper. Det er Vasco og Koheis fortjeneste at det grundlæggende arbejde om disse to emner i høj grad er en portugisisk og japansk bedrift. Pasquale Marcaria fortalte om det banebrydende arbejde om fuld abstraktion for PCF (en udgave af lambda-kalkylen), som Kohei Honda og hans hustru Nobuko Yoshida stod bag i 1990’erne – ideen bag er at basere semantikken på game semantics (en idé baseret ikke i spilteori, men spilbegrebet fra filosofisk logik) – og endelig fortalte Steve Ross-Talbot om sit samarbejde med Kohei om at bruge sessionstyper til at finde fejl i software. Faktisk er denne teknik nu så robust, at den kan bruges som led i softwareudvikling. Læs mere om dét på Steve Ross-Talbots blog.

Jeg fik bagefter hilst på en del kolleger, men jeg var faktisk også ret træt – det havde været en usædvanligt travl arbejdsuge med masser af undervisning og møder. Så dagens faglige udbytte var for så vidt beskedent. Men i morgen skal det være anderledes. Og det er en helt udelt fornøjelse at kunne finde den lette bluse frem (som jeg i øvrigt købte sidst jeg var hernede!) og min forårsvindjakke – og ende med at opdage at det faktisk var lidt for lunt til forårsjakken. Hernede er der ingen varsler om snestorm og ingen windchill-faktor, bare et vejr der er en dansk maj måned værdigt.

(Visited 35 times, 1 visits today)
Loading Facebook Comments ...

Skriv et svar