Vienna Ball of Sciences: Steps of Logic

By using projection mapping, the VCLA at TU Wien will convert the stairs of the 5th Vienna Ball of Sciences – SciBall into a living organism showing video animation that re-contextualizes the meaning of logic in computer sciences.

Steps of logic

By using projection mapping, the Vienna Center for Logic and Algorithms at TU Wien will convert the stairs of the Rathaus into a living organism showing video and animation that re-contextualize the meaning of the logic in computer sciences. Altogether the installation creates a fascinating palette of visuals for the enchanted Ball experience! The installation is the work of a PhD researcher in the FWF funded Doctoral College Logical Methods in Computer Science (LogiCS), at TU Wien, Anna Lukina.

In Praise of Logic

The story of the projection is a praise of reason and logic. Logic is a tool which is shared across the academic disciplines. Moreover, even though people rarely have to mathematically prove things in real life, we are using logic anyway. In computer science, logic is used to examine algorithms for errors, and to enable computer programs to reason about the world.

In the modern world plagued with streams of information, the role in critical thinking cannot be overstated. The instruments for sound argumentation can be acquired, and the Vienna Center for Logic and Algorithms is working towards getting this message out of the ivory towers of academia.

Logic in Computer Science

Every software, every computer program follows logical conditions. Especially in the growing field of Artificial Intelligence, we see an increasing use of the methods of logic. Computers, which can learn on their own without the corrupt or biased data, which is raising many issues in the field of machine learning and neural networks, could be seen as the step towards the real artificial intelligence.

Logic as a powerful reasoning tool, reached its maturity in the form of mathematical logic and analytic philosophy in the early 20th century, with significant contributions from Vienna. In the last two decades, Austria is observing its revival, with important contributions from the Institute for logic and computation at TU Wien, which meanwhile belongs to the five best in the world. The researcher at the Institute are gathered in research groups, which host the Vienna Center for Logic and Algorithms.

About the project lead – Anna Lukina

Anna Lukina is developing the visual behavior of the projection and developing a custom 3D projection-mapping to address the unique geometry of the stairs. Video projection mapping is the technic of projecting video onto surfaces such as stairs, to create the illusion of 3D art. Video projection mapping has the capacity to transform any object into a screen without any distortion.

Anna Lukina, is a PhD candidate of the Doctoral College Logical Methods in Computer Science (LogiCS) funded by the Austrian Science Fund FWF at TU Wien. She is pursuing research in the field of multi-agent and cyber-physical systems. In her doctoral thesis, she is focusing on the design of algorithms for autonomous decision making among a group of drones.

Anna Lukina joined the logical community in Austria in June 2015, after finishing her two master degrees in her home city of Moscow, in Russia. With a Master´s Degree in Informatics and Mathematics from the Lomonosov Moscow State University, and with a Master´s degree in Economics from the New Economic School she has been involved in projects at the intersection between the computer science and the financial forensics.

The LogiCS is run jointly by the Technische Universität Wien (TU Wien), Technische Universität Graz (TU Graz), and Johannes Keppler University Linz (JKU Linz). The young researchers of the LogiCS Doctoral College are using logic as a tool that enables computer programs to reason about the world. Read more

Comments are closed.