新闻和公告
- 我们指定了会谈的主题、评论员和日期。
- 我们将讲座安排在讲座期间的最后四节,即7月7日、14日、21日和28日。编辑:这已经不正确了,谈判从6月23日开始,7月14日结束;有关详细信息,请参阅下面的“时间表”。
- 请发送电子邮件至基督教的截至5月10日星期三,包含以下信息:
- 你想呈现的3个主题列表(带优先级)
- (可选)如果您有时间限制
研讨会进程
- 您将参加启动会议,我们将在会上介绍可用的主题。请提前交上您最喜欢的主题。
- 您可以联系讲师以获取主题。你可以自己提出一个主题,从建议的主题中选择一个,或者在与上司的讨论中找到一个适合你的主题。
- 你与你的主管举行了一次会议,我们在会上讨论了相关文献,并对你的演讲进行了粗略的概述(截止日期:演讲前四周)。
- 你写一份提案,解释你要在演讲中陈述的内容,并附上演讲摘要。你通过电子邮件向你的主管提交摘要和提案(截止日期:演讲前三周)。
- 您的提议由您的主管和另外两名参与者进行审查。
- 你写两篇关于其他参与者提案的评论,并通过电子邮件发送给主管(截止日期:收到提案后一周)。
- 您将收到对您的提案的评论(截止日期:演讲前两周)。
- 您通过电子邮件将幻灯片提交给您的主管(截止日期:演讲前一周)。
- 你与你的主管举行了一次会议,会上你会得到幻灯片的反馈。
- 你做了30分钟的演讲。
- 你参加了所有其他参与者的演讲。
会谈建议
提案应该由大约五页组成,你在其中解释你将要在演讲中介绍的内容。提案可能包含例如:
- 评审员简要概述(评审员可能不知道您的主题)
- 你演讲的结构
- 你提出(为什么?)和忽略(为什么?)主题的各个方面
- 演讲中出现的例子(为什么会出现这些例子?是否有一个可用于演示的运行示例?)
- 哪些定义是正式提出的?(为什么?),刚才非正式地提到了哪些定义?(为什么?)
- 使用哪种符号?(为什么?)
- 哪些定理被提出,哪些定理将被证明(为什么?),哪些证明将被省略(为什么?),你会在证明中使用激励性的例子吗?
演讲摘要
- 一段总结了你在演讲中所陈述的内容
- 我们将向所有学生和主席发出研讨会邀请。这份邀请函包含了所有会谈的摘要。
谈话
- 你演讲的目的是让听众(硕士生,一般熟悉计算机科学,可能没有该主题的专家)有可能学习有关有趣主题的新知识。你实现这个目标的程度将决定你演讲的等级。
- 在研讨会上,你必须表明你能够向其他人介绍一些主题。你不必展示自己对主题的理解程度。你对这个话题的理解程度对你的成绩没有直接影响,只影响你向观众展示这个话题的程度。
- 您可以使用和复制任何信息来源(但不要忘记引用它)。如果你认为你的演讲只是针对听众的现有演讲的“混音”,那么你可能做得很好。但不要让自己被网络上结构合理、花哨的演讲所愚弄,每一次演讲都是针对特定的观众而定制的。
- 如果你同意,我们会把你的幻灯片放在这个网站上。请记住,如果您在幻灯片中复制了图像,这可能不再可能(版权限制)。当然,无论我们是否发布您的幻灯片,都不会对您的成绩产生任何影响。
审查提案
- 根据提议对谈话做一个简短的总结(从一开始就发现误解)。
- 对你的批评要宽容。学生不太可能因为你在他/她的提案中透露了一些问题而得到糟糕的分数。然而,如果学生能够通过你的复习解决演讲中的问题,他/她很可能会得到更好的分数。
- 给出你批评的理由(例如,“不可能理解引理2,因为术语foo没有解释。”)。你也可以发表你的个人意见,如果你这样做的话,把它们标记为这样(例如,“定理1很难理解,在我看来,你应该先举个例子。”)。
- 以下问题可能有助于撰写您的评论
提案是否写得足够好,可读性强?
提案的外观和结构是否合适?
演讲的可理解性是否有相关的例子和数字支持?
提议的谈话结构合理且平衡吗?
作者提出的所有主张都正确吗?
关于演示的推理线是否完整准确?
提交人是否有效地论证了自己的案件?
作者是否使用常用的符号和术语?你会在哪里提出不同的建议?
作者的日程安排合理吗?你认为演讲适合30分钟的时间吗?
等级
你的总成绩将按照以下比例组成。
话题
研讨会演讲和话题。几个学生可以就同一主题进行演讲,但要出席不同方面。推荐的文献应该会给你第一次主题印象。我们合作分配准确的文献在你陈述了你对这个主题的偏好之后。更多的文献并不意味着更多的阅读,只是更多的选择。外观的顺序是任意的。
如果有要求,也可以两人一组介绍一些主题。
一些论文只能通过我们的网络获得大学(例如,通过vpn)。如果您在访问报纸,请问我们。
(1) 谓词抽象
(2) 跟踪抽象
(2) 面向属性的可达性
(3) 终止
(3) 故障定位
- 文献:错误不变量
- 监督人:马提亚斯
- 谈话:Christian
- 审核人:Matteo,Maximilian
(4) 危险不变量
(4) 程序转换
未分配
过程间分析
不变量生成
Horn子句约束求解
硬币
附加材料
这里是上学期的开场白。[幻灯片] [视频]
地铁列车时刻表
每个主题/谈话都会分配一个槽号。我们总共有两个插槽。
下表包含各组的截止日期。拜托请注意,“审查”代表特定项目的审查截止日期小组的建议。每个学生都必须写评论二其他学生。
日期 |
建议书 |
审查 |
幻灯片 |
谈话
|
---|
6月2日,星期五
|
1 |
|
|
|
6月9日,星期五
|
2 |
1 |
|
|
6月16日,星期五
|
三 |
2 |
1 |
|
6月23日,星期五
|
4 |
三 |
2 |
1 |
6月30日,星期五
|
|
4 |
三 |
2
|
7月7日,星期五 |
|
|
4 |
三 |
7月14日,星期五
|
|
|
|
4 |