KWARC: Conferences
- MKM 2008, July 28th-30th, Birmingham, UK.
- The conference on Mathematical Knowledge Management 2008 will take place in Birmingham.
- Conference 'Mensch und Computer' 2007: 2-5th Sept., Bauhaus University Weimar, Germany.
-
- Andrea Kohlhase: "What Can the Hundred Languages of Children Teach Us?"
- Christine Müller: Participation at the Doctoral Seminar.
- Cade 2007: 15-21 July, Jacobs University Bremen, Germany.
-
The Conference on Authomatic Deduction (CADE) 2007 took place at the campus of the Jacobs University Bremen. It is the major forum for the presentation of research in all aspects of automated deduction.
- MKM 2007: 27-30 June, Hagenberg, Austria.
- Most of the KWARCies attended the Conference on Mathematical Knowledge Management (MKM) 2007 which took place in Hagenberg, Austria.
- KI 2006: 14-19 June, Bremen, Germany.
-
The 29th annual German Conference on Artificial Intelligence took place in Bremen.
- Normen Müller (Towards an Ontology-Driven Management of Change, Poster)
- MKM 2005: 15-17 July, Jacobs University Bremen, Germany.
-
The Mathematical Knowledge Management (MKM) 2005 took place at the campus of the Jacobs University Bremen.