|Deletions are marked like this.||Additions are marked like this.|
|Line 14:||Line 14:|
|* Alexander Dreyer||* Alexander Dreyer - I tried to teach [[http://polybori.sf.net|PolyBoRi]] the reachability problem for digital systems win unknown inputs.|
Sage Days 23.75 (17.7.2010, Kaiserslautern -> Linz)
- Kaiserslautern Hbhf - Mannheim Hbhf
- Mannheim Hbhf - Frankfurt Hbhf
- Frankfurt Hbhf - Linz Hbhf
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