Dec 2019

• An Insightful Farewell to the Dean’s Team
  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).
• Towards an Integrated Informatics Curriculum
  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.
• Chikira and the Four Sighters
  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 …
• Probabilistic Programming: Machine Learning for the Masses?
  Dec 4, 2019 Talk Joost-Pieter Katoen (RWTH Aachen) gives a historical perspective and indicates what formal methods can mean for probabilistic programs.
• Computational Thinking: Essential Tensions and Debates
  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

• Dana Scott: “Free Logic: Its Formalization and some Applications“
  Sep 30, 2019 Talk, Research, VCLA Formalization and models for classical and intuitionistic logic.

Jul 2019

• Public Guest Lecture: The Future of Global Language MOOCs Education on edX
  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
• LogicLounge with Eva Galperin: Spouseware, Stalkerware, and Citizen Surveillance
  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.
• Talk: Multiphysics modeling of nonlinear cardiac dynamics
  Jul 11, 2019 Talk, Research Experiments, Theory and Simulations. Invited Talk of Prof. Alessio Gizzi, University of Rome, Campus Bio-Medico
• Toward robust, efficient, and usable e-health and mHealth research.
  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
• Public Guest Lecture: Developing computer-based mental health interventions
  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
• The Art of Teaching Computers
  Jul 4, 2019 Talk, Research Introduction to the SIMSSA Optical Music Recognition Workflow System.
• Public Guest Lecture: Forthcoming - around e-mental health interventions
  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
• Talk: The Multi-Agent Path Finding Problem
  Jul 1, 2019 Talk The DBAI group cordially invites you to a talk by Peter Stuckey, Monash University

Jun 2019

• “Correctness and Optimality for Control Systems” – C. Belta (Boston University)
  Jun 27, 2019 Talk In control theory, complicated dynamics such as systems of (nonlinear) differential equations are mostly controlled to achieve stability.
• Talk: Processing Data Where It Makes Sense in Modern Computing Systems
  Jun 18, 2019 Talk Enabling In-Memory Computation. Visiting Prof. Onur Mutlu / ETH Zurich

May 2019

• Talk: Context-Driven Recommendations based on User Reviews
  May 29, 2019 Talk, Research Prof. Derek Bridge, University College Cork / Ireland
• Talk: Developing software and ML models at IBM, Amazon, and integrate.ai
  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
• Talk: Security Protocols: Model Checking Standards, Prof. D. Basin, ETH Zurich
  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
• Talks by N. Fuhr (Univ. of Duisburg-Essen) and U. Kruschwitz (Univ. of Essex)
  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

• Vortrag und Diskussion mit Egon Börger, Università di Pisa (Italien)
  Apr 8, 2019 Talk, Research Modellieren und Analyse verteilter Algorithmen mit nebenläufigen Abstract State Machines. Ein Vergleich mit Petrinetzen

Mar 2019

• Talk: The Science & Engineering of National Security
  Mar 14, 2019 Talk, Research The Business Informatics Group invites to a talk of Prof Dr. Anthony Finkelstein, University College London

Feb 2019

• How Behaviour opens new perspectives in the visualization of time and space
  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
• Talk: SysML v2 and the Next Generation of Modeling Languages
  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.

Jan 2019

• Talk: Applying Multi-Level Modelling for Standards-based Interoperability
  Jan 28, 2019 Talk, Research The Business Informatics Group together with the Faculty of Informatics and the Austrian Computer Society invites to a talk of Dr. Georg Grossmann
• Secure, Low Power and Reliable Implementations of Deep Learning
  Jan 14, 2019 Talk, Research A talk by Prof. Siddharth Garg, New York University/Tandon School of Engineering
• Talk: Language Development with Jetbrains MPS
  Jan 14, 2019 Talk, 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
• Marijn Heule: Massively Parallel Solving of Math Problems
  Jan 7, 2019 Talk, Research Vienna Center for Logic and Algorithms at TU Wien hosting the author of the largest mathematical proof in the history