| Vol-760 urn:nbn:de:0074-760-4 Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# ATE-2011
Automated Theory Engineering

### Proceedings of the First Workshop on Automated Theory Engineering

### Co-Located with the 23rd International Conference on Automated Deduction
Wrocław, Poland, July 31, 2011.

Edited by

### Peter Höfner1
Annabelle McIver2
Georg Struth3

1 NICTA, Sydney, Australia
2 Macquarie University, Department of Computing, Sydney, Australia
3 University of Sheffield, Department of Computer Science, Sheffield, UK

## Table of Contents

- Preface

### Invited Papers

1. Do Formal Methodists have Bell-Shaped Heads? (Invited Paper) 1-2
   Timothy G. Griffin
2. An Overview of Methods for Large-Theory Automated Theorem Proving (Invited Paper) 3-8
   Josef Urban

### Research Papers

3. Inconsistencies in the Process Specification Language (PSL) 9-19
   Michael Beeson, Jay Halcomb, Wolfgang Mayer
4. Simplifying Pointer Kleene Algebra 20-29
   Han-Hing Dang, Bernhard Möller
5. A Repository for Tarski-Kleene Algebras 30-39
   Walter Guttmann, Georg Struth, Tjark Weber
6. Designing Domain Specific Languages for Verification: First Steps 40-45
   Phillip James, Markus Roggenbach
7. A Domain-Specific Language for the Specification of Path Algebras 46-57
   Vilius Naudžiūnas, Timothy G. Griffin

The whole proceedings can also be downloaded as a single file (pdf).

27-Jul-2011: submitted by Peter Höfner
28-Jul-2011: published on CEUR-WS.org