Special Sessions

• Computability in Analysis, Algebra, and Geometry (Organizers: Alexandra Shlapentokh, Dieter Spreen)
  • Ulrich Berger (University of Swansea)
          Program extraction in computable analysis Abstract Slides
  • Vasco Brattka (University of Cape Town)
          Computer Analysis in the Weihrauch Lattice Abstract Slides
  • Valentina Harizanov (George Washington University)
          Orders on Structures and Stucture of Orders Abstract Slides
  • Russel Miller (City University of New York)
          Adapting Rabin's Theorem for Differential Fields Abstract Slides

• Classical Computability Theory (Organizers: Doug Cenzer, Bjørn Kjos-Hanssen)
  • Mingzhong Cai (Cornell)
          Minimality and Jump Classes Abstract Slides
  • Rachel Epstein (Harvard)
          Jump classes and automorphisms of the c.e. sets Abstract Slides
  • Charles Harris (University of Leeds)
          Goodness and Jump Inversion in the Enumeration Degrees Abstract Slides
  • Guohua Wu (NTU, Singapore)
          Cupping and Diamond Embeddings: A Unifying Approach Abstract Slides
     
• Natural Computing (Organizers: Erzsébet Csuhaj-Varjú, Ion Petre)
  • Natalio Krasnogor  (The University of Nottingham)
          Steps Towards a Unified Model Prototyping Strategy for multi-(proto)cellular computing Abstract Slides
  • Martin Kutrib  (University of Giessen)
          Nature-Based Problems in Cellular Automata Abstract Slides
  • Victor Mitrana (University of Bucharest)
          Splicing Systems: Accepting versus Generating Abstract Slides
  • Agustín Riscos-Núnez (University of Seville)
          Current developments on computational modeling using P systems Abstract Slides
     
• Relations between the physical world and formal models of computability (Organizers: Viv Kendon, Sonja Smets)
  • Pablo Arrighi (University of Grenoble)
          From causality to computability: a quantum version of Gandy's theorem Abstract Slides
  • Časlav Brukner (University of Vienna)
          Quantum Correlations with No Causal Order Abstract Slides
  • Joe Fitzsimons (University of Singapore)
          Proving the results of quantum computations Abstract
  • Prakash Panangaden (McGill University)
          Quantum Information Channels in Curved Spacetime Abstract Slides
     
• Theory of transfinite computations (Organizers: Peter Koepke, C.T. Chong)
  • Merlin Carl  (University of Bonn)
          Computational approach to an alternative 'working environment' for the constructible universe Abstract Slides
  • Sy D. Friedman (University of Vienna)
          Polynomial-time Set Recursion Abstract Slides
  • Philipp Schlicht (University of Bonn)
          Automata on ordinals and linear orders Abstract Slides
  • Philip Welch (University of Bristol)
          A Generalised Dynamical System, Infinite Time Register Machines and Pi^1_1-Comprehension Abstract Slides

• Computational Linguistics (Organizers: Tejaswini Deoskar, Tinko Tinchev)
  • Klaus U. Schulz (University of Munich) & Stoyan Mihov (Bulgarian Academy of Sciences)
          Computation of Similarity - Similarity Search as Computation Abstract Slides
  • Ian Pratt-Hartmann (University of Manchester)
          A Complexity-Theoretic Study of some Fragments of English Abstract Slides
  • Robin Cooper (University of Gothenburg)
          Generalized quantifiers, situation types and clarification in dialogue Abstract

On the Schedule page you can find the schedule for the special sessions.