Tallinna-Tartu vahelised arvutiteaduse teooriapäevad on pikema seeriana mõeldud ettevõtmine, mille eesmärk on, et eesti teoreetilisema kallakuga arvutiteadlased aegajalt saaksid pisut kuulda üksteise tööst ning üksteiselt midagi uut õppida, sh. eriti kraadiõppurid nii kuulajate kui kõnelejatena.
Sarja üheksas üritus toimub Voore külalistemajas 29.9.-1.10.2006 (reede lõunast pühapäeva lõunani). Teooriapäevi Voorel toetab HTM 2002.-07. a tippkeskus Töökindlate Arvutisüsteemide Uurimise Keskus.
Päevade erikülaliseks on seekord Gordon Pace Malta Ülikoolist, kes räägib riistvara sünteesist funktsionaalkeelte vahenditega. Muu kava on samuti traditsioonilises headuses.
Registreerimiseks saata email Tarmo Uustalule aadressil firstname(at)cs.ioc.ee mitte hiljem kui reedeks 8.9.2006, märkida transpordivajadus, samuti saabumise, lahkumise aeg, kui tulek vaid osa-ajaks (NB! viimane on korraldajatele absoluutselt hädavajalik teave!).
Eelmiste teooriapäevade veebilehed on siin: