The ACSD is an annual event that brings together computer scientists from all over Austria. The day serves as networking opportunity, a day to exchange research ideas and introduces new and established talents.

ACSD 2025  will take place all day on Friday 6 June in the Aula and we are particularly pleased to announce Bruno Buchberger, an ‘Innsbrucker’ with an international reputation, as keynote speaker.

In addition to the keynote speech, Austrian research colleagues will present their current research results and young talents will draw our attention. Specifically, we will have 12 focus talks by experienced colleagues and young academics, respectively. For PhD students there will be a “Minute Madness” and a poster presentation to present their research ideas.

Program:

08:30 - 09:00 Registration

09:00 - 10:00  Opening, Keynote by Bruno Buchberger: "Looking Back and Ahead to “Thinking Machines"
 10:00 - 11:00 Research Talks

• Florian Zuleger (TU Vienna): "Automated Complexity Analysis"
• Ana Sokolova (Paris Lodron University Salzburg): "ϵ-Bisimulation and ϵ-Distance for Probabilistic Systems"
• Lorenzo Ciardo (University of Oxford): "Titel: tba"

11:00 - 11:30 Coffee Break

11:30 - 12:30 Research Talks

• Karen Azari (University of Vienna): "On the Provable Security of Prefix-constrained Pseudorandom Functions "
• Daniel Arp (TU Vienna): "Lessons Learned in Mobile Malware Detection with Machine Learning"
• Erich Kobler (JKU): "DEALing with Image Reconstruction: Deep Attentive Least Squares"

12:30 - 12:50 Minute Madness

12:50 - 14:15 Lunch Break (at Aula) - Poster Session

14:15 - 15:15 Research Talks

• Richard Küng (JKU Linz): "Title tba"
• Jörg Lücke (University of Oldenburg): "Variational Optimization for Big and for Smart Machine Learning Models"
• Chitchanok Chuengsatiansup (AAU): "Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures"

15:15 - 15:45 Coffee Break

15:45 - 16:45 Research Talks

• Radu Prodan (University of Klagenfurt/University of Innsbruck): "Graph-Massivizer: A holistic neuro-symbolic platform for scalable and sustainable graph processing of extreme data"
• Franceso Locatello (ISTA): "Causal Learning: Representations, discovery, and Inference"
• Jürgen Cito (TU Vienna): "Evaluating Agent-based Program Repair: A Case Study at Google "