Empirically Successful Topics in Automated Deduction Empirically Successful Topics in Automated Deduction is a series of workshops held since 2004 and associated with various CADE, IJCAR, LPAR and CICM conferences. The focus of the workshops is on really working systems and techniques and really useful applications.

University College Cork hosted ESFOR in 2004

Empirically Successful First Order Reasoning — ESFOR-2004

• Conference: IJCAR-2004
• Organizers: Geoff Sutcliffe, Stephan Schulz and Tanel Tammet
• Location: Cork, Ireland, 4th July - 5th July, 2004
• Proceedings (PDF)
• Invited speakers: Andrei Voronkov and David Crocker

Empirically Successful Classical Automated Reasoning — ESCAR-2005

• Conference: CADE-20
• Organizers: Geoff Sutcliffe, Stephan Schulz and Bernd Fischer
• Location: Tallinn, Estonia, 22nd July - 23th July, 2005
• Proceedings (PDF)
• Invited speakers: Byron Cook and Niklas Sörensson

Empirically Successful Automated Reasoning in Higher-Order Logic — ESHOL-2005

• Conference: LPAR-12
• Organizers: Chris Benzmüller, John Harrison and Carsten Schürmann
• Location: MontegoBay, Jamaica, December 2nd, 2005
• Proceedings
• Invited speakers: Joe Hurd and Chad Brown

Empirically Successful Computerized Reasoning — ESCoR-2006

• Conference: IJCAR-2006
• Organizers: Geoff Sutcliffe, Stephan Schulz and Renate Schmidt
• Location: Seattle, USA, 21st August, 2006
• Proceedings
• Invited speakers: Matt Kaufmann and Johan Bos

Empirically Successful Automated Reasoning in Large Theories — ESARLT-2007

• Conference: CADE-21
• Organizers: Geoff Sutcliffe, Josef Urban and Stephan Schulz
• Location: Bremen, Germany, 15th July 2007
• Proceedings
• Invited speakers: Leonardo de Moura and Keith Goolsbey (Cycorp)

Empirically Successful Automated Reasoning for Mathematics — ESARM-2008

• Conference: CICM-2008
• Organizers: Geoff Sutcliffe, Simon Colton, and Stephan Schulz
• Location: Birmingham, UK, 27th July 2008
• Proceedings
• Invited speakers: Thomas Hillenbrand and Georges Gonthier