Programme

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

 

Laura Crosilla

University of Oslo, Norway

Cantor’s paradise and the forbidden fruit

 

 

Markus Lohrey

Universität Siegen. Germany

Compression techniques in group theory

 

 

 

 

 

Joël Ouaknine

Max Planck Institute for software systems, Germany
Holonomic Techniques, Periods, and Decision Problems

Christine Tasson

tutorial speaker

Université Paris Sorbonne, France

Probabilistic Programming and Computation

 

 

 

 

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 KolodziejczykUniversity 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)

David Perez-Garcia (Universidad Complutense de Madrid)

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