Sage Days 23.75 (17.7.2010, Kaiserslautern -> Linz)
Schedule
- Kaiserslautern Hbhf - Mannheim Hbhf
- Mannheim Hbhf - Frankfurt Hbhf
- Frankfurt Hbhf - Linz Hbhf
Participants
Martin Albrecht - I wrote the first version of the mother***in M4RIE on the mother***in train.
Alexander Dreyer - I tried to teach PolyBoRi the reachability problem for digital systems win unknown inputs.
- Burcin Eröcal
Simon King -- I wrote most of this talk on the train.
Robert Miller -- I wrote some of this mother***in code on that mother***in train
- Oleksandr Motsak
William Stein -- I wrote this talk entirely on the train, and some of this talk.