International workshop on verified computations and related topics
March 7-10, 2009

Website City of Karlsruhe

http://www1.karlsruhe.de/Tourismus/

Website Public Transport Karlsruhe

http://www.kvv.de/kvv/netz/start.php?navid=30

Restaurants, Bistros, Cafés, Taverns, Pubs

Below you find a selection of some places of different price levels which all are at a reasonable walking
distance to the workshop place in the Mathematics building. 

In the list below you find some rough information about the price category of each place according to the

following subdivision:

(A) advanced price level

(B) average price level

(C) inexpensive

Cafés, Bistros

Near Workshop-Place

1 (B) Schloßcafé, Karlsruher Schloß, Schloßpark (closed on Mon)

2 (C) La Baguette (Sandwiches), Kronenstraße 24

Walking distance more than 10 minutes

3 (B) Böckelers Cafe am Rathaus, Kaiserstraße 141

4 (B) Cafe Palaver, Steinstraße 23 (opened 9-19)

Taverns, Pubs

Near Workshop-Place

5 (C) Der Vogelbräu (Beer-Brewery), Kapellenstraße 50

6 (C) Pfannenstil, Am Künstlerhaus 53

7 (C) Multikulti, Schloßplatz19

8 (B) La Corona (Italian), Kronenstraße 25

9 (B) Viva Restaurant (Vegetarian), Lammstraße 7a (opened Sat 11-17, Sun 11-15,

Mon-Fri 11-20.30)

10 (C) Nordsee (Fish), Kaiserstraße 217 (opened Mon-Sat 9-20, Sun 11:30-18)

11 (C) Titanic, Kronenstraße 3 (meals only 12-17)

12 (B) Il Caminetto (Italian), Kronenstraße 5 (closed on Sun)

13 (B) Badische Weinstuben, Schloßbezirk 6

Walking distance more than 10 minutes

14 (C) Alte Bank, Herrenstraße 30

15 (B) Badisch Brauhaus (Beer-Brewery), Stephaniestraße 38-40

16 (C) Litfaß, Kreuzstraße 10

17 (B) Das Krokodil, Waldstraße 63

Restaurants

Near Workshop-Place

18 (A) Restaurant Kaiserhof, Karl-Friedrich-Straße 12

19 (A) Restaurant in the Gastdozentenhaus, Engesserstraße 3 (open only Mon-Fri)

20 (A) Continental (Indian), Kaiserstraße 109

Walking distance more than 10 minutes

21 (A) Hoepfner Burghof, Haid-und-Neu-Straße 18 Conference Dinner

22 (AA) Oberländer Weinstube, Akademiestraße 7 (opened Sat 12-14 + 18-24, please reserve!)

23 (A) Mediterannee, Karlstraße 70

24 (A) Maredo (Steak-House), Zähringerstraße 69

25 (A) Akropolis-Ziegler (Greek), Baumeisterstraße 18

Sightseeing options

Some suggestions for participants who will stay in Karlsruhe after the workshop

ZKM – Center of Art and Media Karlsruhe (interactive museum)

http://on1.zkm.de/zkm/e/about

Sat/Sun 11-18

Schloß Karlsruhe

http://www.landesmuseum.de/website/English.htm

Sat/Sun 10-18, Tue 11-17

Zoo Karlsruhe

http://www.karlsruhe.de/fb7/zoo/service.de

every day: 9-17

Naturkunde Museum – Museum of Natural History

http://naturkundemuseum-karlsruhe.de/SMNK/06-0-Besucher.html

Sat/Sun 10-18, Tue 9.30-17

Visit to Heidelberg

Train S3, Sun, 8.3.09: Karlsruhe-Heidelberg: 10:28, 11:28, 12:28

Heidelberg-Karlsruhe: 16:48, 17:48, 19:48, 20:48, 21:55, 22:55, 23:18

Website City of Heidelberg (including city map!)

http://www.heidelberg.de/servlet/PB/menu/1088101_l2/index.html

Schloß Heidelberg: Guided tours in Engl.: 11.15, 12.15, 13.15, 14.15, 15.15, 16.15

Visit to Durlach

Durlach is a small medieval town near Karlsruhe: market square, city wall, watchtower.

Nice Pubs und Restaurants. 10 min tram ride with tram no. 1 from Karlsruhe market place.

German Website of Durlach:

http://www.durlacher.de/start.html