30 results / Reset Filter
Ten Challenges for Deontic Logic in AI
The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg).
The Power of Satisfiability Checking
Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.
An Insightful Farewell to the Dean’s Team
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
Stefan Pasterk (University of Klagenfurt) presents ideas, concepts and evaluation methods to broadly introduce a continuous Informatics curriculum.
Chikira and the Four Sighters
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?
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
Matti Tedre (University of Eastern Finland) speaks about different approaches to the concepts of Computational Thinking in science and education.
Dana Scott: “Free Logic: Its Formalization and some Applica…
Formalization and models for classical and intuitionistic logic.
Public Guest Lecture: The Future of Global Language MOOCs E…
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…
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
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 r…
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 heal…
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
Introduction to the SIMSSA Optical Music Recognition Workflow System.
Public Guest Lecture: Forthcoming - around e-mental 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
The DBAI group cordially invites you to a talk by Peter Stuckey, Monash University
“Correctness and Optimality for Control Systems” – C. Belta…
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 Comput…
Enabling In-Memory Computation. Visiting Prof. Onur Mutlu / ETH Zurich
Talk: Context-Driven Recommendations based on User Reviews
Prof. Derek Bridge, University College Cork / Ireland
Talk: Developing software and ML models at IBM, Amazon, and…
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…
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. Kruschwit…
Invitation to two presentations on topics in the Information Retrieval area given by Prof. Norbert Fuhr and Prof. Udo Kruschwitz
Vortrag und Diskussion mit Egon Börger, Università di Pisa …
Modellieren und Analyse verteilter Algorithmen mit nebenläufigen Abstract State Machines. Ein Vergleich mit Petrinetzen
Talk: The Science & Engineering of National Security
The Business Informatics Group invites to a talk of Prof Dr. Anthony Finkelstein, University College London
How Behaviour opens new perspectives in the visualization o…
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
The Business Informatics Group together with the Faculty of Informatics invites to a talk of Prof Ed. Seidewitz, CTO at Model Driven Solutions, Inc.