 |
ICALP Tutorial Speaker
Piotr Indyk (MIT, USA)
Title: Fast Algorithms for Structured Sparsity |
 |
ICALP Keynote Speaker
Ken-ichi Kawarabayashi (NII, Japan)
Title: Digraphs Structures: Minors and Algorithms |
 |
LICS Keynote Speaker
Daniel Kifer (Pennsylvania State University, USA)
Title: Privacy and the Price of Data |
 |
ICALP Keynote Speaker
Valerie King (University of Victoria, Canada)
Title: Dynamic Graphs: Time, Space, and Communication |
 |
ICALP Keynote Speaker
Thomas Moscibroda (Microsoft Research and Tsinghua University, China)
Title: Incentive Networks |
 |
ICALP and LICS Joint Keynote Speaker
Anca Muscholl (Université Bordeaux, France)
Title: Automated Synthesis of Distributed Controllers |
 |
ICALP and LICS Joint Keynote Speaker
Peter O'Hearn (Facebook and University College London, UK)
Title: From Categorical Logic to Facebook Engineering |
 |
LICS Keynote Speaker
Luke Ong (University of Oxford, UK)
Title: Higher-Order Model Checking: An Overview |
 |
ICALP and LICS Joint Tutorial Speaker
Andrew Pitts (University of Cambridge, UK)
Title: Names and Symmetry in Computer Science |
 |
ICALP and LICS Joint Tutorial Speaker
Geoffrey Smith (Florida International University, USA)
Title: Recent Developments in Quantitative Information Flow |
 |
ICALP Masterclass Tutor
Ryuhei Uehara (JAIST, Japan)
Title: Algorithms and Complexity for Japanese Puzzles |
 |
TCS 40th Anniversary Celebration Speaker
Christos H. Papadimitriou (UC Berkeley, USA)
Title: |