Tkt-seuran logo Tietojenkäsittelytieteen seura ry. ja Jyväskylän yliopiston tietojenkäsittelytieteiden laitos järjestävät

Tietojenkäsittelytieteen päivät 22.-23.5.2000

Paikka: sali MaA 103, Mattilanniemi, Jyväskylä

TEEMA: Tietojenkäsittelytiede
eilen - tänään - huomenna

Vuoden 2000 valtakunnallisten Tietojenkäsittelytieteen päivien ohjelma muodostuu alan johtavien kotimaisten asiantuntijoiden pitämistä katsausesitelmistä. Mitä tietojenkäsittelytiede on saanut aikaan? Mihin pitäisi uuden vuosituhannen alkaessa suunnata? Lisäksi ohjelmassa on yksi kutsuttu ulkomainen esitelmä ja perinteinen väitöskirjapalkinnon jako ja palkintoesitelmä. Päivät on tarkoitettu kaikille tietojenkäsittelytieteiden ja -tekniikan tutkijoille, opettajille ja opiskelijoille sekä muille kiinnostuneille. Tilaisuuden puheenjohtajana toimii ohjelmistoliiketoiminnan professori Timo Käkölä Jyväskylän yliopistosta.

Ohjelma, versio 15.5.2000

Maanantai 22.5.
11.00- 13:00 Ilmoittautuminen ja lounas
13:00 - 13:15 Päivien avaus
Tietojenkäsittelytieteen seuran pj. Esko Ukkonen ja päivien pj. Timo Käkölä
13:15 - 13:50 Kalle Lyytinen: Tietojärjestelmät ja digitaalinen tulevaisuus
Jyväskylän yliopisto
13:50 - 14:25 Kai Koskimies: Ohjelmistotekniikka
Tampereen teknillinen korkeakoulu
14:25 - 14:55 Kahvitauko
14:55 - 15:00 Vuoden 1999 ansiokkaan väitöskirjan palkinnon luovutus
Timo Tiihonen, Tietotekniikan liiton hallituksen puheenjohtaja
Tietotekniikan tutkimussäätiö
15:00 - 15:35 Väitöskirjapalkinnon saajan esitelmä
15:35 - 16:10 Heikki Mannila: Tiedon haku ja data-analyysi
Teknillinen korkeakoulu
16:10 - 16:45 Erkki Oja: Älykkäät järjestelmät
Teknillinen korkeakoulu
16:45 - 17:15 Kahvitauko
17:15 - 17:50 Kari-Jouko Räihä: Käyttöliittymät
Tampereen yliopisto
17:50 - 18:25 Kaisa Sere: Formaalit menetelmät
Åbo Akademi
20:00 - Illallinen, Hotelli Alba
Tiistai 23.5.
 8:30 -  9:05 Pekka Neittaanmäki: Tieteellinen laskenta
Jyväskylän yliopisto
 9:05 - 9:40 Matti Pietikäinen: Konenäkö
Oulun yliopisto
9:40 - 10:10 Kahvitauko
10:10 - 10:55 Computer Science at Oxford: how Strachey's vision lives on?
Professori Roscoe, Oxford University
10:55 - 11:30 Martti Penttonen: Rinnakkaisalgoritmit ja tietokoneet
Kuopion yliopisto
11:30 - 12:30 Lounas
12:30 - 13:05 Juhani Karhumäki: Automaatit ja sanojen kombinatoriikka
Turun yliopisto
13:05 - 13:40 Eljas Soisalon-Soininen: Transaktioiden hallinta tietokantajärjestelmissä
Teknillinen korkeakoulu
13:40 - 14:15 Kimmo Raatikainen: Liikkuva tietojenkäsittely
Helsingin Yliopisto
14:15 - 14:30 lopetus

Pääpuhujista:

