ELSNET-list archive

Category:   E-CFP
Subject:   Workshop on practical aspects of automated reasoning: Call for papers
Email:   Konev_(on)_liverpool.ac.uk
Date received:   14 Jan 2010
Deadline:   11 Apr 2010
Start date:   14 Jul 2010

FIRST CALL FOR PAPERS PAAR-2010 FLoC/IJCAR'10 Workshop on Practical Aspects of Automated Reasoning Deadline: 11 April 2010 http://www.eprover.org/EVENTS/PAAR-2010/paar-2010.html GENERAL INFORMATION The second Workshop on Practical Aspects of Automated Reasoning will be held in July 2010 in Edinburgh, UK. PAAR will be part of FLoC 2010 and associated with the 5th International Joint Conference on Automated Reasoning (IJCAR-2010). SCOPE PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications. Topics include but are not limited to: o automated reasoning in classical and non-classical logics, implementation of provers; o automated reasoning tools for all kinds of practical problems and applications; o practical experiences, usability aspects, feasibility studies; o evaluation of implementation techniques and automated reasoning tools; o performance apsects, benchmarking approaches; o non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications; o implementation techniques, optimisation techniques, strategies and heuristics, fairness; o support tools for prover development; o system descriptions and demos. We are particularly interested in contributions that help the community to understand how to build useful reasoning systems in practice, and how to apply existing systems to real problems. SUBMISSIONS Researchers interested in participating are invited to submit a short abstract of up to 10 pages via EasyChair. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. To submit a paper, go to the EasyChair PAAR page http://www.easychair.org/conferences/?conf=paar2010 and follow the instructions there. FINAL VERSIONS Final versions should be prepared in LaTeX using the easychair.cls class file obtainable from http://www.easychair.org/easychair.zip. Proceedings will be published as CEUR Workshop Proceedings and will be available in print at the event. If quality and quantity of the subissions warrants this, we plan to produce a special issue of a recognized journal on the topic of the workshop. IMPORTANT DATES: Submission of abstracts: 11 April 2010 Notification: 28 April 2010 Camera ready versions due: 21 May 2010 Workshop: 14 July 2010 PROGRAM COMMITTEE Peter Baumgartner Daniel Le Berre Roberto Bruttomesso Koen Claessen Bernd Fischer Pascal Fontaine Jim Grundy Volker Haarslev John Harrison Thomas Hillenbrand Joe Hurd Gerwin Klein Boris Konev (Co-Chair) Konstantin Korovin Temur Kutsia Bill McCune Leonardo de Moura Hans de Nivelle Albert Oliveras Jens Otten Adam Pease Silvio Ranise Phillip Rümmer Renate Schmidt (Co-Chair) Peter Schneider-Kamp Stephan Schulz (Co-Chair) John Slaney Alan Smaill Mark Stickel Geoff Sutcliffe Josef Urban Christoph Weidenbach ORGANIZERS Boris Konev, University of Liverpool Renate Schmidt, The University of Manchester Stephan Schulz, TU Muenchen _______________________________________________ Elsnet-list mailing list Elsnet-list_(at)_mailman.let.uu.nl http://mailman.elsnet.org/mailman/listinfo/elsnet-list

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 19-01-2010 by Steven Krauwer Disclaimer / Contact ELSNET