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 received an unprecedented number of qualified applications (180 submissions in total), it seemed impossible to […]
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 Award (DE220100544). He serves as an editor of Archive for Mathematical Logic and Journal of Multiple-Valued Logic […]
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 can be utilized to realize Leibniz’s dream of automated legal reasoning.
Abstract: In the 17th Century, the […]
Talk by David Pearce: Logic, Accountability, and Design
As the conference room is small, we encourage you to join via Zoom:
Join Zoom Meeting
Meeting ID: 916 1073 9406
Password: 79567707
SHORT BIO:
I studied Philosophy, Logic and Scientific Method at the University of Sussex and began my doctoral studies in Philosophy at St John’s College, Oxford. I later returned to Sussex where I obtained […]
LogicLounge 2024 with Georg Gottlob
REPORT
The series of public discussions LogicLounge, which is celebrating its tenth anniversary this year, was held on May 28 at Café Museum, which already served as a meeting place for Wittgenstein and the Vienna Circle. In his talk “Artificial Intelligence and Artificial Ignorance”, Professor Georg Gottlob, who recently joined the University of Calabria (Unical), provided […]
Bilateral Artificial Intelligence: Discovering the Next Dimension of AI
The FWF-funded Cluster of Excellence (CoE) “Bilateral Artificial Intelligence” aims to provide AI with significantly better and broader skill acquisition and problem-solving abilities. Headed by Sepp Hochreiter (JKU Linz), the CoE board of directors includes renowned AI experts such as VCLA Co-Chair Agata Ciabattoni and VCLA Board Member Thomas Eiter.
At a press conference held at […]
Call for Nominations: VCLA International Student Awards
The deadline for (self-)nominations has expired. The recipients of the awards will be announced after August 31, 2024.
The Vienna Center for Logic and Algorithms at TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
Outstanding Master Thesis […]
Talk by Nick Bezhanishvili: Degrees of the Finite Model Property for Superintuitionistic and Modal Logics
SHORT BIO:
(taken from the University of Helsinki)
Nick Bezhanishvili obtained his PhD in 2006 from the ILLC (Institute for Logic, Language and Computation), University of Amsterdam, under the supervision of Professors Dick de Jongh and Yde Venema. He held postdoctoral positions at the University of Leicester (2006–2008), Imperial College London (2008–2012), and Utrecht University (2012–2013). […]
Talk by Byron Cook: The Business of Proofs
SHORT BIO:
Byron Cook is Professor of Computer Science at University College London (UCL); as well as Vice President and Distinguished Scientist at Amazon Web Services. Byron’s has worked in a variety of areas over the years, including computer and network security, program analysis and verification, programming languages, theorem proving, hardware design, operating systems, and biological […]
Talk by Reiner Hähnle: Context-aware Trace Contracts
SHORT BIO:
Reiner Hähnle is Professor in Software Engineering at the Computer Science Department of TU Darmstadt. He has wide-ranging interests in the formal foundations of software design, programming languages, and quality assurance by verification. He is co-initiator of the KeY project that maintains the well-known, eponymous Java verification tool, and he is co-designer of the […]
