Skip to content
- 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