Loading...

Follow Vienna Center for Logic and Algorithms on Feedspot

Continue with Google
Continue with Facebook
or

Valid

Eduard Eiben received the national Award of Excellence by the Federal Ministry of Education, Science and Research (BMBWF) for his outstanding dissertation. The award ceremony took place in Vienna on December 5th, 2018. Eduard Eiben has been awarded for his dissertation “Exploiting new types of structure for fixed-parameter tractability”. The work was carried out as part of a research project funded by the Austrian Science Fund FWF at the Institute for Logic and Computation at the Faculty of Informatics at TU Wien. The supervisors were Prof. Stefan Szeider and Dr. Robert Ganian.

Since 2008, the 40 best doctoral theses across all disciplines have been awarded annually with the “Award of Excellence”, which is endowed with EUR 3,000.

In his dissertation, Dr. Eiben developed efficient algorithms for hard-to-solve computational problems that occur in artificial intelligence and optimization. The methodology of the work follows the paradigm of parametric complexity theory. “Parametric complexity theory has revolutionized algorithmics by allowing it to take into account the structural properties of problem inputs and exploit them algorithmically,” says Prof. Szeider. The development of new concepts to mathematically capture such structural properties was one of the main goals of Eiben’s dissertation.

Eduard Eiben is the first graduate of the Doctoral Program “Logical Methods in Computer Science” (LogiCS), which was founded in 2014 by professors at TU Wien, TU Graz, and JKU Linz. Eduard is currently continuing his research at the University of Bergen as a post-doc.

“I am particularly pleased that an algorithmic work has been awarded, because algorithms will in future gain an increasingly important role in technological innovation,” says Prof. Georg Gottlob, the head of the LogiCS Doctoral College. The Doctoral College includes not only mathematical methods of formal logic but also applied topics such as verification, databases, distributed and cyber-physical systems and information security. More than 40 young researchers from 20 countries, about one third of them women, have already found the optimal research environment for their enthusiasm for logic and their application at the Faculty of Informatics, TU Wien. After a thorough evaluation by international experts in 2017, the FWF has invested another 3.6 million euros in the doctoral program.

Research at the Faculty of Informatics of the TU Wien is also gaining a major boost by the Vienna Center of Logic and Algorithms (VCLA), a center of excellence in logic and algorithms.

Read Full Article
  • Show original
  • .
  • Share
  • .
  • Favorite
  • .
  • Email
  • .
  • Add Tags 
Logic, Argument and Dialectic
Wednesday, December 12, 2018 at 17:00 c.t.
Read Full Article
  • Show original
  • .
  • Share
  • .
  • Favorite
  • .
  • Email
  • .
  • Add Tags 

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

Read Full Article
  • Show original
  • .
  • Share
  • .
  • Favorite
  • .
  • Email
  • .
  • Add Tags 
Reasoning and Learning over Streams for Safe Autonomous Systems
Friday, November 23, 2018 at 13:30 s.t.
Read Full Article
  • Show original
  • .
  • Share
  • .
  • Favorite
  • .
  • Email
  • .
  • Add Tags 

The TAASP workshop series is jointly organized by research groups at Alpen-Adria-Universität Klagenfurt, Technische Universität Wien, and Universität Potsdam. TAASP 2018 is the second workshop of its type, which is being held November 19-20, 2018 at Technische Universität Wien, Vienna, Austria.

Aims and Scope 
Answer set programming (ASP) is a widely used declarative programming paradigm based on the stable-model semantics. Over the years, the formalism has been extended with new language elements, advanced evaluation techniques have been developed, and efficient and expressive systems have been realized. These advancements turned ASP into a rich modeling language which was successfully applied to various tasks in artificial intelligence and beyond, including combinatorial problems and knowledge-intense tasks.
 
Driven by the needs of applications, ongoing research in the field comprises, for instance, the integration with other paradigms (such as constraint programming), distributed computation, temporal and stream reasoning. These developments aim at the ultimate goal of equipping ASP with the features needed for realizing modern information systems.
 
This workshop focuses on recent trends in the area of ASP, including novel techniques for the evaluation of ASP programs, extensions of the formalism, integration with other formalisms, advancements of systems, and benchmark suites. Furthermore, discussions of applications of ASP and its extensions in AI and industry are welcome.
Invited speakers
Vladimir Lifschitz, University of Texas at Austin, USA
Vladimir Lifschitz is among the most influential scientists in the field of Artificial Intelligence (AI). He started out his work at Stanford with John McCarthy and made significant contributions in the area of Non-monotonic Reasoning (NMR). This can be seen a precursor to his later groundbreaking work connecting NMR with Logic Programming that led to the definition of the stable models semantics, and thus the initial foundations of Answer Set Programming (ASP).
 
