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
|
---|
10:45-12:45 |
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 Damonja (Norwich): Forcing
Axioms
|
---|
10:30-11:20
| Coffee break with presentation of the Hasenjäger machine by
Rainer Glaschick
|
---|
11:20-12:20
|
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.
|
---|
|
---|
14:00-14:40
|
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
|
---|