Dr Geoff Sutcliffe

Course Information

• CSC322 C Programming and UNIX (Spring 2008)
• CSC545 Introduction to Artificial Intelligence (Spring 2008)
• Previous Semesters CSC120 Computer Programming I (Fall 2007) CSC648 Automated Reasoning (Fall 2007) CSC322 C Programming and UNIX (Spring 2007) CSC120 Computer Programming I (Fall 2006) CS63S Advanced Artificial Intelligence (MIAS 2006) CSC322 C Programming and UNIX (Spring 2006) CSC120 Computer Programming I (Fall 2005) CSC545 Introduction to Artificial Intelligence (Fall 2005) CS63S Advanced Artificial Intelligence (MIAS 2005) CSC120 Computer Programming I (Spring 2005) CSC521 Computer Operating Systems (Fall 2004) CSC648 Automated Reasoning (Fall 2004) CS63S Advanced Artificial Intelligence (MIAS 2004) CSC322 C Programming and UNIX (Spring 2004) CSC545 Introduction to Artificial Intelligence (Spring 2004) CSC120 Computer Programming I (Fall 2003) CSC521 Computer Operating Systems (Fall 2003) CSC120 Computer Programming I (Spring 2003) CSC322 C Programming and UNIX (Spring 2003) CSC689 Automated Reasoning & Formal Methods (Fall 2002) CSC521 Computer Operating Systems (Fall 2002) CSC521 Computer Operating Systems (Spring 2002) CSC545 Introduction to Artificial Intelligence (Spring 2002) CSC521 Computer Operating Systems (Fall 2001) CSC688 Automated Theorem Proving (Fall 2001) CSC521 Computer Operating Systems (Spring 2001) CSC322 C and UNIX (Spring 2001) MTH517 Data Structures and Algorithms (Spring 2000) MTH596 Operating Systems (Spring 2000) MTH689 Distributed and Network Operating Systems (Spring 2000) CP1300 Introduction to Computer Science II (JCU) CP3120 Object Oriented Software Engineering (JCU)

CV Brief Bio DBLP		Research Seminars General Seminars JETT
Research Projects In Automated Theorem Proving The TPTP Problem Library The CADE ATP System Competition The ARTists Sigma and SUMO, with Articulate Software Computer Science and Mathematics for Scientists (CSMS) Completed Projects GrAnDe SSCPA TERDS Heterogeneous Parallel Deduction Systems Prolog-D-Linda
Conferences and Journals I'm involved with 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning (Program committee) User Interfaces for Theorem Provers 2008 (Program committee) 4th International Joint Conference on Automated Reasoning (Program committee, Publicity chair) IJCAR 2008 Workshop on Evaluation of Systems for Higher Order Logic (Organizer) IJCAR 2008 Workshop on Practical Aspects of Automated Reasoning (Program committee) CICM 2008 Workshop on Empirically Successful Automated Reasoning for Mathematics (Organizer) 21st International FLAIRS Conference (Conference chair) JAL Special Issue on Empirically Successful Computerized Reasoning (Co-guest editor) Recent Past Conferences and Journals ICTAI 2007 (Program committee) LPAR-14 (Program committee) 2nd CSR (Invited speaker) ESARLT (Organizer) CASC-21 (Organizer) SAT 2007 Competition (Judge) FLAIRS-20 (Program co-chair) 4th TPTP Tea Party (Organizer) ARW 2007 (Invited speaker) JAR Special Issue on ESAR (Co-guest editor) LPAR-13 (Program committee) IWIL-6 (Organizer) 3rd TPTP Tea Party (Organizer) CASC-J3 (Organizer) ESCoR (Organizer) 3rd IJCAR (Program committee) STAIRS-3 (Program committee) FLAIRS-19 (Program co-chair) FLAIRS-19 NL & KR Track (Program committee) LPAR-12 (Conference chair and Program co-chair) ESCAR (Organizer) ESFoR (Organizer) CADE-19 (Conference chair)