Conference Schedule
| Friday 2 Nov |
|
| Registration (All Africa House) |
|
| Saturday 3 Nov |
|
| Registration (Conference Venue) |
|
| Opening |
|
| Thomas A. Henzinger (Invited Speaker) Three Sources of Infinity in Computation: Nontermination, Real Time, and Probabilistic Choice |
|
| Coffee Break |
|
| Michael Ummels The Complexity of Finding Nash Equilibria in Infinite Multiplayer Games |
|
| Jacques Duparc and Alessandro Facchini Complexity of Delta^1_2 Sets and mu-Calculus: when Infinite Games make Modal Logic and Descriptive Set Theory Meet |
|
| Douadi Mihoubi On the Sets of Infinite Words Recognized by Deterministic one Turn Pushdown Automata |
|
| Valentin Goranko and Wilmari Bekker Infinite-State Verification of the Basic Tense Logic on Rational Kripke Models |
|
| Govert van Drimmelen Tableaux and Automata for Parikh's Game Logic |
|
| Lunch Break |
|
| Erich Grädel (Invited Speaker) Banach-Mazur Games on Graphs |
|
| Coffee Break |
|
| Barnaby Dawson Generalising Ordinal Time Turing Computation |
|
| Mark Hogarth Non-Turing Computers are the New Non-Euclidean Geometries |
|
| Feng Liu, Zhoujun Li and Ti Zhou Boundary on Agent Number Needed in Security Protocol Analysis Based on Horn Logic |
|
| End of the Day |
|
| Sunday 4 Nov |
|
| Peter Hertling (Invited Speaker) Topological Complexity and Degrees of Discontinuity |
|
| Coffee Break |
|
| Timothy McNicholl Computational Issues in the Theory of Bounded Analytic Functions |
|
| Klaus Weihrauch Computable Elementary Topology |
|
| Vasco Brattka and Mashudu Makananise Limit Computable Functions and Subsets on Metric Spaces |
|
| Eyvind Martol Briseid Effective Rates of Convergence for Picard Iteration Sequences |
|
| Philipp Gerhardy Proof mining in Ergodic Theory and Topological Dynamics |
|
| Lunch Break |
|
| Willem L. Fouché (Invited Speaker) Ramsey Theory and the Symmetries of Countably Categorical Structure |
|
| Coffee Break |
|
| Joseph S. Miller (Invited Speaker) Extracting Information is Hard |
|
| Excursion |
|
| Conference Dinner |
|
| End of the Day |
|
| Monday 5 Nov |
|
| Helmut Prodinger (Invited Speaker) Infinity in Combinatorics: Asymptotic Enumeration |
|
| Coffee Break |
|
| Margaret Archibald and Arnold Knopfmacher The Average Position of the First Maximum in a Sample of Geometric Random Variables |
|
| George Davie Complexity Withholding Strings |
|
| Petrus H. Potgieter and Elemér E. Rosinger Three Perspectives on Right-Sizing the Infinite |
|
| Willem L. Fouché Fractal Geometry of an Algorithmically Random Brownian Motion |
|
| Lunch Break |
|
| Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi and Hideki Tsuiki Fractals Defined by Infinite Contractions and Mutual-Recursive Sets |
|
| Hideki Tsuiki and Shuji Yamada On Finite-time Computable Functions |
|
| Boris Melnikov and Elena Melnikova Some More on the Billiard Languages and Corresponding Forbidden Languages |
|
| Alain Finkel, Étienne Lozes and Arnaud Sangnier Towards Model-Checking Pointer Systems |
|
| Adrian R. D. Mathias Easy Games with Hard Strategies |
|
| Coffee Break |
|
| Joel David Hamkins (Invited Speaker) New Developments in Infinite Time Turing Machines |
|
| Closing |
This schedule might be subject to changes!
Summer School Schedule
| Tuesday 6 Nov |
|
| Valentin Goranko Finitely Presentable Infinite Structures 1 |
|
| Coffee Break |
|
| Joel David Hamkins Infinite Time Computation 1 |
|
| Joel David Hamkins Infinite Time Computation 2 |
|
| Lunch Break |
|
| Joel David Hamkins Infinite Time Computation 3 |
|
| Coffee Break |
|
| Benedikt Löwe Determinacy Axioms and their Logical Strength 1 |
|
| Benedikt Löwe Determinacy Axioms and their Logical Strength 2 |
|
| End of the Day |
|
| Wednesday 7 Nov |
|
| Benedikt Löwe Determinacy Axioms and their Logical Strength 3 |
|
| Coffee Break |
|
| Erich Grädel Strategies and Algorithms for Infinite Games 1 |
|
| Erich Grädel Strategies and Algorithms for Infinite Games 2 |
|
| Lunch Break |
|
| Erich Grädel Strategies and Algorithms for Infinite Games 3 |
|
| Coffee Break |
|
| Valentin Goranko Finitely Presentable Infinite Structures 2 |
|
| Valentin Goranko Finitely Presentable Infinite Structures 3 |
|
| End of the Day |
|
| Thursday 8 Nov |
|
| Willem L. Fouché The Logic of the Smooth Topos 1 |
|
| Coffee Break |
|
| Willem L. Fouché The Logic of the Smooth Topos 2 |
|
| Joseph S. Miller Effective Randomness 1 |
|
| Lunch Break |
|
| Joseph S. Miller Effective Randomness 2 |
|
| Coffee Break |
|
| Valentin Goranko Finitely Presentable Infinite Structures 4 |
|
| Vasco Brattka Computability on the Reals 1 |
|
| End of the Day |
|
| Friday 9 Nov |
|
| Willem L. Fouché The Logic of the Smooth Topos 3 |
|
| Coffee Break |
|
| Willem L. Fouché The Logic of the Smooth Topos 4 |
|
| Joseph S. Miller Effective Randomness 3 |
|
| Lunch Break |
|
| Joseph S. Miller Effective Randomness 4 |
|
| Coffee Break |
|
| Vasco Brattka Computability on the Reals 2 |
|
| Vasco Brattka Computability on the Reals 3 |
|
| End of the Day |
This schedule might be subject to changes!
|
Invited Speakers
|
|
Programme Committee
|
|
Organisers
|
|
Conference Venue
|
|
Contact
Laboratory of Foundational Aspects of Computer Science |
|
