Formal Methods in Computer Science Education FORMED2008 Budapest, Hungary March 29, 2008 PROCEEDINGS Satellite workshop of ETAPS 2008 Editor Zolt´ an Istenes