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