Differences between revisions 8 and 9
Revision 8 as of 2010-07-23 08:38:40
Size: 859
Comment:
Revision 9 as of 2010-07-27 11:41:44
Size: 979
Comment:
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)

sage-on-a-train.png

Schedule

  1. Kaiserslautern Hbhf - Mannheim Hbhf
  2. Mannheim Hbhf - Frankfurt Hbhf
  3. 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.

days23.75 (last edited 2010-07-27 11:41:44 by JanAlexanderDreyer)