| Vol-373 Copyright © 2008 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.

# PAAR-2008/ESHOL-2008
First International Workshop on Practical Aspects of Automated Reasoning

### Proceedings of the First International Workshop on
Practical Aspects of Automated Reasoning
Sydney, Australia, August 10-11, 2008.

Edited by

### Boris Konev *
Renate A. Schmidt #
Stephan Schulz +

* University of Liverpool, Department of Computer Science, Liverpool L69 3BX, United Kingdom
# University of Manchester, School of Computer Science, Oxford Rd, Manchester M13 9PL, United Kingdom
+ TU München, Institut für Informatik 4, Boltzmannstr. 3, 85748 Garching b. München, Germany

## Table of Contents

Complete proceedings
Frontmatter

1. Model Checking: New Challenges and Opportunities for Automated Reasoning (invited talk)
   Alessandro Armando
2. Mechanized Reasoning for Continuous Problem Domains (invited talk)
   Rob Arthan
3. Constraint Modelling: A Challenge for First Order Automated Reasoning (invited talk)
   John Slaney
4. Evaluation of Systems for Higher-order Logic (ESHOL)
   Christoph Benzmueller, Florian Rabe, Carsten Schuermann, Geoff Sutcliffe
5. Bit Inference
   Nachum Dershowitz
6. Collaborative Programming: Applications of Logic and Automated Reasoning
   Timothy Hinrichs
7. Towards Fully Automated Axiom Extraction for Finite-Valued Logics
   Joao Marcos, Dalmo Mendonca
8. A Small Framework for Proof Checking
   Hans de Nivelle, Piotr Witkowski
9. The Annual SUMO Reasoning Prizes at CASC
   Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
10. Combining Theorem Proving with Natural Language Processing
    Bjoern Pelzer, Ingo Gloeckner
11. Presenting TSTP Proofs with Inference Web Tools
    Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick del Rio, Deborah McGuinness
12. randoCoP: Randomizing the Proof Search Order in the Connection Calculus
    Thomas Raths, Jens Otten
13. Integration of the TPTPWorld into SigmaKEE
    Steven Trac, Geoff Sutcliffe, Adam Pease
14. Contextual Rewriting in SPASS
    Christoph Weidenbach, Patrick Wischnewski

Author index

24-Jul-2008: submitted by R. Schmidt
11-Aug-2008: published on CEUR-WS.org