今年接受了以下研讨会：

• 7月13日：BeMC：最佳模型检查（BeMC）（L104室）-纪念奥尔娜·格伦伯格的车间
• 7月13日：DARS：鲁棒系统的设计与分析（620室）
• 7月13日：VMW：验证指导研讨会（L105室）
• 7月13日至14日：NSV：数字软件验证（617室）
• 7月13日至14日：VSTTE：验证软件：理论、工具和实验（304室）
• 7月14日：软件验证民主化（620室）
• 7月14日：FoMLAS：支持ML的自治系统的形式化方法（L105室）
• 7月14日：SYNT：合成（L104室）