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.