提名征集：VCLA国际学生奖
杰出硕士论文奖* 优秀本科生论文奖（学士论文或同等学历，1 标准 博洛尼亚进程周期）*
计算逻辑 , 涵盖理论和数学基础，如证明 理论、模型理论、可计算性理论、布尔可满足性（SAT）、QBF、约束 满意度、可满足性模理论、自动演绎（解决、反驳、， 定理证明），非经典逻辑（子结构逻辑，多值逻辑，道义 逻辑、模态和时序逻辑）。 算法和计算复杂性 , 包括离散的设计和分析 算法，复杂性分析，算法下限，参数化和精确 算法、分解方法、近似算法、随机算法、， 算法工程、算法博弈论、计算社会选择、， 并行算法、图形绘制算法和分布式算法。 数据库和人工智能 , 关注建模的逻辑方法， 存储并从数据和知识中推断。 这包括以下主题 基于逻辑概念的查询语言（数据日志、SQL变体、XML和 SPARQL），新型数据库理论方法（模式映射、信息 提取和集成）、逻辑编程、知识表示和推理 （本体论、答案集编程、信念改变、不一致处理、， 论证、规划）。 验证 , 关注用于推理的逻辑方法和自动化工具 复杂状态系统的行为和正确性，如软件和 硬件设计以及混合系统。 这包括模型检查、程序 分析和抽象新的跨学科领域，如故障定位、程序 修复、程序合成和生物系统分析。
杰出硕士论文奖附带1200欧元奖金。 杰出本科生论文奖附带800欧元奖金。 获奖者将被邀请参加颁奖典礼。 获奖者应有机会发表论文。
该学位必须由以下人员颁发： 2023年1月1日和2023年12月31日 （含） . 在TU Wien获得学位的学生没有资格。
封面页，包含被提名人的姓名和联系方式 被提名人的作品名称、奖项类别、日期 授予学位的学校名称。 论文的英文摘要，最多3页，不包括参考文献（A4或 字母页面大小，最小11pt字体）。 摘要必须明确说明 这部作品，它的新颖性，以及它与上述一些感兴趣的领域的相关性。 被提名人的简历，包括出版物清单（如适用）。 主管或其他提议人的认可函。 信件必须 明确说明学生的独立和新颖贡献，以及提议者的原因 相信这个学生应该得到这个奖项。 背书函可在以下时间提供 提交截止日期，并直接通过电子邮件发送至奖励（AT）logic-cs.AT。 全文。
申请人应使用以下链接以电子方式提交提名 到EasyChair 在这里。 提交文件由两个pdf文件组成。 第一个是包含所有文档的单个pdf文件 除论文全文外的提名； 这些文件应该按照它们的顺序出现 上面列出了。 第二个pdf文件是全文。 背书人可以选择通过电子邮件发送背书函，但可以省略 来自Easychair提交的文件。 在这种情况下，请以pdf文件形式通过电子邮件发送信件，包括 主题中指定人员的姓名，授予（AT）logic-cs DOT。 提交文件必须附有论文的纯文本电子摘要 最多400个单词和三个关键字。 Th（第个） 被提名的学生必须列为提交表格中的唯一作者。
Shqiponja Ahmetaj先生 （主席） 米歇尔·奇亚里 卡塔琳·法泽卡斯 丹妮拉·考夫曼 马蒂亚斯·兰津格 刘兴汉 阿内拉·洛里奇 （主席） Sanja Lukumbuzya公司 简·马利 Xavier父母 瓦伊迪亚纳桑·佩鲁文巴·拉马斯瓦米 迈克尔·劳森 马丁·里纳 塞巴斯蒂安·斯克里泰克 马泰奥·特西 费利克斯·温特 朱尔斯·乌尔姆斯 基斯·范·伯克尔
第七届VCLA国际学生奖2023 第六届VCLA国际学生奖2021 第五届VCLA国际学生奖2020 2019年第四届VCLA国际学生奖 2018年第三届VCLA国际学生奖 2016年第二届VCLA国际学生奖 2015年VCLA国际学生奖第一版
