Dr Geoff Sutcliffe

	Address for post	Department of Computer Science, University of Miami P.O. Box 248154, Coral Gables, FL 33124-4245
	Address for deliveries	Department of Computer Science, University of Miami 429 Ungar Building, 1365 Memorial Drive, Coral Gables, FL 33146-4245
	Room	445 Ungar Building
	Email	ude.imaim.sc@ffoeg
	Telephone	+1 305 2842158 (me) / 2842268 (department)
	FAX	+1 305 2842264
	Consultation times	Whenever the door is open
	I'm on leave ...	... doing research at Saarland University, Saarbrücken, Germany. For queries about undergraduate issues, please contact Prof Milenkovic. For queries about the CSMS project, please contact Prof Pestien. You can still contact me directly by email. I'll be back fall 2009.

Course Information

• Working with Automated Reasoning Tools (Summer 2008)
• Previous Semesters CSC322 C Programming and UNIX (Spring 2008) CSC545 Introduction to Artificial Intelligence (Spring 2008) 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) The 7th International Workshop on the Implementation of Logics (IWIL) (Program committee) The LPAR 2008 Workshop on Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA) (Organizer) JAL Special Issue on Empirically Successful Computerized Reasoning (Co-guest editor) Recent Past Conferences and Journals UITP 2008 (Program committee) IJCAR 2008 (Program committee, Publicity chair) PAAR (Program committee) ESARM (Organizer) FLAIRS-21 (Conference chair) 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)