Während Jan angefangen hat zu arbeiten habe ich erstmal richtig Urlaub gemacht und habe es mit dem zweiten Versuch geschafft ins Phipps zu gehen.
Der erste Versuch ist gescheitert, da der äußere Garten wegen einer geschlossenen Gesellschaft nicht zugänglich war.
Der Eintritt ins Phipps sind für einen Erwachsenen 15 Dollar, dank dem Internationalen Studentenausweis habe ich zumindest einen Dollar gesparrt.
Ähnlich scheint es hier auch mit den Zoos und den Museen zu sein. Aber andererseits holt man sich scheinbar auch eher für alles einen Memberscard und kann ständig hin.

Am Montag den 5.8. haben wir nocheinmal unser großes Auto so richtig
ausgenutzt, bevor wir es am Dienstag zurückgebracht haben. Wir sind fast mit
der kompletten WG auf den Mount Washington gefahren. Leider konnte unser
japanischer Mitbewohner nicht mitkommen, da er gerade an diesem Tag von einer
Konferenz in Japan zurückkam. Naja wir waren immerhin zu sechst. Da wir in den
Abendstunden dort oben waren, hatten wir einen super Blick und konnten die
Lichter der Stadt genießen. Das Heinz Stadium hat, wie man auf den
Panorama-Aufnahmen sehen kann, versucht mit seinem FLutlicht alles zu
überstrahlen. Auch die anderen Gebäude haben um die Gunst des Betrachters
gebuhlt. Diverse bunte Licher und Lichtspiele waren zu bestaunen.

Unseren schicken Mietwagen, einen weißen Dodge Grand Caravan, mussten wir
inzwischen wieder abgeben. Immerhin haben wir uns schon zwei Fahrräder besorgt,
so dass wir zumindest ein bisschen Mobil bleiben.
Das Auto steht auf dem Bild direkt hier vor dem Haus. Auf den anderen Fotos ist
das Haus, in dem wir zur Zeit in der WG wohnen, die Bäckerrei in der Nähe (die
wirklich gutes Brot macht), und ein paar andere Orte im Stadtteil zu sehen. In
der Straße mit der Bäckerrei finden sich jede Menge Geschäfte, Bars und
Restaurants. Das ist eigentlich ganz nett in der Nähe zu haben. Der
Lebensmittelladen ist leider für viele Dinge etwas teuer, so dass man besser
für große Einkäufe etwas weiter fährt.

Mittlerweile sind wir fast 3 Wochen in Pittsburgh. Unsere Zeit in der WG neigt
sich dem Ende. Ab Donnerstag können wir endlich in unsere eigene Wohnung
einziehen. Bei Ikea haben wir uns schon eine Reihe Möbel ausgesucht und werden
uns dort dann direkt mit dem Nötigsten ausstatten. Vorallem eine bessere
Matratze. Wir können zum Glück von unserem Vormieter eine ganze Reihe Möbel
günstig übernehmen: Bett, Sofa, Esstisch und ein paar Komoden für $250.

As I’ve set up all my accounts at CMU now I have moved this webpage to the CMU servers. It would thus probably best if you update your bookmarks. The new URL is:
http://www.cs.cmu.edu/~jquesel

Da es gerade regnet und auch nichts zum einkaufen gibt habe ich mal wieder
etwas Zeit unsere Erfahrungen zu dokumentieren.

Einkaufen ist hier definitiv ungewohnt. Zunächst waren wir beim Giant Eagle in
Squirrel Hill und doch etwas schockiert über die Preise. Von Stefan haben wir
dann erfahren, dass es einige Produkte billiger beim Whole Foods in Shadyside
gäbe und tatsächlich stellten wir fest, dass sich manche Sachen dort deutlich
besser einkaufen lassen. So richtig erleichtert war ich dann, als wir beim Aldi
einkaufen waren. Dort kann man wirklich günstig einkaufen und ich hatte das
erste Mal das Gefühl, dass man hier überleben könne.

So. Christin und ich sind inzwischen in Pittsburgh angekommen und haben uns
auch schon ein bisschen eingelebt.

Nach etwas Verspätung beim Abflug in Paris sind wir trotzdem noch
früher in Pittsburgh gelandet als geplant. Die Einreise ging dann auch
recht flott (knapp 30 Minuten mussten wir warten). Dannach haben wir unser
Gepäck geholt und sind durch den Zoll. Ärgerlicherweise mussten wir
dannach unser Gepäck gleich wieder abgeben und am nächsten
Gepäckband hat es dann über eine Stunde gedauert bis wir es wieder
hatten. Naja. Während wir gewartet haben, habe ich schnell unser Auto
abgeholt. Gebucht hatten wir ein Mid-Size SUV. Bekommen haben wir Dodge Grand
Caravan. Definitiv bietet der Wagen genug Platz für alle unsere Koffer. In
Parkhäusern macht er dafür aber weniger Spass.

In Dezember 2009 the International Conference on Formal Engineering Methods (ICFEM) was held in Brasil.

It was extremly humid and quite a shock when I left the plane. On the drive to the hotel I could already see heavily armed police men. That was also rather irritating I have to admit. The hotel was fine, directly located at the Copacabana.

The conference venue was a military institute right next to the Sugarloaf Montain. The location also featured a small beach, which got us into a bit of trouble on the last day. As it turned out it is fine to leave the institute wearing swimming gear and t-shirt. However, you cannot enter it that way. ;)

In August 2008 I had the chance to visit Sydney, Australia for a few days. The International Joint Conference on Automated Reasoning (IJCAR) took place in the local Mercure hotel.

I was able to look around a bit in Sydney. It is a really intersting city much more European than I would have imagined. A lot of pedestrians everywhere. The botanical garden is really nice and of course darling harbour is a must see.

Finally found some time to add photos from previous travels.

In April 2008 I went to St.Louis, Missouri, USA to visit the HSCC. I came there without any real plan how to get to my hotel. I got lucky and met a really nice women on the plane. Her husband was picking her up on the airport and the two dropped me off at my hotel. That was great as I had to find out that my hotel was indeed several miles away from the airport.