福西特这一年非常成功:阿德里安·雷博拉·帕尔多(Adrian Rebola Pardo)和他的合著者因其论文《扩展分辨率模拟DRAT》(Extended Resolution Simulates DRAT)获得了IJCAR最佳论文奖,米特拉·塔巴伊·贝弗罗伊(Mitra Tabaei Befrouei)和她的合著者因为其论文《具有概率保证的分布式系统的随机测试》(Randomized Testing of Distributed Systems with Pro,托马斯·帕尼(Thomas Pani)因其对并发共享内存程序的自动边界分析的依赖保证推理(Rely-Gaurance Reasoning for Automated Bound Analysis of Concurrent,Shared-Memory Program)的贡献(连续第二年)而获得FMCAD最佳学生贡献奖。祝贺 你!
为了纪念FORSYTE研究小组的创始人赫尔穆特·维思(Helmut Veith),本期《系统设计中的形式方法杂志》(Journal on Formal Methods In System Design)是《纪念赫尔穆特·韦思》(Memoriam Helmut Veith)的特刊。赫尔穆特于2016年3月意外去世;他是一位才华横溢的研究人员,激励着合作者,热情的导师,慷慨的朋友,并且是正规方法社区的重要成员。赫尔穆特不仅因其在自动验证领域的众多有影响力的贡献而闻名(最突出的是他在反示例引导抽象精炼方面的工作),而且还因其对逻辑界不懈而热情的努力而闻名。人们非常想念他。特刊链接(第51卷第2期,2017年11月)。
Helmut Veith Stipend 2017的申请截止日期已延长至11月30日。这笔津贴是为了纪念一位杰出的计算机科学家,他曾在计算机科学、计算机辅助验证、软件工程和计算机安全领域从事逻辑工作。我们鼓励所有参加(或计划参加)TU Wien以英语授课的计算机科学硕士课程的女硕士学生申请。有关详细信息,请访问http://forsyte.at/helmut-veith-stipend。
3月14日下午5:30,与著名科学家就STEM研究中的多样性进行小组讨论,TU Wien The Helmut Veith Stipend致力于纪念一位杰出的计算机科学家,他曾在计算机科学、计算机辅助验证、软件工程和计算机安全领域从事逻辑工作。奖学金每年发放给在TU Wien学习英语硕士课程的优秀女性学生(见资格详情)。今年Helmut Veith Stipend的申请截止日期为2017年8月20日。
玛丽亚娜·拉齐奇(Marijana Lazić)因其在计算机辅助验证和分布式计算理论交叉领域的研究而获得“ZONTA CLUB WIEN I–TU-Mobilitätspidendium”奖项。这笔津贴将支持她参加有关研究领域的国际会议。在ZONTA的支持下,她已经前往美国和加拿大参加今年的LICS和CAV会议。今年晚些时候,她将访问加州大学伯克利分校几个月。我们为玛丽亚娜感到高兴!
Laura Kovács和Georg Weissenbacher是克雷格插值及其应用第二次研讨会的组织者。2013年在圣彼得堡成功举办了第一版研讨会(与CAV会议合办,该会议也是由Forsyte集团组织的),第二次研讨会更加注重将来自不同社区的研究人员聚集在一起:研讨会邀请了来自复杂性理论、描述逻辑和验证领域的三位杰出演讲人,并就插值的理论方面以及在决策过程中的应用进行了14次演讲,博弈论、综合、验证和描述逻辑。
Josef Widder正在组织一个跨学科的Dagstuhl研讨会http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=13141这是RiSE项目持续努力的一部分http://rise.or.at网址在分布式算法和计算机辅助验证之间建立更紧密的联系。
位于奥斯特雷奇信息研究所的沃登大学,阿伯·梅尔als 50 Prozent der Studierenden wählen die TU Wien–über 1000 Studienanfänger jährlich。Der gute Ruf Der TU Wien wird zum Fluch für das Studium,denn auf 52 habilitiete教授kommen fast 7000 Studierende;埃因索尔什·维尔蒂尼斯·瓦雷·贝安德伦国际弗里登大学(Fuhrenden Universityäten undebar)。Alle wissen,dass Mangelwirtschaft a Universityäten dem Wissenschafts-und Wirtschaftsstandor schadet,die Innovationskraft unserve Gesellschaft untergräbt und den wissenschafflichen Nachwuchs ins Ausland treibt。DerStandard公司