Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice
About ARW |
Organising committee |
1994 |
1995 |
1996 |
1997 |
1998 |
1999 |
2000 |
2001 |
2002 |
2003 |
2004 |
2005 |
2006 |
2007 |
2008 |
2009 |
2010 |
2011 |
2012 |
2013 |
2014 |
2015 |
Related sites |
Fancy ARW site
ARW 2014 (Vienna Summer of Logic 23rd-24th July 2014)
The
Twenty-First Workshop on Automated Reasoning
(ARW-DT 2014) was held in conjunction with our counterpart German workshop
Deduktionstreffen,
WING (Workshop on Invariant Generation) and the VERIFY workshop
on 23rd-24th July 2014.
It was organised by Alexander Bolotov and Manfred Kerber as
a workshop within the
Vienna Summer of Logic (9th-24th July 2014).
Complete information about the workshop is also available from the
ARW-DT 2014 web site
Proceedings
-
Titles of abstracts of contributed talks
[text]
-
Proceedings of the 21st Automated Reasoning Workshop
[pdf]
Workshop Information
-
Call for papers and participation
[text]
-
Workshop organisers
[text]
About ARW |
Organising committee |
1994 |
1995 |
1996 |
1997 |
1998 |
1999 |
2000 |
2001 |
2002 |
2003 |
2004 |
2005 |
2006 |
2007 |
2008 |
2009 |
2010 |
2011 |
2012 |
2013 |
2014 |
2015 |
Related sites |
Fancy ARW site
last modified on
Thursday, 05-Feb-2015 15:22:09 GMT