Talk by George Metcalfe: Substructural Logics with Minimally True Tautologies
Speaker: Georg Metcalfe (University of Bern) Research Topics: Proof Theory Non-Classical Logics Ordered Algebraic Structures
Stefan Szeider
8th Women in Logic Workshop (WiL) 2024 in Tallinn, Estonia
The 8th International Women in Logic Workshop was held at the Europe Hall in the Astra building of the campus of Tallinn University, Estonia, on July 9, 2024. The program committee again consisted of thirteen women (among them VCLA Co-chair…
Open positions: Cluster of Excellence
Open PhD positions# and PostDoc positions# in the Cluster of Excellence “Bilateral AI” at TU Wien (Vienna University of Technology) We are seeking highly motivated and talented individuals to join our dynamic research team for combining symbolic and sub-symbolic AI.…
Talk by Rajeev Gore: CEGAR-Tableaux – Improved Modal Satisfiability via Modal Clause-Learning and SAT
SHORT BIO: Rajeev Gore obtained his PhD from the Computer Laboratory of the University of Cambridge in 1992. Before that, he was at the University of Melbourne, completing a BSc (hons I) with a double major in Physics and Computer…
PhD Position at TU Wien, AXAIS project
The research group Theory and Logic, Institute of Logic and Computation of TU Wien (the Vienna University of Technology) is looking for an exceptionally talented and motivated student for a PhD position. The 4-year position (30 hrs/week) is embedded in…
Helmut Veith Stipend: Announcement
It is our pleasure to announce that the 8th edition of the Helmut Veith Stipend for Female Master’s Students in Computer Science (submission period end of November 2023) has concluded with the selection of four recipients! Seeing that the committee…
Talk by Guillermo Badia: Logical Characterizations of Weighted Complexity Classes
SHORT BIO: Guillermo Badia is a Lecturer in Logic (continuing position) in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. From 2022-2025, his research is supported by an Australian Research Council Discovery Early Career Researcher…
LogicLounge at CAV in Montreal: Realizing Leibniz’s Dream
Scott Shapiro, Yale Law School: Realizing Leibniz’s Dream This LogicLounge was held as part of the CAV2024 (the 36th International Conference on Computer Aided Verification) program in Montreal on July 25, 2024. Essentially, Shapiro explored how formal methods and LLMs…
WWTF-Funding for project AXAIS
Funding News! The project “Acquiring and explaining norms for AI systems” (AXAIS) will be funded by the WWTF (Vienna Science and Technology Fund) under the call Information and Communication Technology – Digital Humanism – ICT23-030. The principal investigator is Agata…
Helmut Veith Stipend
The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to start one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: –…