Edinburgh Research Explorer

Organiser : The 9th International Workshop on Automated Deduction in Geometry

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Attending event

The 9th International Workshop on Automated Deduction in Geometry

Abbreviated titleADG 2012
Duration17 Sep 201219 Sep 2012
DescriptionAutomated Deduction in Geometry 2012 is an international workshop for the exchange of ideas and views, for the presentation of research results and progress, and for demonstrating software tools at the intersection between geometry and automated deduction.
CityEdinburgh
CountryUnited Kingdom
Web address (URL)
Degree of recognitionInternational event
SponsorsSchool of Informatics

Event: Conference

ID: 74791827