In April 2016 Manchester eScholar was replaced by the University of Manchester’s new Research Information Management System, Pure. In the autumn the University’s research outputs will be available to search and browse via a new Research Portal. Until then the University’s full publication record can be accessed via a temporary portal and the old eScholar content is available to search and browse via this archive.

Proceedings of the 19th Automated Reasoning Workshop

Renate A. Schmidt; Fabio Papacchini

19th Automated Reasoning Workshop; 02 Apr 2012-04 Apr 2012; Manchester. Manchester: School of Computer Science, The University of Manchester; 2012.

Access to files

Abstract

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.

Bibliographic metadata

Type of resource:
Content type:
Conference venue:
Manchester
Start date:
2012-04-02
End date:
2012-04-04
Publication date:
Place of publication:
Manchester
Abstract:
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.
Related website(s):
  • ARW 2012 Web Site http://arw2012.cs.man.ac.uk/

Institutional metadata

University researcher(s):

Record metadata

Manchester eScholar ID:
uk-ac-man-scw:161817
Created by:
Schmidt, Renate
Created:
28th May, 2012, 16:18:26
Last modified by:
Schmidt, Renate
Last modified:
28th May, 2012, 16:18:26

Can we help?

The library chat service will be available from 11am-3pm Monday to Friday (excluding Bank Holidays). You can also email your enquiry to us.