Communications Newsroom Contact Subscribe Newsletter News Feed Calendar Feed Social Media Newsroom Talk Any Tag Award Call for Applications Conference Digital Humanism Open Position People Public Lecture Studies Talk Workshop Events Only Any Kind News Only Events Only Any Year Any Year 2023 2022 2021 2020 Show as Cards Show as List Show as Cards 30 results / Reset Filter 2023 Public Lecture EUGAIN - An Intervention Project to Increase Diversity in CS 2023-04-18 Talk Anna Szlavi from Norwegian University of Science and Technology (NTNU) and the EUGAIN COST network, talks about increasing diversity in computer science. 2022 Public Lecture Lunch Talk: Astrid Weiss 2022-05-11 Talk Research Event ‘One cannot know everything’ — On the need of epistemological diversity in human-centered Human-Robot-Interaction Research 2021 Public Lecture Holonomic Techniques, Periods, and Decision Problems 2021-02-10 Talk Joël Ouaknine, the scientific director of MPI, will give a talk on his recent results covering math, logic and programming languages. 2020 Public Lecture Ten Challenges for Deontic Logic in AI 2020-11-03 Talk Event AI Doctoral School The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg). Talk The Power of Satisfiability Checking 2020-03-04 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. Talk Incompressible Image Registration 2020-02-19 Lucas Fidon (KCL) talks about stationary velocity fields (SVFs) parameterized by divergence-conforming B-splines in the context of image registration. 2019 Talk An Insightful Farewell to the Dean’s Team 2019-12-16 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). Studies Towards an Integrated Informatics Curriculum 2019-12-13 Talk Event Education Outreach Stefan Pasterk (University of Klagenfurt) presents ideas, concepts and evaluation methods to broadly introduce a continuous Informatics curriculum. Talk Chikira and the Four Sighters 2019-12-05 Research Austen Rainer (Queen’s University Belfast) shares his experience with the potential and concepts of design thinking in software innovation, and presents ideas … Talk Probabilistic Programming: Machine Learning for the Masses? 2019-12-04 Joost-Pieter Katoen (RWTH Aachen) gives a historical perspective and indicates what formal methods can mean for probabilistic programs. Talk Computational Thinking: Essential Tensions and Debates 2019-12-04 Doctoral School Matti Tedre (University of Eastern Finland) speaks about different approaches to the concepts of Computational Thinking in science and education. Talk Dana Scott: “Free Logic: Its Formalization and some Applica… 2019-09-30 Research VCLA Formalization and models for classical and intuitionistic logic. Talk Public Guest Lecture: The Future of Global Language MOOCs E… 2019-07-23 Education Outreach The Vienna Informatics Living Lab cordially invites you to a guest lecture by Haohsiang Liao, Massachusetts Institute of Technology Talk LogicLounge with Eva Galperin: Spouseware, Stalkerware, and… 2019-07-15 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. Talk Talk: Multiphysics modeling of nonlinear cardiac dynamics 2019-07-11 Research Experiments, Theory and Simulations. Invited Talk of Prof. Alessio Gizzi, University of Rome, Campus Bio-Medico Talk Toward robust, efficient, and usable e-health and mHealth r… 2019-07-05 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 Talk Public Guest Lecture: Developing computer-based mental heal… 2019-07-04 Research e-Health Cordial invitation to a guest talk by Prof Rafael Calvo, Imperial College London as part of the TEAM ITN Summer School Talk The Art of Teaching Computers 2019-07-04 Research Introduction to the SIMSSA Optical Music Recognition Workflow System. Talk Public Guest Lecture: Forthcoming - around e-mental health … 2019-07-03 Research e-Health Cordial invitation to a guest talk by Prof Heleen Riper, VU University Amsterdam as part of the TEAM ITN Summer School Talk Talk: The Multi-Agent Path Finding Problem 2019-07-01 The DBAI group cordially invites you to a talk by Peter Stuckey, Monash University Talk “Correctness and Optimality for Control Systems” – C. Belta… 2019-06-27 In control theory, complicated dynamics such as systems of (nonlinear) differential equations are mostly controlled to achieve stability. Talk Talk: Processing Data Where It Makes Sense in Modern Comput… 2019-06-18 Enabling In-Memory Computation. Visiting Prof. Onur Mutlu / ETH Zurich Talk Talk: Context-Driven Recommendations based on User Reviews 2019-05-29 Research Prof. Derek Bridge, University College Cork / Ireland Talk Talk: Developing software and ML models at IBM, Amazon, and… 2019-05-23 Colin Toal, Toronto, leader of several SW development groups at large and small companies, will present case studies and stories from his experience Talk Talk: Security Protocols: Model Checking Standards, Prof. D… 2019-05-20 Security & Privacy Invitation to a talk by Prof. David Basin, ETH Zurich, head of the Information Security group and department head Talk Talks by N. Fuhr (Univ. of Duisburg-Essen) and U. Kruschwit… 2019-05-06 Invitation to two presentations on topics in the Information Retrieval area given by Prof. Norbert Fuhr and Prof. Udo Kruschwitz Talk Vortrag und Diskussion mit Egon Börger, Università di Pisa … 2019-04-08 Research Modellieren und Analyse verteilter Algorithmen mit nebenläufigen Abstract State Machines. Ein Vergleich mit Petrinetzen Talk Talk: The Science & Engineering of National Security 2019-03-14 Research The Business Informatics Group invites to a talk of Prof Dr. Anthony Finkelstein, University College London Talk How Behaviour opens new perspectives in the visualization o… 2019-02-26 Research The Centre for Visual Analytics Science and Technology invites to a talk of Juri Buchmüller, University of Konstanz, Germany Talk Talk: SysML v2 and the Next Generation of Modeling Languages 2019-02-18 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.
Public Lecture EUGAIN - An Intervention Project to Increase Diversity in CS 2023-04-18 Talk Anna Szlavi from Norwegian University of Science and Technology (NTNU) and the EUGAIN COST network, talks about increasing diversity in computer science.
Public Lecture Lunch Talk: Astrid Weiss 2022-05-11 Talk Research Event ‘One cannot know everything’ — On the need of epistemological diversity in human-centered Human-Robot-Interaction Research
Public Lecture Holonomic Techniques, Periods, and Decision Problems 2021-02-10 Talk Joël Ouaknine, the scientific director of MPI, will give a talk on his recent results covering math, logic and programming languages.
Public Lecture Ten Challenges for Deontic Logic in AI 2020-11-03 Talk Event AI Doctoral School The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg).
Talk The Power of Satisfiability Checking 2020-03-04 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.
Talk Incompressible Image Registration 2020-02-19 Lucas Fidon (KCL) talks about stationary velocity fields (SVFs) parameterized by divergence-conforming B-splines in the context of image registration.
Talk An Insightful Farewell to the Dean’s Team 2019-12-16 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).
Studies Towards an Integrated Informatics Curriculum 2019-12-13 Talk Event Education Outreach Stefan Pasterk (University of Klagenfurt) presents ideas, concepts and evaluation methods to broadly introduce a continuous Informatics curriculum.
Talk Chikira and the Four Sighters 2019-12-05 Research Austen Rainer (Queen’s University Belfast) shares his experience with the potential and concepts of design thinking in software innovation, and presents ideas …
Talk Probabilistic Programming: Machine Learning for the Masses? 2019-12-04 Joost-Pieter Katoen (RWTH Aachen) gives a historical perspective and indicates what formal methods can mean for probabilistic programs.
Talk Computational Thinking: Essential Tensions and Debates 2019-12-04 Doctoral School Matti Tedre (University of Eastern Finland) speaks about different approaches to the concepts of Computational Thinking in science and education.
Talk Dana Scott: “Free Logic: Its Formalization and some Applica… 2019-09-30 Research VCLA Formalization and models for classical and intuitionistic logic.
Talk Public Guest Lecture: The Future of Global Language MOOCs E… 2019-07-23 Education Outreach The Vienna Informatics Living Lab cordially invites you to a guest lecture by Haohsiang Liao, Massachusetts Institute of Technology
Talk LogicLounge with Eva Galperin: Spouseware, Stalkerware, and… 2019-07-15 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.
Talk Talk: Multiphysics modeling of nonlinear cardiac dynamics 2019-07-11 Research Experiments, Theory and Simulations. Invited Talk of Prof. Alessio Gizzi, University of Rome, Campus Bio-Medico
Talk Toward robust, efficient, and usable e-health and mHealth r… 2019-07-05 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
Talk Public Guest Lecture: Developing computer-based mental heal… 2019-07-04 Research e-Health Cordial invitation to a guest talk by Prof Rafael Calvo, Imperial College London as part of the TEAM ITN Summer School
Talk The Art of Teaching Computers 2019-07-04 Research Introduction to the SIMSSA Optical Music Recognition Workflow System.
Talk Public Guest Lecture: Forthcoming - around e-mental health … 2019-07-03 Research e-Health Cordial invitation to a guest talk by Prof Heleen Riper, VU University Amsterdam as part of the TEAM ITN Summer School
Talk Talk: The Multi-Agent Path Finding Problem 2019-07-01 The DBAI group cordially invites you to a talk by Peter Stuckey, Monash University
Talk “Correctness and Optimality for Control Systems” – C. Belta… 2019-06-27 In control theory, complicated dynamics such as systems of (nonlinear) differential equations are mostly controlled to achieve stability.
Talk Talk: Processing Data Where It Makes Sense in Modern Comput… 2019-06-18 Enabling In-Memory Computation. Visiting Prof. Onur Mutlu / ETH Zurich
Talk Talk: Context-Driven Recommendations based on User Reviews 2019-05-29 Research Prof. Derek Bridge, University College Cork / Ireland
Talk Talk: Developing software and ML models at IBM, Amazon, and… 2019-05-23 Colin Toal, Toronto, leader of several SW development groups at large and small companies, will present case studies and stories from his experience
Talk Talk: Security Protocols: Model Checking Standards, Prof. D… 2019-05-20 Security & Privacy Invitation to a talk by Prof. David Basin, ETH Zurich, head of the Information Security group and department head
Talk Talks by N. Fuhr (Univ. of Duisburg-Essen) and U. Kruschwit… 2019-05-06 Invitation to two presentations on topics in the Information Retrieval area given by Prof. Norbert Fuhr and Prof. Udo Kruschwitz
Talk Vortrag und Diskussion mit Egon Börger, Università di Pisa … 2019-04-08 Research Modellieren und Analyse verteilter Algorithmen mit nebenläufigen Abstract State Machines. Ein Vergleich mit Petrinetzen
Talk Talk: The Science & Engineering of National Security 2019-03-14 Research The Business Informatics Group invites to a talk of Prof Dr. Anthony Finkelstein, University College London
Talk How Behaviour opens new perspectives in the visualization o… 2019-02-26 Research The Centre for Visual Analytics Science and Technology invites to a talk of Juri Buchmüller, University of Konstanz, Germany
Talk Talk: SysML v2 and the Next Generation of Modeling Languages 2019-02-18 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.
