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.
| Original language | English |
|---|---|
| Title of host publication | host publication |
| Place of Publication | Manchester |
| Publisher | University of Manchester, School of Computer Science |
| Number of pages | 71 |
| Publication status | Published - 28 May 2012 |
| Event | 19th Automated Reasoning Workshop - Manchester Duration: 2 Apr 2012 → 4 Apr 2012 http://arw2012.cs.man.ac.uk/ |
Conference
| Conference | 19th Automated Reasoning Workshop |
|---|---|
| City | Manchester |
| Period | 2/04/12 → 4/04/12 |
| Internet address |