这个呼叫第八届VCLA国际学生奖已结束。获奖者将于2024年8月31日后公布。

VCLA国际学生奖 旨在认可和支持世界各地的学生逻辑和计算机科学领域的杰出科学著作分为两类：

• 杰出硕士论文奖
• 杰出本科生研究奖

奖品

• 杰出硕士论文奖：1200欧元
• 杰出本科生研究（学士）奖：800欧元
• 如果情况允许，获奖者将被邀请在颁奖典礼上展示他们的作品

重要日期

当前要求提名VCLA国际学生奖刚刚发布！我们接受2023年1月1日至12月31日期间授予的学位论文。

如果情况允许，将与获奖者举行颁奖典礼。颁奖典礼包括获奖者的演讲，通常作为维也纳会议或其他活动的一部分举行。

 

纪念

该奖项是为了纪念赫尔穆特·维思他是一位才华横溢的计算机科学家，于2016年3月不幸去世，旨在继续致力于提升这些领域的年轻人才和有前途的研究人员。除了维也纳逻辑与算法中心，Veith的另一个遗产是女硕士生Helmut Veith奖学金在维也纳工业大学，奥地利。它的使命是 为了纪念赫尔穆特·维思（Helmut Veith）为TU Wien计算机科学领域和整个社会服务的传统，通过识别和支持在已故学者的研究领域拥有好奇心的女性人才。

第七届VCLA国际学生奖2023

第七届VCLA国际学生奖备受关注，并于2023年夏天结束，宣布了两个奖项类别的两名获奖者和一名亚军。2023年VCLA国际学生奖得主为：

杰出硕士论文奖

• 莉迪亚·布吕梅尔（莱比锡大学，现为哈根大学）在马库斯·乌布利希特.

杰出硕士论文奖–亚军

• 维托·罗德里格斯·格里蒂（北里奥格兰德联邦大学，现格罗宁根大学）在乔·马科斯和塞尔吉奥·马塞利诺（Sergio Marcelino）的指导下，完成了他的硕士论文“Hilbert-Style Formalism for Two-Dimensional Notions of Consequence”。

杰出本科生研究奖

• 巴博拉·什马利科娃（布尔诺理工大学）在Ond公司řej Lengál先生.

细节

朱尔斯·乌尔姆斯、莉迪亚·布吕梅尔、罗伯特·加尼安

朱尔斯·伍姆斯、维托·罗德里格斯·格雷蒂、罗伯特·加尼安

朱尔斯·乌尔姆斯、巴博拉·什马利科娃、罗伯特·加尼安、阿加塔·恰巴托尼

第六届VCLA国际学生奖2021

非常成功的第六届VCLA国际学生奖于2021年7月结束，宣布了两个奖项类别的两名获奖者。2021年VCLA国际学生奖的获奖者包括：

杰出硕士论文奖

• Tuukka Korhonen公司(赫尔辛基大学）的硕士论文“寻找最优树分解”马蒂·贾维萨洛.

杰出本科生研究奖

• 贾斯珀·斯拉萨勒克（萨尔州大学）在卡尔·布林曼。

细节

第五届VCLA国际学生奖2020

第五届VCLA国际学生奖非常成功，于2020年7月结束，宣布了两个奖项类别的两名获奖者。2020年VCLA国际学生奖的获奖者是：

杰出硕士论文奖

• 卡罗琳娜·奥克拉萨(华沙理工大学）在Pawe Rz ewski公司。

杰出本科生研究奖

• 安东尼·卡拉德（ENS Paris-Saclay）在马蒂厄·霍伊鲁普.

细节

2019年第四届VCLA国际学生奖

非常成功的第四届VCLA国际学生奖于2019年6月28日星期五闭幕，宣布了两个奖项类别的两名获奖者。2019年VCLA国际学生奖得主为：

杰出硕士论文奖

• 马丁·穆尼奥斯 （智利天主教大学）硕士论文计算复杂性类的描述性复杂性在…的监督下马塞洛竞技场和克里斯蒂安·里弗罗斯.

杰出本科生研究奖

• 阿列克谢·罗塔 （TU München）代表本科生论文PCTL片段的可满足性问题在…的监督下简·克雷汀斯基.

此处提供详细信息和照片库

2018年第三届VCLA国际学生奖

非常成功的VCLA国际学生奖第三届于2018年6月11日（星期一）闭幕，宣布了两个奖项类别的两名获奖者。2018年VCLA国际学生奖得主为：

未完成本科生研究奖

• 托马斯·拉姆泽(马萨里克大学（位于捷克共和国布尔诺），在教授的指导下撰写论文“巡逻游戏的算法分析”安东·库奇时代（位于捷克共和国布尔诺的Masaryk大学）。

优秀硕士论文奖

• 杰里米·梁安刚(伦敦帝国理工学院（英国），在教授的指导下发表论文“MCMAS-Dynamic:符号模型检查线性动态逻辑”阿莱西奥·洛穆西奥（英国伦敦帝国理工学院）。

阅读和/或听他的论文陈述 在这里.

此处提供详细信息和照片库

2016年第二届VCLA国际学生奖

2016年4月16日，VCLA国际学生奖第二届颁奖典礼圆满结束，两位获奖者参加了庆祝活动。2015年VCLA国际学生奖得主是：

杰出本科生研究奖

• Felix Dörre（卡尔斯鲁厄理工学院）的论文“随机数生成器的验证”

杰出硕士论文奖

• 瓦莱丽亚·维格努德利（博洛尼亚大学），发表论文“高阶语言的辨别力：过程代数方法”（博洛纳）

霍norable提及

• Maximilian Schleich（牛津大学），发表“因子连接的学习回归模型”

细节和照片库在这里

2015年VCLA国际学生奖第一版

这个VCLA公司在2014年夏天于维也纳举行的逻辑史上最大的活动中，宣布了第一版VCLA国际学生奖。这个维也纳逻辑之夏（VSL）由12个大型会议和众多研讨会组成，吸引了来自世界各地的2000多名研究人员。

非常成功的VCLA国际学生奖第一版于2015年5月15日（星期五）闭幕，庆祝了两个奖项类别的四位获奖者。2014年VCLA国际学生奖的获奖者是：

杰出本科生研究奖

• 智利大学Pablo Muñoz，使用路径比较评估CRPQ的新复杂性界限

杰出硕士论文奖

• Kuldeep S.Meel，莱斯大学，布尔可满足性抽样技术
• 卢克·谢弗，滑铁卢大学，决定自动序列的性质
• Sophie Spirkl，波恩大学，布尔电路优化

此处提供详细信息和照片库