The general schedule for CiE2021 can be found here: GeneralSchedule.
The schedule at a glance is available here: Schedule.
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: Generalized Computable Numberings and Degree Spectra of Countable Families
Andrea Sorbi University of Siena
Title: Effective inseparability and its applications
Liang Yu Nanjing University
Title: TD implies CCR
Ning Zhong University of Cincinnati
Title: Computability of limit sets for two-dimensional flows
Proof theory and computation
Lorenzo Carlucci, University of Rome I “La Sapienza”
Title: Restrictions of Hindman’s Theorem: an overview with questions
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
Title: Some results on Ramsey’s theorems for trees
Quantum computation and information
Title: Uncomputability in quantum many body problems
David Gross (University of Cologne)
Title: The axiomatic and the operational approaches to resource theories of
magic do not coincide
Yfke Dulek (QuSoft and CWI)
Jens Eisert (Freie Universität Berlin)
Title: Undecidability in Quantum Physics
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, Hannes Diener, 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