Series of Training Schools in Symbolic Computation
Overview 1st School 2nd School 3rd School 4th School 5th School RISC Science contact
General Information
Courses
Dates
Application
Committees
Registration
Program
Local Information
News

Monday, June 25.
08:15The school bus leaves from Sommerhaus Linz to Arcotel
08:30The school bus leaves from Arcotel to Hagenberg
09:00-10:30Opening. Mathematica tutorial (Wolfgang Windsteiger).
10:30-10:45Coffee break.
10:45-12:15Short presentations by the participants.
12:15-14:00Lunch.
14:00-15:30 Parametric Gröbner bases. RISC Colloquium talk (Antonio Montes, Barcelona).
Introduction to Gröbner bases and other methods in elimination theory (Franz Winkler).
15:30-15:45Coffee break.
15:45-17:15Mathematica tutorial (Wolfgang Windsteiger).
17:30The school bus leaves from Hagenberg to Linz

Tuesday, June 26.
08:15The school bus leaves from Sommerhaus Linz to Arcotel
08:30The school bus leaves from Arcotel to Hagenberg
09:00-10:30Maple tutorial (Ralf Hemmecke).
10:30-10:45Coffee break.
10:45-12:15Maple tutorial (Ralf Hemmecke).
12:15-14:00Lunch.
14:00-15:30Introduction to Gröbner bases and other methods in elimination theory (Franz Winkler).
15:30-15:45Coffee break.
15:45-17:15Short presentations by the participants.
17:30The school bus leaves from Hagenberg to Linz
18:30RISC Summer soccer game in Hagenberg.

Wednesday, June 27.
08:15The school bus leaves from Sommerhaus Linz to Arcotel
08:30The school bus leaves from Arcotel to Hagenberg
09:00-10:30Symbolic Computation. Algebraic Biology. (Bud Mishra).
10:30-10:45Coffee break.
10:45-12:15Symbolic Computation. Algebraic Biology. (Bud Mishra).
12:15-14:00Lunch.
14:00-15:30Introduction to Gröbner bases and other methods in elimination theory (Franz Winkler).
15:30-15:45Coffee break.
15:45-17:15Exercises.
17:30The school bus leaves from Hagenberg to Linz

Thursday, June 28.
08:15The school bus leaves from Sommerhaus Linz to Arcotel
08:30The school bus leaves from Arcotel to Hagenberg
09:00-10:30Symbolic Computation. Algebraic Biology. (Bud Mishra).
10:30-10:45Coffee break.
10:45-12:15Automated Reasoning (Tudor Jebelean).
12:15-14:00Lunch.
14:00-15:30Introduction to Gröbner bases and other methods in elimination theory (Franz Winkler).
15:30-15:45Coffee break.
15:45-17:15Exercises.
17:30The school bus leaves from Hagenberg to Linz

Friday, June 29.
08:15The school bus leaves from Sommerhaus Linz to Arcotel
08:30The school bus leaves from Arcotel to Hagenberg
09:00-10:30Introduction to Gröbner bases and other methods in elimination theory (Franz Winkler).
10:30-10:45Coffee break.
10:45-12:15Symbolic Computation. Algebraic Biology. (Bud Mishra).
12:15-14:00Lunch.
14:00-15:30Automated reasoning (Tudor Jebelean).
15:30-15:45Coffee break.
15:45-17:15Exercises.
17:30The school bus leaves from Hagenberg to Linz

Monday, July 2.
07:45The school/AB bus leaves from Sommerhaus Linz to Arcotel
08:00The school/AB bus leaves from Arcotel to Hagenberg
08:15-17:25Algebraic Biology 2007.
18:00-20:00AB2007 reception.
20:15The school/AB bus leaves from Hagenberg to Linz

Tuesday, July 3.
07:45The school/AB bus leaves from Sommerhaus Linz to Arcotel
08:00The school/AB bus leaves from Arcotel to Hagenberg
08:30-16:45Algebraic Biology 2007.
17:00The school/AB bus leaves from Hagenberg to Linz

Wednesday, July 4.
07:45The school/AB bus leaves from Sommerhaus Linz to Arcotel
08:00The school/AB bus leaves from Arcotel to Hagenberg
08:30-16:20Algebraic Biology 2007.
17:30The school/AB bus leaves from Hagenberg to Linz
19:00-22:00Joint AB2007/School dinner (Hotel Arcotel)

Thursday, July 5.
08:30The school bus leaves from Sommerhaus Linz to Hagenberg
09:00-10:30Applications of Rewriting Logic in Biology (Carolyn Talcott).
10:30-10:45Coffee break.
10:45-12:15CoCoA tutorial (Anna Bigatti)
12:15-14:00Lunch.
14:00-15:30Applications of Rewriting Logic in Biology (Carolyn Talcott).
15:30-15:45Coffee break.
15:45-17:15Exercises.
17:30The school bus leaves from Hagenberg to Linz

Friday, July 6.
08:30The school bus leaves from Sommerhaus Linz to Hagenberg
09:00-10:30Applications of Rewriting Logic in Biology (Carolyn Talcott).
10:30-10:45Coffee break.
10:45-12:15CoCoA tutorial (Anna Bigatti)
12:15-14:00Lunch.
14:00-15:30Applications of Rewriting Logic in Biology (Carolyn Talcott).
15:45The school bus leaves from Hagenberg to Linz