The Vienna Center for Logic and Algorithms (VCLA) is an initiative initiative of Technische Universität Wien - TU Wien (Vienna University of Technology). Located at the Faculty of Informatics, the Center is promoting international scientific collaboration in logic and algorithms.
The third Women in Logic Workshop (WiL) taking place on June 23, 2019, is a workshop associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019, Vancouver. The workshop intends to follow the pattern of meetings such as Women in Machine Learning or Women in Engineering that have been taking place for quite some years. The workshop aims to offer opportunity for women in the LICS community to increase awareness of one another and one another’s work, and to provide mentorship among especially the early-career academics.
The workshop builds on the success of the first such event, held in in Reykjavik, Iceland, in 2017, and the second workshop, held in Oxford, in 2018. The report on the 2nd Women in Logic Workshop in SIGLOG Newsletter January 2019 here.
These include but are not limited to the usual Logic in Computer Science (LICS) topics. These are:
automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model
checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.
It is our pleasure to announce that the Vienna Center for Logic and Algorithms in collaboration with ACM SIGLOG will once again sponsor the Travel Awards for the student participants of the workshop. The call for nominations will be issued in the Spring 2019.
Organizing and Program Committee
Sandra Alves (Universidade do Porto, Portugal)
Agata Ciabattoni (TU-Wien, Austria)
Amy Felty (Co-Chair, University of Ottawa, Canada)
Maribel Fernandez (King’s College London, UK)
Sara Kalvala (University of Warwick, UK)
Delia Kesner (Université Paris Diderot, France)
Ursula Martin (University of Oxford, UK)
Valeria de Paiva (Co-Chair, Nuance, USA)
Catuscia Palamidessi (École Polytechnique, France)
Brigitte Pientka (Co-Chair, McGill University, Canada)
Elaine Pimentel (Universidade Federal do Rio Grande do Norte, Brazil)
Giselle Reis (Carnegie Mellon University, Qatar)
Simona Ronchi Della Rocca (Università degli Studi di Torino, Italy)
Alexandra Silva (University College London, UK)
Perdita Stevens (University of Edinburgh, UK)
Valeria Vignudelli (Ecole Normale Supérieure de Lyon, France)
Deadline: November 30, 2019: Motivated female students in the field of computer science who plan to pursue (or are pursuing) one of the master‘s programs in Computer Science at the Vienna University of Technology (TU Wien) taught in English are invited to apply for the annually awarded Helmut Veith Stipend.
Helmut Veith Stipend
The Helmut Veith Stipend is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. Helmut Veith, who tragically passed away in March 2016, was a strong advocate and mentor for women in computer science. More information on the late professor Helmut Veith here. Students who are awarded the Helmut Veith Stipend, receive:
EUR 6000 annually for a duration of up to two years
The second recipient of the Helmut Veith Stipend for Female Master´s Students is Hanna Elif Lachnitt. Hanna Lachnitt holds a Bachelor’s degree in Computer Science from the Freie Universität Berlin. More on the award ceremony here.
What do an algorithm and a cooking recipe have in common? More than you might think! In the media, algorithms come up again and again – but usually when something goes wrong. Headlines such as “The algorithm is a racist” are not uncommon. However, algorithms are not a new phenomenon, but have been with us since the 3rd century BC. Not only are they part of social networks, search engines and online advertising, they are also the basis of everyday actions and solutions. Professor for Algorithms and Complexity at TU Wien, Institute for Logic and Computation and the co-chair of the VCLA – Stefan Szeider in the interview with Margit Körbel for Radio NJOY 91.3.
The Vienna Center for Logic and Algorithms (VCLA) at TU Wien seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards forOutstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Logic and Computer Science. Final deadline for submission of nominations is March 15, 2019.
Main areas of interest:
Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics).
Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, and distributed algorithms.
Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).
Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.
IN MEMORY OF HELMUT VEITH
The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas.
Outstanding Master Thesis Award: 1200 EUR
Outstanding Undergraduate Research (Bachelor) Award: 800 EUR
The winners will be invited to present their work at an award ceremony in Vienna, Austria.
The degree must have been awarded between November 15th, 2017, and December 31st, 2018, (inclusive).
Students who obtained their degree at TU Wien are excluded from the nomination.
We’re all about software bugs – from the mobile app which suddenly crashes, to the graphics card that cannot be handled by the operating system. We have almost become accustomed to the fact that computers are sometimes insecure, unpredictable and error-prone. But that does not have to be the case.
Prof. Laura Kovacs of the Institute of Logic and Computation of the Vienna University of Technology is developing methods to make our software safer and more reliable. In 2014 she was awarded an ERC Starting Grant of the European Research Council (ERC). Now, her research achievements have been rewarded with another ERC grant: Laura Kovacs will use her research results in industrial applications with the help of an ERC Proof of Concept grant. The foundation of an own start-up company is already planned. “We hope that within two years, we have implemented concrete programmes for commercialising our research.”
Set up by the European Union in 2011, the “Proof of Concept” grant by the ERC is funding researchers to explore the commercial or innovation potential of their research results. “Proof of Concept” grants are worth up to € 150,000 each and will be granted for excellent frontier research like Laura Kovacs’ work on automated assertion generation and automated theorem proving.
More software, more mistakes
More and more aspects of our everyday life are regulated by software. In the past we have went to the bank counter, today we use online banking. Earlier, the phone was connected to the landline, today we need algorithms, to connect the mobile phone to the signal station. “The software is becoming more and more extensive and versatile, but its reliability does not increase,” says Laura Kovacs. “We are still working with software that is prone to errors and has security vulnerabilities.”
The more complex our computer programs become, the more difficult it becomes for humans to understand them und to check them for errors. Today, therefore, attempts are being made to develop computer programs that can automatically detect errors in other computer programs. To achieve the goal of error-free, accurate software, the researchers are using the methods of formal logic. Laura Kovacs and her team have developed and improved such logical procedures in her ERC “Starting grant” project. “You can formally describe software in the language of mathematics and then prove that computer code has certain characteristics,” explains Kovacs. “Then you no longer have to hope that the program will deliver the right results in the future. You are able to prove with mathematical accuracy that in all situations the program will fulfill expected objectives.”
The new methods for automatic software validation are in comparison with other methods proving to be a great leap forward in many aspects. That is the main finding of practical tests on real computer code used in the industry done by the Laura Kovacs´s research group. “If a human being would need to develop similar proofs, that would be extremely time-consuming,” says Kovacs. “Our logic methods have already succeeded mathematically ensuring the expected behavior of the software in 80% of the cases.”
The step towards the industry
The theoretical findings are now to be applied industrially. The European Research Council ERC is now supporting this step with another grant – the “proof of concept” grant. Laura Kovacs now wants to set up her own start-up company after analyzing the market and even better adapting the concepts to the requirements of industrial practice. “The long-term goal is to use logic in the software industry to find software errors and reliably correct them,” says Laura Kovacs. “We hope that within two years, we have implemented concrete programmes for commercialising our research, since we want the big companies to apply our method.”
The GROW series of conferences bring together experts in both theoretical and practical issues to design new strategies for dealing with intractable graph problems. GROW is an invitation-only, a grassroots organized workshop held every odd year. The 9th GROW 2019 is hosted by the Algorithms and Complexity Group at the TU Wien under the baton of Robert Ganian and Stefan Szeider, between September 23-26, 2019.
Prof. Thomas Eiter and Dr. Peter Schüller are the TU Wien counterparts in the new pan-European project funded with €20 million connecting 79 partners from 21 countries.
The AI4EU consortium aims to develop an European AI-On-Demand Platform and Ecosystem which will provide access to relevant AI resources in the EU for all users. The platform will act as a knowledge broker, developer and one-stop shop providing and showcasing services, expertise, algorithms, software frameworks, development tools, components, modules, data, computing resources, prototyping functions and access to funding.
The project AI4EU intends to lower barriers to innovation, boost technology transfer, and catalyse the growth of start-ups and SMEs in all sectors. The role of the TU Wien is to take on leading roles in two work packages: “on the more applied side we will collaborate with Siemens and Fraunhofer Germany to create a pilot application “AI-Driven Digital Companion for Production Facility”, and on the more theoretical side we will work together with Orebro University to develop novel techniques for Integrative AI” says the lead of the project at TU Wien, Dr. Schüller.
Artificial Intelligence has been described as the most strategic technology of the 21st century data economy, fueled by the growth in computing power, availability of data and progress in algorithms. To rip the benefits of the European free flow of data and knowledge, bold investments in the AI landscape are needed in order to secure EU position in the competitive AI landscape. Furthermore, due to the digital transformation in the way how we work, innovate and educate, all Europeans should have an opportunity to aquire the skills they need.
With a kick-off meeting in January 2019 the 3-years project financed though the H2020 program of the European Commission is paving the way for implementation of the Europe’s AI strategy. The project consists out of eight industry-driven AI pilots, which will demonstrate the value of the AI-on-demand platform as a technological innovation tool. The pilots and research will showcase how AI4EU can stimulate scientific discovery and technological innovation. The AI4EU Ethics Observatory will be established to ensure the respect of human centred AI values. Sustainability will be ensured via the creation of the AI4EU Foundation. The results will feed a new and comprehensive Strategic Research Innovation Agenda for Europe.