Automated Reasoning around the world and more

Conferences and Associations

Journals:

• Journal of Automated Reasoning (JAR)
• Journal of Symbolic Computation (JSC)
• ACM Transactions on Computational Logic (TOCL)
• Journal of Logic and Computation (JLC)
• Annals of Mathematics and Artificial Intelligence
• Information and Computation
• New Generation Computing
• Theoretical Computer Science
• Fundamenta Informaticae
• Journal of Logic and Algebraic Programming (formerly Journal of Logic Programming)
• Journal of Information Science and Engineering
• Journal of the ACM (JACM)
• Communications of the ACM
• Logical Methods in Computer Science
• Journal of Formalized Reasoning
• Artificial Intelligence
• AI Communications

Electronic Series:

• CEUR Workshop Proceedings (CEUR)
• Electronic Proceedings in Theoretical Computer Science (EPTCS)
• Electronic Notes in Theoretical Computer Science (ENTCS)

A few provers, libraries, places:

• E prover
• Prover9
• TPTP and SMT-LIB libraries of theorem-proving problems
• The Computer Science Laboratory and Artificial Intelligence Center at SRI International

Selected publishers:

• Springer
• The MIT Press
• Cambridge University Press
• Elsevier Science Direct
• Open Research Europe

Declarations:

• The San Francisco Declaration on Research Assessment (DORA)
• The Leiden Declaration on Artificial Intelligence and Mathematics

Databases, repositories and related tools:

• The Computing Research Repository (CoRR)
• HAL archives ouvertes (HAL)
• Netlib Repository at UTK/ORNL
• Google Scholar
• Scopus
• CiteseerX
• ZBmath
• The Digital Object Identifier System

Funding agencies:

• In the European Union:
  • European Research Council
  • Maria Sklodowska Actions
  • European Science Foundation: European COoperation in Science and Technology (COST)
  • Digital Agenda for Europe (DAE)
  • Programmi di ricerca di interesse nazionale del Ministero per l'Università e la Ricerca
  • Alexander Von Humboldt Stiftung
• In the USA:
  • U.S. National Science Foundation

Sites for job searches:

• European Researcher's Mobility Portal (EURAXESS)
• University Positions
• Academic Keys

Sites of interest for research, teaching, computing:

• In the European Union:
  • In Italy:
    • GRIN (Informatica Italiana)
    • Università Italiane: Personale Docente
  • The CAIRNEConfederation of Laboratories for Artificial Intelligence Research in Europe
  • Informatics Europe
  • European University Association
  • EU Bookshop
  • Fondation Robert Schuman
• In the USA:
  • Computing Research Association (CRA)
  • Association for Computing Machinery (ACM)
  • The National Academies and The National Academies Press (NAP)
  • US National Institute for Standards and Technologies (NIST)

Sites of general interest for environmental or gender issues (yes, they are related):

• In the European Union:
  • In Italy:
    • WWF Italia
    • Fondo per l'Ambiente Italiano (FAI)
    • LAV
  • Gender Gap in Science Project
• In the USA:
  • The Sierra Club
  • 500 Women Scientists

Maria Paola Bonacina