PAAR/ESHOL 2008: Sydney, NSW, Australia

• Alessandro Armando:
  Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk).
  
• Rob Arthan:
  Mechanized Reasoning for Continuous Problem Domains (Invited Talk).
  
• John K. Slaney:
  Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk).
  
• Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe:
  Evaluation of Systems for Higher-order Logic (ESHOL).
  
• Nachum Dershowitz:
  Bit Inference.
  
• Timothy L. Hinrichs:
  Collaborative Programming: Applications of Logic and Automated Reasoning.
  
• João Marcos, Dalmo Mendonca:
  Towards Fully Automated Axiom Extraction for Finite-Valued Logics.
  
• Hans de Nivelle, Piotr Witkowski:
  A Small Framework for Proof Checking.
  
• Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac:
  The Annual SUMO Reasoning Prizes at CASC.
  
• Björn Pelzer, Ingo Glöckner:
  Combining Theorem Proving with Natural Language Processing.
  
• Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness:
  Presenting TSTP Proofs with Inference Web Tools.
  
• Thomas Raths, Jens Otten:
  randoCoP: Randomizing the Proof Search Order in the Connection Calculus.
  
• Steven Trac, Geoff Sutcliffe, Adam Pease:
  Integration of the TPTPWorld into SigmaKEE.
  
• Christoph Weidenbach, Patrick Wischnewski:
  Contextual Rewriting in SPASS.