Sonntag früh bin ich zur Reise nach San Francisco, genauergesagt zur
VMCAI 2008 (Conference on Verification, Model Checking and Abstract InterpretatioN) aufgebrochen. Um kurz nach 4 Uhr früh gings nach München, bei -5°C und Regen (!), der sofort auf der Windschutzscheibe und leider auch auf der Straße gefror.
Spätestens auf der Autobahnauffahrt in Passau merkte ich, dass die Fahrt über die Bundesdeutsche Autobahn doch nicht so lustig werden wird, wie ichs erwartet hatte. Es war zwar kaum Verkehr, dafür war aber an Geschwindigkeiten über 90 km/h aufgrund der vereisten Straßen nicht zu denken.
Nach der Ankunft am Parkservice des Flughafens München (
Park-Fly Service) sah mein Auto wie folgt aus: (kein Salz, sonder Eis bedeckt die gesamte Front)
Danach gings mit dem Shuttle zum Flughafen München, mit Lufthansa nach London und von dort aus weiter mit United nach San Francisco, wo der Sturm der vergangenen Tage nachgelassen hat. In London (Heathrow) hab ich übrigens diesen Schnappschuss gemacht, der zeigt wie up-to-date dieser Flughafen ist. Der Flughafen wird übrigens umgebaut - Motto: "we build an airport that london can be proud of" - da is noch einiges zu tun.
Die nächsten 3 Tage gehts dann zur
VMCAI 2008, und anschließend 3 weitere Tage zur
POPL 2008 (Symposium on Principles of Programming Languages). Sonntag sollte dann noch Zeit für eine kurze Touristenrunde durch San Francisco sein (Golden Gate Bridge, Alcatraz, ...).