[Home Page] [Previous Workshops] [Call for Papers] [Guide for Authors] [Programme]
[Related Event] [How to Get There] [Weather and Tourism] [Registration] [Accommodation] 
[Sponsors] [Student Bursaries]

The School of Informatics at the University of Edinburgh and the National e-Science Centre will host the 12th Workshop on Automated Reasoning (ARW 2005) in Edinburgh, Scotland, on the 29th and 30th July 2005. The workshop will be co-located with IJCAI 2005.

Aim

Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.

Topics

• Applications of automated reasoning to e-Science
  • Assembly of web services
  • Virtual organisations
  • Quality of service
  • Provenance
• Theorem proving in classical and non-classical logics
• Reasoning systems and mechanisms:
  • Description logics
  • Equational reasoning, unification
  • Induction
  • Constraint Satisfaction
  • Specialised decision procedures
• Formal methods in software analysis:
  • specification, verification
• Non-classical inference:
  • Nonmonotonic reasoning, abduction
  • intuitionistic reasoning
• Logic-based knowledge representation:
  • Ontology specification,
  • Domain specific reasoning (e.g. spatial, temporal, epistemic ...)
• Symmetry and Reasoning
• Reasoning for agents (or about agents)
• Interactive theorem proving
• Implementation issues and empirical results

Submission of Abstracts

Submissions should be sent in either Postscript or PDF, A4 format by email to: arw2005@inf.ed.ac.uk

Each submission should include the names and complete addresses (including email) of all authors. Correspondence will be sent to the first author, unless otherwise indicated. The main objective of the abstracts is to spread information about recent work in our community. Abstracts will be published in informal workshop notes and be made available on the web.

Format of Workshop

The workshop is intended to be an inclusive event, with participants encouraged from the broad spectrum covered by the field of automated reasoning. We encourage the participation of experienced researchers as well as those new to the field, especially students.

Note that we expect to devote one day in the workshop to applications of automated reasoning in e-Science and especially invite contributions on this topic.

There will be invited talks, panel sessions, short presentations of the papers, and poster sessions.

Invited Speakers

Schedule

Venue

Local Arrangements Organisers

Organizing Committee

Contact