2023
Apr 2023
-
Apr 18, 2023 Public Lecture, Talk Anna Szlavi from Norwegian University of Science and Technology (NTNU) and the EUGAIN COST network, talks about increasing diversity in computer science.
2022
May 2022
-
May 11, 2022 Public Lecture, Talk, Research, Event ‘One cannot know everything’ — On the need of epistemological diversity in human-centered Human-Robot-Interaction Research
2021
Feb 2021
-
Feb 10, 2021 Public Lecture, Talk Joël Ouaknine, the scientific director of MPI, will give a talk on his recent results covering math, logic and programming languages.
2020
Nov 2020
-
Nov 3, 2020 Public Lecture, Talk, Event, AI, Doctoral School The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg).
Mar 2020
-
Mar 4, 2020 Talk, Doctoral School Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.
Feb 2020
-
Feb 19, 2020 Talk Lucas Fidon (KCL) talks about stationary velocity fields (SVFs) parameterized by divergence-conforming B-splines in the context of image registration.
2019
Dec 2019
-
Dec 16, 2019 Talk, Event We send off the dean and his team, who have shaped our faculty since 2016, with a special event and a keynote by James Larus (EPF Lausanne).
-
Dec 13, 2019 Studies, Talk, Event, Education Outreach Stefan Pasterk (University of Klagenfurt) presents ideas, concepts and evaluation methods to broadly introduce a continuous Informatics curriculum.
-
Dec 5, 2019 Talk, Research Austen Rainer (Queen’s University Belfast) shares his experience with the potential and concepts of design thinking in software innovation, and presents ideas …
-
Dec 4, 2019 Talk Joost-Pieter Katoen (RWTH Aachen) gives a historical perspective and indicates what formal methods can mean for probabilistic programs.
-
Dec 4, 2019 Talk, Doctoral School Matti Tedre (University of Eastern Finland) speaks about different approaches to the concepts of Computational Thinking in science and education.
Sep 2019
-
Sep 30, 2019 Talk, Research, VCLA Formalization and models for classical and intuitionistic logic.
Jul 2019
-
Jul 23, 2019 Talk, Education Outreach The Vienna Informatics Living Lab cordially invites you to a guest lecture by Haohsiang Liao, Massachusetts Institute of Technology
-
Jul 15, 2019 Talk, Social Responsibility The upcoming public talk “LogicLounge” in New York on July 15, 2019 will be livestreamed by the Internet Society – The New York Chapter at 23:00 Vienna time.
-
Jul 11, 2019 Talk, Research Experiments, Theory and Simulations. Invited Talk of Prof. Alessio Gizzi, University of Rome, Campus Bio-Medico
-
Jul 5, 2019 Talk, Research, e-Health A guest talk by Prof Predrag Klasjna, Kaiser Permanente Washington Health Research Institute & University of Michigan as part of the TEAM ITN Summer School
-
Jul 4, 2019 Talk, Research, e-Health Cordial invitation to a guest talk by Prof Rafael Calvo, Imperial College London as part of the TEAM ITN Summer School
-
Jul 4, 2019 Talk, Research Introduction to the SIMSSA Optical Music Recognition Workflow System.
-
Jul 3, 2019 Talk, Research, e-Health Cordial invitation to a guest talk by Prof Heleen Riper, VU University Amsterdam as part of the TEAM ITN Summer School
-
Jul 1, 2019 Talk The DBAI group cordially invites you to a talk by Peter Stuckey, Monash University
Jun 2019
-
Jun 27, 2019 Talk In control theory, complicated dynamics such as systems of (nonlinear) differential equations are mostly controlled to achieve stability.
-
Jun 18, 2019 Talk Enabling In-Memory Computation. Visiting Prof. Onur Mutlu / ETH Zurich
May 2019
-
May 29, 2019 Talk, Research Prof. Derek Bridge, University College Cork / Ireland
-
May 23, 2019 Talk Colin Toal, Toronto, leader of several SW development groups at large and small companies, will present case studies and stories from his experience
-
May 20, 2019 Talk, Security & Privacy Invitation to a talk by Prof. David Basin, ETH Zurich, head of the Information Security group and department head
-
May 6, 2019 Talk Invitation to two presentations on topics in the Information Retrieval area given by Prof. Norbert Fuhr and Prof. Udo Kruschwitz
Apr 2019
-
Apr 8, 2019 Talk, Research Modellieren und Analyse verteilter Algorithmen mit nebenläufigen Abstract State Machines. Ein Vergleich mit Petrinetzen
Mar 2019
-
Mar 14, 2019 Talk, Research The Business Informatics Group invites to a talk of Prof Dr. Anthony Finkelstein, University College London
Feb 2019
-
Feb 26, 2019 Talk, Research The Centre for Visual Analytics Science and Technology invites to a talk of Juri Buchmüller, University of Konstanz, Germany
-
Feb 18, 2019 Talk, Research The Business Informatics Group together with the Faculty of Informatics invites to a talk of Prof Ed. Seidewitz, CTO at Model Driven Solutions, Inc.