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 1998 (University of St. Andrews, 30-31 March 1998)
The Fifth Workshop on Automated Reasoning was co-located with
and immediately prior to the
Fourteenth British Colloquium for Theoretical Computer Science.
The two events shared the morning sessions on March 31.
Financial support was received from the UK
Engineering and Physical Sciences
Research Council and
Compulog Net,
the European Network of Excellence in Computational Logic.
Proceedings
-
Invited Talks
[html]
-
Abstrats of contributed talks
[html]
-
Statements of research interests
[html]
Workshop Information
-
Call for papers and participation
[html]
-
Programme with timetable
[html]
-
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
Monday, 09-Apr-2001 19:03:07 BST