hupfis blog

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, ...).

Einige werden es schon gesehen haben - die österreichischen Teams beim Bewerb haben leider nur den 23. und den 25. Platz gemacht - das spanische Team der UCM ("UCM Cauchy") hat den ersten Platz belegt und darf im Frühjahr zu den Finals nach Canada. Hier das gesamte Ranking. Es hat sich gezeigt, dass jene Teams, die mit einer Coach-Mannschaft von bis zu 5 Personen angereist waren (und auch dementsprechend trainiert hatten), die meisten Probleme gelöst haben.

Für Leute (nur Studenten, die in den ersten 10 Semestern ihres Studiums sind) die auch gerne mal mitmachen würden gibt es hier die gestellten Aufgaben zum Trainieren: http://ctp.di.fct.unl.pt/PUBLIC-SWERC2007/.

Trotz des nicht errungenen Sieges sind wir nach der Ankunft im Hotel in die Badehosen gesprungen und runter zum Meer gelaufen (der Sand fühlte sich an wie Schnee, nicht nur so weich, sondern auch so kalt) und haben uns in die kalten Fluten gestürzt.

Heute gibts mal wieder einen Anlass für einen Blog-Eintrag. Gemeinsam mit 2 Teams der JKU Linz bin ich als Coach beim Süd-West-Europa Finale des ICPC (International Collegiate Programming Contest). Die Sieger (genauergesagt die ersten beiden Plätze) in diesem Contest dürfen wieder (wie im Vorjahr) im Weltfinale mitmachen.

Dieses Jahr sind wir also mit 2 Teams angetreten, zum Einen das selbe Team, das letztes Jahr bereits im Finale in Tokio (man erinnert sich) den guten 26. Platz (von 88 Teams im Weltfinale) belegt hat, und zum anderen ein junges Team mit drei exzellenten Programmierern.

Nachdem wir am Freitag angereist sind, und im Hotel bereits die ersten Mitbewerber aus allen südwesteuropäischen Ländern (d.h. Teile von Deutschland, Teile von Österreich und alles links davon) kennengelernt haben, gings gestern (Samstag) mit dem Bus zur Universitade Nova de Lisboa gefahren, und haben uns mit den Gegebenheiten vor Ort vertraut gemacht. Nachmittags gabs dort dann einen Trainingsbewerb, wo die Teams mal die Rechner probieren konnten und die Wettbewerbs-Software (Mooshak) noch einmal auf Herz und Nieren geprüft wurde.

Jetzt gehts noch kurz frühstücken und dann ab in den Bus zum Contest. Für alle, die den Consest live verfolgen wollen gibt es hier eine Homepage: http://ctp.di.fct.unl.pt/PUBLIC-SWERC2007/
Die Teams der JKU sind die Teams "AEIOU" und "JKU Team 2". Nun wünscht uns noch viel Glück und wenige/keine Bugs!