Special Sessions

1) Algorithmic randomness and Kolmogorov complexity

 

Organizers: Rupert Hölzl abd Denis Hirschfeldt

 

Speakers: Alexander Shen

Satyadev Nandakumar 

Jun Le Goh

Jacob Fiedler

 

2) Computable aspects of symbolic dynamics and tilings

 

Organizers: Benjamin Hellouin and Ilkka Torma

 

Speakers:  Martin Kutrib 

Marcus Lohrey 

Etienne Moutot

Matthieu Rosenfeld

 

3) Computing Knowledge: Computational Aspects of Epistemic Logics (HaPoC)

 

Organizers: Ekaterina Kubyshkina  and Marianna Girlando

 

Speakers: Alexandru Baltag & Sonja Smets

Nina Gierasimczuk

Roman Kuznets

Giuseppe Primiero  

 

4) Computational Methods in Evolutionary Biology (BiC)

 

Organizers: Jasmijn Baaijens and Gianluca Della Vedova

 

Speakers: Simone Ciccolella 

Mareike Fischer 

Hilje Doekes 

David Moi 

 

5) Quantum Computation

 

Organizers:  Delaram Kahrobaei and Mehrnoosh Sadrzadeh

 

Speakers: Sonja Smets

Ludovic Perret

Stefano Pirandola 

Chris Heunen 

 

6) Computable Structure Theory

 

Organizers: Stefan Vatev and Ekaterina Fokina

 

Speakers: Karen Lange

Dino Rossegger

David Gonzalez

Pavel Alaev