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

  • 3rd Global Conference on Artificial Intelligence (Conference Chair)
  • 5th Workshop on Proof Exchange for Theorem Proving (Program Committee)
  • 26th International Conference on Automated Deduction (Program Committee)
  • 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (Program Committee)
  • 10th Conference on Intelligent Computer Mathematics (Program Committee - System & Projects track)
  • 30th International FLAIRS Conference (Program Committee)
  • 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Conference Chair)
  • 12th International Workshop on the Implementation of Logics (Program Co-chair)
  • 2nd Conference on Artificial Intelligence and Theorem Proving (Program Committee)

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