The 26th International Conference on Automated Deduction

Activity: Participating in or organising event(s)Organising a conference, workshop, exhibition, performance, inquiry, course etcResearch

Period20162017
Event typeConference
LocationGothenburg, DenmarkShow on map
Degree of RecognitionInternational