Workshop on Second-Order Quantifier Elimination and Related Topics

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

Period2017
Event typeWorkshop
LocationDresden, GermanyShow on map
Degree of RecognitionInternational