Invited Talks

  • 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
  • News

  • Contact

    Department of Computer Science
    Aalborg University

    Science Selma Lagerlöfs Vej 300,
    DK-9220 Aalborg East
    Office: 0.2.32
    Mail: kgl ‘at’ cs.aau.dk


    PHONE : +45 99 40 80 80 (Switchboard)
    PHONE : +45 99 40 88 93 (Direct)
    PHONE : +45 22 17 11 59 (Mobile)
    FAX : +45 98 15 98 89