Tkt-seuran logo Tietojenkäsittelytieteen seura ry. ja
Tampereen teknillisen korkeakoulun ohjelmistotekniikan laitos
järjestävät
TTKK logo

Tietojenkäsittelytieteen päivät 20.-21.5.1999

Paikka: sali HB116, Hermiankatu 12 C, Hervanta, Tampere

TEEMA: Tietojenkäsittelytieteen väitöskirja
eilen - tänään - huomenna

Tilaisuus on tarkoitettu kaikille tietojenkäsittelytieteen korkeakouluopettajille ja jatko-opiskelijoille sekä muille kiinnostuneille. Erityisesti paikalle toivotaan tutkijakoululaisia ja heidän ohjaajiaan.

Ohjelma, versio 17.5.1999

Torstai 20.5.
-13:00 ilmoittautuminen ja lounas
13:00 -13:15 päivien avaus
Tietojenkäsittelytieteen seuran pj. Esko Ukkonen
13:15 -14:00 Theory in practice or practise in theory: Dutch deliberations on the dilemmas of CS dissertations
Professor Dr. Ed Brinksma, University of Twente, The Netherlands
14:00 -14:15 tauko
14:15 -15:15 Väitöskirjan luonne eri aloilla, osa 1
Markus Pessa, TTKK: fysiikka
Leena Korpinen, TTKK: lääketiede ja sähkötekniikka
15:15 -15:45 kahvitauko
15:45 -16:30 Tietojenkäsittelytieteen väitöskirjat Suomessa 60-luvulta nykypäivään (alustava otsikko)
professori, 1. vararehtori Reino Kurki-Suonio
16:30 -17:30 Väitöskirjan luonne eri aloilla, osa 2
Olli Simula, TKK: signaali-informaation käsittely
Pertti Järvinen, TaY: tietojenkäsittelyn johtaminen
17:30 -17:45 tauko
17:45 -18:30 Havaintoja väitöskirjakilpailun aineistosta 1997-1998
Antti Valmari
18:45 - bussikuljetus illalliselle
19:15 - illallinen, Juvenes juhlakeskus, Yliopistonkatu 56 (Tampere-taloa vastapäätä)
Perjantai 21.5.
9:00 -9:05 vuoden 1998 ansiokkaan väitöskirjan palkinnon luovutus
N.N., Tietotekniikan tutkimussäätiö
9:05 -9:50 väitöskirjapalkinnon saajan esitelmä
9:50 -10:15 kahvitauko
10:15 -11:00 Mitä valmiuksia teollisuus odottaa tietojenkäs. tohtoreilta (alustava otsikko)
Tri Veikko Hara, Sonera
11:00 -12:00 lounas
12:00 -12:30 Vaikeuksien kautta voittoon - uunituoreen tohtorin puheenvuoro
Virpi Kasurinen, Tietosavo OYJ (FT Kuopion yliopisto)
12:30 -13:50 paneeli: Mihin suuntaan alamme väitöskirjoja tulisi kehittää?
Puheenjohtaja: Airi Salminen, Panelistit: Ralph Back, ÅA; Martti Mäntylä, TKK; Timo Käkölä, JY; Marja Vehviläinen, TaY sekä Veikko Hara, Sonera
13:50 -14:00 lopetus

Pääpuhujista:

Professori Ed Brinksma tunnetaan ISOn standardoiman Lotos-kielen kehittäjänä sekä tietoliikenneprotokollien testauksen ja suorituskykyanalyysin ja formaalien menetelmien teollisuussovellusten tutkijana. Hän on ohjannut useita hollantilaisia väitöskirjoja, ja on ollut väitöskirjan tarkastajana seitsemässä maassa. Hän on hollantilaisen tutkijakoulun "Programming Science and Algorithms" johtokunnan jäsen ja usean tieteellisen lehden toimituskunnan ja tieteellisen konferenssisarjan ohjausneuvoston (steering committee) jäsen, kuten IEEE Transactions on Software Engineering ja IFIP WG6.1 Protocol Specification, Testing and Verification.

Professori Reino Kurki-Suonio on ensimmäinen Suomessa virkaan nimitetty tietojenkäsittelyalan professori ja nykyisin Tampereen teknillisen korkeakoulun ensimmäinen vararehtori. Pitkän uransa aikan hän on tutkinut mm. formaalien kielten teoriaa, ohjelmointikielten periaatteita ja hajautettujen järjestelmien formaalia spesifiointia. Hän on kansainvälisesti arvostettu tutkija, IFIPin toimikunnan TC2: Software, Theory and Practice puheenjohtaja ja mm. Donald Knuthin henkilökohtainen ystävä.

Tohtori Veikko Hara on toiminut Sonera Oyj:n tutkimusjohtajana vuodesta 1997 alkaen. Sitä ennen hän on ollut VTT Tietotekniikassa tutkimusprofessorina ja tutkimuspäällikkönä, Nokialla projektipäällikkönä ja IBM T. J. Watson tutkimuskeskuksessa vierailevana tutkijana. Hara on Suomen edustaja IFIPin teknisessä komiteassa TC6: Communication Systems, ja kuuluu Suomen Akatemian Tietoliikenne-elektroniikka -tutkimusohjelman ohjelmaryhmään. Hän on tietoliikennetekniikan dosentti Lappeenrannan teknillisessä korkeakoulussa ja Jyväskylän yliopistossa.

Oheistapahtumat

Päivien aattona eli 19.5. on Tekes-rahoitteisen tutkimushankkeen Reaktiivisten järjestelmien automaattinen testaus järjestämä kaikille avoin seminaari, jonka pääpuhujana on professori Ed Brinksma. Lisätietoja http://www.cs.tut.fi/ohj/RATEseminaari.html.

