{"id":45,"date":"2011-11-17T02:40:31","date_gmt":"2011-11-17T02:40:31","guid":{"rendered":"http:\/\/newrsbook.cs.aau.dk\/?page_id=45"},"modified":"2020-11-29T19:38:10","modified_gmt":"2020-11-29T19:38:10","slug":"lectures-and-slides","status":"publish","type":"page","link":"https:\/\/rsbook.cs.aau.dk\/?page_id=45","title":{"rendered":"Lectures and Slides"},"content":{"rendered":"<p>You can read the following paper dealing with how we use the book to teach concurrency theory.<\/p>\n<ul>\n<li>Teaching Concurrency: Theory in Practice (<a href=\"http:\/\/www.brics.dk\/%7Esrba\/files\/AILS:TFM:09.pdf\">PDF<\/a>, copyright by Springer-Verlag)<\/li>\n<\/ul>\n<p>Examples of our lectures using this book are here:<\/p>\n<ul>\n<li><a title=\"http:\/\/www.ru.is\/kennarar\/luca\/MV09SPRING\/\" href=\"http:\/\/www.ru.is\/kennarar\/luca\/MV09SPRING\/\" rel=\"nofollow\">Modelling and Verification 2009 &#8211; Reykjav\u00edk University &#8211; Three-week intensive course<\/a><\/li>\n<li><a title=\"http:\/\/www.cs.aau.dk\/~srba\/courses\/SV-08\/\" href=\"http:\/\/www.cs.aau.dk\/%7Esrba\/courses\/SV-08\/\" rel=\"nofollow\">Semantics and Verification 2008 &#8211; Aalborg University<\/a><\/li>\n<li><a title=\"http:\/\/www.ru.is\/kennarar\/luca\/MV\/\" href=\"http:\/\/www.ru.is\/kennarar\/luca\/MV\/\" rel=\"nofollow\">Modelling and Verification 2006 &#8211; Reykjav\u00edk University<\/a><\/li>\n<li><a title=\"http:\/\/www.cs.auc.dk\/~annai\/HI\/SV04\/plan.html\" href=\"http:\/\/www.cs.auc.dk\/%7Eannai\/HI\/SV04\/plan.html\" rel=\"nofollow\">Semantics and Verification 2004 &#8211; University of Iceland<\/a><\/li>\n<\/ul>\n<p><strong>A package with latex slides (including latex sources) used by Jiri Srba in 2005-2007 at Aalborg University in Denmark can be downloaded<\/strong> <a title=\"http:\/\/www.cs.aau.dk\/~srba\/slides-sv.zip\" href=\"http:\/\/www.cs.aau.dk\/%7Esrba\/slides-sv.zip\" rel=\"nofollow\">here<\/a>. Please, read the file README.txt for further information regarding the use of the slides and the compilation of the files.<\/p>\n<p><strong>A package with latex slides (including latex sources) with some pictures of timed automata and TLTSs from Part II of the book can be downloaded<\/strong> <a title=\"http:\/\/www.ru.is\/faculty\/luca\/RSBOOK\/ta-figures.zip\" href=\"http:\/\/www.ru.is\/faculty\/luca\/RSBOOK\/ta-figures.zip\" rel=\"nofollow\">here<\/a>.<\/p>\n<p><strong>A LaTeX file with slides used for lectures on modal logics for timed automata can be downloaded <a href=\"http:\/\/www.ru.is\/kennarar\/luca\/IMT-TA\/SLIDES\/ta-modal-logics.tex\">here<\/a>.<\/strong><\/p>\n<p>Here are examples of courses from other universities that use our book:<\/p>\n<ul>\n<li><a title=\"http:\/\/cs.uni-salzburg.at\/~anas\/teaching\/ConcurrencyVerification\/\" href=\"http:\/\/cs.uni-salzburg.at\/%7Eanas\/teaching\/ConcurrencyVerification\/\" rel=\"nofollow\">Introduction to Concurrency and Verification &#8211; University of Salzburg<\/a><\/li>\n<li><a title=\"http:\/\/www.cs.vsb.cz\/jancar\/MOD-VER\/mod-ver.htm\" href=\"http:\/\/www.cs.vsb.cz\/jancar\/MOD-VER\/mod-ver.htm\" rel=\"nofollow\">Modelling and Verification &#8211; Technical University of Ostrava<\/a><\/li>\n<li><a title=\"http:\/\/depend.cs.uni-sb.de\/index.php?467\" href=\"http:\/\/depend.cs.uni-sb.de\/index.php?467\" rel=\"nofollow\">Dependable Systems and Software: Nebenl\u00e4ufige Programmierung &#8211; Universit\u00e4et Des Saarlandes<\/a> (See <a title=\"http:\/\/infobib.cs.uni-sb.de\/frames\/vorlesungen\/spez_nebenprog.html\" href=\"http:\/\/infobib.cs.uni-sb.de\/frames\/vorlesungen\/spez_nebenprog.html\" rel=\"nofollow\">here<\/a> for the full reading list for this course.)<\/li>\n<li><a title=\"http:\/\/www.daimi.au.dk\/semantics\/materials.html\" href=\"http:\/\/www.daimi.au.dk\/semantics\/materials.html\" rel=\"nofollow\">Semantics (Q1,&#8217;07) &#8211; University of Aarhus<\/a><\/li>\n<li><a title=\"http:\/\/www.win.tue.nl\/~michelr\/2IW05.html\" href=\"http:\/\/www.win.tue.nl\/%7Emichelr\/2IW05.html\" rel=\"nofollow\">Software Specification &#8211; Technical University Eindhoven<\/a><\/li>\n<li><a href=\" http:\/\/www.math.unipd.it\/~baldan\/Global\">Linguaggi e Modelli per il Global Computing\u00a0&#8211; Universit\u00e0 di Padova<\/a><\/li>\n<li><a title=\"http:\/\/www-spi.lip6.fr\/~jaume\/aps.html\" href=\"http:\/\/www-spi.lip6.fr\/%7Ejaume\/aps.html\" rel=\"nofollow\">Analyse des Programmes et S\u00e9mantique &#8211; Master d&#8217;Informatique UPMC &#8212; M1 STL &#8212; 2007\/2008 APS<\/a><\/li>\n<li><a title=\"http:\/\/www.fi.muni.cz\/~xpelanek\/IA158\/?action=references\" href=\"http:\/\/www.fi.muni.cz\/%7Expelanek\/IA158\/?action=references\" rel=\"nofollow\">Real Time Systems &#8211; Faculty of Informatics, Masaryk University, Brno<\/a><\/li>\n<li><a title=\"http:\/\/www.cs.unibo.it\/~gorrieri\/MSC\/msc.html\" href=\"http:\/\/www.cs.unibo.it\/%7Egorrieri\/MSC\/msc.html\" rel=\"nofollow\">Modelli e Sistemi Concorrenti (A.A. 2008\/2009), Universit\u00e1 degli Studi di Bologna<\/a><\/li>\n<li><a title=\"http:\/\/www2.imm.dtu.dk\/courses\/02246\/02246_files\/slide0003.htm\" href=\"http:\/\/www2.imm.dtu.dk\/courses\/02246\/02246_files\/slide0003.htm\" rel=\"nofollow\">Process Modelling and Validation &#8211; Technical University of Denmark<\/a><\/li>\n<li><a title=\"http:\/\/www.ru.is\/luca\/MVUNICAM\/\" href=\"http:\/\/www.ru.is\/luca\/MVUNICAM\/\" rel=\"nofollow\">Modelling and Verification 2008, Universit\u00e1 di Camerino<\/a><\/li>\n<li><a title=\"http:\/\/www.cs.unicam.it\/tesei\/advanced0809\/\" href=\"http:\/\/www.cs.unicam.it\/tesei\/advanced0809\/\" rel=\"nofollow\">Timed Systems &#8211; Universit\u00e0 degli Studi di Camerino<\/a><\/li>\n<li><a title=\"https:\/\/www.cs.tcd.ie\/Matthew.Hennessy\/rsexternal\/index.php\" href=\"https:\/\/www.cs.tcd.ie\/Matthew.Hennessy\/rsexternal\/index.php\" rel=\"nofollow\">Reactive Systems (CS7011) &#8211; Trinity College, Dublin<\/a>, held by <a title=\"https:\/\/www.cs.tcd.ie\/Matthew.Hennessy\/\" href=\"https:\/\/www.cs.tcd.ie\/Matthew.Hennessy\/\" rel=\"nofollow\">Matthew Hennessy<\/a><\/li>\n<li>Reactive and Real Time systems. Seminar and course held at Tel Aviv University and Academic College Tel-Aviv Yaffo by Shmuel Tyszberowicz.<\/li>\n<li><a title=\"http:\/\/satoss.uni.lu\/courses\/formalmethods\/\" href=\"http:\/\/satoss.uni.lu\/courses\/formalmethods\/\" rel=\"nofollow\">Formal Methods &#8211; University of Luxembourg<\/a><\/li>\n<li>\n<div><a href=\"http:\/\/www-i2.informatik.rwth-aachen.de\/i2\/ct13\/\">Concurrency Theory &#8211; RWTH Aachen University<\/a><\/div>\n<\/li>\n<li><a href=\"http:\/\/www.ecp.fr\/home\/Formations\/Cursus_ingenieur_centralien\/3e_annee\/option_ingenierie_des_systemes_informatiques_et_avances\">Mod\u00e8lisation pour le G\u00e9nie Logiciel&#8217; (Modelling for Software Engineering)<\/a> &#8211; Ecole Centrale Paris<\/li>\n<li><a href=\"http:\/\/acad.iiserb.ac.in\/cc\/ecs402.php\">Concurrency Theory (4)<\/a> &#8211; RWTH Aachen<\/li>\n<li><a href=\"http:\/\/phoenix.inf.upol.cz\/~jancarp\/MaV\/mav.htm\">Modelovani a Verifikace<\/a> &#8211; Palacky University Olomouc<\/li>\n<li><a href=\"https:\/\/www.mtv.tu-berlin.de\/menue\/lehre\/module\/reaktive-systeme\/\">Reactive Systems<\/a> &#8211; Technische Universit\u00e4t Berlin<\/li>\n<li><a href=\"https:\/\/www.unive.it\/data\/course\/218049\">Formal Methods for System Vericication<\/a> &#8211; Ca&#8217;Foscari University, Italy<\/li>\n<\/ul>\n<p>If you are using our book in your course, please, let us know about it. Thanks!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>You can read the following paper dealing with how we use the book to teach concurrency theory. Teaching Concurrency: Theory in Practice (PDF, copyright by Springer-Verlag) Examples of our lectures using this book are here: Modelling and Verification 2009 &#8211; Reykjav\u00edk University &#8211; Three-week intensive course Semantics and Verification 2008 &#8211; Aalborg University Modelling and [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-45","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/45","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=45"}],"version-history":[{"count":18,"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/45\/revisions"}],"predecessor-version":[{"id":128,"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/45\/revisions\/128"}],"wp:attachment":[{"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=45"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}