新闻
2015年11月1日
Chris Poskitt正在参加Dagstuhl研讨会进化图结构的验证.
2015年7月17日
我们的论文智能步行器：面向老年人的智能机器人步行器赢得了最佳论文奖在第十一届智能环境国际会议上(2015年).
2015年6月25日我们的论文一个完全验证的容器库赢得了最佳论文奖在第20届形式方法国际研讨会上(2015年FM).
2015年4月2日Carlo A.Furia将给出埃菲尔验证工具教程在TAP 2015年意大利拉奎拉。
2015年2月16日这个第二版edX MOOC马上就要开始了！
2014年12月18日朱利安·查宁（Julian Tschannen）、于培（Yu Pei）和克里斯蒂安·埃斯特勒（Christian Estler）成功地为他们的博士论文辩护。祝贺 你！
2014年12月5日网站2015年激光暑期学校现在已联机。第十二届暑期学校的主题是并发：下一个边界.
2014年9月24日报纸Rosetta代码中编程语言的比较研究Sebastian Nanz和Carlo A.Furia在斜线批注和在别处.
2014年8月21日我们的论文分布式软件开发中的感知和合并冲突赢得了最佳论文奖在第九届全球软件工程国际会议上(ICGSE’14).
2014年8月5日
Bertrand Meyer教授授予荣誉博士学位由英国约克大学颁发，以表彰他对软件工程的贡献。
2014年7月14日
我们小组对自动语言翻译的研究产生了ETH分拆公司mt系统.该公司提供C源代码到Java源代码的全自动、完整和正确的翻译，以低成本和低风险！
2014年7月9日
斯科特·韦斯特成功地为他的博士论文辩护并发面向对象程序的正确性和执行.祝贺 你！
2014年6月18日至19日
Robospop团队在瑞士图恩举行的2014年SmartWorld研讨会上展示了他们的进展。查看SmartWalker手势控制的视频。
2014年4月29日
Nadia Polikarpova成功地为她的博士论文辩护指定和验证的可重用组件。祝贺你！
2014年3月6日至7日ERC高级拨款第一次科学顾问委员会会议简化并发在苏黎世理工学院举行。照片显示，董事会成员曼弗雷德·布罗伊、莫里斯·赫利希、何塞·梅塞格尔、贾亚德夫·米斯拉、戴夫·帕尔纳斯和比尔·罗斯科与CME团队.
2014年3月5日
本杰明·莫兰迪成功地为他的博士论文辩护原型化并发模型。祝贺你！
2014年2月20日
我们主办了Niklaus Wirth生日研讨会.它非常成功，有许多杰出的演讲者为活动的高质量做出了贡献。
2013年12月2日
的注册2014年激光现已打开。主题将是领先的软件工程.
2013年11月28日2月20日，我们将举办一次研讨会，以纪念Niklaus Wirth教授的80岁生日。这次活动是一次由著名演讲者参加的正式科学会议。我们邀请您注册和我们一起庆祝计算机科学的创始人之一。
2013年10月11日我们的论文多核语言的可用性和性能基准测试赢得了最佳论文奖在第七届国际经验软件工程与测量研讨会上(ESEM'13系列).
2013年9月24日查看我们的MOOC！由Marco Piccioni领导的一个项目产生了我们流行的课程“编程入门”的电子版（大规模开放在线课程）。来自世界各地的参与者可以按照自己的节奏参加课程，包括练习和测验。由于Christian Estler的Eiffel4Mooc框架位于http://se.ethz.ch/mooc/编程.
2013年8月29日我们的论文协同调试在第八届全球软件工程国际会议.
2013年8月16日我们为ERC高级拨款研究项目启动了一个新网站简化并发（CME）。了解我们的团队、我们当前的研究活动、SCOOP并发模型，并在以下网址观看我们的新YouTube视频cme.ethz.ch公司.
2013年5月8日
在线试用我们的一些研究工具。这个通信公司该网站允许您在浏览器中直接运行它们。。。阅读更多信息.
2013年9月24日
查看我们的MOOC！马可·皮奇奥尼领导的一个项目为我们的热门课程“编程入门”制作了电子版（大规模开放在线课程）。来自世界各地的参与者可以按照自己的节奏参加课程，包括练习和测验。由于Christian Estler的Eiffel4Mooc框架位于http://se.ethz.ch/mooc/编程.
2013年8月29日
我们的论文协同调试在第八届全球软件工程国际会议.
2013年8月16日
我们已经为我们的ERC高级拨款研究项目，简化并发（CME）。了解我们的团队、我们当前的研究活动、SCOOP并发模型，并在以下网址观看我们的新YouTube视频cme.ethz.ch公司.
2013年5月27日
报纸使用契约指导基于搜索的并发程序验证Chris Poskitt和Simon Poulding在2013年SSBSE.
2013年5月9日
报纸检查并行编程中的专家差距由塞巴斯蒂安·南兹、斯科特·韦斯特和凯·索亚雷斯·达席尔维拉创作，已于2013年欧洲保时捷展.
2013年5月8日
尝试我们的一些在线研究工具。这个通信公司该网站允许您在浏览器中直接运行它们。Comcom目前使用这些工具自动校对,布加卢,爪哇语和卡塔尔金融服务局.
2013年5月7日
报纸协同调试由H.-Christian Estler、Martin Nordio、Carlo A.Furia和Bertrand Meyer编写，已在2013年ICGSE.
2013年4月10日
报纸基于行为设计模式的并发面向对象开发本杰明·莫兰迪（Benjamin Morandi）、斯科特·韦斯特（Scott West）、塞巴斯蒂安·南兹（Sebastian Nanz）和哈桑·戈马（Hassan Gomaa）的作品已被接受发表于ECSA 2013年.
2013年3月31日
报纸轻松检查程序朱利安·查宁（Julian Tschannen）、卡洛·福里亚（Carlo A.Furia）、马丁·诺迪奥（Martin Nordio）和伯特兰·梅耶（Bertrand Meyer）已被接受发表于2013年VSTTE.
2013年3月21日
报纸建立并发模型的原型本杰明·莫兰迪（Benjamin Morandi）、米沙埃尔·席尔（Mischael Schill）、塞巴斯蒂安·南兹（Sebastian Nanz）和贝特兰·梅耶（Bertrand Meyer）的作品已被接受发表于ACSD 2013.
2013年3月13日
Robospop团队成功展示了他们的进步在瑞士斯皮兹的SmartWorld研讨会上。视频SmartWalker正在运行在线可用.
2013年2月12日
论文“将配置管理与合并冲突统一起来”检测和感知系统”，作者：H.Christian Estler，Martin Nordio，卡洛·福里亚和伯特兰·梅耶已被接受出版在ASWEC 2013.
2012年11月20日
论文“强规范有什么好处？”作者：Nadia Polikarpova、Carlo A.Furia、Yu Pei、Yi Wei和Bertrand Meyer已被接受发表于2013年ICSE.
2012年11月9日
撰写的论文《自动测试规律的探索》作者：Carlo A.Furia、Bertrand Meyer、Manuel Oriol、AndreyTikhomirov和Yi Wei已被接受在软件验证和测试的轨道ACM-SAC 2013年.
2012年10月24日
卡罗·A·富里亚（Carlo A.Furia）写的《计算中的建模时间》（Modeling time in computing）一书（与D.Mandrioli、A.Morzenti和M.Rossi合著）已出版Springer和是可获得的联机.
2012年9月5日
报纸谁应对异步异常负责？,由本杰明·莫兰迪（Benjamin Morandi）、塞巴斯蒂安·南兹（Sebastian Nanz）和伯特兰·梅耶（Bertrand Meyer）撰写，已被接受在第19届亚太软件工程会议（APSEC’12）.
2012年9月3日
报纸并行编程语言可用性比较的实证研究设计,由塞巴斯蒂安·南兹（Sebastian Nanz）、法拉斯·托尔希齐（Faraz Torshizi）、米歇拉·佩德罗尼（Michela Pedroni）和贝特兰·迈耶（Bertrand Meyer）撰写，已被接受在期刊上发表信息和软件技术.
2012年8月31日
我们的论文敏捷与结构化分布式软件开发：案例研究在第七届全球软件工程国际会议.
2012年8月29日
报纸C到O-O：超越简单的东西由马可·特鲁德尔（Marco Trudel）、卡洛·福里亚（Carlo A.Furia）、马丁·诺迪奥（Martin Nordio）和贝特朗·梅耶（Bertrand Meyer）与曼努埃尔·奥里奥（Manuel Oriol）合著，和工具纸使用C2Eiffel实现C到O-O的自动转换由马可·特鲁德尔（Marco Trudel）、卡洛·福里亚（Carlo A.Furia）和马丁·诺迪奥（Martin Nordio）撰写，已在第十九届逆向工程工作会议.
2012年6月27日
报纸并发程序的恶魔测试,作者Scott West、Sebastian Nanz和Bertrand Meyer，已被接受在第十四届国际形式工程方法会议.
2012年6月20日
报纸序列操作程序功能属性的验证器由Carlo A.Furia编写，已被接受在第十届核查和分析自动化技术国际研讨会.
2012年6月12日
报纸SCOOP程序的性能分析, 由本杰明·莫兰迪（Benjamin Morandi）、塞巴斯蒂安·南兹（Sebastian Nanz）和伯特兰·梅耶（Bertrand Meyer）撰写，已被接受在系统与软件杂志.
2012年5月24日
报纸基于自动机的有界变量线性时序逻辑模型验证, Carlo A.Furia与P.Spoletini合著，已被接受在第19届时间表征与推理国际研讨会.
2012年5月1日
我们的论文敏捷与结构化分布式软件开发：案例研究。, 作者：H.Christian Estler、Martin Nordio、Carlo A.Furia、Bertrand Meyer和Johannes Schneider已于7日被接受出版全球软件工程国际会议.
2012年4月24日
软件工程主席欢迎两位新的博士生成员：Andrey Rusakov和Mischael Schill。
2012年3月18日
报纸异步异常是否会过期？, 由本杰明·莫兰迪（Benjamin Morandi）、塞巴斯蒂安·南兹（Sebastian Nanz）和伯特兰·梅耶（Bertrand Meyer）撰写，已被接受在2012年ICSE第五届例外处理国际研讨会（WEH’12）.
2011年12月14日
贝特朗·梅耶（Bertrand Meyer）和软件工程主席已收到高级研究员拨款（AIG）来自欧洲研究委员会（ERC）的“简化并发性”项目。
这个AIG计划ERC的是欧盟最负盛名的资助机制，在一组申请人（知名研究人员）中，成功率约为12%，这些申请人已由其所在机构严格自行选择。我们的项目是自2008年AIG项目启动以来，第一个授予ETH计算机科学奖的项目。这笔赠款从2012年4月开始，为期五年，金额约为250万欧元（300万瑞士法郎）。
该项目的目标是简化并发性，为软件工程做出突破性进展通过使并发编程与其他形式的编程一样简单可靠。赌注是巨大的，因为随着摩尔定律的结束，我们知道，进一步提高性能的唯一途径是通过使用并发体系结构，但常用的技术，例如常见编程语言中的多线程机制，保持在过低的抽象级别，使它们难以使用，并导致程序不可靠。
项目说明可用在这里. 我们将很快发布博士后、博士生和研究工程师的职位公告。
