הסדנא מציעה פרויקטים הקשורים לשימוש במודלים בהנדסת תוכנה.

הסדנא מתאימה לסטודנטים בשנה ג במדעי המחשב המתענינים בפיתוח של כלים חדשניים לפיתוח תוכנה, באוטומטים, ובשפות פורמליות.