{"id":51,"date":"2023-03-06T16:42:49","date_gmt":"2023-03-06T16:42:49","guid":{"rendered":"https:\/\/kgl.cs.aau.dk\/?page_id=51"},"modified":"2023-03-06T16:42:49","modified_gmt":"2023-03-06T16:42:49","slug":"invited-talks","status":"publish","type":"page","link":"https:\/\/kgl.cs.aau.dk\/?page_id=51","title":{"rendered":"Invited Talks"},"content":{"rendered":"\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/simons.berkeley.edu\/workshops\/tfcs2021-1\"><em>Synthesis of Models and Systems<\/em><\/a>, Simons Institute, February-May, 2021.<\/li><li>Principles of Contract Languages&nbsp;\u2013 Schloss Dagstuhl, Gernamy, November 23-27, 2020.<\/li><li>ISOLA, Track on Automated Verification of Embedded Control Software, 20-30 October, Rhodes, Greece, 2020.<\/li><li>Network Verification and Automation Seminar, Bertinoro, Italy&nbsp; October 13-15, 2020. (postphoned until spring 2021)<\/li><li>Summer School on Reactive Synthesis, August 31-September 3, 2020 (postphone until summer 2021)<\/li><li>Swedish Summer School on Cyber-Physical Systems, Halmstad Sweden, June 8\u201312, 2020 (postponed until summer 2021)<\/li><li>CPS&amp;IoT Summer School, Budva, Montenegro, 08-12, June, 2020 (postphoned until spring 2021)<\/li><li>SynCoP&nbsp; &#8211; 7th International Workshop on Synthesis of Complex Parameters, April 25-26, Dublin, Ireland (postphoned until spring 2021)<\/li><li>FACS19, 1 6th International Conference on Formal Aspects of Component Software, 23-25 October 2019, Amsterdam, The Netherlands.<\/li><li>CONCUR19, The 30th International Conference on Concurrency Theory, August 26-31, Amsterdam, The Netherlands.<\/li><li>SPIN19, 26<sup>th<\/sup> International SPIN Symposium on Model Checking of Software, July 15-16, 2019.<\/li><li>SETSS19, 5<sup>th<\/sup> Trusted Software Systems Engineering (International) Spring School, April 22-26, Southwestern University, Chongqing, China<\/li><li>CACS19, 2<sup>nd<\/sup> International Conference on Advancement in Computation Science, February 18-20, Lahore, Pakistan.<\/li><\/ul>\n\n\n\n<ul class=\"wp-block-list\"><li>ISOLA18, Formal Methods in Industrial Practice \u2013 Bridging the Gap, Oct 30-Nov 13, 2018, Limassol, Cyprus.<\/li><li><a href=\"https:\/\/www.react.uni-saarland.de\/gandalf2018\/\">GANDALF18<\/a>: Ninth International Symposium on Games, Automata, Logics, and Formal Verification, 26-28 September, 2018, Saarbr\u00fccken, Germany<\/li><li><a href=\"http:\/\/www.es.ele.tue.nl\/tips18\/\">TIPS 2018:<\/a> 3rd International workshop on TIming Performance engineering for Safety critical systems, September 8, 2018, Beijing, China<\/li><li><a href=\"http:\/\/www.fm2018.org\/program\/\">FM18<\/a>, 22nd International Symposium on Formal Methods, 15-17 July 2018, Oxford UK<\/li><li>PhD Course, IMT School for Advanced Studies, June 3- June 8, 2018, Lucca, Italy<\/li><li>PhD Course, Gran Sasso Science Institute, May 28-June 2, 2018, L\u2019Aquila, Italy<\/li><li><a href=\"http:\/\/www.informatik.uni-leipzig.de\/wata2018\/\">WATA18<\/a>, 9th International Workshop Weighted Automata: Theory and Applications, May 22\u201326, 2018, Leipzig, Germany<\/li><li>DAGSTUHL: Machine Learning and Model Checking Join Forces, March 19-23, 2018.<\/li><li><a href=\"http:\/\/tutor2017.inria.fr\/\">TUTOR17<\/a>, 2nd Tutorial on Tools for Real-Time Systems (co-located with RTSS), December 5, 2017, Paris, France<\/li><li>ESTC17, CCF Annual Conference on Embedded systems, School of Computer Science and Engineering, Northeastern University of China, Shenyang, China November 17-19, 2017<\/li><li>DAGSTUHL: Machine Learning and Formal Methods, August 28- September 1, 2017<\/li><li><a href=\"https:\/\/www.google.dk\/url?sa=t&amp;rct=j&amp;q=&amp;esrc=s&amp;source=web&amp;cd=1&amp;cad=rja&amp;uact=8&amp;ved=0ahUKEwjWpqKGlM7NAhWJ8ywKHb_nCYAQFggaMAA&amp;url=http%3A%2F%2Fwww.etaps.org%2F&amp;usg=AFQjCNHPw-ntheIZpPNVepXCx_7iYr5g-Q\">ETAPS 2017<\/a>, 24-28 June, Uppsala University, Sweden, Unified Speaker<\/li><li>PhD Course, Technical University, Graz, May 22 \u2013 June 2, 2017<\/li><li><a href=\"https:\/\/lipn.univ-paris13.fr\/SynCoPPV2017\/\">SYNCOP17<\/a>, 3rd International Workshop on Parameterized Verification, April 22-23, 2017, Uppsala, Sweden<\/li><li><a href=\"https:\/\/www7.in.tum.de\/~kretinsk\/LiVe2017.html\">LIVE17<\/a>, 1st Workshop on Learning in Verification, April 29, 2017, Uppsala, Sweden<\/li><li><a href=\"http:\/\/ciaa17.univ-mlv.fr\/\">CIAA17, <\/a>22nd International Conference Implementation and Application of Automata, 27&#8211;30 June 2017, Universit\u00e9 Paris-Est Marne-la-Vall\u00e9e, France<\/li><li>Workshop on Learning and Automata (<a href=\"https:\/\/learnaut.wordpress.com\/\">LearnAut<\/a>), June 19, 2017, Reykjavik, Iceland.<\/li><li>DAGSTUHL: Game Theory in AI, Logic and Algorithms, March 13-17, 2017<\/li><li><a href=\"http:\/\/www.sofsem.cz\/sofsem17\/\">43rd International Conference on Current Trends in Theory and Practice of Computer Science<\/a>,&nbsp; January 16\u201320, 2017, Lero \u2013 Limerick, Ireland<\/li><li><a href=\"https:\/\/sites.google.com\/site\/fideworkshop2016\/\">3rd Workshop on Formal Integrated Development Environment<\/a>, Co-located with FM2016, November 8, 2016, Limassol, Cyprus<\/li><li><a href=\"http:\/\/santos.cis.ksu.edu\/STRESS\/2016\/index.html\">STRESS 2016<\/a> \u2014 4th International School on Tool-based Rigorous Engineering of Software Systems, Corfu Imperial, Corfu, Greece, 5-9 October, 2016<\/li><li><a href=\"https:\/\/simons.berkeley.edu\/workshops\/logic2016-1\">Uncertainty in Computation<\/a>, Simons Institute, Berkeley from October 4 \u2013 Oct. 7, 2016<\/li><li><a href=\"https:\/\/sites.google.com\/site\/marktoberdorf16\/\">Marktoberdorf Summerschool<\/a>, Marktoberdorf, Germany, August 3-12, 2016.<\/li><li><a href=\"http:\/\/time2016.compute.dtu.dk\/\">TIME 2016<\/a>, 23rd International Symposium on Temporal Representation and Reasoning, October 17-19, 2016, Technical University of Denmark.<\/li><li><a href=\"http:\/\/tap2016.ist.tugraz.at\/\">10th International Conference on Tests &amp; Proofs<\/a>, TAP, Vienna, Austria, July 5\u20137.<\/li><li>&#8212;-<\/li><li><a href=\"https:\/\/journees-scientifiques2016.inria.fr\/\">Journ\u00e9es Scientifiques Inria 2016<\/a>, Rennes, France June 20-23, 2016<\/li><li><a href=\"https:\/\/wwwtcs.inf.tu-dresden.de\/MoTAGWA2016\/\">Workshop on Model Theory, Automorphism Groups, and Weighted Automata<\/a>, Dresden, Germany, June 17, 2016.<\/li><li><a href=\"http:\/\/icetcs.ru.is\/prepost\/\">Pre- and post-deployment verification techniques (PePoDeVeTe)<\/a>, Reikjavik, Iceland, May 4, 2016<\/li><li><a href=\"https:\/\/lipn.univ-paris13.fr\/SynCoP2016\/\">SynCoP 2016<\/a>, 3rd International Workshop on Synthesis of Complex Parameters, April 3, 2016, Eindhoven, The Netherlands<\/li><li><a href=\"https:\/\/www.college-de-france.fr\/site\/gerard-berry\/seminar-2016-03-30-17h30.htm\">College de France Invited Lecture<\/a>, March 30, 2016.<\/li><li><a href=\"http:\/\/w3.siemens.dk\/home\/dk\/dk\/cc\/campaign\/teknologiforum\/pages\/teknologiforum.aspx\">Siemens Technology Forum<\/a>, Ballerup, Denmark, March 10, 2016.<\/li><li><a href=\"https:\/\/www.cse.iitb.ac.in\/~akshayss\/mysorepark16\/mysorepark16\">Trends and Challenges for Quantitative Systems<\/a>, Mysore, India, February 1\u20134, 2016.<\/li><li><a href=\"http:\/\/www.ciss.dk\/en\/emsig2015\">EMSIG Autumn School<\/a>, Copenhagen, Denmark, November 9-13, 2015 (organizer)<\/li><li><a href=\"https:\/\/universe.ida.dk\/embedded-everywhere\/aarets-elektronikevent-2015-embedded-everywhere\/\">Embedded Everywhere<\/a>, Copenhagen, Denmark (DI &amp; IDA), October 26, 2015.<\/li><li><a href=\"http:\/\/www.dlr.de\/ts\/en\/desktopdefault.aspx\/tabid-3930\/6094_read-36403\/\">Test4Rail Symposium<\/a>, Braunschweig, Germany, October 14-15, 2015.<\/li><li>Danish Food Cluster, Aalborg, Denmark, October 6, 2015.<\/li><li><a href=\"http:\/\/www.avacs.org\/home\/?L=4\">AVACS<\/a> School, Oldenburg, Germany, September 30-October 2, 2015.<\/li><li><a href=\"http:\/\/www.avacs.org\/concluding-colloq\/?L=4\">AVACS Final Colloquium<\/a> (Academic Keynote), Oldenburg, Germany, September 29, 2015.<\/li><li>EU-Israel Seminar, Social Innovation &amp; Smart Cities (invited by FI), Tel Aviv, September 10, 2015.<\/li><li>Martin Abadi DHC Seminar, LSV Cachan, France, June 24-26, 2015.<\/li><li><a href=\"http:\/\/fmics2015.org\/\">FMICS&#8217;15<\/a>, 20th International Workshop on Formal Methods for Industrial Critical Systems, Oslo, Norway, June 22-23, 2015.<\/li><li><a href=\"http:\/\/www.disc.tudelft.nl\/education\/summer-school-2015.html#program\">DISC PhD School on Control for Cyber-Physical Systems<\/a>, Zandvoort, The Netherlands, June 1-4, 2015<\/li><li><a href=\"http:\/\/permalink.gmane.org\/gmane.comp.science.types.announce\/5102\">Fifth Summer School on Formal Techniques<\/a>, Menlo College, Atherton, CA, May 17 &#8211; May 22, 2015<\/li><li><a href=\"http:\/\/www.automatha.uni-leipzig.de\/\">AutomathA 2015<\/a>, Jewels of Automata&nbsp;: from theory to applications, Leipzig, Germany, May 6-9, 2015.<\/li><li>BaSAAR, Baltic Seminar on Ambient Assisted Recovery, Hamburg, Germany, March 19-20, 2015<\/li><li><a href=\"http:\/\/www.dagstuhl.de\/de\/programm\/kalender\/semhp\/?semnr=15061\">Dagstuhl Seminar <\/a>: Non-Zero Sum Games and Control, Germany, February 2-6, 2015.<\/li><li><a href=\"http:\/\/projects.laas.fr\/IFSE\/FMF\/J4\/index.html\">Formal Methods Forum<\/a>, Toulouse, France, October 16, 2014.<\/li><li><a href=\"http:\/\/research.microsoft.com\/en-us\/events\/lucacardellifest\/\">Luca Cardelli Fest<\/a>, Cambridge, England, September 8-10, 2014.<\/li><li><a href=\"https:\/\/persyval-lab.org\/en\/summer-school\/cps14\">Cyber Physical Summer School<\/a>, Grenoble, France, July 6-8, 2014.<\/li><li>Open Problems in Concurrency, Bertinoro,, Italy, June 16-20, 2014.<\/li><li><a href=\"http:\/\/10times.com\/ice-berlin\">ICE 2014<\/a>: Interaction and Concurrency Experience, Berlin, Germany, June 6, 2014.<\/li><li><a href=\"http:\/\/www.cs.ox.ac.uk\/pf2014\/\">Prakash Fest<\/a>, Oxford, England, May 23-25, 2014.<\/li><li><a href=\"http:\/\/www.informatik.uni-leipzig.de\/~weidner\/wata2014\/\">WATA<\/a>, Leipzig, Germany, May 5-7, 2014<\/li><li><a href=\"http:\/\/www.etaps.org\/index.php\/2014\/workshops?id=164\">From Programs to Systems &#8211; The System Perspective in Computing<\/a>. ETAPS Workshop in Honour of Joseph Sifakis. Grenoble, France, April 6, 2014.<\/li><li><a href=\"http:\/\/www.peccs.org\/?y=2014\">PECCS<\/a>, Lisbon, Portugal, January 7-10, 2014.<\/li><li>CyPHERS Workshop, Munich, 14-15 October, 2013<\/li><li><a href=\"http:\/\/resources.mpi-inf.mpg.de\/departments\/rg1\/conferences\/vtsa13\/\">VTSA Summerschool<\/a>, Nancy, September 5-6, 2013<\/li><li>He Jifeng Fest, ECNU, Shanghai, China, September 1-3, 2013.<\/li><li>Training on Software Engineering School, ECNU, Shanghai, China, August 27-30, 2013<\/li><li><a href=\"http:\/\/www-verimag.imag.fr\/PERSYVAL-Lab-Summer-School-on.html?lang=en\">Cyberphysical Summer School,<\/a> Grenoble, France, June 9-14, 2013<\/li><li><a href=\"http:\/\/www.it.abo.fi\/iFM2013\/\">iFM 2013<\/a> &#8211; integrated Formal Methods 2013 &#8211; \u00c5bo Akademi, Finland, 2013<\/li><li>Glynn Fest, Cambridge, England May 31- June 1, 2013.<\/li><li><a href=\"http:\/\/scandinavianlogic.org\/school\">Nordic Logic School<\/a>, Nordfjord\u00f8yd, Norway, May 27-29, 2013.<\/li><li><a href=\"http:\/\/www-verimag.imag.fr\/~maler\/marrakech.html\">Formal and Informal Methods for Correctness and Performance<\/a>, Co-located with the International Conference on NETworked sYStems (NETYS) May 2, 2013.<\/li><li><a href=\"https:\/\/www.lccc.lth.se\/index.php?page=april-2013\">LCCC Workshop<\/a>, Lund, Sweden, April 18-19,2013<\/li><li><a href=\"http:\/\/www.isp.uni-luebeck.de\/dcon13\">D-CON<\/a>, L\u00fcbeck, Germany, March 7-8, 2013.<\/li><li>Dagstuhl Workshop on Testing, January 7-11, 2013.<\/li><li>Danish-Japaneese Workshop on Future Green Technologies,&nbsp; Fukuoma, Japan, 10-12 December, 2012<\/li><li><a href=\"http:\/\/movep.lif.univ-mrs.fr\/\">MOVEP 2012<\/a>, 10th School on Modelling and Verifying Parallel Processes, CIRM, Marseille, France, December 3-7, 2012.<\/li><li><a href=\"http:\/\/www2.warwick.ac.uk\/fac\/cross_fac\/dimap\/events\/formats2012\/\">FORMATS 2012<\/a>. 10<sup>th<\/sup> International Conference on Formal Modeling and Analysis of Timed Systems. Imperial Colleage, London, UK, 18-20 September, 2012.<\/li><li>Marktoberdorf&nbsp; Summer School, August, 2012.<\/li><\/ul>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"http:\/\/maude.sip.ucm.es\/wadt2012\/\">WADT 2012<\/a>, 21st International Workshop on Algebraic Development Techniques. Salamanca, Spain, June 7-10, 2012.<\/li><li><a href=\"http:\/\/wwwtcs.inf.tu-dresden.de\/wata2012\/\">WATA 2012, Weighted Automata: Theory and Applications<\/a>, 6th International Workshop, May 29- June 2, 2012, Dresden, Germany.<\/li><li><a href=\"events.inf.ed.ac.uk\/Milner2012\/\">Milner Symposium<\/a>, April 15-18, 2012, Edinburgh.<\/li><li><a href=\"http:\/\/www1.isti.cnr.it\/~Massink\/EVENTS\/QAPL2012\/\">QAPL 2012.<\/a> 10th Workshop on Quantitative Aspects of Programming Languages. March 31-April 1, 2012. Tallinn, Estonia.<\/li><li><a href=\"http:\/\/dc.exa.unrc.edu.ar\/rio\/\">RIO 2012<\/a>. Escuela de Verano de Ciencias Informaticas RIO 2012. February 13-18, 2012. Rio Cuarto, Argentina.<\/li><li><a href=\"http:\/\/www.testdag.nl\/\">TESTDAG 2011<\/a>. De 17e Nederlandse Testdag November 29, 2011. University of Twente, Enschede, The Netherlands.<\/li><li><a href=\"http:\/\/www.artist-embedded.org\/artist\/JTRES-2011.html\">JTRES 2011<\/a>, The 9th International Workshop on Java Technologies for Real-Time and Embedded Systems. September 26-28, 2011. Kings Manor, York, England.<\/li><li><a href=\"http:\/\/www.artist-embedded.org\/artist\/Overview,2278.html\">ARTIST Summer School<\/a>,Aix-les-Bains, France, September 4-9, 2011.<\/li><li><a href=\"http:\/\/www.artist-embedded.org\/artist\/Overview,2239.html\">ARTIST&nbsp; Summer School in China<\/a>, IOS\/ISCAS, Beijing, August 8-12, 2011.<\/li><li><a href=\"http:\/\/www.pdmc.cz\/PDMC11\/\">PDMC<\/a>,&nbsp; 10th International Workshop on Parallel and Distributed Methods in verifiCation, July 14, 2011, Cliff Lodge, Snowbird, Utah.<\/li><li><a href=\"http:\/\/research.microsoft.com\/en-us\/events\/ss2011\/\">Microsoft Software Summit<\/a> (invited panelist),&nbsp; Paris, France, April 14, 2011,<\/li><li><a href=\"http:\/\/www.artist-embedded.org\/artist\/Programm,2288.html\">RED<\/a>, Rigorous Embedded Systems, Salzburg, Austria, April&nbsp; 10, 2011.<\/li><li><a href=\"http:\/\/www.etaps.org\/programme\/76-programmeiwigp\">iWIGP<\/a>,&nbsp; International Workshop on Interaction, Games and Protocols, Saarbr\u00fccken, Germany, March 27, 2011.<\/li><li><a href=\"http:\/\/www.etaps.org\/programme\/66-programmerocks\">ROCKS<\/a>, Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems, Workshop, March 26, Saarbr\u00fccken, 2011.<\/li><li>Embedded World Conference, Development Tools Sessions, N\u00fcrnberg, March 3, 2011 (with Jens Alsted).<\/li><li><a href=\"http:\/\/www.csdm2010.csdm.fr\/\">Complex Systems Design and Management<\/a>, Paris, Cit\u00e9 Universitaire, France, October 27-29, 2010.<\/li><li>Quasimodo Tutorial at EMSOFT, Arizona, U.S.A, October 24, 2010.<\/li><li><a href=\"http:\/\/www.csc.liv.ac.uk\/~rp2010\/\">4th Workshop on Reachability Problems,<\/a> Brno, Czech Republic, August 27-29, 2010.<\/li><li><a href=\"http:\/\/asimod.in.tum.de\/2010\/index.shtml\">Summer School Marktoberdorf<\/a>, Marktoberdorf, Germany, August 3-15, 2010.<\/li><li><a href=\"http:\/\/richmodels.epfl.ch\/svarm:program\">Synthesis, Verification and Analysis of Rich Models<\/a>, Edinburgh, Scotland, July 20, 2010.<\/li><li><a href=\"http:\/\/foveoos2010.cost-ic0701.org\/\">International Conference on Formal Verification of Object-Oriented Software<\/a>, Paris, France, June 28-30, 2010.<a href=\"http:\/\/acsd-petrinets2010.di.uminho.pt\/?page=ACSD2010\">ACSD \/ PETRI NETS<\/a>, Braga, Portugal, June 21-25, 2010.<\/li><li><a href=\"http:\/\/www.ctit.utwente.nl\/ctit_symposium2010\/\">Dependable Systems &#8212; Who Cares?<\/a> CTIT Symposium. Twente University, The Netherlands, June 1, 2010.<\/li><li><a href=\"http:\/\/www.informatik.uni-leipzig.de\/theo\/wata2010\/\">WATA<\/a>. Weighted Automata: Theory and Applications, May 3-7, 2010, Leipzig, Germany.<\/li><li><a href=\"http:\/\/www.bctcs.ac.uk\/BCTCS2010\/\">BCTCS<\/a>, 26th British Colloquium for Theoretical Computer Science, 6-9 April 2010, University of Edinburgh, Scotland.<\/li><li><a href=\"http:\/\/www.avacs.org\/spring2010\/\">AVACS<\/a>, Automatic Verification and Analysis of Complex Systems, 1st AVACS Spring School, 15-19 March 2010, Oldenburg, Germany.<\/li><li><a href=\"http:\/\/www.artist-embedded.org\/artist\/Overview,2048.html\">QMC<\/a>, Quantitative Model Checking, PhD School, Copenhagen, 2-5 March 2010<\/li><li><a href=\"http:\/\/www.cosbi.eu\/index.php\/newsevents\/visitors\/visitors-arc\">CoSBi<\/a>, The Microsoft Research \u2013 University of Trento, Centre for Computational and Systems Biology, 15-18 February, 2010.<\/li><li><a href=\"http:\/\/www.fsttcs.org\/archives\/2009\/\">FSTTCS<\/a>, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, December 15 to 17, 2009, IIT Kanpur, India.<\/li><li><a href=\"http:\/\/m4m.loria.fr\/M4M6\/\">M4M<\/a>, Methods for Modalities 6, Copenhagen, Denmark. November 12-14, 2009.<\/li><li><a href=\"http:\/\/fmco.liacs.nl\/fmco09.html\">FMCO<\/a>, Software Technologies Concertation on Formal Methods for Components and Objects, 4 &#8211; 6 November 2009, Formal Method week, Eindhoven, The Netherlands.<\/li><li><a href=\"http:\/\/www.cs.au.dk\/%7Edanvy\/mn\/\">MogensFest<\/a>. Symposium for Mogens Nielsen&#8217;s 60th birthday: an Aarhus celebration. Aarhus, October 3-4, 2009.<\/li><li>ARTIST Summer School in Europe, September 7-11, 2009, Autrans, France<\/li><li>TASE, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, July 29 &#8211; 31, 2009, Tianjin, China<\/li><li>ARTIST Summer School in China, &nbsp;July 19-24, 2009, Tsinghua University, Beijing, China<\/li><li>Software Engineering Summer School, July 15-22, SEI East China Normal University, Shanghai, China<\/li><li>Seventh International Andrei Ershov Memorial Conference, June 15-19, 2009, Novosibirsk, Russia<\/li><li>Joint China\/Denmark&nbsp; Symposium on ICT, April 21-23, 2009, Odd Fellow Pal\u00e6, Copenhagen.<\/li><li>3<sup>rd<\/sup> International Conference on Fundamentals of Software Engineering, FSEN09, April&nbsp; 15-17, Kish Island, Iran.<\/li><li>COMBEST meeting on Interfaces, Rennes, France, March 3-4 2009.<\/li><li>Invited Talk on the Honoris Causa to Professor Dr. Reinhard Wilhelm from RWTH Aachen. . October 24, 2008.<\/li><li>Test Conference, Aalborg University. Denmark. October 20, 2008.<\/li><li>Overblik over den Embeddede Verden October 17, Elektronik Messen, Herning, Denmark<\/li><li>Marktoberdorf Summerschool. Marktoberdorf, Germany. August 5-16, 2008.<\/li><li>ARTIST2 Summer School Autrans (near Grenoble), France. September 8-12, 2008.<\/li><li>Automata and Verification Workshop University of Mons-Hainaut. Mons, Belgium. August 25, 26, 2008.&nbsp;<\/li><li>The Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA) Launch Event. Manchester University, England. July 1, 2008.<\/li><li>Pan-European Conference Systematic Testing. Berlin, Germany. June 5, 2008.<\/li><li>Towards a Systematic Approach to Embedded System Design DATE, Design, Automation, and Test in Europe Nice, France \u2013 20th April, 2007.<\/li><li>Quantitative Aspects of Embedded System Design Dagstuhl seminar Dagstuhl, Germany \u2013 4-9, Marts, 2007<\/li><li>Tool Platforms for Embedded Modeling, Analysis and Validation CAV, Computer Aided Verification Conference Berlin, Germany \u2013 1-2 July, 2007.<\/li><li>MOVES, a Tool for Modeling and Verification of Embedded Systems MoDES Workshop S\u00f8nderborg, Denmark \u201312-13 Marts, 2007<\/li><li>ARTIST2 Winterschool: MOdelling, TestIng, and Verification for Embedded Systems. Trento, Italy, February 19-23, 2007.<\/li><li>Modelling Day, Roskilde University, March 3, 2007.<\/li><li>ARTIST2\/UNU-IIST School in China.&nbsp; Suzhou, China, August 1-10, 2007.<\/li><li>Visit and Invited Lectures at Chinese Academy of Science, Beijing, China. August 11-17, 2007<\/li><li>QEST: 4th International Conference on the Quantitative Evaluation of SysTems. Edinburgh, Scotland. September 16-19, 2007.<\/li><li>&#8220;Copenhagen&#8221; Meeting on Modal Transition Systems. ITU, Copenhagen. September 20, 2007.<\/li><li>Second International Workshop on Foundations of Component-based Design, Embedded Systems Week, Saltzburg, September 30, 2007.<\/li><li>Embedded Systems Workshop. Eindhoven, The Netherlands. October 17, 2007. Organizers Bits &amp; Chips, ESI en STW Progress.<\/li><li>Copenhagen, Denmark, October 9-13, 2006.<\/li><li><a href=\"http:\/\/www2.imm.dtu.dk\/GLOBAN\/\">GLOBAN 2006<\/a> \u2013 The Global Computing Approach to Analysis of Systems, International Summer School, DTU, Denmark August 21-25, 2006.<\/li><li>International PhD School on Verification of Protocols for Security and Mobility, IT-University,<\/li><li><a href=\"http:\/\/www.artes.uu.se\/events\/summer06\/\">ARTES Summerschool 2006<\/a>, N\u00e4sslinge, Sweden, August 22, 2006.<\/li><li><a href=\"http:\/\/www.snart.org\/conference\/2006\/meeting\/The_Snart_seminar_2006.pdf#search=%22snart%20seminar%22\">Scandinavian ARTIST2 Day<\/a>, Stockholm, Sweden, August 21, 2006.<\/li><li><a href=\"http:\/\/www.info-ab.uclm.es\/tarot\/\">Summerschool on Testing<\/a>, European TAROT project, Toledo, Spain, July, 2006.<\/li><li>Dagstuhl Workshop on Directed Model Checking; Schloss Dagstuhl, Germany, April 26-29, 2006.<\/li><li>Model-based Development of Embedded Systems; MCI, CPD, CSI, S\u00f8nderborg, February 23, 2006.<\/li><li><a href=\"http:\/\/www.tcs-trddc.com\/tecs\/2006-tecsweek.htm\">TECS Week<\/a>: TCS Excellence in Computer Science Week; Tata Research Development and<br>Design Center (a devision of Tata Consultancy Services Limited), Pune, India, January 3-7,<br>2006.<\/li><li><a href=\"http:\/\/www.rtss.org\/rtss2005\/advance-pgm.htm\">RTSS05<\/a>, The 26th IEEE Real-Time Systems Symposium, Invited Tutorial on UPPAAL; Miami,<br>Florida, USA, December 5-8, 2005.<\/li><li>IFIP WG2.2, meeting in Kandestederne, Denmark, September 1, 2005.<\/li><li>Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, 1-5 August 2005.<\/li><li><a href=\"http:\/\/icaps05.uni-ulm.de\/\">ICAPS&#8217;05<\/a>, The International Conference on Automated Planning and Scheduling, Monetery, California, U.S.A., June 5-10.<\/li><li><a href=\"http:\/\/www.software-kompetenz.de\/?23424\">GVD05<\/a>, German Verification Day, Oldenburg, Germany, March 4, 2005<\/li><li><a href=\"http:\/\/litpc24.ulb.ac.be\/movep\/\">MOVEP&#8217;04:<\/a> Modeling and Verifiying Parallel Processes, Brussels, Belgium, 13-17 December 2004.<\/li><li><a href=\"http:\/\/www.dc.uba.ar\/people\/prise2004\/\">PRISE<\/a>: Principles of Software Engineering, Buenos Aires, Argentina, November 22-27,2004.<\/li><li><a href=\"http:\/\/fmco.liacs.nl\/\">Third international symposium on Formal Methods for Components and Objects (FMCO 2004)<\/a>, Leiden, The Netherlands, November 2-5, 2004.<\/li><li><a href=\"http:\/\/user.it.uu.se\/%7Epaupet\/pc\/nwpt04\/\">NWPT&#8217;04<\/a>: the 16th Nordic Workshop on programming Theory, Uppsala, Sweden, Octoboer 6-8, 2004.<\/li><li><a href=\"http:\/\/www.sti.uniurb.it\/events\/sfm04rt\/\">Formal Methods for the Design of Computer, Communication and Software Systems: Real Time<\/a>, 13-18 September, 2004, Bertionoro University Residential Center, Italy.<\/li><li>Beyond Safety, April 26-28, 2004, Schloss Ringberg, Germany<\/li><li><a href=\"http:\/\/www.nesc.ac.uk\/esi\/events\/Grand_Challenges\/proposals\/Ubiq.pdf\">Grand Challange for Global Ubiquitous Computing<\/a>, May 7-9, Cambridge and September 2-3, London, 2004.<\/li><li><a href=\"http:\/\/archi.snu.ac.kr\/symin\/esses\/\">ESSES 2003,<\/a> European Summer School on Embedded Systems, Sweden July 14-October 10, 2003.<\/li><li><a href=\"http:\/\/www.emsoft.org\/\">EMSOFT<\/a>, Third International Conference on Embedded Software, Philadelphia, USA, 13-15 October, 2003.<\/li><li><a href=\"http:\/\/www.cs.auc.dk\/%7Eluca\/BICI\/pa2003.html\">Process Algebra: Open Problems and Future Directions<\/a>, Bertinoro, Italy, July 21-25, 2003.<\/li><li>DISC Summer School on &#8220;Modeling and Control of Hybrid Systems&#8221;, The Netherlands, June 23-26, 2003.<\/li><li><a href=\"http:\/\/www.win.tue.nl\/EEF\/\">EEF<\/a> Summer School on Foundatioins of Computer Science, Concurrency, May 16-30, Eindhoven, 2003.<\/li><li>Dagstuhl Workshop on Probabilistic Methods in Verification and Planning, May 11-16,&nbsp;2003.<\/li><li>2nd School on Formal Methods (SFM): Model Checking , Bertinoro, Italy, 9-14 September 2002.<\/li><li>FTRTFT:&nbsp;&nbsp; <a href=\"http:\/\/www.informatik.uni-oldenburg.de\/ftrtft02\/\">Formal Techniques in Real-Time and Fault Tolerant Systems<\/a> , Oldenborg, Germany, 9-12 September, 2002.<\/li><li><a href=\"http:\/\/www.fi.muni.cz\/concur2002\/\">CONCUR<\/a> , Tools Day. Brno, Czech Republic, August 24, 2002.<\/li><li><a href=\"http:\/\/www.daimi.au.dk\/CPnets\/workshop02\/\">Third Workshop on Coloured Petri Nets<\/a> , Aarhus, DK, August 2002.<\/li><li>AVoCS: <a href=\"http:\/\/www.cs.bham.ac.uk\/%7Egxn\/avocs\/\">Workshop on Automated Verification of Critical Systems<\/a> , Birmingham, UK, April 2002<\/li><li>Presentation at <a href=\"http:\/\/www.royalacademy.dk\/pres_e.htm\">The Royal Danish Academy of Science and Letters<\/a> , Copenhagen, March 7, 2002.<\/li><li>Presentation at Center for Software Innovation, S\u00f8nderborg, DK, January 2002<\/li><li><a href=\"http:\/\/www.win.tue.nl\/ipa\/activities\/falldays2001\/index.html\">IPA Fall Days on Timed Systems<\/a> , Landgoed Hize Bergen, Vught, NL, November 2001<\/li><li>Dynamics Workshop, July 2001<\/li><li>Mathematical Foundation of Computer Science, May 2001<\/li><li>Model-based Validation of Intelligence, March 2001<\/li><li>Estonian Winterschool on Computer Science, January 2001<\/li><li>Dutch Model Checking Day, January 2001<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Synthesis of Models and Systems, Simons Institute, February-May, 2021. Principles of Contract Languages&nbsp;\u2013 Schloss Dagstuhl, Gernamy, November 23-27, 2020. ISOLA, Track on Automated Verification of Embedded Control Software, 20-30 October, Rhodes, Greece, 2020. Network Verification and Automation Seminar, Bertinoro, Italy&nbsp; October 13-15, 2020. (postphoned until spring 2021) Summer School on Reactive Synthesis, August 31-September 3, &hellip; <a href=\"https:\/\/kgl.cs.aau.dk\/?page_id=51\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Invited Talks&#8221;<\/span><\/a><\/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-51","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/51","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=51"}],"version-history":[{"count":1,"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/51\/revisions"}],"predecessor-version":[{"id":52,"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/51\/revisions\/52"}],"wp:attachment":[{"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=51"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}