Ingo Dahn

University Koblenz-Landau, IWM

Completed Projects


2004 - 2006 TELCERT

Technology Enhanced Learning - European Requirements, Certification and Testing

Profiling of Specifications and Conformance Testing


2002 - 2004 Mobilearn

Mobile Learning with a Service Oriented Architecture


2000 - 2003 Trial-Solution

Tools for Reausable Integrated Adaptable Learning - Services for Learning Using Tested Interoperable Objects and Networking

Advanced personalization of structured documents


1992 - 1998 ILF

Integrated Logic Functions

Integration of automated and interactive theorem provers; natural language proof presentation













You cannot build a reputation on things you plan to do.