Skip to main content
Home
Frontiers in Artificial Intelligence and Applications (FAIA)

Main menu

  • About
  • Editors
  • Conferences
  • Indexing
  • Proposals
  • Contact
  • Templates
  • Turing

You are here

Home

News

  • CCIA 2021
  • FSDM 2021
  • Handbook of Satisfiability
  • NIDS 2021
  • SoMeT 2021

Societies

  • EurAI
    • ECAI 2020 Proceedings
    • ECAI 2016 Proceedings
    • ECAI 2014 Proceedings
    • ECAI 2012 Proceedings
    • ECAI 2010 Proceedings
    • ECAI 2008 Proceedings
    • ECAI 2006 Proceedings
    • ECAI 2004 Proceedings
    • ECAI 2002 Proceedings
    • ECAI 2000 Proceedings
  • IAOA
    • FOIS 2010 Proceedings

Featured Volume

  • Handbook of Satisfiability

Touring Turing (OUSSA 2012)

July 14
Overview: Turing's life, connections and main achievements

July 15
Alan Turing and the Mathematics of the Unsolvable

July 16
The Chomsky Hierarchy
Turing Machines

July 17
Machine Intelligence

July 18
Does Gödel's Theorem Refute Weak AI?
A lecture by Andrew Hodges on Turing and Penrose

July 19
Cryptography

July 20
Turing and the Riemann Hypothesis