The objective of the programme Mathematical, Foundational and Computational Aspects of the Higher Infinite is to stimulate the exchange of ideas among researchers pursuing different approaches to infinity: mathematical, foundational, and computational.
Traditional set theory has been rather inwards-looking for many decades, dealing with the difficult and rewarding technical problems that the field provided. This has changed in the last decade, and set theorists have been eager to see the connections between their work and what is done in other fields of mathematics as well as outside of mathematics. Examples are the study of infinite games in the social sciences and theoretical computer science, the use of strong logics in data base theory, and the use of ideas from infinite combinatorial set theory in the design and analysis of efficient computer algorithms.
Our final workshop will highlight this network of applications of the higher infinite in mathematics and beyond.
As part of this meeting, we are also celebrating the 50th birthday of one of the three programme organisers, Mirna Dzamonja. During one afternoon of the workshop (organised together with Jouko Väänänen), we shall have a number of talks concerned with her work.
Dana Bartošova (São Paulo)
Nathan Bowler (Hamburg)
Andrew Brooke-Taylor (Bristol)
Catrin Campbell-Moore (Cambridge)
Merlin Carl (Konstanz)
Johannes Carmesin (Cambridge)
Olivier Finkel (Paris)
Martin Hyland (Cambridge)
Imre Leader (Cambridge)
Jordi López-Abad (Madrid)
Bob Lubarsky (Boca Raton FL)
Andrew Marks (Pasadena CA)
Benjamin Miller (Vienna)
Michael Rathjen (Leeds)
Jiří Rosický (Brno)
Philippe Schnoebelen (Cachan)
Dzamonja afternoon speakers:
Deadline for applications: 6th November 2015
- Registration Package: £95
- Student Registration Package: £50
The Registration Package includes admission to all seminar, refreshments on the days that lectures take place (Monday - Friday) and wine reception but does not include meals or accommodation.
Registration and Accommodation
- Accommodation Package: £372
The Accommodation Package includes a registration fee, bed and breakfast accommodation from the evening of Sunday 13 December 2015 to breakfast on Saturday 19 December 2015, together with refreshments during the days that lectures take place (Monday - Friday). Accommodation is in single study bedrooms with shared facilities.
Formal Dinner Only
- Formal Dinner: £50
Organisers and invited speakers are automatically included in this event. For all remaining participants who would like to attend, such as Visiting Fellows, programme participants, workshop participants or their guests, the above charge will apply.
Accommodation will be in standard rooms at Robinson College.
There will be no dinners or lunches included in the accommodation package cost or in the registration fee package.
The Formal Dinner will take place on Thursday 17 December at Corpus Christi. Organisers and invited speakers are automatically included in this event. For all remaining participants who would like to attend, such as Visiting Fellows, programme participants, workshop participants or their guests, the above charge will apply.