26-28.09.22: Logic Colloquium. The 3-day event will take place at the University of Konstanz in room D434 (some parallel sessions will be held in rooms D430 and D431).
The opening will take place on Monday, 26.09.2022 at 10:00 in room D434.
See https://colloquiumlogicum2020.com/ for details.
13.12.21: Hadil Karawani (Konstanz),
"Modal Logic and Modal Language: strength, duality and social meaning - a perspective from experimental semantics, database analysis, and cross-linguistic typology".
Georgiana Caltais (University of Konstanz, Department of Computer and Information Science),
"(Co-)Algebraic Approaches to the Modelling and Verification of Reactive Systems".
Winter Semester 2016/17
Antje Rumberg (University of Konstanz, Department of Philosophy),
"Transition Semantics for Branching Time".
Neil Barton (University of Vienna, Kurt Gödel Research Center),
"Mathematics as the Science of (Different Kinds of) Structures".
Summer Semester 2016
Dr. Eric Raidl (Department of Philosophy, University of Konstanz),
"Credence revisions and conditional logic". Abstract
16.06.2016: Dr. Dominik Klein (Department of Cultural Studies, University of Bayreuth),
"Knowledge, Belief, Normality, and Introspection". Abstract
12.05.2016: Daniel Kuby (Department of Philosophy, University of Konstanz and University of Vienna) and Dr. Carolin Antos
(Kurt Gödel Research Center for Mathematical Logic, Faculty of Mathematics, University of Vienna):
"Forcing in modern Set Theory - a conceptual change?". Abstract
04.05.2016: Prof. Dr. John Woods (University of British Columbia): "Globalization makes inconsistency unrecognizable". Abstract
Winter Semester 2015/16
21.04.2016: Dr. Katharina Felka (Department of Philosophy, University of Zürich): "On easy arguments for numbers". Abstract
14.01.2016: Dennis Müller (KWARC (Knowledge Adaptation and Reasoning for Content) group, School for Science and Engineering, Jacobs University Bremen):
"Towards a universal foundation-independent library of formal knowledge".
07.01.2016: Julian Schlöder (Institute for Logic, Language and Computation, University of Amsterdam): "Weak Rejection". Abstract
12.11.2015: Dr. Frank Zenker (Department of Philosophy, Konstanz and Lund University, Schweden): "What do we mean by `fallacy'?". Abstract
Summer Semester 2015
16.07.2015: Dr. Brian Leahy (Department of Linguistics, Konstanz): "Actually, if"
18.06.2015: Prof. Dr. Stefan Leue (Department of Computer & Information Science, Konstanz): "Logical Methods in the Design of Critical Systems".
21.05.2015: Dr. Brendan Balcerak-Jackson (Zukunftskolleg/Department of Philosophy, Konstanz): "Reconceiving Interpretational Validity".
Winter Semester 2014/15
05.02.2015: Dr. Sven Lauer (Zukunftskolleg/Department of Linguistics, Konstanz): "Conditionalized modal sentences: Modus ponens and strengthening of the antecendent".
22.01.2015: Prof. Dr. Thomas Müller (Department of Philosophy, Konstanz): "Case-intensional first order logic: A logic for talking about things and what is possible for them".
06.11.2014: Dr. Merlin Carl (Department of Mathematics and Statistics, Konstanz): "Naproche - Logic and Linguistics of Natural Mathematical Language".