Colloquium Logicum 2012
Heinz Nixdorf MuseumsForum
Paderborn (Germany): 13-15 September 2012
Programme Committee
Paper Submission
PhD Colloquium
Local Information
Alan Turing Year 2012
Thursday, 13 September 2012
9:30-10:30 Registration & Guided tour of the museum HNF
11:00-11:30 Opening
11:30-12:30 Invited Talk 1:
Jean Paul Van Bendeghem (Brussels): Mathematics without proofs
14:00-15:00 Invited Talk 2:
Helena Durnová (Brno): Search for the language for algorithms
15:15-15:45 PhD Colloquium Talk 1:
Oliver Friedmann (Tel Aviv): Exponential Lower Bounds for Solving Infinitary Payoff Games and Linear Programs
15:45-16:15 PhD Colloquium Talk 2:
Peter Holy (Bristol): L-like models with large cardinals and a quasi lower bound on the consistency strenth of PFA
16:15-16:45 PhD Colloquium Talk 3:
Alexander Kreuzer (Darmstadt): Non-principal ultrafilters, program extraction and higher order reverse mathematics
17:00-18:00 Invited Talk 3:
Liesbeth De Mol (Gent): "Et tu, Brute!" The correspondence between Alonzo Church and Emil Post
18:15-18:45 Special Presentation: 50 Jahre DVMLG
18:45-20:15 Mitgliederversammlung DVMLG
Friday, 14 September 2012
9:30-10:30 Invited Talk 4:
Salma Kuhlmann (Konstanz): Fields of generalized power series
Contributed Talks. Computability & Models. Philosophy.
10:45-11:05 Vasco Brattka. On the computational content of the Baire Category Theorem. Elena Ficara. What Kind of Logic is Hegel's Logic?
11:05-11:25 Merlin Carl, Paola D'Aquino and Salma Kuhlmann. Real Closed Exponential Fields and Models of Peano Arithmetic. Naveen Sundar Govindarajulu and Selmer Bringsjord. Proving Theorems using Uncomputable Games: Examples from Physics.
11:25-11:45 Katharina Dupont. Definable Valuations and Dependent Fields. Ralf Krömer. ``Psychological priority'' vs. effects of training. The foundational debate on Category theory revisited.
11:45-12:05 Joel Hamkins and Zhenhao Li. Computable functionals on the countable ordinals. Giuseppe Primiero. Matching, Accessibility, Use: on limitations of computing in a distributed setting.
12:05-12:25 Arno Pauly and Martin Ziegler. Relative Computability and Uniform Continuity of Relations. Maja Schepelmann. Kant's principle of identity.
12:25-12:45 Denis I. Saveliev. On Zariski topologies of Abelian groups with operations. Elena Tatievskaya. Frege's Context Principle and Analysis.
14:00-15:00 Invited Talk 5:
Thomas Müller (Utrecht): Logic in philosophy: The case of determinism
15:15-15:45 PhD Colloquium Talk 4:
Philipp Lücke (Bonn): How tall is the automorphism tower of a centerless group?
15:45-16:15 PhD Colloquium Talk 5:
Arno Pauly (Cambridge): Comparing the computational content of mathematical theorems
16:30-17:30 Invited Talk 6:
Andy Lewis (Leeds): The typical Turing degree
17:45-18:45 Special Lecture:
Rainer Glaschick (Paderborn): Materialization of Universal Turing Machines
18:45-19:45 Buffet Dinner at HNF
20:00-22:00 Breaking the Code by Hugh Whitemore (University Players Hamburg)
Saturday, 15 September 2012
9:30-10:30 Invited Talk 7:
Mirna Džamonja (Norwich): Forcing Axioms
10:30-11:20 Coffee break with presentation of the Hasenjäger machine by Rainer Glaschick
Contributed Talks. Proofs & Sets. History.
11:20-11:40 Takanori Hida. A Computational Interpretation of the Axiom of Determinacy in Arithmetic. Anna-Sophie Heinemann. Mechanization of reasoning and algorithmic thinking: trends in 19th Century Algebra of Logic.
11:40-12:00 Anthony Gasperin. Admissible Sets Above Automatic Structures. Edgar Daylight. Towards an Historical Notion of "Turing --- the Father of Computer Science".
12:00-12:20 Benno van den Berg, Eyvind Briseid and Pavol Safarik. A functional interpretation for nonstandard arithmetic. Javier Legris. On C. S. Peirce's Definitive Idea of Mathematical Logic.
Contributed Talks. Proofs. Language.
14:00-14:20 Justus Diller. Axiomatizations of functional interpretations. Bernhard Fisseni. Developing A Formal Framework for 'Natural' Story Similarity.
14:20-14:40 Jaime Gaspar. Krivine's classical realisability and the unprovability of the axiom of choice and the continuum hypothesis. Marcus Kracht. Asymmetric Consequence.
15:00-16:00 Invited Talk 8:
Michael Rathjen (Leeds): Comparing theories
16:00-16:10 Closing
16:30-17:30 Guided Tour of the museum HNF