Tohtori A. W. (Bill) Roscoe on "Professor of Computing Science" Oxford University Computing Laboratory:ssa, eli laitoksella, jonka tunnetuin henkilö on äskettäin eläkkeelle jäänyt Turing-palkittu ja aateloitu professori Tony Hoare. Roscoe on ollut Hoaren läheinen työtoveri muun muassa kuuluisan CSP-teorian ja siihen liittyvien työkalujen kehittämisessä, ja hänen kirjansa "The Theory and Practice of Concurrency" (Prentice-Hall 1998) on nykyisin CSP-kirjallisuuden pääteos. Roscoe johtaa laitoksella toimivaa tutkimusryhmää "The Concurrency Research Group". Hän on myös Oxfordin yliopiston matemaattisten tieteiden tiedekunnan dekaani. Esitelmässään hän käsittelee laboratorion tutkimusta ja opetusta sen ensimmäisen professorin, Christopher Stracheyn teorian ja käytännön yhdistämistä koskevista näkemyksistä käsin.

Ilmoittautuminen

Ilmoittautumisohjeet ja -lomake on osoitteessa http://www.cs.jyu.fi/tktpaivat2000/ilmoittautuminen.html. Ilmoittautumismaksu 400 mk / henkilö sisältää kaksi lounasta, illallisen ja kahvitaukojen kahvit. Ilmoittautumisaika päättyy 10.5.2000. Ilmoittautumisajan jälkeenkin ilmoittautumisia otetaan vielä vastaan, mutta ei ole varmaa, että ruokailua yms. voidaan järjestää jälki-ilmoittautuneille.

Majoittautuminen

Hotelli Alba (014 - 636 311) sijaitsee kokouspaikan vieressä. Pieni yhden hengen huone 340,-, suurempi yhden hengen huone 370,- ja kahden hengen huone 440,-.
Hinnat sisältävät aamupalan. Iltasaunan voi tilata erikseen ja se maksaa 10,-. Varatessa mainitse Jyväskylän Yliopisto. Hotelli Alba kykenee varmasti takaamaan
huoneet vain niille, jotka tekevät varauksensa 24.4.2000 mennessä, mutta ko. päivän jälkeenkin kannattaa huoneita Albasta kysyä.

Jyväskylän keskustassa on myös lukuisia hotelleja, jotka sijaitsevat kävelymatkan päässä kokouspaikasta. Luettelo Jyväskylän hotelleista ja muista
majoitusmahdollisuuksista löytyy osoitteesta http://travel.ksp.fi/majoitus.htm.

Kulkuyhteyksiä

Kokouspaikka on Jyväskylän Yliopiston tiloissa Mattilanniemen A-rakennuksessa n. 1.5 km Jyväskylän rautatieasemasta. Jyväskylän kartta ja Jyväskylän yliopiston kampusalueen kartta löytyvät osoitteesta http://www.jyu.fi/tiedotus/wwwkartat/. Mattilanniemeen pääsee helposti kävellen sekä linja-autoasemalta että rautatieasemalta.

Junalla Jyväskylään pääsee seuraavasti:

                            lähtö        saapuu
Joensuusta            7.10        10.22
Oulusta                0.20         7.35
                            7.10        13.20
Tampereelta         9.03        10.35
Helsingistä            6.58        10.35
                            7.58        11.35
Turusta                 6.55        10.35
                            8.50        12.47
Kuopiosta            8.30        10.22
Lappeenrannasta
                            6.50        11.35

Junalla Jyväskylästä seuraavasti:

                            lähtö            saapuu
Joensuuhun             14.15            17.40
                               16.35            20.02
Ouluun                    16.25            22.44
Tampereelle            14.18            15.52
                               15.24            16.59
Helsinkiin                 14.18            18.02
                               15.24            19.06
Turkuun                   14.18            18.25
                                16.33            18.07
Kuopioon                 14.15            16.13
                                16.35            18.25
Lappeenrantaan        14.18            19.51
                                16.35            22.26

Lentokoneella
Helsingistä Jyväskylään:                    Jyväskylästä Helsinkiin:

lähtö            saapuu                          lähtö            saapuu
6.25            7.15                              13.45            14.35
8.05            8.55                              16.15            17.05
10.50          11.40                            17.45            18.25
 

VR Henkilöliikenteen aikataulut

Henkilöautolla Mattilanniemeen pääsee seuraavasti:

Autoille on jonkin verran rajoittamatonta pysäköintitilaa välittömästi kokouspaikan vieressä.

Järjestelytoimikunta

Päivien historiasta

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


Tätä dokumenttia säilytetään osoitteessa http://www.cs.jyu.fi/tktpaivat2000/index.html. Ylläpitäjä Timo Käkölä, timokk@cc.jyu.fi.