ATE 2011: Wrocław, Poland
Peter Höfner, Annabelle McIver, Georg Struth (Eds.): Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR-WS.org 2011 CEUR Workshop Proceedings 760
Invited Papers
Timothy G. Griffin: Do Formal Methodists have Bell-Shaped Heads? 1-2
Josef Urban: An Overview of Methods for Large-Theory Automated Theorem Proving. 3-8
Research Papers
Michael Beeson, Jay Halcomb, Wolfgang Mayer: Inconsistencies in the Process Specification Language (PSL). 9-19

Phillip James, Markus Roggenbach: Designing Domain Specific Languages for Verification: First Steps. 40-45
Vilius Naudziunas, Timothy G. Griffin: A Domain-Specific Language for the Specification of Path Algebras. 46-57



