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:

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

Selected provers, libraries, places, miscellaneous resources:

• E prover
• Prover9
• TPTP and SMT-LIB libraries of theorem-proving problems
• The Computer Science Laboratory and Artificial Intelligence Center at SRI International
• The CLAIRE confederation
• The EasyChair, START, and Microsoft CMT conference systems.

Selected publishers:

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

Databases, repositories and related tools:

• The Computing Research Repository (CoRR)
• HAL archives ouvertes (HAL)
• Netlib Repository at UTK/ORNL
• Google Scholar and Harzing's "Publish or Perish" page that computes citation indices (e.g., h-number) based on Google Scholar
• Scopus
• MathSciNet
• 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 general interest for research, teaching, computing:

• In the European Union:
  • In Italy:
    • GRIN (Informatica Italiana)
    • Ricerca Italiana
    • Università Italiane: Personale Docente
    • Conferenza Nazionale dei Presidenti e dei Direttori delle Strutture Universitarie di Scienze e Tecnologie
  • EuroScience
  • Informatics Europe
  • European University Association
  • SINAPSE (Scientific INformAtion for Policy Support in Europe)
  • EU Bookshop
  • Fondation Robert Schuman
  • Gender Gap in Science Project
• 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 and gender issues (yes, they are related):

• In Italy:
  • An orientation panel on Women and Computing where I participated
  • WWF Italia
  • Fondo per l'Ambiente Italiano (FAI)
  • LAV
• In the USA:
  • The Sierra Club
  • 500 Women Scientists
  • The Earth Policy Institute

Maria Paola Bonacina