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)

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

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)

My Android Apps My sailing pages My SCUBA pages www.ColdBeer.cc Mac's eye view

Related searches:
workshop research reasoning computer committee

gipoco.com is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.