Reede, 28. september 2007 |
| | saabumine |
| 15.00-16.00 | lõunasöök |
| 16.00-17.15 |
Liina Kamm | Duality between encryption and commitment |
| Peeter Laud | On the computational soundness of cryptographically
masked flows |
| 17.15-17.45 | paus |
| 17.45-19.30 |
Härmel Nestra | Transfinite semantics in the form of greatest fixpoint |
| Ando Saabas | Relational soundness and optimality proofs for simple
partial redundancy elimination |
| Vesal Vojdani | A new abstract domain for precise interprocedural
analysis of addresses |
| 19.30-20.30 | õhtusöök |
| 20.30- | saun & diskussioon |
| |
| |
Laupäev, 29. september 2007 |
| 08.00-09.00 | hommikusöök |
| 09.00-10.45 |
Alberto Pardo | A shortcut fusion rule for circular program
calculation |
| Tarmo Uustalu | Guarded and Mendler-style (co)recursion in circular
proofs |
| 10.45-11.15 | paus |
| 11.15-13.00 |
Jüri Vain | Synthesis of test purpose directed reactive planning
tester for nondeterministic systems |
| Andres Toom | Automatic code generation from Stateflow models |
| Juhan Ernits | Model-based testing of robotic applications |
| 13.00-14.00 | lõunasöök |
| 14.00-16.00 | aktiivne ajaviide |
| 16.15-17.20 |
Gert Jervan | Reliability and technology scaling: friends or foes? |
| 17.20-17.50 | paus |
| 17.50-19.00 |
Aivo Jürgenson | Does secure time-stamping imply collision-free
hash functions? |
| Ahto Buldas (JÄI ÄRA) | Practical security of e-voting systems |
| 19.30-20.30 | õhtusöök |
| 20.30- | saun & diskussioon |
| |
| |
Pühapäev, 30. september 2007 |
| 08.00-09.00 | hommikusöök |
| 09.00-10.45 |
Edith Elkind | Computing Nash equilibria: recent advances |
| Helger Lipmaa | Hybrid Damgård is CCA2-secure |
| 10.45-11.15 | paus |
| 11.15-13.00 |
Darja Kruševskaja | Annotation-driven hierarchical clustering
analysis |
| Laur Tooming | Graph mining in bioinformatics |
| | Teooriapäevad 2002-2007: kokkuvõtteid |
| 13.00-14.00 | lõunasöök |
| |
ärasõit |