Special Sessions

  • ALGORITHMIC RANDOMNESS

    Chairs: Mathieu Hoyrup, André Nies

    Speakers:
    Johanna Franklin (University of Connecticut, USA), Characterizations of weak Demuth randomness Wed 3 – 9.45 @ U6-4
    Noam Greenberg (Victoria University, New Zealand), Computing K-trivial sets by incomplete random sets Wed 3 – 9.00 @ U6-4
    Joseph S. Miller (University of Wisconsin, USA), Truth-table reduction to the set of random strings Fri 5 – 9.00 @ U6-4
    Nikolay Vereshchagin (Moscow State University, Russia), On Algorithmic Strong Sufficient Statistics Fri 5 – 9.45 @ U6-4

  • COMPUTATIONAL COMPLEXITY IN THE CONTINUOUS WORLD

    Chairs: Akitoshi Kawamura, Robert Rettinger

    Speakers:
    Mark Braverman (Princeton University, USA), Noise vs computational intractability in dynamics Mon 1 – 14.00 @ U6-4
    Daniel S. Graça (Universidade do Algarve), Computability and computational complexity of the evolution of nonlinear dynamical systems Tue 2 – 9.00 @ U6-26
    Joris van der Hoeven (École polytechnique, France), On the practical complexity of computations with real numbers Tue 2 – 9.45 @ U6-26
    Chee K. Yap (New York University, USA), Analytic Root Clustering: A Complete Algorithm using Soft Zero Tests Mon 1 – 14.45 @ U6-4

  • COMPUTATIONAL MOLECULAR BIOLOGY

    Chairs: Alessandra Carbone, Jens Stoye

    Speakers:
    Sebastian Böcker (University of Jena, Germany), Cluster Editing Wed 3 – 9.00 @ U6-29
    Marília D. V. Braga (Inmetro, Brazil), An Overview of Genomic Distances Modeled with Indels Fri 5 – 9.00 @ U6-29
    Andrea Pagnani (Human Genetics Foundation, Italy), Exploiting co-evolution across protein families for predicting native contacts and protein-protein interaction surfaces Fri 5 – 9.45 @ U6-29
    Laxmi Parida (IBM Thomas J. Watson Research Center, USA), Using Random Graphs in Population Genomics Wed 3 – 9.45 @ U6-29

  • COMPUTATION IN NATURE

    Chairs: Mark Daley, Natasha Jonoska

    Speakers:
    Jérôme Durand-Lose (Univ. of Orleans, France), Irrationality is needed to compute with signal machines with only three speeds Fri 5 – 9.00 @ U6-26
    Giuditta Franco (Univ. of Verona Italy), An investigation on genomic repeats Thu 4 – 9.45 @ U6-4
    Lila Kari (Univ. of Western Ontario, Canada), Negative glues and non-determinism in DNA computations by self-assembly Fri 5 – 9.45 @ U6-26
    Darko Stefanovic (Univ. of New Mexico, USA), Computing Game Strategies Thu 4 – 9.00 @ U6-4

  • DATA STREAMS AND COMPRESSION

    Chairs: Paolo Ferragina, Andrew McGregor

    Speakers:
    Graham Cormode (AT&T Labs, USA), Summary Data Structures for Massive Data Tue 2 – 9.45 @ U6-29
    Irene Finocchi (University of Rome, Italy), Software Streams: Big Data Challenges in Dynamic Program Analysis Mon 1 – 14.00 @ U6-29
    Andrew McGregor (University of Massachusetts, USA), Towards a Theory of Homomorphic Compression Mon 1 – 14.45 @ U6-29
    Marinella Sciortino (University of Palermo, Italy), BWT: a mathematical tool for Data Compression Tue 2 – 9.00 @ U6-29

  • HISTORY OF COMPUTATION

    Chairs: Gerard Alberts, Liesbeth De Mol

    Speakers:
    David Alan Grier (George Washington University, USA), Tue 2 – 9.00 @ U6-4
    Thomas Haigh (University of Wisconsin, USA), ‘Stored Program Concept’ Considered Harmful: History and Historiography Mon 1 – 14.00 @ U6-26
    Ulf Hashagen (Deutsches Museum, Germany), The Computation of Nature, Or: Does the Computer Drive Science and Technology? Tue 2 – 9.45 @ U6-4
    Matti Tedre (Stockholm University, Sweden), Three Debates about Computing Mon 1 – 14.45 @ U6-26