Tutorial on Automata Based Programming (ABP)

Tutorial on Automata Based Programming (ABP) is planned to be held at The International Computer Science Symposium in Russia, CSR-2006 (http://logic.pdmi.ras.ru/~csr2006/) Saint-Petersburg, Russia, 8th - 12th June 2006

Check out first call for participation https://web.archive.org/web/20090412002353/http://unimod.sourceforge.net/wiki/index.php/CSR2006_ABP_WORKSHOP