Invited Speakers

Tutorials:  

• Jack  Lutz (Iowa State University)
         Effective Fractal Dimensions Abstract Slides Slides Slides
• Geoffrey Pullum (University of Edinburgh)
          Linguistics for Computability Theorists: Three Tutorial Lectures Abstract Slides

Plenary talks:

• Christel Baier (TU Dresden)
        Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata Abstract Slides
• Michiel van Lambalgen (University of Amsterdam)
        Logic in a neuroscience lab Abstract Slides
• Florian Markowetz (Cambridge Research Institute)
        Integrative analysis of breast cancer: Dissecting heterogeneity in samples and signals Abstract Slides
• Antonio Montalban (University of Chicago)
        The Jump of a Structure Abstract Slides
• Alexandra Shlapentokh (East Carolina University)
        Undecidability and Definitions of Integers and Itegral Functios Abstract Slides
• Theodore Slaman (UC Berkeley)
        The First-order Fragments of Second-order Theories Abstract Slides
• Alasdair Urquhart (University of Toronto)
        Goedel, von Neumann and the origins of theoretical computer science Abstract Slides