Jesus2009
From PLSwiki
Jesus Almansa visit 24.2.2009
| Time | 24.2.2009 | where |
|---|---|---|
| 9:00 - 10:00 | n/a | |
| 10:00 - 11:00 | Carsten Schuermann | 4C13 |
| 11:00 - 12:00 | n/a | |
| 12:00 - 13:00 | Lunch | n/a |
| 13:00 - 14:00 | n/a | |
| 14:00 - 15:00 | Jesus Talk: "Simple Proofs and Formal Semantics for Game-Transformation" | n/a |
| 15:00 - 16:00 | ||
| 16:00 - 17:00 | ||
| 17:00 - ... |
Please contact Marco if you want to reserve a time slot (slots can also be 30 minutes)