Interview with Vladimir Lifschitz in KI – Künstliche Intelligenz 32(2-3), 213-218. Available at: https://link.springer.com/article/10.1007/s13218-018-0552-x
Programme
The programme of the TAASP 2018 workshop is to be found here.
TAASP 2018 Proceedings

TAASP is a non-archival venue and there will be no published proceedings. However, informal proceedings will be provided and the papers will be posted informally on the workshop website. Therefore, it will be possible to submit to other conferences and journals both in parallel and subsequent to TAASP 2018.

Workshop Co-chairs Organization Committee
Support
This workshop is supported by:
The FWF START grant Y698 for the project Decodyn: Treating Hard Problems with Decomposition and Dynamic Programming
The Vienna Center for Logic and Algorithms at TU Wien – VCLA and
TAASP 2018 Homepage

The website of the TAASP 2018 workshop is to be found here.

Read Full Article
  • Show original
  • .
  • Share
  • .
  • Favorite
  • .
  • Email
  • .
  • Add Tags 

Die Logik ist für die Informatik wie Kalkül für die Physik. Selbst das Bedürfnis, im modernen Leben klarer zu denken, kann mit logischem Training befriedigt werden. Das Vienna Center for Logic and Algorithms bring den stärksten Werkzeug in Technik und Informatik zur GEWINN Info Day 2018  – größten Wirtschaftskongress für Schülerinnen und Schüler in Österreich.

Logikpuzzle

VCLA stellt am GEWINN InfoDay 2018 mit einem Logikpuzzle, das vom VCLA-Gast Maarten Löffler von der Universität Utrecht entworfen wurde, ein Beispiel für dieses leistungsstarke Werkzeug bereit, das als Logik bezeichnet wird.

Losung? Findest du hier.

Logik in Informatik?

Auch wenn Menschen im realen Leben nur selten mathematisch nachweisen müssen, verwenden wir trotzdem Logik. Wir verwenden es, wenn wir Pläne für den nächsten Urlaub besprechen, die Diskussionen über Politik führen, Spiele spielen oder bei dem Arbeit. Wir erhalten falsche Ergebnisse unseres logischen Denkens, wenn wir falsche logische Techniken verwenden. Die Notwendigkeit, im modernen Leben klarer zu denken, kann mit logischem Training befriedigt werden.

Logik ist ein mächtiges Argumentationswerkzeug. Ursprünglich als Hilfsmittel für fundierte Argumentation erfunden, gelangte es Anfang des 20. Jahrhunderts in Form mathematischer Logik und analytischer Philosophie zur Reife, mit bedeutenden Beiträgen aus Wien. An der Fakultät für Informatik der TU Wien nutzen die Forscher Logik als Werkzeug, mit dem Computerprogramme über die Welt nachdenken können.

Wien als „Hotspot der computationalen Logik“

In drei Forschungsgebieten der Logik wurde in den letzten zwei Jahrzehnten in Österreich eine besonders gute internationale Sichtbarkeit erreicht. Der erste Bereich ist “Computational Logic”, insbesondere die Beweistheorie, die Komplexitätstheorie und das automatische Denken. Der zweite Bereich ist die Anwendung der Logik auf “Datenbanken und künstliche Intelligenz”. Der dritte Bereich ist “Computer Aided Verification” oder “Model Checking”, in dem Computerprogramme verwendet werden, um Algorithmen auf Fehler zu untersuchen.

Insbesondere im wachsenden Bereich der künstlichen Intelligenz sehen wir eine zunehmende Verwendung der Methoden der Logik. Die mathematischen Methoden der formalen Logik werden jedoch auch in Bereichen wie Verifizierung, Datenbanken, verteilte und cyberphysische Systeme und Informationssicherheit angewendet. Die drei Bereiche

In der technischen Informatik und im Software-Engineering wird Logik in Zukunft eine immer wichtigere Rolle spielen. Computer, die unabhängig argumentieren und urteilen können, finden ihren Weg in sehr unterschiedliche Bereiche – zum Beispiel in der Medizin, im Business, aber auch im Alltag zu Hause.

Read Full Article
  • Show original
  • .
  • Share
  • .
  • Favorite
  • .
  • Email
  • .
  • Add Tags 

Separate tags by commas
To access this feature, please upgrade your account.
Start your free month
Free Preview