T-79.194 Tietojenkäsittelyteorian seminaari
Kevät 2003

• Vko 3: Aloitustilaisuus
• Vko 4: Luento (lauselogiikan kertausta) IN
• Vko 5: Luento (lauselogiikan laskennallinen vaativuus ja sovellutukset) IN
• Vko 6: Kokeellisen osuuden aloitustilaisuus IN
• Vko 7: 13.2. klo 11.30-12.30 vastaanotto (kokeellinen osuus
• Vko 8: 20.2. klo 12-13 vastaanotto (kokeellinen osuus)
• Vko 9: 27.2. klo 12-13 vastaanotto (kokeellinen osuus)
• Vko 10: 6.3. klo 12-14: Yhteenvetotilaisuus, jossa esitellään lyhyesti koetulokset
• Vko 11-17: Esitelmät (ks. aiheet)

  13.3.

  Tommi Vainikainen [DGH+02] (esitelmä: [ps] [pdf]), opp: Virtanen

  Topi Pohjolainen [2clseq] (esitelmä: [ps]), opp: Rosti

  20.3.

  Heikki Rantanen [Sch99] (esitelmä: [ps]), opp: Ruusu

  Samuli Larvala [zchaff] (esitelmä: [ps]), opp: Meri

  Pasi Virtanen [SW97] ([pdf]), opp: Lindqvist

  27.3.

  Matti Järvisalo [ARMS02] (esitelmä: [ps])

  Jari Rosti [Unitwalk] (esitelmä: [ps]) , opp: Larvala

  Jori Dubrovin [SS00] (esitelmä: [ps] [pdf]), opp: Vainikainen

  3.4.

  Pauli Aho [Gol02] (esitelmä: [pdf]), opp: Rantanen

  Martti Meri [sp] (esitelmä: [ps]), opp: Pohjolainen

  Henna Ruusu [RR00] (esitelmä: [ps]), opp: Asikainen

  10.4.

  Timo Asikainen [PPSZ98] (esitelmä: [ps] [pdf]) , opp: Aho

  24.4.

  Matti Järvisalo [ARMS02-2]

  Yhteenveto + palaute