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, USA
	Address for deliveries	Department of Computer Science, University of Miami 429 Ungar Building, 1365 Memorial Drive, Coral Gables, FL 33146-4245, USA
	Consultation times	Whenever the door is open

Course Information

• CSC120 Computer Programming I (Spring 2013)
• CSC300 Android Programming (Spring 2013)
• Previous Semesters CSC120 Computer Programming I (Fall 2012) CSC648 Automated Reasoning (Spring 2012) CSC300 Android Programming (Fall 2011) CSC322 C Programming and UNIX (Spring 2011) CSC220 Computer Programming II (Fall 2010) COMP6210 Artificial Intelligence (MIAS 2010) Working with Automated Reasoning Tools (UdS 2008) CSC545 Introduction to Artificial Intelligence (Spring 2008) CSC521 Computer Operating Systems (Fall 2004) MTH517 Data Structures and Algorithms (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 StarExec Research projects for students Completed Projects CSMS GrAnDe SSCPA TERDS Heterogeneous Parallel Deduction Systems Prolog-D-Linda
Conferences and Journals I'm involved with 3rd International Workshop on Proof Exchange for Theorem Proving (PxTP) (Program Committee) CADE-24 Workshop on Knowledge Intensive Automated Reasoning (KInAR) (Program Committee) CADE-24 Workshop on Empirically Successful Automated Reasoning with Artificial Intelligence (ESARAI) (Organizer) StarExec Workshop 2013 (Organizer) Do-Form: Enabling Domain Experts to use Formalised Reasoning, Symposium 2013 (Programme Committee) Past Conferences and Journals CNL 2012 (Program committee) UITP 2012 (Program committee) IJCAR 2012 StarExec Workshop (Organizer) COMPARE 2012 (Organizer) PxTP 2012 (Program committee) PAAR 2012 (Program committee) IJCAR 2012 (Program committee, Satellite Events co-chair) Turing-100 (Program committee) LPAR-18 (Conference chair) IWIL 2012 (Program committee) CADE-23 (Program committee) ATE (Program committee) PxTP (Program committee) LPAR-17 (Publicity Chair, Program Committee) QSTRLib (Organizer) IWIL 2010 (Organizer) CNL 2010 (Program Committee) EMSQMS 2010 (Organizer) IJCAR 2010 (Program Committee) PAAR 2010 (Program Committee) UITP-9 (Program Committee) LPAR-16 (Program Committee) KI 2009 (Program committee) CADE-22 (Program committee) IJCAI-09 CAIR workshop (Program Committee) 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)