Invited Talks

  • Synthesis of Models and Systems, Simons Institute, February-May, 2021.
  • Principles of Contract Languages – 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  October 13-15, 2020. (postphoned until spring 2021)
  • Summer School on Reactive Synthesis, August 31-September 3, 2020 (postphone until summer 2021)
  • Swedish Summer School on Cyber-Physical Systems, Halmstad Sweden, June 8–12, 2020 (postponed until summer 2021)
  • CPS&IoT Summer School, Budva, Montenegro, 08-12, June, 2020 (postphoned until spring 2021)
  • SynCoP  – 7th International Workshop on Synthesis of Complex Parameters, April 25-26, Dublin, Ireland (postphoned until spring 2021)
  • FACS19, 1 6th International Conference on Formal Aspects of Component Software, 23-25 October 2019, Amsterdam, The Netherlands.
  • CONCUR19, The 30th International Conference on Concurrency Theory, August 26-31, Amsterdam, The Netherlands.
  • SPIN19, 26th International SPIN Symposium on Model Checking of Software, July 15-16, 2019.
  • SETSS19, 5th Trusted Software Systems Engineering (International) Spring School, April 22-26, Southwestern University, Chongqing, China
  • CACS19, 2nd International Conference on Advancement in Computation Science, February 18-20, Lahore, Pakistan.
  • ISOLA18, Formal Methods in Industrial Practice – Bridging the Gap, Oct 30-Nov 13, 2018, Limassol, Cyprus.
  • GANDALF18: Ninth International Symposium on Games, Automata, Logics, and Formal Verification, 26-28 September, 2018, Saarbrücken, Germany
  • TIPS 2018: 3rd International workshop on TIming Performance engineering for Safety critical systems, September 8, 2018, Beijing, China
  • FM18, 22nd International Symposium on Formal Methods, 15-17 July 2018, Oxford UK
  • PhD Course, IMT School for Advanced Studies, June 3- June 8, 2018, Lucca, Italy
  • PhD Course, Gran Sasso Science Institute, May 28-June 2, 2018, L’Aquila, Italy
  • WATA18, 9th International Workshop Weighted Automata: Theory and Applications, May 22–26, 2018, Leipzig, Germany
  • DAGSTUHL: Machine Learning and Model Checking Join Forces, March 19-23, 2018.
  • TUTOR17, 2nd Tutorial on Tools for Real-Time Systems (co-located with RTSS), December 5, 2017, Paris, France
  • ESTC17, CCF Annual Conference on Embedded systems, School of Computer Science and Engineering, Northeastern University of China, Shenyang, China November 17-19, 2017
  • DAGSTUHL: Machine Learning and Formal Methods, August 28- September 1, 2017
  • ETAPS 2017, 24-28 June, Uppsala University, Sweden, Unified Speaker
  • PhD Course, Technical University, Graz, May 22 – June 2, 2017
  • SYNCOP17, 3rd International Workshop on Parameterized Verification, April 22-23, 2017, Uppsala, Sweden
  • LIVE17, 1st Workshop on Learning in Verification, April 29, 2017, Uppsala, Sweden
  • CIAA17, 22nd International Conference Implementation and Application of Automata, 27–30 June 2017, Université Paris-Est Marne-la-Vallée, France
  • Workshop on Learning and Automata (LearnAut), June 19, 2017, Reykjavik, Iceland.
  • DAGSTUHL: Game Theory in AI, Logic and Algorithms, March 13-17, 2017
  • 43rd International Conference on Current Trends in Theory and Practice of Computer Science,  January 16–20, 2017, Lero – Limerick, Ireland
  • 3rd Workshop on Formal Integrated Development Environment, Co-located with FM2016, November 8, 2016, Limassol, Cyprus
  • STRESS 2016 — 4th International School on Tool-based Rigorous Engineering of Software Systems, Corfu Imperial, Corfu, Greece, 5-9 October, 2016
  • Uncertainty in Computation, Simons Institute, Berkeley from October 4 – Oct. 7, 2016
  • Marktoberdorf Summerschool, Marktoberdorf, Germany, August 3-12, 2016.
  • TIME 2016, 23rd International Symposium on Temporal Representation and Reasoning, October 17-19, 2016, Technical University of Denmark.
  • 10th International Conference on Tests & Proofs, TAP, Vienna, Austria, July 5–7.
  • —-
  • Journées Scientifiques Inria 2016, Rennes, France June 20-23, 2016
  • Workshop on Model Theory, Automorphism Groups, and Weighted Automata, Dresden, Germany, June 17, 2016.
  • Pre- and post-deployment verification techniques (PePoDeVeTe), Reikjavik, Iceland, May 4, 2016
  • SynCoP 2016, 3rd International Workshop on Synthesis of Complex Parameters, April 3, 2016, Eindhoven, The Netherlands
  • College de France Invited Lecture, March 30, 2016.
  • Siemens Technology Forum, Ballerup, Denmark, March 10, 2016.
  • Trends and Challenges for Quantitative Systems, Mysore, India, February 1–4, 2016.
  • EMSIG Autumn School, Copenhagen, Denmark, November 9-13, 2015 (organizer)
  • Embedded Everywhere, Copenhagen, Denmark (DI & IDA), October 26, 2015.
  • Test4Rail Symposium, Braunschweig, Germany, October 14-15, 2015.
  • Danish Food Cluster, Aalborg, Denmark, October 6, 2015.
  • AVACS School, Oldenburg, Germany, September 30-October 2, 2015.
  • AVACS Final Colloquium (Academic Keynote), Oldenburg, Germany, September 29, 2015.
  • EU-Israel Seminar, Social Innovation & Smart Cities (invited by FI), Tel Aviv, September 10, 2015.
  • Martin Abadi DHC Seminar, LSV Cachan, France, June 24-26, 2015.
  • FMICS’15, 20th International Workshop on Formal Methods for Industrial Critical Systems, Oslo, Norway, June 22-23, 2015.
  • DISC PhD School on Control for Cyber-Physical Systems, Zandvoort, The Netherlands, June 1-4, 2015
  • Fifth Summer School on Formal Techniques, Menlo College, Atherton, CA, May 17 – May 22, 2015
  • AutomathA 2015, Jewels of Automata : from theory to applications, Leipzig, Germany, May 6-9, 2015.
  • BaSAAR, Baltic Seminar on Ambient Assisted Recovery, Hamburg, Germany, March 19-20, 2015
  • Dagstuhl Seminar : Non-Zero Sum Games and Control, Germany, February 2-6, 2015.
  • Formal Methods Forum, Toulouse, France, October 16, 2014.
  • Luca Cardelli Fest, Cambridge, England, September 8-10, 2014.
  • Cyber Physical Summer School, Grenoble, France, July 6-8, 2014.
  • Open Problems in Concurrency, Bertinoro,, Italy, June 16-20, 2014.
  • ICE 2014: Interaction and Concurrency Experience, Berlin, Germany, June 6, 2014.
  • Prakash Fest, Oxford, England, May 23-25, 2014.
  • WATA, Leipzig, Germany, May 5-7, 2014
  • From Programs to Systems – The System Perspective in Computing. ETAPS Workshop in Honour of Joseph Sifakis. Grenoble, France, April 6, 2014.
  • PECCS, Lisbon, Portugal, January 7-10, 2014.
  • CyPHERS Workshop, Munich, 14-15 October, 2013
  • VTSA Summerschool, Nancy, September 5-6, 2013
  • He Jifeng Fest, ECNU, Shanghai, China, September 1-3, 2013.
  • Training on Software Engineering School, ECNU, Shanghai, China, August 27-30, 2013
  • Cyberphysical Summer School, Grenoble, France, June 9-14, 2013
  • iFM 2013 – integrated Formal Methods 2013 – Åbo Akademi, Finland, 2013
  • Glynn Fest, Cambridge, England May 31- June 1, 2013.
  • Nordic Logic School, Nordfjordøyd, Norway, May 27-29, 2013.
  • Formal and Informal Methods for Correctness and Performance, Co-located with the International Conference on NETworked sYStems (NETYS) May 2, 2013.
  • LCCC Workshop, Lund, Sweden, April 18-19,2013
  • D-CON, Lübeck, Germany, March 7-8, 2013.
  • Dagstuhl Workshop on Testing, January 7-11, 2013.
  • Danish-Japaneese Workshop on Future Green Technologies,  Fukuoma, Japan, 10-12 December, 2012
  • MOVEP 2012, 10th School on Modelling and Verifying Parallel Processes, CIRM, Marseille, France, December 3-7, 2012.
  • FORMATS 2012. 10th International Conference on Formal Modeling and Analysis of Timed Systems. Imperial Colleage, London, UK, 18-20 September, 2012.
  • Marktoberdorf  Summer School, August, 2012.
  • WADT 2012, 21st International Workshop on Algebraic Development Techniques. Salamanca, Spain, June 7-10, 2012.
  • WATA 2012, Weighted Automata: Theory and Applications, 6th International Workshop, May 29- June 2, 2012, Dresden, Germany.
  • Milner Symposium, April 15-18, 2012, Edinburgh.
  • QAPL 2012. 10th Workshop on Quantitative Aspects of Programming Languages. March 31-April 1, 2012. Tallinn, Estonia.
  • RIO 2012. Escuela de Verano de Ciencias Informaticas RIO 2012. February 13-18, 2012. Rio Cuarto, Argentina.
  • TESTDAG 2011. De 17e Nederlandse Testdag November 29, 2011. University of Twente, Enschede, The Netherlands.
  • JTRES 2011, The 9th International Workshop on Java Technologies for Real-Time and Embedded Systems. September 26-28, 2011. Kings Manor, York, England.
  • ARTIST Summer School,Aix-les-Bains, France, September 4-9, 2011.
  • ARTIST  Summer School in China, IOS/ISCAS, Beijing, August 8-12, 2011.
  • PDMC,  10th International Workshop on Parallel and Distributed Methods in verifiCation, July 14, 2011, Cliff Lodge, Snowbird, Utah.
  • Microsoft Software Summit (invited panelist),  Paris, France, April 14, 2011,
  • RED, Rigorous Embedded Systems, Salzburg, Austria, April  10, 2011.
  • iWIGP,  International Workshop on Interaction, Games and Protocols, Saarbrücken, Germany, March 27, 2011.
  • ROCKS, Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems, Workshop, March 26, Saarbrücken, 2011.
  • Embedded World Conference, Development Tools Sessions, Nürnberg, March 3, 2011 (with Jens Alsted).
  • Complex Systems Design and Management, Paris, Cité Universitaire, France, October 27-29, 2010.
  • Quasimodo Tutorial at EMSOFT, Arizona, U.S.A, October 24, 2010.
  • 4th Workshop on Reachability Problems, Brno, Czech Republic, August 27-29, 2010.
  • Summer School Marktoberdorf, Marktoberdorf, Germany, August 3-15, 2010.
  • Synthesis, Verification and Analysis of Rich Models, Edinburgh, Scotland, July 20, 2010.
  • International Conference on Formal Verification of Object-Oriented Software, Paris, France, June 28-30, 2010.ACSD / PETRI NETS, Braga, Portugal, June 21-25, 2010.
  • Dependable Systems — Who Cares? CTIT Symposium. Twente University, The Netherlands, June 1, 2010.
  • WATA. Weighted Automata: Theory and Applications, May 3-7, 2010, Leipzig, Germany.
  • BCTCS, 26th British Colloquium for Theoretical Computer Science, 6-9 April 2010, University of Edinburgh, Scotland.
  • AVACS, Automatic Verification and Analysis of Complex Systems, 1st AVACS Spring School, 15-19 March 2010, Oldenburg, Germany.
  • QMC, Quantitative Model Checking, PhD School, Copenhagen, 2-5 March 2010
  • CoSBi, The Microsoft Research – University of Trento, Centre for Computational and Systems Biology, 15-18 February, 2010.
  • FSTTCS, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, December 15 to 17, 2009, IIT Kanpur, India.
  • M4M, Methods for Modalities 6, Copenhagen, Denmark. November 12-14, 2009.
  • FMCO, Software Technologies Concertation on Formal Methods for Components and Objects, 4 – 6 November 2009, Formal Method week, Eindhoven, The Netherlands.
  • MogensFest. Symposium for Mogens Nielsen’s 60th birthday: an Aarhus celebration. Aarhus, October 3-4, 2009.
  • ARTIST Summer School in Europe, September 7-11, 2009, Autrans, France
  • TASE, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, July 29 – 31, 2009, Tianjin, China
  • ARTIST Summer School in China,  July 19-24, 2009, Tsinghua University, Beijing, China
  • Software Engineering Summer School, July 15-22, SEI East China Normal University, Shanghai, China
  • Seventh International Andrei Ershov Memorial Conference, June 15-19, 2009, Novosibirsk, Russia
  • Joint China/Denmark  Symposium on ICT, April 21-23, 2009, Odd Fellow Palæ, Copenhagen.
  • 3rd International Conference on Fundamentals of Software Engineering, FSEN09, April  15-17, Kish Island, Iran.
  • COMBEST meeting on Interfaces, Rennes, France, March 3-4 2009.
  • Invited Talk on the Honoris Causa to Professor Dr. Reinhard Wilhelm from RWTH Aachen. . October 24, 2008.
  • Test Conference, Aalborg University. Denmark. October 20, 2008.
  • Overblik over den Embeddede Verden October 17, Elektronik Messen, Herning, Denmark
  • Marktoberdorf Summerschool. Marktoberdorf, Germany. August 5-16, 2008.
  • ARTIST2 Summer School Autrans (near Grenoble), France. September 8-12, 2008.
  • Automata and Verification Workshop University of Mons-Hainaut. Mons, Belgium. August 25, 26, 2008. 
  • The Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA) Launch Event. Manchester University, England. July 1, 2008.
  • Pan-European Conference Systematic Testing. Berlin, Germany. June 5, 2008.
  • Towards a Systematic Approach to Embedded System Design DATE, Design, Automation, and Test in Europe Nice, France – 20th April, 2007.
  • Quantitative Aspects of Embedded System Design Dagstuhl seminar Dagstuhl, Germany – 4-9, Marts, 2007
  • Tool Platforms for Embedded Modeling, Analysis and Validation CAV, Computer Aided Verification Conference Berlin, Germany – 1-2 July, 2007.
  • MOVES, a Tool for Modeling and Verification of Embedded Systems MoDES Workshop Sønderborg, Denmark –12-13 Marts, 2007
  • ARTIST2 Winterschool: MOdelling, TestIng, and Verification for Embedded Systems. Trento, Italy, February 19-23, 2007.
  • Modelling Day, Roskilde University, March 3, 2007.
  • ARTIST2/UNU-IIST School in China.  Suzhou, China, August 1-10, 2007.
  • Visit and Invited Lectures at Chinese Academy of Science, Beijing, China. August 11-17, 2007
  • QEST: 4th International Conference on the Quantitative Evaluation of SysTems. Edinburgh, Scotland. September 16-19, 2007.
  • “Copenhagen” Meeting on Modal Transition Systems. ITU, Copenhagen. September 20, 2007.
  • Second International Workshop on Foundations of Component-based Design, Embedded Systems Week, Saltzburg, September 30, 2007.
  • Embedded Systems Workshop. Eindhoven, The Netherlands. October 17, 2007. Organizers Bits & Chips, ESI en STW Progress.
  • Copenhagen, Denmark, October 9-13, 2006.
  • GLOBAN 2006 – The Global Computing Approach to Analysis of Systems, International Summer School, DTU, Denmark August 21-25, 2006.
  • International PhD School on Verification of Protocols for Security and Mobility, IT-University,
  • ARTES Summerschool 2006, Nässlinge, Sweden, August 22, 2006.
  • Scandinavian ARTIST2 Day, Stockholm, Sweden, August 21, 2006.
  • Summerschool on Testing, European TAROT project, Toledo, Spain, July, 2006.
  • Dagstuhl Workshop on Directed Model Checking; Schloss Dagstuhl, Germany, April 26-29, 2006.
  • Model-based Development of Embedded Systems; MCI, CPD, CSI, Sønderborg, February 23, 2006.
  • TECS Week: TCS Excellence in Computer Science Week; Tata Research Development and
    Design Center (a devision of Tata Consultancy Services Limited), Pune, India, January 3-7,
    2006.
  • RTSS05, The 26th IEEE Real-Time Systems Symposium, Invited Tutorial on UPPAAL; Miami,
    Florida, USA, December 5-8, 2005.
  • IFIP WG2.2, meeting in Kandestederne, Denmark, September 1, 2005.
  • Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, 1-5 August 2005.
  • ICAPS’05, The International Conference on Automated Planning and Scheduling, Monetery, California, U.S.A., June 5-10.
  • GVD05, German Verification Day, Oldenburg, Germany, March 4, 2005
  • MOVEP’04: Modeling and Verifiying Parallel Processes, Brussels, Belgium, 13-17 December 2004.
  • PRISE: Principles of Software Engineering, Buenos Aires, Argentina, November 22-27,2004.
  • Third international symposium on Formal Methods for Components and Objects (FMCO 2004), Leiden, The Netherlands, November 2-5, 2004.
  • NWPT’04: the 16th Nordic Workshop on programming Theory, Uppsala, Sweden, Octoboer 6-8, 2004.
  • Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, 13-18 September, 2004, Bertionoro University Residential Center, Italy.
  • Beyond Safety, April 26-28, 2004, Schloss Ringberg, Germany
  • Grand Challange for Global Ubiquitous Computing, May 7-9, Cambridge and September 2-3, London, 2004.
  • ESSES 2003, European Summer School on Embedded Systems, Sweden July 14-October 10, 2003.
  • EMSOFT, Third International Conference on Embedded Software, Philadelphia, USA, 13-15 October, 2003.
  • Process Algebra: Open Problems and Future Directions, Bertinoro, Italy, July 21-25, 2003.
  • DISC Summer School on “Modeling and Control of Hybrid Systems”, The Netherlands, June 23-26, 2003.
  • EEF Summer School on Foundatioins of Computer Science, Concurrency, May 16-30, Eindhoven, 2003.
  • Dagstuhl Workshop on Probabilistic Methods in Verification and Planning, May 11-16, 2003.
  • 2nd School on Formal Methods (SFM): Model Checking , Bertinoro, Italy, 9-14 September 2002.
  • FTRTFT:   Formal Techniques in Real-Time and Fault Tolerant Systems , Oldenborg, Germany, 9-12 September, 2002.
  • CONCUR , Tools Day. Brno, Czech Republic, August 24, 2002.
  • Third Workshop on Coloured Petri Nets , Aarhus, DK, August 2002.
  • AVoCS: Workshop on Automated Verification of Critical Systems , Birmingham, UK, April 2002
  • Presentation at The Royal Danish Academy of Science and Letters , Copenhagen, March 7, 2002.
  • Presentation at Center for Software Innovation, Sønderborg, DK, January 2002
  • IPA Fall Days on Timed Systems , Landgoed Hize Bergen, Vught, NL, November 2001
  • Dynamics Workshop, July 2001
  • Mathematical Foundation of Computer Science, May 2001
  • Model-based Validation of Intelligence, March 2001
  • Estonian Winterschool on Computer Science, January 2001
  • Dutch Model Checking Day, January 2001