Automated Reasoning around the world and more

Associations and Conferences

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 the ACM (JACM)
• Artificial Intelligence
• Theory and Practice of Logic Programming (TPLP)
• Journal of Logic and Algebraic Programming (formerly Journal of Logic Programming)
• Journal of Information Science and Engineering
• Logical Methods in Computer Science
• Journal of Formalized Reasoning
• Communications of the ACM

Electronic Series:

• Electronic Notes in Theoretical Computer Science
• Electronic Proceedings in Theoretical Computer Science

A few provers, libraries, places, miscellaneous resources:

• Leo de Moura's and Nikolaj Bjorner's Z3 theorem prover
• Stephan Schulz's E prover
• Bill McCune's Prover9
• Geoff Sutcliffe's TPTP library of theorem-proving problems where links to more provers can be found
• Andrei Voronkov's EasyChair conference system, born in the automated reasoning community
• The Research Institute for Symbolic Computation in Linz and International Academy in Traunkirchen
• The Software Reliability Research Group at Microsoft Research
• The Artificial Intelligence Group in Koblenz
• The Rewriting page at INRIA-Lorraine
• The Artificial Intelligence Center and Formal Methods Group at SRI International
• The Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)
• The TATA Book
• Mizar

Publishers:

• Elsevier:
  • Elsevier Science Direct
  • Academic Press
  • Morgan Kaufmann
• Springer:
  • Springer Italy
  • Springer Heidelberg
  • Springer Wien
  • Springer New York
  • Kluwer Academic
• Bononia University Press
• Firenze University Press
• Cambridge University Press

Databases, repositories and related tools:

• The Computing Research Repository (CoRR)
• 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
• Web of Science
• MathSciNet
• Conference Ranking by Microsoft Academic
• CiteseerX
• FIZ Karlsruhe (Abt. Berlin) and MathSciNet
• The Digital Object Identifier System
• CILEA Digital Library

CS History:

• Christos Papadimitriou's course on reading CS classics

Funding agencies:

• In the European Union:
  • European Research Council
  • Horizon 2020
  • Community Research and Development Information Service (CORDIS):
    • Seventh Framework Program
      • International Research Staff Exchange Scheme (IRSES)
      • Software and Service Architectures and Infrastructures
    • Sixth Framework Program
  • European Science Foundation:
    • European COoperation in Science and Technology (COST)
  • European Research Area Watch
  • Digital Agenda for Europe (DAE)
  • Environmental Technologies Action Plan
• In Italy:
  • Agenzia per la Promozione della Ricerca Europea (APRE)
  • Programmi di ricerca di interesse nazionale del Ministero per l'Istruzione, l'Università e la Ricerca
• In the USA:
  • U.S. National Science Foundation and its Directorate for Computer and Information Science and Engineering
  • U.S. Office of Naval Research

Sites for job searches:

• European Researcher's Mobility Portal (EURAXESS)
• JobsInAcademia
• University Positions
• Computing Research Association (CRA)
• Association for Computing Machinery (ACM)
• Academic Keys
• TalentsPro

Sites of general interest for research, teaching, computing:

• In Italy:
  • Conferenza Nazionale dei Presidenti e dei Direttori delle Strutture Universitarie di Scienze e Tecnologie
  • Ricerca Italiana
  • Università Italiane
  • Agenzia per la promozione della ricerca europea (APRE)
  • Agenzia Nazionale di Valutazione del sistema Universitario e della Ricerca (ANVUR)
  • Consorzio Inter-universitario Nazionale per l'Informatica (CINI)
  • Conferenza dei Rettori delle Università Italiane (CRUI)
  • Consiglio Universitario Nazionale (CUN)
  • Università e Ricerca (CNU)
  • Personale Docente
  • Coordinamento Intersedi Professori Universitari di Ruolo (CIPUR)
• In the European Union:
  • Informatics Europe
  • European University Association
  • SINAPSE (Scientific INformAtion for Policy Support in Europe)
  • PRO INNO Europe: European Innovation Scoreboard
  • 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 issues:

• In Italy:
  • WWF Italia
  • Fondo per l'Ambiente Italiano (FAI)
• In the USA:
  • The Sierra Club
  • The Earth Policy Institute

Maria Paola Bonacina