The works hop provides an informal forum for the automated r easoning community to discuss recent work, new ide as and applications, and current trends. It aims t o bring together researchers from all areas of aut omated reasoning in order to foster links among re searchers from various disciplines; among theoreti cians, implementers and users alike.
\n\nT he workshop will be highly interactive, giving all attendees an opportunity to participate. There wi ll be sessions for displaying posters and open dis cussion sessions organised around specific topics such as "Automated Reasoning and Artificial I ntelligence". Invited speakers: Ekaterina Kom endantskaya (Heriot-Watt University) and Lawrence Paulson (University of Cambridge).
\nWe invite the submission of camera-ready, two-page extended abstracts about recent work, wor k in progress, or a system description. The abstra ct can describe work that has already been publish ed elsewhere. The main objective of the abstracts is to spread information about recent work in our community, and we expect to accept most on-topic s ubmissions, but we may ask for revisions. Each wor kshop participant will be asked to give a short ta lk (around 10 minutes depending on time constraint s) to introduce their research. Each participant w ill also be allocated space in a poster session (p oster size up to A0), where they can further prese nt and discuss their work.
\n