Line-up for SOS 2011

Patterns in Train Calendars
Social Networks
Continuous Dynamical Systems
Economics of Climate Change
Regional Mobility and Income in Norway
Dynamics of Former River Channels
Optimisation of Algorithms for Various Memory Architectures
Abstract Interpretation - Framework for Verifying Software Correctness
Timed Automata and Verification
Immunology - From Pathogens to Autoimmunity
Playing a Webmaster - Evolution of Protein Networks

Programme

 

Friday

7pm  Opening banquet

 

Saturday

  9:00 Welcome

  9:10 Hynek Bachraty (pdf)

  9:45 Michal Burger (ppt)

10:15 Ondrej Budac (pdf)

10:45 Coffee and Tea

11:00 Stefan Sulek (ppt)

11:30 Dada Polovkova (pdf)

 

12.30pm Lunch in historical hall

 

 2:00 Katka Dzubakova (ppt)

 2:30 Andrej Spielmann (pdf)

 2:55 Milos Novacek (ppt)

 3:20 Coffee and Tea

 3:35 Daniel Bundala (pdf)

 4:00 Martin Godany (pdf)

 4:30 Martin Lukacisin (ppt)

 

 9pm Game: Oxford Adventure

 

Sunday

 1pm Trip (hiking or punting)

 

List of Participants

Frantisek Simancik

Katarina Bachrata

Veronika Bachrata

Rastislav Lenhardt

Peter Kovacik

Michal Spisiak

Maria Friedmannova

Jakub Kovac

Lukas Platinsky

Jakub Zavodny

Lukas Bosko

Lukas Polacek

Tomas Kocisky

Anton Stefanek

Alena Bachrata

Sona Urbancikova

Peter Hucik

Urban Kucharcik

Lubos Steskal

Peter Vanya

Jana Musilova

Martin Bodocky