The workshop deals with the development and use of tools for modeling in software engineering. Some projects deal with the development of non-trivial Lego NXT robots. Suggested project topics relate to the use of logic and models in software development, tool development, or systematic tool evaluation. Programming language used: Java. Development environment used: Eclipse. Additional details will be given in the first workshop meeting. Recommended background course: Topics in Software Systems Modeling.