新闻
- 2020年7月3日:关于“Petri网”的讨论已从时隙C转移到D。
- 2020年7月1日:审查计划略有改变。已通知有关学生。
- 2020年6月26日:今天我们将举行前三次会谈。
- 2020年6月4日:更新了主题时间表/信息。
- 2020年6月4日:关于您提案的摘要提交和反馈的更新信息:
摘要提交:与幻灯片一起提交(而不是与提案一起提交)。
对您的提案的反馈:您收到其他参与者的两次评价(未更改),并且您与您的主管举行了一次会议(而不是收到评价)。
- 2020年5月15日:增加可用主题列表。
- 2020年5月14日:您本应收到启动会议的邀请。如果没有,请联系Tanja。
- 2020年5月4日:网页在线。请确保在5月11日之前检查更新。
研讨会进程
- 您参加了启动会议,我们在会上介绍了可用主题。请提前交上您最喜欢的主题。
- 您可以联系讲师以获取主题。您可以建议三个可用主题,并为每个主题提供优先级。您还可以通过以下方式建议主题或者找一个适合的主题你正在和你的上司讨论。
- 你与你的主管举行了一次会议,我们在会上讨论了相关文献,并对你的演讲进行了粗略的概述(截止日期:演讲前四周)。
- 你写一份提案,解释你要在演讲中陈述的内容。您通过电子邮件向您的主管提交提案(截止日期:演讲前三周)。
- 你和你的上司开了一次会议,在会上你可以获得对你的提议的反馈(截止日期:演讲前两周)。
- 您的提案由另外两名参与者审查。
- 你写两篇关于其他参与者提案的评论,并通过向主管发送电子邮件(截止日期:您收到提案)。
- 您将收到对您的提案的评论(截止日期:演讲前两周)。
- 您通过电子邮件将幻灯片和演讲摘要一起提交给您的主管(截止日期:演讲前一周)。
- 你与你的主管举行了一次会议,会上你会得到幻灯片的反馈。
- 你做了一个30分钟(研讨会)/25分钟(演讲会)的演讲。
- 你参加了所有其他参与者的演讲。
会谈建议
提案应该由大约五页组成,你在其中解释你将要在演讲中介绍的内容。建议书应至少包含:
- 评审员简要概述(评审员可能不知道您的主题)
- 你演讲的结构
- 你所呈现的主题的方面(为什么?)和忽略的方面(为何?)
- 演讲中出现的例子(为什么会出现这些例子?是否有一个可用于演示的运行示例?)
- 哪些定义是正式提出的?(为什么?),刚才非正式地提到了哪些定义?(为什么?)
- 使用哪种符号?(为什么?)
- 哪些定理被提出,哪些定理将被证明(为什么?),哪些证明将被省略(为什么?),你会在证明中使用激励性的例子吗?
演讲摘要
- 摘要由一个段落组成,总结了你在演讲中所陈述的内容。
- 我们将向所有学生和主席发出研讨会邀请。这份邀请函包含了所有会谈的摘要。
谈话
- 你演讲的目的是让听众(学士和硕士生,熟悉一般来说,在计算机科学方面,可能没有这方面的专家)学习有关有趣话题的新知识的可能性。怎么好吧,你达到了这个目标将决定你演讲的等级。
- 在研讨会上,你必须表明你能够向其他人介绍一些主题。你不必展示自己对主题的理解程度。你对这个话题的理解程度对你的成绩没有直接影响,只影响你向观众展示这个话题的程度。
- 您可以使用和复制任何信息来源(但不要忘记引用它)。如果你认为你的演讲只是针对听众的现有演讲的“混音”,那么你可能做得很好。但不要让自己被网络上结构良好、花哨的演讲所愚弄,每一次演讲都是针对特定的观众准备的。
审查提案
- 根据提议对谈话做一个简短的总结(从一开始就发现误解)。
- 对你的批评要宽容。学生不太可能因为你在他/她的提案中透露了一些问题而得到糟糕的分数。然而,如果学生能够通过你的复习解决演讲中的问题,他/她很可能会得到更好的分数。
- 给出你批评的理由(例如,“不可能理解引理2,因为术语foo没有解释。”)。你也可以发表你的个人意见,如果你这样做的话,把它们标记为这样(例如,“定理1很难理解,在我看来,你应该先举个例子。”)。
- 以下问题可能有助于撰写您的评论
提案是否写得足够好,可读性强?
提案的外观和结构是否合适?
演讲的可理解性是否有相关的例子和数字支持?
提议的谈话结构合理且平衡吗?
作者提出的所有主张都正确吗?
关于演示的推理线是否完整准确?
提交人是否有效地论证了自己的案件?
作者是否使用常用的符号和术语?你会在哪里提出不同的建议?
作者的日程安排合理吗?你认为这次演讲适合这个时间段吗?
等级
你的总成绩将按照以下比例组成。
主题和文献
研讨会的主题基于这本书自动化理论与逻辑霍夫曼和兰格。本书和研讨会的一些论文只能通过大学网络(例如,通过vpn)获得。如果您在访问文献时遇到问题,请联系我们。
Schwache Monadische Logik zweiter Stufe(P)
- 谈话:Jelle
- 主管:Jochen
- 审核人:蒂诺、海特姆
- 时隙:A
- 文献:第2章
Alternierend endliche自动机(P)
- 谈话:Daniel
- 主管:Tanja
- 审核人:Jelle,Vanessa
- 时隙:A
- 文献:第3章
斯特恩弗雷·斯普拉钦(P)
- 谈话:蒂诺
- 主管:Podelski教授
- 评审员:Daniel,Darius
- 时隙:A
- 文献:第4章
自动auf unendlichen Wörtern(P)
- 谈话:Janek
- 主管:Vincent
- 审查人:莱昂纳多、凡妮莎
- 时隙:B
- 文献:第5章
Weitere Akzeptanzbedingen(P)
- 谈话:莱昂纳多
- 主管:Tanja
- 审查人:Tino,Janek
- 时隙:B
- 文献:第7章
Entscheidungsverfahren fürω-自动化(P)
- 谈话:大流士
- 主管:Dominik
- 审核人:莱昂纳多、丹尼尔
- 时隙:C
- 文献:第9章
线性时间逻辑(P)
- 谈话:海瑟姆
- 主管:Vincent
- 审核人:Janek,Darius
- 时隙:C
- 文学:第11章
Automaten auf endlichen Bäumen(P)
- 对话:Vanessa
- 主管:Podelski教授
- 审核人:Jelle,Haithem
- 时隙:D
- 文献:第12章
Petri网(S)
学习有限自动机(S)
细胞自动机(S)
- 谈话:尼古拉
- 主管:Tanja
- 审核人:莫雷诺、卢卡斯
- 时隙:F
- 文献:细胞自动机
可分叉正则表达式(S)
- 谈话:卢卡斯
- 主管:Podelski教授
- 审核人:Louis,Nicola
- 时隙:F
- 文献:可分叉正则表达式
地铁列车时刻表
每个主题/演讲都分配了一个小组字母。我们总共有六个小组。
下表包含各组的截止日期。拜托请注意,“审查”代表特定项目的审查截止日期小组的建议。每个(专业)研讨班学生必须为二其他学生。
日期 |
大纲 |
建议书 |
审查 |
幻灯片 |
谈话
|
---|
29.05.2020 |
A类
|
|
|
|
|
05.06.2020
|
B类 |
A类
|
|
|
|
12.06.2020
|
C类 |
B类 |
A类 |
|
|
19.06.2020
|
D类 |
C类 |
B类 |
A类 |
|
26.06.2020
|
E类 |
D类 |
C类 |
B类 |
A类
|
03.07.2020
|
F类 |
E类 |
D类
|
C类 |
B类 |
2020年7月10日
|
|
F类 |
E类
|
D类
|
C类 |
17.07.2020
|
|
|
F类 |
E类 |
D类 |
24.07.2020 |
|
|
|
F类 |
E类 |
31.07.2020 |
|
|
|
|
F类 |