Töökindlate
Arvutisüsteemide Uurimise Keskus korraldab 11.septembril 2003 Tartu
Ülikooli Matemaatika-Informaatikateaduskonna hoones seminariettekannete päeva. Eesmärk
on anda tippkeskuse liikmetele ja nendega seotud uurimisgruppidele võimalus
tutvustada oma käesoleva aja tulemusi ning plaane-ideid. Korraldajate sooviks
on tihendada erinevate uurimisrühmade vahelisi sidemeid ning luua eeldusi
aktiivsemaks koostööks. Seminar on avalik, kõik huvilised on oodatud!
Ettekannete nimekiri on
kokkupanemisel ja ilmub lõplikul kujul siia lehele mõni päev enne seminaride
päeva.
Registreerimiseks palume saata
email Jaan Penjamile aadressil
Osavõtutasu ei ole ning lõunasöök
on osavõtjatele igaühe enda valikul ja kulul.
Formaalsete meetodite seminaride
päev on täienduseks Töökindlate Arvutisüsteemide
Uurimise Keskus toetusel korraldatavatele arvutiteaduse teooriapäevadele.