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
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,
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.
Invited Talks
Design Center (a devision of Tata Consultancy Services Limited), Pune, India, January 3-7,
2006.
Florida, USA, December 5-8, 2005.
Workshop on Learning and Automata (LearnAut)