Invited Speakers
Incomplete list:
 | Shafi Goldwasser MIT, USA Distinguished opening lecture (TBA) |  | Mark Braverman Princeton University, USA Error-correction for interactive computation | ||
 | Volker Diekert Universität Stuttgart, Germany Finding All Solutions of Equations in Free Groups and Monoids with Involution |  | Martin Grohe RWTH Aachen, Germany Algorithmic Meta Theorems for Sparse Graph Classes | ||
 | Benjamin Rossman National Institute of Informatics, Tokio, Japan Formulas vs. Circuits |  | Alexei Semenov Moscow State University, Russia The Lattice of Definability. Origins, Recent Developments, and Further Direction | ||
 | Igor Walukiewicz Université Bordeaux-1, France Transfer theorems |