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

  • ArtInHCI 2023
  • CAIBDA 2023
  • CCIA 2023
  • CECNet 2023
  • DMI 2023
  • DSIE 2023
  • EJC 2023
  • FOIS 2023
  • FSDM 2023
  • HHAI 2023
  • ICAITA 2023
  • JURIX 2023
  • MLIS 2023
  • MMBD 2023
  • SoMeT 2023

Societies

  • EurAI - ECAI Proceedings
    • ECAI 2023 Proceedings
    • 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

Computability and Logic

• S Barry Cooper: How does the World compute?

• Zoé Christoff: Uncomputability and logic

• Alessandro Facchini: TBD