Computability in Europe 2017

Search
Skip to content
  • Home
  • Speakers
  • Special Sessions
  • Contributed talks
  • Schedule
  • Abstracts
    • Tutorials and invited talks
      • Dan Gusfield
      • Denis Hirschfeldt
      • Scott Aaronson
      • Karen Lange
      • Ludovic Patey
      • Nicole Schweikardt
      • Alexander Shen
      • Moshe Vardi
    • Special sessions
      • Algorithmics for biology
      • Combinatorics and algorithmics on words
      • Computability in analysis, algebra, and geometry
      • Cryptography and information theory
      • Formal languages and automata theory
      • History and philosophy of computing
    • Contributed Papers
  • Registration
  • Travel and accommodation
  • Venue
  • Travel grants
  • CiE Women in Computability Program
  • Program Committee
  • Past Editions

Past Editions

  1. CiE 2005: New Computational Paradigms: Amsterdam, Netherlands
  2. CiE 2006: Logical Approaches to Computational Barriers: Swansea, UK
  3. CiE 2007: Computation and Logic in the Real World: Sienna, Italy
  4. CiE 2008: Logic and Theory of Algorithms: Athens, Greece
  5. CiE 2009: Mathematical Theory and Computational Practice: Heidelberg, Germany
  6. CiE 2010: Programs, Proofs, Processes: Ponta Delgada (Azores), Portugal
  7. CiE 2011: Models of Computation in Context: Sofia, Bulgaria
  8. CiE 2012 – Turing Centenary Conference: How the World Computes: Cambridge, UK
  9. CiE 2013: The Nature of Computation – Logic, Algorithms, Application : Milan, Italy
  10. CiE 2014: Language, Life, Limits: Budapest, Hungary
  11. CiE 2015: Evolving Computability: Bucharest, Romania
  12. CiE 2016: Pursuit of the Universal: Paris, France

Unveiling Dynamics and Complexity

  • Home
  • Speakers
  • Special Sessions
  • Contributed talks
  • Schedule
  • Abstracts
    • Tutorials and invited talks
      • Dan Gusfield
      • Denis Hirschfeldt
      • Scott Aaronson
      • Karen Lange
      • Ludovic Patey
      • Nicole Schweikardt
      • Alexander Shen
      • Moshe Vardi
    • Special sessions
      • Algorithmics for biology
      • Combinatorics and algorithmics on words
      • Computability in analysis, algebra, and geometry
      • Cryptography and information theory
      • Formal languages and automata theory
      • History and philosophy of computing
    • Contributed Papers
  • Registration
  • Travel and accommodation
  • Venue
  • Travel grants
  • CiE Women in Computability Program
  • Program Committee
  • Past Editions

Important dates

Deadline for article submission: CLOSED

Deadline for informal presentation submissions: CLOSED

Registration: OPEN

Conference: June12-16

Contact

cie2017@utu.fi

University of Turku

Åbo Akademi University

Federation of Finnish Learned Societies

Finnish Academy of Science and Letters

Springer LNCS

Turku Centre for Computer Science

Turku University Foundation

Åbo Akademi University Foundation

European Association for Theoretical Computer Science

Association for Symbolic Logic

Academy of Finland

City of Turku

Proudly powered by WordPress