{"id":24,"date":"2010-01-08T20:16:39","date_gmt":"2010-01-08T20:16:39","guid":{"rendered":"http:\/\/www.cs.aau.dk\/~crt\/wp\/wordpress\/?page_id=24"},"modified":"2021-02-15T15:43:29","modified_gmt":"2021-02-15T15:43:29","slug":"teaching","status":"publish","type":"page","link":"https:\/\/kglarkiv.cs.aau.dk\/?page_id=24","title":{"rendered":"Teaching (not updated)"},"content":{"rendered":"<div id=\"_mcePaste\">\n<ul>\n<li><a href=\"https:\/\/intranet.cs.aau.dk\/education\/courses\/2011\/sv\/\">Semantics and Verification 2011<\/a> (with Jiri Srba)<\/li>\n<li><a href=\"https:\/\/intranet.cs.aau.dk\/education\/courses\/2010\/sv\/\">Semantics and Verification 2010<\/a> (with Uli Fahrenberg)<\/li>\n<li><a href=\"https:\/\/intranet.cs.aau.dk\/education\/courses\/2009\/spFS\">Formal Systems 2009<\/a> (with Ulrik Nyman and Jiri Srba)<\/li>\n<li><a href=\"https:\/\/intranet.cs.aau.dk\/education\/courses\/2009\/sv\">Semantics and Verification 2009 <\/a>(with Jiri Srba)<\/li>\n<li><a href=\"http:\/\/www.cs.auc.dk\/~srba\/courses\/SV-08\/\">Semantics and Verification 2008<\/a> (with Jiri Srba)<\/li>\n<li><a href=\"http:\/\/www.cs.auc.dk\/~srba\/courses\/FS-07\/\">Formal Systems 2007<\/a> (with Jiri Srba)<\/li>\n<li>Test and Verification 2006 (with Brian Nielsen and Arne Skou)<\/li>\n<li>Semantic and Verification 2006 (with Jiri Srba)<\/li>\n<li>Embedded Systems Validation, PhD course, 2004.<\/li>\n<li>Embedded Systems Validation, PhD course 2003<\/li>\n<li>BRICS PhD course on Verification 2003<\/li>\n<li>BRICS PhD course on Verification 2001<\/li>\n<li>DTU course on Real-time Systems 2001 (with Henrik Ejersbo Jensen, Paul Pettersson)<\/li>\n<li>DTU course on Real-time Systems 2000 (with Paul Pettersson)<\/li>\n<li>Semantics and Verification 2002 (with Anna Ingolfsdottir)<\/li>\n<li>Semantics and Verification 2001 (with Anna Ingolfsdottir)<\/li>\n<li>Test and Verification 2005<\/li>\n<li>Test and Verification 2004 (with Emmanuel Fleury, Brian Nielsen, Arne Skou)<\/li>\n<li>Test and Verification 2003 (with Emmanuel Fleury)<\/li>\n<li>Test and Verification 2002<\/li>\n<li>Test and Verification 2001 (with Henrik Ejersbo Jensen)<\/li>\n<li>Datastructures &amp; Algorithms for Model Checking 2001<\/li>\n<li>Methods and Tools for Validation: Modeling and Analysis 2002.<\/li>\n<\/ul>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Semantics and Verification 2011 (with Jiri Srba) Semantics and Verification 2010 (with Uli Fahrenberg) Formal Systems 2009 (with Ulrik Nyman and Jiri Srba) Semantics and Verification 2009 (with Jiri Srba) Semantics and Verification 2008 (with Jiri Srba) Formal Systems 2007 (with Jiri Srba) Test and Verification 2006 (with Brian Nielsen and Arne Skou) Semantic and [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":16,"menu_order":2,"comment_status":"open","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-24","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/24","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=24"}],"version-history":[{"count":9,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/24\/revisions"}],"predecessor-version":[{"id":161,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/24\/revisions\/161"}],"up":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/16"}],"wp:attachment":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=24"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}