AlgoSyn-Workshop together with GK PUMA (Programm- Und Modell-Analyse, TU LMU)

1st Day, 26.03.2014

10.30  Bus Departure (Entrance Parkinglot Mies-van-der-Rohe-Str.)

12:30 Lunch at Bonn-Aachen International Center for Information Technology B-IT; Dahlmannstraße 2; D-53113 Bonn

14.00 Presentation by the representative H. Seidl und W. Thomas

14.30- 15.45 Short presentations from Aachen (7 min)

15.45 – 16.00 Coffee Break

16.00 – 17.15 Short presentations from Munich (5 – 10 min)

17.30 – 18.30 Visit to Arithmeum

20.00 Dinner

2nd Day: 27.03.

9.00 – 9.10 Begin/Feedback

9.10  – 9.55 Presentation Prof. Thomas: Richard Buechi – Persönliche Eindrücke zu Leben und Werk eines großen Forschers

9.55 – 10.40 Presentation Dr. Martin Zimmermann: Degrees of Lookahead in Weak Regular Infinite Games

10.40 – 11.00 Coffee Break

11.00 – 12.30 Presentation from Munich

12.30 – 13.30 Lunch

13.30 – 14.15 Project from Aachen “Mechanisms of Scientific Life”

14.15 – 14.30 Coffee Break

14.30 – 16.00 Conference Project 2015 /Future Work

 

1      Adressen

Hotel Acora, www.acora.de

Westpreußenstraße 20-30
D-53119 Bonn

Tel.: +49 (0) 228 / 66 86-0
E-Mail: bonn@acora.de

Arithmeum

Lennéstrasse 2, 53113 Bonn, Tel: 02 28 – 73 87 90
Öffnungszeiten: Dienstag – Sonntag, 11:00 – 18:00

 

B-IT Zentrum

Dahlmannstraße 2, 53113 Bonn

 

Ristorante – Pizzeria “Tuscolo”

Kaiser-Karl-Ring 63
53111 Bonn

0228 694665

www.tuscolo.de

Bookmark the permalink.