Akateemikko Arto Salomaan 80-vuotisjuhlaseminaarissa avataan internetin tulevaisuutta

​– Internet sekä muu tieto- ja viestintäteknologia tarjoavat ennennäkemättömän helpon pääsyn tiedon ja yhteistuotannon lähteille. Sillä on kuitenkin myös pimeä puolensa kuten yksityisyyden menettäminen, ajatellaanpa vaikka Yhdysvaltojen kansallisen turvallisuusviraston NSA:n toimintaa. Mutta pahempaakin on tapahtunut: internetin käyttö vaikuttaa meidän ajattelukykymme. Meidän on löydettävä keinot estää se, että internet muuttaa meidät tolloiksi, puheenvuoroonsa valmistutuva Maurer sanoo.

Maurer avaa Turun yliopiston matematiikan ja tilastotieteen laitoksen 2. ja 3. kesäkuuta akateemikko Arto Salomaan kunniaksi järjestämän juhlaseminaarin. Akateemikko Salomaa osallistuu myös seminaariin ja kaikki seminaarin puhujat ovat hänen läheisiä työtovereitaan tai entisiä oppilaita, kaikki tämän hetken maailman johtavia alan tutkijoita.

Akateemikko Arto Salomaa on yksi tunnetuimmista suomalaisista tiedemiehistä. Hän syntyi Turussa vuonna 1934, väitteli Turun yliopistossa tohtoriksi vuonna 1960 ja hänet nimitettiin Turun yliopiston professoriksi 1966. Hän on teoreettisen tietojenkäsittelytieteen ja diskreetin matematiikan uranuurtajia. Työvuosiensa aikana hän työskenteli useasti vierailevana professorina eri puolilla maailmaa.

Media on tervetullut seuraamaan juhlaseminaaria 2.–3.6. Turun yliopiston Publicum-rakennuksen (Assistentinkatu 7) Pub1-saliin.

Ohjelma
Maanantai 2.6.
9.00–9.30Seminaarin avaus jossa minun avaussanat sekä tervehdykset: Turun yliopiston rehtori Kalervo Väänänen, Suomen Akatemian pääjohtaja Heikki Mannila, Suomen Matemaattisen yhdistyksen edustajana professori Mats Gyllenberg
9.30–10.00 The Internet is great but also dangerous, Hermann Maurer (Graz University of Technology)
10.00–10.30 Are you smarter than a cucumber? or How to measure and visualize species' relatedness, Lila Kari (University of Western Ontario)
11.00–11.30 Thue systems: an interplay between mathematics and computer science, Yuri Matiyasevich (Steklov Institute of Mathematics)
11.30–12.00 Understanding quantum randomness, Cristian Calude (University of Auckland)
14.00–14.30 Arto at Western, a friendly giant, Andrew Szilard (Western University)
14.30–15.00 Regularity since 1982, Tero Harju (University of Turku)
15.30–16.00 The complex state of state complexity, Janusz Brzozowski (University of Waterloo)
16.00–16.30 On some coloring problems for infinite words, Aldo de Luca (University of Naples Federico II)
16.30–17.00 Universal pattern generation by cellular automata, Jarkko Kari (University of Turku)

Tiistai 3.6.
9.00–9.30 Arto Salomaa - pioneer of computer science education, Juraj Hromkovic (ETH Zürich)
9.30–10.00 Return words and derived words, Dominique Perrin (University of Marne la Vallee)
10.30–11.00 A new acceptance modus for weighted finite automata, Werner Kuich (Vienna University of Technology)
11.00–11.30 Matrices and recursively enumerable sets, Juha Honkala (University of Turku)
13.30–14.00 Arto Salomaa, the Bourbaki of formal languages, Solomon Marcus (Romanian Academy)
14.00–14.30 Networks of Watson-Crick D0L systems: new developments, Erzsébet Csuhaj-Varjú (Eötvös Loránd University)
15.00–15.30 Desriptional complexity of input-driven pushdown automata, Kai Salomaa (Queen's University)
15.30–16.00 My ways to Artolandia, Gheorghe Paun (Romanian Academy)