Ohjelma

Pinni B:n aulatilat.

Pinni B1096

AI meets SE in Practice

Knowledge-intensive AI in the Industry (and why semantics matters)

Ravintola Minerva

Tietotekniikan tutkimussäätiö ja Tietojenkäsittelytieteen Seura palkitsevat vuoden parhaan väitöskirjan.

Suomen Tekoälyseura palkitsee parhaan tekoälyn alalle tehdyn väitöskirjan.

Pinni B:n aulatilat

Tietojenkäsittelytieteen Seura ry. palkitsee alan parhaan pro gradu -tutkielman tai diplomityön.

Tietojenkäsittelytieteen Seuran alainen Tietojärjestelmätieteen SIG palkitsee vuoden tietojärjestelmätieteilijän.

Posters 

Jenna-Riia Oldenburg, Tampere University, Value proposition and realization in Build Environment Digital Twins 

Antti Luoto, Tampere University, Logging and Analyzing 360-degree Video Users 

Bogdan Iancu, Jesper Winsten, Valentin Soloviev and Johan Lilius, Åbo Akademi University, Deep learning approaches for maritime vessel detection from waterborne imagery, a case study: The Turku Archipelago 

Sonja Hyrynsalmi, LUT University and Aalto, SASSE (Strategic approach to scalable platform based software and systems development) project 

Sonja Hyrynsalmi, LUT University, The sustainable and strategical use of the modern integration platforms 

Yuqing Wang and Mika Mäntylä, M3S research unit, University of Oulu, Anomaly detection for microservice systems using few example logs 

Davide Taibi, Tampere University, AI for Cloud, Software Engineering, Evolution, and Assessment

Masood Feyzbakhsh Rankooh, Tampere University and Jussi Rintanen, Aalto University: Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination

Demos 

Murali Sridharan, Mika Mäntylä, Leevi Rantala and Maelick Claes, M3S Research Unit, University of Oulu, SoCCMiner: A Source-Code Comments and Comment-Context Miner

Tutustumme Nokia Areenan Paidia-tiloihin ja Living Lab of Play:hin, mahdollisuus kokeilla Oculus Quest -laseja.
Paidian iso huone.

Nokia Areena / Paidia, pienet huoneet

Kts. lisätietoa: https://events.tuni.fi/tkt-paivat2022/mentorointitapahtuma/

Pinni B:n aulatilat.

AI for the Cloud or Cloud for AI?

Tekoäly satamissa ja terminaaleissa (esitys englanniksi)

Artificial Intelligence for National Health Records

Lounas: Ravintola Minerva, jälkiruokakahvit Pinni B:n aulatilassa

Tutoriaalin pitää Javier Romero (Potsdamin yliopisto, Saksa).

Answer Set Programming (ASP) is a well established approach to declarative problem solving based in methods from logic-based artificial intelligence. To solve a problem in ASP, the user describes (or declares) what is the problem, without caring about how to solve it, and feeds this description to an ASP solver, that searches for a solution to the problem. The success of ASP relies on the combination of a rich yet simple modeling language to describe the problems, with high-performance ASP solvers to solve them. ASP is specially well suited for combinatorial optimization problems, and has been successfully applied to a wide range on problems in research and industry: scheduling, robotics, product configuration…

This tutorial is divided in two parts. The first part is a practical introduction to ASP based in Easy ASP, an approach to ASP for beginners. We will have a look at the modeling language of ASP, see how to use an ASP solver, and try to solve some simple problems (please, bring your laptop!). In the second part, we will review some successful applications of ASP in industry.

If you are interested, you can already have a look at our webpages www.potassco.org and teaching.potassco.org.

Pinni B1096

Pinni B3108 (IS-SIG)

Pinni B3117 (Suomen Tekoälyseura)

Pinni B3118 (Opetus-SIG)

Opetus-SIG-tapaamisessa Ari Korhonen, Terhi Kilamo ja Timo Poranen esittelevät käynnissä olevien ryhmien (Tietorakenteet ja algoritmit, Ohjelmoinnin perusopetus, Tietokannat) toimintaa ja tuotoksia. Lisäksi tapaamisessa suunnitellaan yhdessä tulevaa toimintaa. Lisää tietoa verkostotoiminnasta löytyy osoitteesta: https://tim.jyu.fi/view/aalto/hankkeet/aly/opettajaverkostot/opettajaverkostot