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
Category Talks
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…
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…
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…
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…
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…
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…
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…
Talk by Emiliano Lorini: A Rule-based Modal View of Causal Reasoning
SHORT BIO: Emiliano Lorini is a senior researcher (“directeur de recherche”) at the Centre National de la Recherche Scientifique (CNRS), co-head of the LILaC team (Logic, interaction, language and computation) at the Institut de Recherche en Informatique de Toulouse (IRIT). The general…
Women in Logic Online (seminar series)
Short Bio: Valeria de Paiva is a mathematician, logician, and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories. Before Topos, Valeria worked at top industry NLP labs, including Samsung Research America,…