Communications Newsroom Contact Subscribe Newsletter News Feed Calendar Feed Social Media Newsroom Talk Any Tag Award Call for Applications Conference Digital Humanism Epilog Grant Open Position People Public Lecture Report Studies Sustainability Talk Vienna Gödel Lecture Workshop Any Kind Any Kind News Only Events Only 2019 Any Year 2024 2023 2022 2021 2019 Show as Cards Show as List Show as Cards 28 results / Reset Filter 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. Talk Talk: Applying Multi-Level Modelling for Standards-based In… 2019-01-28 Research The Business Informatics Group together with the Faculty of Informatics and the Austrian Computer Society invites to a talk of Dr. Georg Grossmann Talk Secure, Low Power and Reliable Implementations of Deep Lear… 2019-01-14 Research A talk by Prof. Siddharth Garg, New York University/Tandon School of Engineering Talk Talk: Language Development with Jetbrains MPS 2019-01-14 Research The Business Informatics Group together with the Faculty of Informatics invites to a talk of Dr. Markus Völter, Independent consultant for language engineering Talk Marijn Heule: Massively Parallel Solving of Math Problems 2019-01-07 Research Vienna Center for Logic and Algorithms at TU Wien hosting the author of the largest mathematical proof in the history
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.
Talk Talk: Applying Multi-Level Modelling for Standards-based In… 2019-01-28 Research The Business Informatics Group together with the Faculty of Informatics and the Austrian Computer Society invites to a talk of Dr. Georg Grossmann
Talk Secure, Low Power and Reliable Implementations of Deep Lear… 2019-01-14 Research A talk by Prof. Siddharth Garg, New York University/Tandon School of Engineering
Talk Talk: Language Development with Jetbrains MPS 2019-01-14 Research The Business Informatics Group together with the Faculty of Informatics invites to a talk of Dr. Markus Völter, Independent consultant for language engineering
Talk Marijn Heule: Massively Parallel Solving of Math Problems 2019-01-07 Research Vienna Center for Logic and Algorithms at TU Wien hosting the author of the largest mathematical proof in the history