事件
本页列出了各种我们团队组织的活动,ETH和其他地方。
2015
2014
2013
2012
2011
2010
-
软件工程未来研讨会, 在2010年11月22日至23日,ETH苏黎世
-
欧洲信息学,2010年10月12日至13日在布拉格举行的第六届年度信息专家会议10月11日举办了两次峰会前研讨会。
-
LASER软件工程暑期学校;经验软件工程, 在2010年9月5日至11日-意大利埃尔巴岛。
-
2010年海鲜, 2010年第四届国际海鲜会议在俄罗斯彼得霍夫(圣彼得堡)举行,在2010年6月17日至18日.
-
2010年通用工具第48届国际会议对象、模型、组件和模式,在西班牙马拉加举行,在2010年6月28日-7月2日.
2009
-
FATS:软件的形式化方法苏黎世ETH研讨会系列,2009年秋季学期,苏黎世ETH。
-
欧洲信息学,2009年10月8日至9日在巴黎举行的第五届年度信息-欧洲会议有一个针对部门主席和研究主管2009年10月7日。
-
LASER软件工程暑期学校
软件测试:实践与科学, 2009年9月6日至12日,意大利埃尔巴岛。
-
2009年通用工具第47届国际会议对象、模型、组件和模式,2009年6月29日至7月3日在苏黎世举行。
-
海鲜2009第三届国际软件大会海上和外包开发的工程方法2009年7月2日至3日,苏黎世联邦理工学院
-
2009年APV自动程序验证研讨会,阿根廷,2009年2月14日至15日。
2008
-
2008年LASER暑期学校2008年9月7日至13日在意大利埃尔巴举行的软件工程研讨会。
- 下一届欧洲计算机科学峰会ECSS 2008将于2008年10月8日至10日在苏黎世举行。
-
2008年通用工具在苏黎世ETH再次举办2008年6月30日至7月4日。会议涵盖了所有现代方法软件开发,重点是O-O和组件。
-
2008年海鲜第二届国际软件大会海上和外包开发的工程方法2008年7月3日至4日,苏黎世联邦理工学院
2007
-
激光暑期学校意大利埃尔巴的软件工程。2007年主题:应用软件验证,作为Tony Hoare关于软件验证的“大挑战”的一部分,2007年9月9日至15日,意大利埃尔巴
-
面向对象语言和系统技术,对象、模型、组件、模式, 2007年6月24日至28日在苏黎世联邦理工学院举行。
- 第一届国际会议测试和证明
(抽头)2007年2月12日至14日在苏黎世联邦理工学院
- 第一届国际会议软件工程方法离岸和外包开发2007年2月5日至6日在苏黎世联邦理工学院举行。
2006
- 第二个欧洲计算机科学峰会2006年10月16日至17日,苏黎世联邦理工学院:欧洲CS部门负责人年度会议。
-
LASER暑期学校《软件工程》实用编程流程»,2006年9月17日至23日,意大利埃尔巴。
2005
- 弗斯特欧洲计算机科学峰会苏黎世,2005年10月20日至21日(CS部门负责人会议)。
- IFIP国际验证会议软件:工具、理论、实验VSTTE公司, 2005年10月10日至14日,苏黎世,由Tony Hoare和Jay Misra担任主席,ETH 150周年纪念活动的一部分庆祝活动。