Talks and Conferences

Lars Frantzen  /  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

Past events:

  • 2017 – Program Committee Member of Eleventh Workshop on Model-Based Testing (MBT 2017 – Satellite workshop of ETAPS 2017)
  • 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.