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.
Teooriapäevad Koke külalistemajas Rõuge lähedal Võrumaal on sarja neljas üritus, mis toimub 30.01.-1.02.2004 vahetult pärast ATI aastaseminari. Teooriapäevi Kokel toetab HTM 2002.-06. a tippkeskus Töökindlate Arvutisüsteemide Uurimise Keskus.
Eelmiste teooriapäevade veebilehed on siin: