Responsible for these web pages:

Tarmo Uustalu
School of Computer Science
Reykjavik University
E-mail: firstname [at]
Phone: +374 825 6495

For technical questions, please contact

Harold Bruintjes
Software Modeling and Verification (MOVES)
RWTH Aachen University
Aachen, Germany
E-mail: webmaster [at] etaps [dot] org
Phone:+49 241 8021206

Who's online

We have 85 guests and no members online

Site Hosted by