Dr Geoff Sutcliffe

Room 310F Ungar Building
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
310A Ungar Building, 1365 Memorial Drive, Coral Gables, FL 33146-4245, USA
Consultation times Whenever the door is open

Course Information

Academic and Research Information

Brief Bio
Research Seminars
General Seminars

Research Projects

Conferences and Journals I'm involved with

  • 4th Conference on Artificial Intelligence and Theorem Proving (Program Committee).
  • 27th International Conference on Automated Deduction (Program Committee, Publicity Chair).
  • 2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (Program Committee).
  • 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (Conference Chair)
  • 13th International Workshop on the Implementation of Logics (Program Committee)

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