Rich Model Toolkit w_vote https://richmodels.epfl.ch/ 2026-04-27T22:46:42+02:00 Rich Model Toolkit https://richmodels.epfl.ch/ https://richmodels.epfl.ch/lib/tpl/bootstrap3/images/favicon.ico text/html 2013-02-20T17:19:54+02:00 w_vote:dpreg https://richmodels.epfl.ch/w_vote:dpreg?rev=1361377194&do=diff Registration For Workshop Progress in Decision Procedures: From Formalizations to Applications March 30, 2013, Belgrade, Serbia The form below collects basic information for workshop participants. We will use this information only for the purpose of organizing the workshop. If you are giving a talk, we will separately contact you regarding the talk abstract (up to 500 words in