4-6 Sep 2014
Neubiberg, Germany
_________________________________________________________________________________
Call for Participation
COLLOQUIUM LOGICUM 2014
http://cca-net.de/cl2014/
4-6 September 2014, Neubiberg, Munich, Germany
Please register now!
_________________________________________________________________________________
Keynote Lectures
_________________________________________________________________________________
- Matthias Aschenbrenner. The model theory of transseries
- Manuel Bodirsky. Reconstructing countably categorical structures from
their polymorphism clones
- Stefania Centrone. Proofs without detours: a retrospective perspective
- Victoria Gitman. Choice schemes for Kelley-Morse set theory
- Fairouz Kamareddine. tba
- Anca Muscholl. Distributed synthesis
- Olivier Roy. tba
- Daniel Turetsky. Algorithmic Randomness and the Turing Degrees
_________________________________________________________________________________
PhD Colloquium Speakers
_________________________________________________________________________________
- Dominik Adolf. The core model induction
- Marcos Cramer. The Naproche system: Proof-checking mathematical texts
in controlled natural language
- Tomer Kotek. Definability of Combinatorial Functions
- Davide Rinaldi. Formal Topology, Information Systems and Finite
Density
_________________________________________________________________________________
Contributed Talks
_________________________________________________________________________________
- Geghard Bedrosian and Frederik Herzberg. Ultraproduct construction of
representative utility functions with infinite-dimensional domain
- Alexander Carstensen Block. The Modal Logic of Symmetric Extensions
- Vasco Brattka, Guido Gherardi and Rupert Hölzl. Probabilistic
computability and choice
- Yong Cheng, Sy-David Friedman and Joel David Hamkins. Large cardinals
need not be large in HOD
- Merlin Carl. Algorithmic Randomness for Infinitary Machines
- Bernhard Fisseni. What makes stories similar? ? Some Empirical and
Formal Results
- Walter Hoering. A Formalism allowing Non-deterministic Strategies
- Mirjana Ilic and Branislav Boricic. Is t really needed in formulating
sequent calculi for relevant logics?
- Franziska Jahnke. Definable Henselian Valuations
- Andreas Kapsner. An Expressibility Problem for Constructive Logics
- Yurii Khomskii. Suslin proper forcing and regularity properties
- Takayuki Kihara and Arno Pauly. Point degree spectra of represented
spaces
- Giorgio Laguzzi. Roslanowski and Spinas dichotomies
- Javier Legris. Existential Graphs as a Framework for Introducing
Logical Constants and Logical Systems
- Philipp Lücke. Infinite fields with free automorphism groups
- Roman Murawski. Philosophy of logic and mathematics in Warsaw School
(the case of Tarski and Mostowski)
- Hugo Nobrega. Obtaining Weihrauch-complete functions and relations
from sets of real numbers
- Edoardo Rivello. Revision without Choice
- Carsten Rösnick. On Type-2 Complexity of Some Operators in Geometry,
Topology and Analysis
- Sam Sanders. Computing with infinitesimals
- Ralf Schindler, Sandra Uhlenbrock and W. Hugh Woodin. Producing
Iterable Models with Woodin Cardinals from Optimal Determinacy
Hypotheses
- Peter Schuster and Davide Rinaldi. Eliminating Krull's Lemma
for Horn Clauses
- Johannes Stern. A New Norm for Truth and the Modal Logics of
Axiomatic Theories of Truth
- Elena Tatievskaya. Symbol and Rule: Cassirer?s treatment of Kant?s
Schematism
- Thilo Weinert. On Partitioning Linearly Ordered Quadruples in
Canonical Non-Choice-Contexts
- Gregory Wheeler. Beware of B
- Gunnar Wilken and Andreas Weiermann. Goodstein sequences for
prominent ordinals up to the ordinal of ?^1_1?CA_0
_________________________________________________________________________________
Description
_________________________________________________________________________________
The Colloquium Logicum is organized every two years by the DVMLG
("Deutsche Vereinigung für Mathematische Logik und für
Grundlagenforschung der Exakten Wissenschaften"), the German
association of logicians in mathematics, philosophy
and theoretical computer science.
In 2014 the conference will take place in Munich at the Universität
der Bundeswehr München, Neubiberg.
The conference will cover the whole range of mathematical logic
and the foundations of the exact sciences, in particular, logic
in philosophy, computer science and artificial intelligence.
Besides the regular scientific programme we include a PhD Colloquium with
invited
presentations of excellent recent PhD graduates.
Programme Committee
- Vasco Brattka, Munich, Germany and Cape Town, South Africa
- Anuj Dawar, Cambridge, UK
- Liesbeth De Mol, Gent, Belgium
- Rosalie Iemhoff, Utrecht, The Netherlands
- Hannes Leitgeb, Munich, Germany
- Benedikt Löwe, Hamburg, Germany and Amsterdam, The Netherlands (Chair)
- André Nies, Auckland, New Zealand
- Katrin Tent, Münster, Germany
The web page will be regularly updated:
http://cca-net.de/cl2014/
_________________________________________________________________________________