Mensaessen
Ich habe ja schon vieles gesehen. Gute und sagen wir mal freundlich: weniger gute Mensen. Die Mensa hier in Prag ist aber mit Abstand das Beste, was ich bislang genießen durfte. Frisch gezapftes Bier für weniger als einen Euro für den halben Liter, mehrgängige Menüs (Suppe + z.B. Wienerschnitzel mit Petersilienkartoffeln + Nachtisch) sorgen in einer super Atmosphäre für echt gute Laune. Lecker!Austauschbarkeit
Viele der Vorträge hier in Prag beschäftigen sich mehr oder minder mit der Frage, ob eine Komponente gegen eine neuere Version in einer Systemkonfiguration austauschbar ist. Dabei werden zum Teil recht komplizierte formale Methoden herangezogen. Komischerweise fragt sich allerdings nie jemand, was denn zu tun ist, wenn man feststellt, dass eine zu installierende Komponente ums Verrecken nicht in ein gegebenes System passt. Da helfen einem dann auch die besten Formalismen nicht mehr. Mann muss zu schwereren Keulen greifen und mitunter die Konfiguration komplett umbauen. Gut, dass ich genau diese Frage in meiner Diss aufgreife. 
Das die Frage der Austauschbarkeit allerdings offenbar so interessant ist, zeigt mir, dass mein Ansatz durchaus Praxisrelevanz hat.
Die goldene Stadt
Momentan verweile ich ein paar Tage in Prag um an dem Workshop FACS 2006 teilzunehmen. Ich kann nur sagen: Prag ist eine wirklich tolle Stadt. Ich glaube da reichen die paar Tage lange nicht, bis ich auch nur die wichtigsten Dinge gesehen habe. Ich bin immerhin schon über die Karlsbrücke gewandert und habe ein paar Pilsener Urquell getrunken. Auch der Becherovka ist schon gekauft. Die anderen Orte, die ich gesehen habe, kann ich leider nicht buchstabieren. Tschechisch ist mir dann doch ein wenig fremd.
Meinen Vrotrag habe ich heute schon hinter mir gebracht, so dass ich mich jetzt ganz entspannt zurücklehnen kann.
Ich vermisse deinem Aten...
FACS 2006
Auch bei der FACS (Formal Aspects of Component Software) bin ich angenommen worden. Also werde ich im September in Prag sein. Sehr schön. Kann ich also wieder eine Stadt von meiner Liste streichen. Da wird sich meine neue Digicam direkt bezahlt machen.Neue Digicam
Mein Kollege Philipp und ich haben uns heutemal was gegönnt: Eine neue Digica. Meine alte Kamera konnte ja auch schon langsam ins Museum. Nun bin ich stolzer Besitzer der Sony Cybershot DSC-W30. Eine super kompakte 6 Megapixel Kamera. Da ich leider bislang noch keinen Memorystick habe (Saturn hatte nur 256Mb da!) kann ich leider nur 8 Fotos machen. Buah! Anbei eine kleine Demo:
Prolog Spielereien
Ich musste heute sowohl Tautologie als auch Kontradiktion in Prolog definieren. Da ich vorher die Schlüsselworte fail und true noch nie benutzt hatte, musste ich erst einmal suchen.
Eine Tautologie ist eine Aussage, die unabhängig von der Belegung der Variablen immer wahr ist. In Prolog sieht das dann so aus:
- werdenWirMehrSteuernZahlen(JAHR) :- true
Eine Kontradiktion ist sozusagen das Gegenteil, also eine Aussag, die immer falsch ist. In Prolog:
- werdenSchuldenAbgebaut(JAHR) :- fail.
Die ultimative Filmliste
Auf meiner Über mich Seite habe ich nun die ultimative Liste aller wichtigen filmischen Mesiterwerke hinterlegt. Ich glaube zwar nicht, dass dem noch etwas hinzuzufügen ist, aber vielleicht gibt es ja noch etwas Wichtiges, was ich dort vergessen habe.GPCE 2006
Heute habe ich endlich die lang ersehnte Nachricht erhalten. Mein Artikel, den ich mit Andre Osterloh zusammen geschrieben habe, ist bei der GPCE'06 angenommen worden. Super! Vorallem weil da nur jedes 3. Paper akzeptiert wird. Dann werde ich wohl im Oktober in Portland, Oregon sein.Die Schweden sind keine Holländer...
Fußballer sind manchmal Philiosophen. Das zeigt sich, wenn man Ihnen genau zuhört. Eine Sammlung der feinsten Weisheite dieser Gilde hat ein freundlicher Mensch zusammengetragen und als Word-Datei der Nachwelt zur Verfügung gestellt. Als gebürtiger Österreicher hat mir der nachfolgende Satz von Richard Rogler doch am meisten gefallen:
"Bei der Fußball-WM habe ich mir Österreich gegen Kamerun angeschaut. Warum? Auf der einen Seite Exoten, fremde Kultur, wilde Riten - und auf der anderen Seite Kamerun!"
