Overture Tool
Formal Modelling in VDM
Overture Core NetMeetings
The Overture core group net meetings.
Upcoming meetings:
See AOB of last meeting of last year.
And we have a meeting template
Open Actions:
The list of open net meeting actions can be found here.
Past Meetings
- Net Meeting 142: November 24, 2024
- Net Meeting 141: August 24, 2024
- Net Meeting 140: May 26, 2024
- Net Meeting 139: February 25, 2024
- Net Meeting 138: November 26, 2023
- Net Meeting 137: September 03, 2023
- Net Meeting 136: May 21, 2023
- Net Meeting 135: February 26, 2023
- Net Meeting 134: November 27, 2022
- Net Meeting 133: August 28, 2022
- Net Meeting 132: May 22, 2022
- Net Meeting 131: February 27, 2022
- Net Meeting 130: November 07, 2021
- Net Meeting 129: August 29, 2021
- Net Meeting 128: June 27, 2021
- Net Meeting 127: May 02, 2021
- Net Meeting 126: February 14, 2021
- Net Meeting 125: November 22, 2020
- Net Meeting 124: September 06, 2020
- Net Meeting 123: May 17, 2020
- Net Meeting 122: February 09, 2020
- Net Meeting 121: November 24, 2019
- Net Meeting 120: September 08, 2019
- Net Meeting 119: May 12, 2019
- Net Meeting 118: February 10, 2019
- Net Meeting 117: November 18, 2018
- Net Meeting 116: September 09, 2018
- Net Meeting 115: May 13, 2018
- Net Meeting 114: February 25, 2018
- Net Meeting 113: December 17, 2017
- Net Meeting 112: November 12, 2017
- Net Meeting 111: October 08, 2017
- Net Meeting 110: August 27, 2017
- Net Meeting 109: July 02, 2017
- Net Meeting 108: May 28, 2017
- Net Meeting 107: April 23, 2017
- Net Meeting 106: March 12, 2017
- Net Meeting 105: February 12, 2017
- Net Meeting 104: January 08, 2017
- Net Meeting 103: November 20, 2016
- Net Meeting 102: October 16, 2016
- Net Meeting 101: September 18, 2016
- Net Meeting 100: August 21, 2016
- Net Meeting 99: June 26, 2016
- Net Meeting 98: May 22, 2016
- Net Meeting 97: April 17, 2016
- Net Meeting 96: March 13, 2016
- Net Meeting 95: February 07, 2016
- Net Meeting 94: January 10, 2016
- Net Meeting 93: December 06, 2015
- Net Meeting 92: October 25, 2015
- Net Meeting 91: September 20, 2015
- Net Meeting 90: August 16, 2015
- Net Meeting 89: June 07, 2015
- Net Meeting 88: May 03, 2015
- Net Meeting 87: March 29, 2015
- Net Meeting 86: February 22, 2015
- Net Meeting 85: January 18, 2015
- Net Meeting 84: December 14, 2014
- Net Meeting 83: November 02, 2014
- Net Meeting 82: September 21, 2014
- Net Meeting 81: August 10, 2014
- Net Meeting 80: July 06, 2014
- Net Meeting 79: June 01, 2014
- Net Meeting 78: April 27, 2014
- Net Meeting 77: March 16, 2014
- Net Meeting 75: December 01, 2013
- Net Meeting 74: October 01, 2013
- Net Meeting 73: September 29, 2013
- Net Meeting 72: June 30, 2013
- Net Meeting 71: May 26, 2013
- Net Meeting 70: April 28, 2013
- Net Meeting 69: March 24, 2013
- Net Meeting 68: February 24, 2013
- Net Meeting 76: January 26, 2013
- Net Meeting 67: January 26, 2013
- Net Meeting 66: December 16, 2012
- Net Meeting 65: November 11, 2012
- Net Meeting 64: October 07, 2012
- Net Meeting 63: June 10, 2012
- Net Meeting 62: May 06, 2012
- Net Meeting 61: April 01, 2012
- Net Meeting 60: February 26, 2012
- Net Meeting 59: January 22, 2012
- Net Meeting 58: December 18, 2011
- Net Meeting 57: November 27, 2011
- Net Meeting 56: October 23, 2011
- Net Meeting 55: September 18, 2011
- Net Meeting 54: August 14, 2011
- Net Meeting 53: May 29, 2011
- Net Meeting 52: April 17, 2011
- Net Meeting 51: February 27, 2011
- Net Meeting 50: January 30, 2011
- Net Meeting 49: December 19, 2010
- Net Meeting 48: November 28, 2010
- Net Meeting 47: September 26, 2010
- Net Meeting 46: August 22, 2010
- Net Meeting 45: July 25, 2010
- Net Meeting 44: June 13, 2010
- Net Meeting 43: March 14, 2010
- Net Meeting 42: March 14, 2010
- Net Meeting 41: February 06, 2010
- Net Meeting 40: January 03, 2010
- Net Meeting 39: November 22, 2009
- Net Meeting 38: October 11, 2009
- Net Meeting 37: September 06, 2009
- Net Meeting 36: August 02, 2009
- Net Meeting 35: June 07, 2009
- Net Meeting 34: March 08, 2009
- Net Meeting 33: March 08, 2009
- Net Meeting 32: February 08, 2009
- Net Meeting 31: January 11, 2009
- Net Meeting 29: November 05, 2008
- Net Meeting 28: September 07, 2008
- Net Meeting 27: July 20, 2008
- Net Meeting 26: June 20, 2008
- Net Meeting 25: April 20, 2008
- Net Meeting 24: March 16, 2008
- Net Meeting 23: January 20, 2008
- Net Meeting 22: November 01, 2007
- Net Meeting 21: October 14, 2007
- Net Meeting 20: August 26, 2007
- Net Meeting 19: July 08, 2007
- Net Meeting 18: May 20, 2007
- Net Meeting 17: April 14, 2007
- Net Meeting 16: March 04, 2007
- Net Meeting 15: February 04, 2007