Ilmoittautuminen

Ilmoittautumisohjeet ja -lomake on osoitteessa http://www.cs.hut.fi/%7earchie/tkts/ilmoittautuminen.html. Ilmoittautumismaksu 300 mk / henkilö sisältää kaksi lounasta, illallisen ja kahvitaukojen kahvit. Ilmoittautumisaika päättyi 10.5.1999. Jälki-ilmoittautumisia otetaan vielä vastaan, mutta ei ole varmaa, että ruokailua yms. voidaan järjestää jälki-ilmoittauneille.

Majoittautuminen

Pieni mutta mukava hotelli Hermica (03 - 365 1111) sijaitsee muutaman sadan metrin päässä kokouspaikasta, osoite http://www.juvenes.fi/majoitus/. Yhden hengen huone 295,-, kahden hengen huone 360,-. Hinnat sisältävät aamupalan ja iltasaunan. Varatessa mainitse TTKK.

Luettelo Tampereen hotelleista ja muista majoitusmahdollisuuksista löytyy osoitteesta http://www.tampere.fi/elke/mato/majoitus.htm.

Kulkuyhteyksiä

Kokouspaikka on Tampereen teknillisen korkeakoulun tiloissa Hervannassa n. 9 km Tampereen rautatieasemasta. Hervannan kartta löytyy osoitteesta http://www.tampere.fi/kartat/hervanta.htm (kartassa Hermiankatu on vielä entisellä nimellään Kanslerinkatu), ja koko Tampereen kartta osoitteesta http://www.tampere.fi/kartat/tampere.htm. Hervanta on lähellä Tampereen kartan oikeaa alareunaa.

Ainakin kolmesti tunnissa kulkeva bussi 13 tuo Hermiankadulle lähelle kokouspaikkaa, kerran pari tunnissa kulkeva bussi 20 tuo oven eteen, ja tiuhaan kulkeva bussi 30 noin puolen kilometrin päähän Insinöörinkadun ja Teekkarinkadun risteykseen. Viime hetken muutos bussiyhteyksissä: Hermiankadun länsipää on 17.5. katkaistu autoliikenteeltä, minkä vuoksi bussien 13 ja 20 reitit ovat hieman muuttuneet. Tästä on haittaa lähinnä vain bussin 13 käyttäjille.

Keskustassa bussit 13 ja 20 kulkevat rautatieaseman vierestä, ja bussi 30 Keskustorilta Hämeenkatua ja Hatanpään valtatietä linja-autoaseman ohi noin puolen kilometrin päästä rautatieasemasta. Aikatauluja löytyy osoitteesta http://www.tampere.fi/tkl/aikat.htm (tarkista voimassaoloaika).

Junayhteyksiä Tampereelle ja Tampereelta
(* = vaihto Riihimäellä)

Joensuusta:     22:20   6:00*  7:15  takaisin: 12:03  13:05* 15:02
  saapuu:        5:40  11:57  12:52    saapuu: 17:40  19:22  20:00
Jyväskylästä:    8:07  11:13         takaisin: 12:03  15:02
  saapuu:        9:42  12:52           saapuu: 13:41  16:33
Kuopiosta:       5:33   8:36         takaisin: 12:03  15:02
  saapuu:        9:42  12:52           saapuu: 16:14  18:24
Lappenrannasta:  6:50*  8:16*        takaisin: 13:05* 15:00*
  saapuu:        9:58  11:57           saapuu: 16:35  18:12
Oulusta:         7:10                takaisin: 12:00  15:00
  saapuu:       11:58                  saapuu: 17:03  20:11
Turusta:         8:50   9:45         takaisin: 12:55  15:04
  saapuu:       10:46  11:50           saapuu: 14:49  16:58
Vaasasta:        6:40   9:20         takaisin: 12:00  15:00
  saapuu:        9:47  11:58           saapuu: 14:40  17:43

Henkilöautolla Hervantaan pääsee seuraavasti:

Autoille on jonkin verran rajoittamatonta pysäköintitilaa välittömästi kokouspaikan itäpuolella, ja runsaammin TTKK:n päärakennuksen takana parinsadan metrin päässä kokouspaikasta. Lähistöllä on runsaasti muitakin pysäköintimahdollisuuksia, kunhan varoo rajoitettuja alueita. Viime hetken muutos ajoreiteissä: Hermiankadun länsipää on 17.5. katkaistu autoliikenteeltä. Alueelle pääsee kiertämällä Hermiankadun itäpäähän alueen eteläpuolelta Sääksjärveltä tulevaa tietä 309 pitkin, tai ajamalla TTKK:n päärakennusta kohti ja etelään Tieteenkatua.

Tukijat

Nokia-yhtymä, TTKK Ohjelmistotekniikan laitos ja Tekesin ETX-ohjelmaan kuuluva RATE-projekti ovat tukeneet taloudellisesti päivien järjestämistä, mistä suuret kiitokset!

Järjestelytoimikunta

Päivien historiasta

Tietojenkäsittelytieteen päivät järjestettiin nykyisessä muodossaan ensimmäisen kerran toukokuussa 1998. Osallistujia oli yli sata, ja päiviä pidettiin onnistuneina. Selostus päivistä löytyy Tietojenkäsittelytiede-lehden numerosta Kesäkuu 1998, sivut 28-31.


Tätä dokumenttia säilytetään osoitteessa http://www.cs.tut.fi/ohj/tktpaivat.html. Ylläpitäjä Antti Valmari, ava@cs.tut.fi.