TIMETABLE

STACS '97

14th Symposium on Theoretical Aspects of Computer Science

Hansestadt Lübeck, Germany

February 27 - March 1, 1997

All technical sessions will take place at

Mövenpick Hotel, Beim Holstentor, D-23554 Lübeck,
Lecture rooms: "Prismensaal" and "Saal Münster/Braunschweig"

Detailed program on

Wednesday, February 26, 1997

18:00 - 21:00 Registration

Thursday, February 27, 1997

8:00 - 9:00 Registration
9:00 - 9:05 Welcome
9:05 - 10:05 Invited Lecture: Bernhard Steffen
10:15 - 11:15 Session 1A: Algorithms I,
Session 1B: Automata Theory I
11:15 - 11:45 Coffee Break
11:45 - 12:45 Session 2A: Algorithms II,
Session 2B: Structural Complexity I
12:45 - 14:30 Lunch
14:30 - 16:00 Session 3A: Probabilism,
Session 3B: Specification and Verification
16:00 - 16:30 Coffee Break
16:30 - 18:00 Session 4A: Boolean Functions,
Session 4B: Logic and Learning
19:00 Reception in the "Audienzsaal", Rathaus (Town Hall)

Friday, February 28, 1997

9:00 - 10:00 Invited Lecture: Stephane Gaubert
10:15 - 11:15 Session 5A: Automata Theory II,
Session 5B: Structural Complexity II
11:15 - 11:45 Coffee Break
11:45 - 12:45 Session 6A: Complexity Theory I,
Session 6B: Parallel and Distributed Systems I
12:45 - 14:30 Lunch
14:30 - 16:00 Session 7A: Complexity Theory II,
Session 7B: Parallel and Distributed Systems II
16:00 - 16:30 Coffee Break
16:30 - 17:30 Session 8A: Complexity Theory III,
Session 8B: Parallel Algorithms
17:45 Guided tour of the "Old Town" (optional)
19:00 Organ concert, Prof. Schoof, Jakobikirche: D. Buxtehude, J.S. Bach, Improvisation
20:00 Conference Dinner

Saturday, March 1, 1997

9:15 - 10:15 Session 9A: Algorithms III,
Session 9B: Structural Complexity III
10:15 - 10:45 Coffee Break
10:45 - 11:45 Session 10A: Algorithms IV,
Session 10B: Automata Theory III
11:50 - 12:50 Invited Lecture: Oded Goldreich
12:50 Farewell

Back to the STACS'97 front page.

Last modified: November 25, 1996 by K. Genther.