Dr Geoff Sutcliffe

	Room	445 Ungar Building
	Email	ude.imaim.sc@ffoeg
	Telephone	+1 305 2842158 (me) / 2842268 (department)
	FAX	+1 305 2842264
	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
	Consultation times	Whenever the door is open
	I'm on leave ...	... doing research at Saarland University, Saarbrücken, Germany, hosted as a guest of the Automation of Logic group in the Max Planck Institut für Informatik. 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

• CSC120 Computer Programming I (Fall 2009)
• CSC648 Automated Reasoning (Fall 2009)
• Previous Semesters Advanced Artificial Intelligence (MIAS 2009) Working with Automated Reasoning Tools (UdS 2008) 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)

Academic and Research Information

CV Brief Bio DBLP		Research Seminars General Seminars
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) Research projects for students Completed Projects GrAnDe SSCPA TERDS Heterogeneous Parallel Deduction Systems Prolog-D-Linda
Conferences and Journals I'm involved with IJCAI-09 workshop on Competitions in Artificial Intelligence and Robotics (Program Committee) 32nd Annual Conference on Artificial Intelligence (Program Committee) 22nd International Conference on Automated Deduction (Program committee) Past Conferences and Journals JAL Special Issue on ESCOR (Co-guest editor) LPAR-15 (Program committee) 7th IWIL (Program committee) KEAPPA (Organizer) 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)