Automated Reasoning around the world and more

Conferences and Associations


Electronic Series:

Selected provers, libraries, places, miscellaneous resources:

Selected publishers:

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:

Premier principe: ne se laisser abattre ni par les êtres, ni par les événements (Marie Sklodowska-Curie, 1888)

Maria Paola Bonacina