Registration and Morning Coffee
Lobby, Pinni B.
Opening words: Reino Kurki-Suonio
Keynote: Helena Holmström Olsson
AI meets SE in Practice
Keynote: Torsten Schaub
Knowledge-intensive AI in the Industry (and why semantics matters)
PhD thesis Award
Tietotekniikan tutkimussäätiö and Finnish Society for Computer Science award the best PhD thesis in the field of Computer Science.
FAIS PhD Thesis Award
FAIS awards the best PhD thesis in the field of AI.
Lobby, Pinni B
MSc thesis award
Finnish Society for Computer Science awards the best MSc thesis in the field of Computer Science.
Person of the Year
The Information Systems SIG awards the person of the year in the field of Information Systems Research.
Poster and Demo presentations
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
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
Annual Meeting for Finnish Society for Computer Science
Only for those who have selected the dinner when registering for the Symposium.
Excursion: Living Lab of Play
Chance to visit the Living Lab of Play at Paidia within Nokia Areena, and try out Oculus Quest.
Paidia, large room.
PhD Researchers' Mentoring Event
Mentoring in the form of Speed Networking for PhD researchers in the field of Computer Science.
Paidia, small rooms.
More information: https://events.tuni.fi/cs-symposium2022/mentoring-event/
Coffee break (Registration desk open)
Lobby, Pinni B
Keynote: Davide Taibi
AI for the Cloud or Cloud for AI?
Introducing Informatics Europe (Pekka Orponen)
Talk: Heikki Huttunen / Visy oy.
Artificial intelligence for ports and terminals
International ports compete to best serve their customers in terms of efficiency and safety, and automation is a key tool in improving the cargo handling processes. Artificial intelligence both improves safety by moving potentially dangerous cargo handling tasks from humans to machines; and facilitates new ways of data collection for new level of situational awareness.
In this talk, we will discuss the automation needs of modern mid-size to large cargo terminals, and will present a few case examples of how artificial intelligence is used to solve these needs. The cases utilize a wide spectrum of deep learning techniques, ranging from basic tasks: detection, semantic segmentation and classification; to more specialized tasks, such as optical character recognition and face recognition.
In the end, the business significance of artificial intelligence as well as the disruptions it can bring to the industry are discussed.
Talk: Klaus Förger / Atostek
Artificial Intelligence for National Health Records
Lunch and Coffee Break
Lunch: Restaurant Minerva, Coffee and networking: Pinni B Lobby
Tutorial: Easy Answer Set Programming for Industrial Applications.
Tutorial presented by Javier Romero, University of Potsdam.
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.
SIG groups' meetings
Pinni B3108 (IS-SIG)
Pinni B3117 (FAIS)
Pinni B3118 (Teaching SIG)
In the Teaching SIG meeting Ari Korhonen, Terhi Kilamo and Timo Poranen present current groups’ (Data structures and algorithms, Basic programming, Databases) activity and results. Also the group will plan future activities together. More information on the network (in Finnish): https://tim.jyu.fi/view/aalto/hankkeet/aly/opettajaverkostot/opettajaverkostot