Thursday, 13 September 2012


9:3010:30  Registration & Guided tour of the museum HNF

11:0011:30  Opening

11:3012:30  Invited Talk 1:
Jean Paul Van
Bendeghem (Brussels):
Mathematics without proofs

14:0015:00  Invited Talk 2:
Helena Durnová (Brno):
Search for the language for algorithms

15:1515:45  PhD Colloquium Talk 1:
Oliver Friedmann (Tel
Aviv): Exponential Lower Bounds for Solving
Infinitary Payoff Games and Linear Programs

15:4516:15  PhD Colloquium Talk 2:
Peter Holy (Bristol):
Llike models with large cardinals and a quasi lower bound on
the
consistency strenth of PFA

16:1516:45  PhD Colloquium Talk 3:
Alexander
Kreuzer (Darmstadt):
Nonprincipal ultrafilters, program extraction and higher order reverse
mathematics

17:0018:00  Invited Talk 3:
Liesbeth
De Mol (Gent): "Et
tu,
Brute!" The correspondence between Alonzo Church and Emil Post

18:1518:45  Special Presentation: 50 Jahre DVMLG

18:4520:15  Mitgliederversammlung DVMLG

Friday, 14 September 2012


9:3010:30  Invited Talk 4:
Salma Kuhlmann
(Konstanz): Fields
of generalized power series


10:4512:45 
Contributed Talks.  Computability & Models.
 Philosophy.


10:4511:05
 Vasco Brattka. On the computational content
of the Baire Category Theorem.
 Elena Ficara. What Kind of Logic is Hegel's Logic?


11:0511: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:2511: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:4512: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:0512:25
 Arno Pauly and Martin Ziegler. Relative Computability
and Uniform Continuity of Relations.
 Maja Schepelmann. Kant's principle of identity.


12:2512:45
 Denis I. Saveliev. On Zariski topologies of Abelian groups with operations.
 Elena Tatievskaya. Frege's Context Principle and Analysis.




14:0015:00  Invited Talk 5:
Thomas Müller (Utrecht):
Logic in philosophy: The case of
determinism


15:1515:45  PhD Colloquium Talk 4:
Philipp
Lücke (Bonn): How tall is the automorphism tower of a
centerless group?


15:4516:15  PhD Colloquium Talk 5:
Arno Pauly (Cambridge):
Comparing the computational content of mathematical
theorems


16:3017:30  Invited Talk 6:
Andy Lewis (Leeds): The typical Turing
degree


17:4518:45  Special Lecture:
Rainer Glaschick (Paderborn): Materialization of Universal Turing
Machines


18:4519:45  Buffet Dinner at HNF


20:0022:00
 Breaking
the Code by Hugh Whitemore (University Players Hamburg)


Saturday, 15 September 2012


9:3010:30  Invited Talk 7:
Mirna Džamonja (Norwich): Forcing
Axioms


10:3011:20
 Coffee break with presentation of the Hasenjäger machine by
Rainer Glaschick


11:2012:20

Contributed Talks.  Proofs & Sets.
 History.


11:2011:40
 Takanori Hida. A Computational Interpretation of the Axiom of Determinacy in
Arithmetic.
 AnnaSophie Heinemann. Mechanization of reasoning and algorithmic thinking: trends
in 19th Century Algebra of Logic.


11:4012:00
 Anthony Gasperin. Admissible Sets Above Automatic Structures.
 Edgar Daylight. Towards an Historical
Notion of "Turing  the Father of Computer Science".


12:0012: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.




14:0014:40

Contributed Talks.  Proofs.
 Language.


14:0014:20
 Justus Diller. Axiomatizations of functional interpretations.
 Bernhard Fisseni. Developing A Formal Framework for 'Natural' Story
Similarity.


14:2014:40
 Jaime Gaspar. Krivine's classical
realisability and the unprovability of the axiom of choice and the continuum hypothesis.
 Marcus Kracht. Asymmetric
Consequence.




15:0016:00  Invited Talk 8:
Michael
Rathjen (Leeds): Comparing theories


16:0016:10  Closing


16:3017:30  Guided Tour of the museum HNF

