Activities

Filter
Workshop, seminar, course or exhibition

International Workshop on Analytics and Mining of Model Repositories (AMMoRe)

Önder Babur (Organiser), , M.R.V. Chaudron (Organiser), , Loek Cleophas (Organiser), , Davide Di Ruscio (Organiser), & Dimitris Kolovos (Organiser)

16 Oct 2018

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

Special Session on Model Management and Analytics

Önder Babur (Organiser), , Loek Cleophas (Organiser), & Bedir Tekinerdogan (Organiser)

23 Jan 2018

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

Dutch Symposium on Model Management and Analytics

Önder Babur (Organiser), , Bedir Tekinerdogan (Organiser), , Loek Cleophas (Organiser), , Mark van den Brand (Organiser), & M. Aksit (Organiser)

27 Oct 2017

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

Workshop: Thirty Five years of Automath, Edinburgh

Michael Franssen (Organiser)

10 Apr 2002

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

Workshop on Proof Search in Type-Theoretic Languages, Lindau, Germany

Michael Franssen (Organiser)

5 Jul 1998

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific