| 2023 | 26 | Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2023, 26th Workshop, Freiburg, Germany, 23-24 March 2023 | Freiburg im Breisgau | |
| 2022 | 25 | Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022 | Germany | |
| 2021 | 24 | Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2021, 24th Workshop, Virtual Event, Germany, March 18-19, 2021 | Germany | |
| 2020 | 23 | 23rd GMM/ITG/GI Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2020, Stuttgart, Germany, March 19-20, 2020 | Stuttgart | |
| 2019 | 22 | 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. MBMV | Kaiserslautern | 2019-03-08/09 |
| 2018 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. MBMV | Tübingen | 2018-02-08/09 |
| 2017 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. MBMV | Bremen | 2017-02-08/09 |
| 2016 | 19 | 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016. MBMV | Freiburg im Breisgau | 2016-03-01/02 |
| 2015 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. MBMV | Chemnitz | 2015-03-03/04 |
| 2014 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany MBMV | Böblingen | 2014-01-01 |
| 2013 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. MBMV | Warnemünde | 2013-03-12/14 |
| 2012 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012 MBMV | Kaiserslautern | 2012-01-01 |
| 2011 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011 MBMV | Oldenburg | 2011-02-21/23 |
| 2010 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010 MBMV | Dresden | 2010-02-22/24 |
| 2009 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009 MBMV | Berlin | 2009-03-02/04 |
| 2008 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008 MBMV 2008, MBMV | Freiburg im Breisgau | 2008-03-03/05 |
| 2007 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007 MBMV | Erlangen | 2007-03-05/07 |
| 2006 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006 MBMV | Dresden | 2006-02-20/22 |
| 2005 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV | Munich | 2005-01-01 |
| 2004 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004 MBMV 2004, MBMV | Kaiserslautern | 2004-02-24/25 |
| 2003 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003 MBMV | Bremen | 2003-02-24/25 |
| 2002 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002 MBMV | Tübingen | 2002-02-25/27 |
| 2001 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001 MBMV | Meissen | 2001-02-19/21 |
| 2000 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000 MBMV | Frankfurt | 2000-02-28 to 2000-03-01 |
| 1999 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999 MBMV | Brunswick | 1999-02-22/24 |
| 1998 | | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998 MBMV | Paderborn | 1998-03-09/11 |
