AGERE2019 med visse forhindringer

Der er et svømmebassin på Royal Olympic Hotel, hvor SPLASH2019 finder sted (og hvor jeg ikke bor).

Færgen (undskyld: det store skib) fra Italien var inde tids nok (kl. 2.45) til at jeg ikke kom med bussen kl. 2.30 fra Patras. Jeg sad i ventesalen på busstationen indtil 5.00, hvor der gik endnu en bus til Athen. Jeg var på nippet til at falde i søvn i bussen, da chaufføren vækkede mig – jeg sad på det forkerte sæde og skulle flytte mig. For i denne bus var der åbenbart pladsreservation. Derefter sov jeg ikke mere, men i det mindste var jeg fremme i Athen 8.15. En taxitur med trafikprop senere var jeg fremme på mit værelse, klædte om, spiste min medbragte mysli fra Danmark, tog bad og gik over til SPLASH2019, der bliver afholdt kun 100 meter fra hvor jeg overnatter. I fodgængerovergangen sagde jeg hej til en PhD-studerende fra Uppsala, men han havde voldsomt travlt, thi han var frivillig ved SPLASH2019.

Jeg nåede lige akkurat op på 3. sal, idet AGERE2019 begyndte med et indbudt foredrag med Sophia Drossopolou fra Imperial College om sproget Pony, dets typesystem og semantik. Det var spændende, for det relaterer sig klart til problemstillinger, jeg selv arbejder med for tiden. Men det kneb unægtelig for mig med at koncentrere mig, kunne jeg mærke. Faktisk kneb det voldsomt for mig bare at holde øjnene åbne.

Jeg vågnede, da de andre tilhørere klappede – Sophias foredrag var slut. Hvad klokken var nu, kunne jeg ikke se. Mens jeg havde blundet, var mit soldrevne armbåndsur løbet tør for batteri og viserne rykket til 12-position. (Det er stadig ikke lykkedes for mig at genstarte uret, trods det fine solskinsvejr hernede.)

Jeg prøvede at følge med i diskussionen i pausen, men jeg kunne ikke helt tænke klart, så træt var jeg. Bagefter var der præsentationer om hybrid logik (en form for modallogik, hvor de mulige verdener er internaliseret i formlerne) og om lokal konsensus i distribuerede systemer, men nu kunne jeg mærkværdigvis faktisk holde mig vågen gennem det hele. Det lykkedes mig endda at stille et spørgsmål om modallogik.

Kl. 12.00 var det tid til mit eget foredrag. Det gik næsten. Jeg havde problemer med at få mine slides vist – der er en defekt DVI-port på min MacBook, så jeg bruger HDMI-porten til daglig. Men der var kun en gammel projekter i lokalet uden den slags, og heller ikke nogen kabeladapter , så arrangørerne overvejede, om vi skulle rykke ind i et andet lokale. Det prøvede vi, men det var heller ikke nemt, for der skulle være en anden workshop. Derefter skulle jeg prøve at sende mine slides pr. mail til en af arrangørerne, så vi kunne bruge hans computer, men nu var der pludselig problemer med at læse mail. Vi endte med at bruge en kopi af mine slides fra et USB-drev på en anden computer. Der gik mere end et kvarter med få alting ordnet. Men foredraget fik jeg da holdt til sidst. Der var ét spørgsmål; det var fra Sophia.

På vej til frokosten på 7. sal kom der en sms fra færgeselskabet med en besked om uforudsete og ubegrundede ændringer til hjemrejsen. Alt var ved det gamle, og jeg begyndte at gruble over, hvordan jeg skulle komme med tog videre nordpå efter forsinkelsen på hjemturen om nogle dage.

Til frokosten mødte jeg Jens Palsberg, der er professor på UCLA og et af de største navne inden for programmeringssprogsteori. Jens kender jeg fra hans fjerne fortid på Aarhus Universitet. Vi snakkede lidt om den danske universitetsverden, hvor meget er forandret siden Jens’ tid i Aarhus og – syntes han – virker meget amerikansk på en ikke så god måde. Derefter gik jeg hen på mit værelse, ryddede lidt op og tog en hårdt tiltrængt lur.

Da jeg kom tilbage til AGERE2019 efter overstået middagslur, fik jeg at vide, at der var kommet en lille æske med foldere om en særudgave af Frontiers in Computer Science, hvor jeg er gæsteredaktør. Jeg gik op til workshoppen for at give folderne til de andre deltagere, inden vi begyndte igen. Men lokalet var tomt; alle var gået. Den sidste session med åben diskussion var åbenbart blevet aflyst, men ingen af de frivillige, jeg spurgte, kunne forklare hvorfor. I foyeren løb jeg ind Colin Gordon, der fortalt om hybrid logik om formiddagen, og han var heller ikke sikker på hvorfor man havde aflyst. Men han da fik en folder af mig.

Og sådan sluttede tirsdagens officielle aktiviteter.

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

Skriv et svar