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 2022
  • CECNet 2022
  • COMMA 2022
  • DMI 2022
  • DSIE 2022
  • EJC 2022
  • FSDM 2022
  • HHAI 2022
  • JURIX 2022
  • MLIS 2022
  • MMBD 2022
  • PAIS 2022
  • Robophilosophy 2022

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