alpensommer2007.blogspot.com
Alpensommer 2007: Klettern in Handegg
http://alpensommer2007.blogspot.com/2007/07/klettern-in-handegg.html
Montag, 30. Juli 2007. Morgens hatte Chuck festgestellt, dass sein frisch operierter Zeh nach dreieinhalb Tagen Heilung wenigstens für einige Momente (ohne allzu große Schmerzen) mit den Kletterschuhen klarkam. Die umliegenden Berge waren am Nachmittag schon ziemlich stak verhüllt mit dunklen Wolken. Wir entschieden uns trotzdem, zwei Klassiker in dem Gebiet kurz oberhalb unserer Wohnung in Richtung Grimselpass zu klettern. Hier sieht man besonders gut, woher der Quarzriss seinen Namen hat: durch eine gr...
formal-methods.net
Formal Methods - An informal introduction by Jan Oliver Ringert
http://www.formal-methods.net/index.php
Welcome to: Formal Methods. You might have come across this site while looking for something related to formal methods. Well, this is. It is a small project to make formal methods more popular by personifying them (see Intro. Many people don't know whether they should hook up with formal methods or not. Here you will be given the chance to date them without commitment (see Dating. You will find my email on the contact page. Looking forward to hearing from you,. And Free CSS Templates.
formal-methods.net
Formal Methods - Introduction to Formal Methods
http://www.formal-methods.net/intro/index.php
The ones you find here. I decided to give the formal methods and tools I introduce some personality. Not that they would need this, but it might be helpful to have some picture of them in mind when talking about them. A nice way to create comic strips or simply toon characters. Now please select the actor you want to get introduced to on the right. And Free CSS Templates.
alpensommer2007.blogspot.com
Alpensommer 2007: Alpine (Pack-)Esel auf dem Weg zum Badile
http://alpensommer2007.blogspot.com/2007/09/alpine-pack-esel-auf-dem-weg-zum-badile.html
Dienstag, 4. September 2007. Alpine (Pack-)Esel auf dem Weg zum Badile. Niedergeschlagen von dem schlechten Wetter hier auf der Alpennordseite suchten wir unser Stamminternetcafe auf und machten uns warme Gedanken beim Betrachten des Wetters im Bergell auf der Alpensüdseite. Während wir hier wieder Niederschlag und herbstliche Temperaturen bekommen sollten, hätte man dort allenfalls leichte Bewölkung und sogar ein paar Grad mehr zu erwarten. Die erste Aussage lautete, dass der Fels durch Schmelzwasser no...
alpensommer2007.blogspot.com
Alpensommer 2007: Toblerone-Berg 4478m – Hörnligrat (NE-Grat)
http://alpensommer2007.blogspot.com/2007/09/toblerone-berg-4478m-hrnligrat-ne-grat.html
Dienstag, 11. September 2007. Toblerone-Berg 4478m – Hörnligrat (NE-Grat). Nach dem Wintereinbruch in der Schweiz mussten wir die nächsten Touren wieder ganz von vorne planen. Wir suchten nach den Plätzen mit dem besten Wetter in der Schweiz und riefen auf ein paar Hütten an, um uns über Verhältnisse an den Bergen zu informieren. Wir bekamen Aussagen zu hören, die ungefähr so lauteten: „Ihr wollt doch wohl erst nächsten Sommer kommen, oder? Teile des Weges hatten wir schon am Vortag erkundet und der weit...
alpensommer2007.blogspot.com
Alpensommer 2007: Juli 2007
http://alpensommer2007.blogspot.com/2007_07_01_archive.html
Montag, 30. Juli 2007. Morgens hatte Chuck festgestellt, dass sein frisch operierter Zeh nach dreieinhalb Tagen Heilung wenigstens für einige Momente (ohne allzu große Schmerzen) mit den Kletterschuhen klarkam. Die umliegenden Berge waren am Nachmittag schon ziemlich stak verhüllt mit dunklen Wolken. Wir entschieden uns trotzdem, zwei Klassiker in dem Gebiet kurz oberhalb unserer Wohnung in Richtung Grimselpass zu klettern. Hier sieht man besonders gut, woher der Quarzriss seinen Namen hat: durch eine gr...
formal-methods.net
Formal Methods - Dating Formal Methods
http://www.formal-methods.net/dating/index.php
Let me start with a quote attributed to Richard Feynman:. Mathematics and Physics is like sex: sure, it may give some practical results, but that is not the reason why we do it. Maybe this holds for the theory of formal methods as well. But seriously those formal methods and formal methods tools can really feel like your sweet counterpart in a relationship:. At first they promise you everything. You spend many many nights with them. It takes some time until you really understand each other, and.
alpensommer2007.blogspot.com
Alpensommer 2007: Abschluss
http://alpensommer2007.blogspot.com/2007/09/abschluss.html
Donnerstag, 27. September 2007. Wie so viele Sachen hat auch der „Alpensommer 2007“ einmal ein Ende. Zu einem klassischen Ende gehören ein paar Dinge:. Ein Rückblick mit einer kleinen Bilanz. Ein Ausblich auf neue Pläne. Die Feierlichkeit hielten wir am Abend vor unserem Treffen mit den Vermietern auf der Terrasse ab. Wegen zwei milder Davidoffs mussten wir das gemütliche Event nach draußen verlegen, da wir nicht unsere Wohnung verräuchern wollten (wahrscheinlich ist es bei solchen Zigarren schon Fre...
alpensommer2007.blogspot.com
Alpensommer 2007: Nuovo via per Claudia – 5 (+1 zum Grat) SL, max. 6a+
http://alpensommer2007.blogspot.com/2007/09/nuovo-via-per-claudia-5-1-zum-grat-sl.html
Samstag, 8. September 2007. Nuovo via per Claudia – 5 ( 1 zum Grat) SL, max. 6a. Zu unserem zweiten Tag in Spazzacaldeira brachen wir wieder frierend mit Mütze und dicker Jacke auf. Morgens war es im Tal noch ziemlich kühl, was sich jedoch änderte, als wir die Kletterfelsen erreichten. Diese lagen wie schon am Vortag in der Sonne, sodass wir wieder im T-Shirt klettern konnten. In der dritten Seillänge musste man eine Platte hinauf in eine zulaufende Verschneidung klettern. Über einem schloss sich der...