Neue Medien in der Bildung     Bundesministerium für Bildung und Forschung  
Universität Bremen     Universität Freiburg     Fernuniversität Hagen     Universität München     Universität des Saarlandes
 

Homepage

Goals

Project Partners

Lectures

Evaluation

Publications

MMiSS Forum

Events

Tools

Personnel

Contact

Internal
(Project members only.)

 
 

Events


Workshop 'Technische Aspekte der Nachhaltigkeit' am 22./23.04. in Bremen

As the projects final colloquium there will be a workshop about the technial aspects of sustainability and reuse of teaching material. The workshop will take place in Bremen, on 22./23. of April. Anyone interested in this topic is invited to participate. Please send an Email to info@mmiss.de. More details can be found in the official flyer (german only) [PDF].

MMiSS Tutorial at ETAPS 2003

There will be a one day Tutorial on MMiSS at the ETAPS 2003 in Warsaw. Further information about the Tutorial which will be held on Sun, 6. April 2003 can be found here.

MMiSS Project Meeting 26-27 September 2002

Satellite event of the 16th International Workshop on Algebraic Development Techniques WADT 2002. Frauenchiemsee, Germany

Presentations:
  • Bernd Krieg-Brückner: Towards MultiMedia Instruction in Safe and Secure Systems -- Introduction and Overview [PDF]
  • Markus Roggenbach: Teaching TECS -- A Case Study for MMiSS [PDF]
  • Martin Wirsing, Bernd Krieg-Brückner: An Ontology for Formal Methods [PDF]
  • Arndt Poetzsch-Heffter: Architecture of the Teaching and Learning Environment [PDF]
  • Bernd Krieg-Brückner: Semantic Document Structuring and Sustainable Development in MMiSS [PDF]
  • Christoph Lüth and Dieter Hutter: MMiSS -- Repository, Development Graph and Authoring Tools [PDF]
  • Erica Melis, Georgi Goguadse, Paul Libbrecht and Carsten Ullrich: ActiveMath System Description [PDF]

 
Last updated: $Date: 2004/04/16 10:45:38 $