Proceedings of the 19th Automated Reasoning Workshop

Renate A. Schmidt, Fabio Papacchini

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    113 Downloads (Pure)


    This report contains the proceedings of The 19th Automated Reasoning Workshop (ARW2012). The workshop was held at the University of Manchester from 2 to 4 April 2012.ARW provides an informal forum for the automated reasoning community to discussrecent work, new ideas and applications, and current trends. It aims to bring togetherresearchers from all areas of automated reasoning in order to foster links and facilitatecross-fertilisation of ideas among researchers from various disciplines, from theoreticians,from implementers and from users of automated reasoning methodologies. Since1994, when it was held in Leeds as part of the 1994 AISBWorkshop and Tutorial Series,ARW has been organised on an annual basis.
    Original languageEnglish
    Title of host publicationhost publication
    Place of PublicationManchester
    PublisherUniversity of Manchester, School of Computer Science
    Number of pages71
    Publication statusPublished - 28 May 2012
    Event19th Automated Reasoning Workshop - Manchester
    Duration: 2 Apr 20124 Apr 2012


    Conference19th Automated Reasoning Workshop
    Internet address


    Dive into the research topics of 'Proceedings of the 19th Automated Reasoning Workshop'. Together they form a unique fingerprint.

    Cite this