The general schedule for CiE2021 can be found here: GeneralSchedule.

The schedule at a glance is available here: Schedule.

The detailed schedule for contributed talks is here, and the schedule for special sessions and the HaPoC satellite workshop is here: SpecialSessions.

## Invited speakers

Max Planck Institute for software systems, Germany

Holonomic Techniques, Periods, and Decision Problems

tutorial speaker

Université Paris Sorbonne, France

Japan Advanced Institute of Science and Technology, Japan

Reverse mathematics and proof and model theory of arithmetic

## Special sessions

### Computational geometry

*Organizors:* Maike Buchin (Ruhr-Universität Bochum, Germany) and Maarten Löffler (Utrecht University, Netherlands)

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

Organizors: Noam Greenberg (Victoria University of Wellington, New Zealand) and Steffen Lempp (University of Wisconsin)

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

Organizors:** David Fernández Duque** (Ghent University, Belgium) and** Juan Pablo Aguilera** (Ghent University, Belgium)

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*

Leszek Kolodziejczyk, University of Warsaw

Title.: *Reverse mathematics of combinatorial principles over a weak base theory*

### Quantum computation and information

Organizors:** Harry Buhrman **(Universiteit van Amsterdam, Netherlands) and** Frank Verstraete **(Ghent University, Belgium)

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)

Title: TBA

Jens Eisert (Freie Universität Berlin)

Title: *Undecidability in Quantum Physics*

### Church’s thesis in constructive mathematics (HaPoC session)

Organizors: **Marianna Antonutti-Marfori** (Ludwig-Maximilians-Universität München, Germany) and **Alberto Naibo** (Université Paris 1 Panthéon-Sorbonne)

*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.*

### Computational Pangenomics

Organizors: **Nadia Pisanti** (University of Pisa, Italy) and** Solon Pissis **(CWI and Vrije Universiteit, Netherlands)

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*

Brona Brejova, Comenius University in Bratislava, Slovakia.

*Probabilistic models for k-mer frequencies
*

Rayan Chikhi, Pasteur Institute, France.

Title: *A tale of optimizing the space taken by de Bruijn graphs*