Skip to content

Talks and Conferences

This page lists conferences and workshops where I am involved as an invited speaker or program committee member. It does not list talks where accepted papers are presented, please refer to the Publications page for those.

Upcoming Events

  • 2017 – Program Committee Member of Eleventh Workshop on Model-Based Testing (MBT 2017 – Satellite workshop of ETAPS 2017)

Past events:

  • 2015 – Program Committee Member of Tenth Workshop on Model-Based Testing (MBT 2015 – Satellite workshop of ETAPS 2015)
  • 2014 – Program Committee Member of Nineth Workshop on Model-Based Testing (MBT 2014 – Satellite workshop of ETAPS 2014)
  • 2013 – Program Committee Member of Eighth Workshop on Model-Based Testing (MBT 2013 – Satellite workshop of ETAPS 2013)
  • 2013 – Program Committee Member of 2nd International Workshop on Quality Assurance for Service-based applications (QASBA 2013 – at ISSTA 2013)
  • 2012 – Program Committee Member of ICT Verification and Validation (QUATIC’2012 Thematic Track)
  • 2011 – Program Committee Member of International Workshop on Quality Assurance for Service-based applications (QASBA)
  • 2011 – Program Committee Member of Workshop on Advances in Model Based Testing (A-MOST 2011)
  • 2010 – Program Committee Member of Workshop on Advances in Model Based Testing (A-MOST 2010)
  • 2010 – Talk Model-Based Testing of User Interfaces with Symbolic Transition Systems: Experience from Practice. GI SIG TAV / TOOP Workshop. Düsseldorf, Germany.
  • 2009 – Program Committee Member of the 3rd Dutch Workshop on Formal Testing Techniques (DWFTT 2009)
  • 2009 – Program Committee Member of Workshop on Advances in Model Based Testing (A-MOST 2009)
  • 2008 – Program Committee Co-Chair of Workshop on Advances in Model Based Testing (A-MOST 2008)
  • 2007 – Talk Model-Based Testing with Transition Systems. GI SIG TAV Workshop. Stuttgart, Germany.
  • 2007 – Program Committee Member of Workshop on Advances in Model Based Testing (A-MOST 2007)
  • 2007 – Talk Formal Testing – Theories for Practice. Tarot Summer School. Grenoble, France. (TAROT 2007)
  • 2006 – Program Committee Member of Web Services – Modeling and Testing (WS-MaTe 2006)
  • 2006 – Talk A First Glance at Symbolic Test Generation for Distributed Components. IPA Springdays on Testing. Vught, The Netherlands.
  • 2004 – Talk Model-Based Testing – An Overview. Department of Informatics seminar. University of Bergen, Norway.

Posted by Lars Frantzen | on