新闻
- 2021-12-10:更新的会议地点:全部虚拟在BBB中
- 2021-11-23:前两届会议的更新地点:现在几乎位于BBB
- 2021-10-21:添加伊利亚斯课程链接。为启动更新BigBlueButton链接。更新时间表。
- 2021-10-20年:更新可用主题、注册、过程、成绩和初步时间表。
为启动添加BigBlueButton链接。
- 2021-10-18:更新会谈日期/地点。
- 2021-10-13:网站在线。
普罗塞米纳
本次研讨会首次介绍了计算机科学学科的科学工作。本次研讨会的重点是演讲(以演讲者和参与者的身份)。演讲将围绕以下列出的程序分析主题领域的经典文章,重点关注文章的特定方面。最后,每次演讲的重点都将以所有主题都有类似难度的方式设置。
登记处
- 本次专业研讨会的启动会议在上述地点和时间举行。
- 在启动会议上,我们将详细阐述促进民主的目标、结构和规则。
- 2021年10月25日星期一12:00(当地时间)之前,您告诉我们
- 你最喜欢的主题列表(第一个最喜欢的,最多可以)
- 你当然想参加这次研讨会
- 如果研讨会已满,我们将优先录取参加启动会议并按时提交其最喜欢主题的学生。组织者将尽可能将最喜欢的主题与人们匹配。
会议
定期进行谈话亲自在上述地点和时间。
研讨会进程
- 如果你获准参加研讨会,你会收到一封电子邮件,其中指定了你的主题和主管。
- 您与您的主管举行了一次会议,我们在会上讨论了相关文献,并对您的演讲进行了粗略的概述(大约在您演讲前六周)。
- 你写一份提案,解释你要在演讲中陈述的内容。您通过电子邮件将提案发送给您的主管(至少在下次会议前1个工作日)。
- 你和你的上司开了一次会议,在会上你可以获得对你的提议的反馈(大约在你演讲前三周)。
- 您可以通过电子邮件将幻灯片和演讲摘要发送给您的主管(至少在下次会议前1个工作日)。
- 你和你的上司开了一次会议,在会上你可以获得幻灯片的反馈(大约在你演讲前一周)。
- 您通过研讨会的伊利亚斯课程(截止日期:演讲前)提交最终版本的提案和幻灯片。
- 你做了25分钟的演讲。
- 您会收到其他两位参与者对您的提案的评论和发言。
- 你参加了所有其他参与者的演讲。
- 你为每一次演讲写一个简短的总结,并通过研讨会的伊利亚斯课程提交(截止日期:每次演讲后一个工作日)。
- 你写两篇关于其他参与者的提案和演讲的评论,并通过研讨会的伊利亚斯课程提交(截止日期:演讲结束后一周)。
等级
你的总成绩将按照以下比例组成。
- 20%的提案评分
- 70%的演讲成绩
- 10%的评论评分
可用主题
- 阿兰·图灵:
关于可计算数字,以及Entscheidungs问题的应用。伦敦数学学会会刊。2, 42: 230–265 (1932)
- 马丁·戴维斯,乔治·洛格曼,唐纳德·洛夫兰:
用于理论证明的机器程序。Commun公司。ACM 5(7):394–397(1962)
- 托尼·霍尔:
计算机程序设计的公理基础。Commun公司。ACM 12(10):576–580(1969)
- 帕特里克·库索,拉迪亚·库索特:
摘要解释:通过构造或逼近不动点对程序进行静态分析的统一格模型。POPL 1977年:238-252
- 阿米尔·普努利:
程序的时间逻辑。FOCS 1977年:46–57
- 埃德蒙·克拉克,E.艾伦·艾默生:
使用分支时间时序逻辑设计和合成同步骨架。课程逻辑,研讨会,1981年,52–71。
- 兰达尔·布莱恩特:
布尔函数操作的基于图的算法。IEEE传输。计算机35(8),677-691(1986)。
- 拉杰夫·阿鲁尔,大卫·L·迪尔:
时间自动机理论。西奥。计算。科学。126(2): 183–235 (1994)
-
- 托马斯·鲍尔,鲁帕克·马朱姆达尔,托德·D·米尔斯坦,斯里拉姆·拉贾马尼:
C程序谓词自动提取。PLDI 2001203-213。
- 巴纳特,Bor-Yuh Evan Chang先生,罗伯特·德林,雅各布施,K.鲁斯坦·莱诺:
Boogie:面向对象程序的模块化可重用验证程序。FMCO 2005,364–387。
- 马蒂亚斯·海兹曼,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
痕迹提取的细化。SAS 2009:69-85。
资源
一些关于科学工作和科学演示的起点文献,包括一些进一步阅读的指南:
初步时间表
每个主题/演讲都分配了一个小组字母。我们总共有六个小组。
下表包含各组的截止日期。与上司会面的日期仅作为入职培训。你有责任与你的主管进行个别预约。请注意,“审查”代表特定小组提案的审查截止日期。
日期 | 大纲 (会议)
| 建议书 (会议)
| 幻灯片 (会议)
| 道具和幻灯片 (提交)
| 谈话- 会话 | 审查 (提交)
|
---|
05. 11. 2021 |
A、 B类 |
|
|
|
|
|
---|
12. 11. 2021
|
C类 |
|
|
|
|
|
---|
19. 11. 2021
|
D类 |
A类 |
|
|
|
|
---|
26. 11. 2021
|
E类 |
B类 |
|
|
|
|
---|
03. 12. 2021
|
F类 |
C类 |
A类 |
|
|
|
---|
10. 12. 2021
|
|
D类 |
B类 |
A类 |
A类 |
|
---|
17. 12. 2021
|
|
E类 |
C类 |
B类 |
B类 |
A类 |
---|
|
圣诞节假期 |
---|
14. 01. 2022
|
|
F类 |
D类 |
C类 |
C类 |
B类 |
---|
21. 01. 2022
|
|
|
E类 |
D类 |
D类 |
C类 |
---|
28. 01. 2022
|
|
|
F类 |
E类 |
E类 |
D类 |
---|
04. 02. 2022
|
|
|
|
F类 |
F类 |
E类 |
---|
二○○二年十一月。2022 |
|
|
|
|
|
F类 |
---|