| 课程类型 |
研讨会
|
|---|
| 讲师 |
马蒂亚斯·海兹曼,亚历山大·纳茨,克里斯蒂安·席林
|
|---|
启动会议
|
2015年4月21日星期二，12:00-14:00 s.t.，101号楼，00-010/014室 |
|---|
| 演示文稿 |
2015年6月27日星期六；10:30-17:00; 101号楼01-016室
|
|---|
演示文稿语言
|
英语
|
|---|
信用
|
4 |
|---|
| 课程目录 |
项目分析
|
|---|
新闻
- 主题已分配。请联系您的主管之前你通读了文献。我们想给你们每个人指定一个特定的副主题。
- 根据大众要求，演讲日期定为6月27日。请注意，这是一个星期六。确切的时间段取决于参与者的数量，我们将在下周一知道。感兴趣的学生应在10:00至18:00之间自由活动。
- 请选择下面列出的三个主题并发送您的根据您的偏好排序的选项克里斯蒂安·席林星期日晚上（4月26日）。
- 从周三晚上开始，我们将在此网站上列出可能的研讨会主题。如果您对我们的研讨会应该涉及的主题有任何建议，请尽快告知我们，我们将（尝试）将其列入我们的列表。
- 在开学会议上，我们讨论了是否可以在学期末举行一次分组讨论会。不幸的是，这是不可能的。尽管如此，项目分析研讨会将不每周星期二12:00-14:00。
- 启动会议将于4月21日星期二上午12~14点举行。
研讨会进程
- 参加启动会议，在那里我们介绍可用的主题。请提前交上您最喜欢的主题。
- 联系讲师以获取主题。你可以自己提出一个主题，从建议的主题中选择一个，或者在与上司的讨论中找到一个适合你的主题。
- 与你的主管开一次会，讨论相关文献，并对你的演讲进行粗略的概述。（在学期的第一周）。
- 你写一份提案，解释你要在演讲中陈述的内容。
- 你写一篇演讲摘要。
- 您通过电子邮件向讲师提交摘要和提案（截止日期：演讲前三周）。
- 您的提案由另外两名参与者审查。
- 你写两篇关于其他参与者提案的评论，并通过电子邮件发送给讲师（截止日期：收到提案后一周）。
- 您将收到对您的提案的评论（截止日期：演讲前两周）。
- 您可以通过电子邮件向讲师提交幻灯片（截止日期：演讲前一周）。
- 您与讲师进行了一次简短的会议，在会上您可以获得幻灯片的反馈。
- 你做了大约30分钟的演讲（时间表见下文）。
- 你参加了所有其他参与者的演讲。
会谈建议
提案应该由大约五页组成，你在其中解释你将要在演讲中介绍的内容。提案可能包含例如：
- 评审员简要概述（评审员可能不知道您的主题）
- 你演讲的结构
- 你所呈现的主题的方面（为什么？）和忽略的方面（为何？）
- 演讲中出现的例子（为什么会出现这些例子？是否有一个可用于演示的运行示例？）
- 哪些定义是正式提出的？（为什么？），刚才非正式地提到了哪些定义？（为什么？）
- 使用哪种符号？（为什么？）
- 提出了哪些定理，哪些定理将被证明（为什么？），哪些证明将被省略（为什么？
演讲摘要
- 一段总结了你在演讲中所陈述的内容
- 我们将向所有学生和主席发出研讨会邀请。这份邀请函包含了所有会谈的摘要。
谈话
- 你演讲的目的是让听众（硕士生，一般熟悉计算机科学，可能没有该主题的专家）有可能学习有关有趣主题的新知识。你实现这个目标的程度将决定你演讲的等级。
- 在研讨会上，你必须表明你能够向其他人介绍一些主题。你不必展示自己对主题的理解程度。你对主题的理解程度对你的成绩没有直接影响，只有你向观众介绍主题的程度。
- 您可以使用和复制任何信息来源（但不要忘记引用它）。如果你认为你的演讲只是针对听众的现有演讲的“混音”，那么你可能做得很好。但不要让自己被网络上结构合理、花哨的演讲所愚弄，每一次演讲都是针对特定的观众而定制的。
- 如果你同意，我们会把你的幻灯片放在这个网站上。请记住，如果您在幻灯片中复制了图像，这可能就不可能了（版权限制）。当然，无论我们是否发布您的幻灯片，都不会对您的成绩产生任何影响。
审查提案
- 根据提议对谈话做一个简短的总结（从一开始就发现误解）。
- 对你的批评要宽容。学生不太可能因为你在他/她的演讲中透露了一些问题而得到不好的分数。然而，如果学生能够通过你的复习解决演讲中的问题，他/她很可能会得到更好的分数。
- 给出你的批评理由（例如，“因为没有解释术语foo，所以不可能理解引理2。”）。你也可以给出你的个人观点，如果你这样做了，就把它们标记下来（例如，“定理1很难理解，我认为你应该先举个例子。”）。
- 以下问题可能有助于撰写您的评论
提案是否写得足够好，可读性强？
提案的外观和结构是否合适？
谈话的可理解性是否得到了相关例子和数字的支持？
提议的谈话结构合理且平衡吗？
作者提出的所有主张都正确吗？
关于演示的推理线是否完整准确？
提交人是否有效地论证了自己的案件？
作者是否使用常用的符号和术语？你会在哪里提出不同的建议？
作者的日程安排合理吗？你认为演讲适合30分钟的时间吗？
等级
你的总成绩将按照以下比例组成。
- 你的提案得分为10%
- 20%的评论评分
- 70%的演讲成绩
话题
研讨会演讲和话题。几个学生可以就同一主题进行演讲，但要出席不同方面。推荐的文献应该会给你第一次对主题的印象。我们合作分配准确的文献在你陈述了你对这个话题的偏好后与你交谈。
一些论文只能通过我们的网络获得大学（例如，通过vpn）。如果您在访问报纸，请问我们。
由于评审都需要在同一周内完成，我们将通过电子邮件向你们每个人发送两份提案来指派评审员。
Angelic验证
错误检测
插值
切片
- 谈话人：托拜厄斯
- 主管：Alexander Nutz
终止分析
多线程程序的验证
有界模型校验
懒惰的抽象
谓词抽象+CEGAR
SMT/DPLL（T）
地铁列车时刻表
下表包含提交提案、评审和幻灯片的截止日期。
| 日期 |
截止日期 |
|---|
6月5日
|
建议 |
6月12日
|
评论 |
6月19日
|
幻灯片 |
6月27日
|
谈话 |
