Automated Reasoning around the world and more

Conferences and Associations


Electronic Series:

Selected provers, libraries, places, miscellaneous resources:


Databases, repositories and related tools:

CS History:

Funding agencies:

Sites for job searches:

Sites of general interest for research, teaching, computing:

Sites of general interest for environmental issues:

Maria Paola Bonacina