The full programme for CiE2021 will be announced in due course. Below you already find info on the invited speakers and special sessions.
Wolfgang Mulzer Free University Berlin
The many computational models of computational geometry.
Tillmann Miltzow Utrecht University
Recent trends in geometric computation models and its relation to the existential theory of the reals.
Esther Ezra Bar-Ilan University
On 3SUM-hard problems in the Decision Tree Model.
Karl Bringmann Saarland University
Conditional lower bounds for geometric problems.
Classical Computability theory: Open problems and solutions
Marat Faizrakhmanov, Kazan Federal University
Title: Limitwise Monotonic Spectra and Their Generalizations
Andrea Sorbi University of Siena
Title: Effective inseparability and its applications
Liang Yu Nanjing University
Title: Computability of limit sets for two-dimensional flows
Ning Zhong University of Cincinnati
Proof theory and computation
Lorenzo Carlucci, University of Rome I “La Sapienza”
Francesca Poggiolesi, CNRS, Université Paris 1 Panthéon-Sorbonne
Title: Defining Formal Explanation in Classical Logic by Substructural Derivability
Yue Yang, National university of Singapore
Quantum computation and information
Church’s thesis in constructive mathematics (HaPoC session)
The HaPoC special session will this year be part of a satellite workshop with the same topic. Other speakers invited to this workshop are: Benno van den Berg, Takako Nemoto, Douglas Bridges and Johanna Franklin.
Mate Szabo, University of Oxford
Title: Péter on Church’s Thesis, Constructivity and Computer Science
Liron Cohen, Ben-Gurion University
Title: Formally Computing with the Non-Computable
Angeliki Koutsoukou-Argyraki, University of Cambridge
Title: On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
David Turner, University of Kent
Title: Constructive mathematics, Church’s Thesis, and free choice sequences.
Francesca Ciccarelli, King’s College London, UK.
Title: Gene deregulations driving cancer at single patient resolution
Benedict Paten, University of California Santa Cruz, USA.
Title: Walk-preserving transformation of overlapped sequence graphs into blunt sequence graphs with GetBlunted
Title: A tale of optimizing the space taken by de Bruijn graphs