| Toimumisaeg: | neljapäeviti 15:00 -16:00 (peale kohvikoosolekut) |
| Koht: | Liivi 2-317 (ATI puhkeruum) |
| Kuupäev ja aeg | Teema | Ettekandja | Koht |
|---|---|---|---|
| 27.09 10:15 | Software Reengineering — how to Deal Old Software | Jürgen Ebert | Liivi 2-111 |
| 27.09 14:15 | Graph Technology in Software Engineering | Jürgen Ebert | Liivi 2-122 |
| 6.10 | Efektiivsemad turvatõestused ajatempliskeemidele | Ahto Buldas | |
| 3.11 | Colour classes approach to the maximum clique finding | Deniss Kumlander | |
| Stabiilse paaripaneku probleem ja kõrgkooli vastuvõtt. | Tarmo Veskioja | ||
| 10.11 | Reasoning in Controlled English | Norbert Fuchs | |
| 17.11 | Corba ja GRID — koostöövõimalused | Jüri Harju | |
| 8.12 | Tööstusmatemaatika (Industrial Mathematics) ja selle areng Eestis | Peep Miidla | |
| 26.01 12:15 | Mobile Search | Stephen Ives | Liivi 2-111 |
| 22.06 10:15 | Iteratiivselt defineeritud transfiniitsed jälitussemantikad ja programmislitseerimine nende suhtes. | Härmel Nestra | Liivi 2-404 |