新闻
- 1月11日：我们添加了一个临时的会谈日程安排（当天晚些时候更新！）。如果您的时间段不合适，请告诉我们。
- 11月8日：我们将研讨会的日期和时间定为2月16日和17日（见上框）。
- 11月4日：我们分配了主题和审稿人，并增加了截止日期的时间表（不适用于会谈，日期待定）。如果您喜欢不同的截止日期，请尽快联系您的主管。
- 11月3日：我们添加了研讨会演讲评估表.
- 11月2日：根据大众的要求，我们将举办一次区域研讨会（包括普罗塞米纳研讨会和研讨会）。我们为讲座结束后的前两周制作了一个涂鸦。链接是通过电子邮件发送的。
研讨会进程
- 您将参加启动会议，我们将在会上介绍可用的主题。请提前交上您最喜欢的主题。
- 您可以联系讲师以获取主题。您可以自己提出一个主题，从建议的主题中选择一个，或者在与讲师的讨论中找到一个适合您的主题。
- 您与您的主管举行了一次会议，我们在会上讨论了相关文献，并对您的演讲进行了粗略概述。
- 你写一份提案，解释你要在演讲中陈述的内容。
- 你写一篇演讲摘要。
- 你通过电子邮件向你的主管提交你的摘要和建议（截止日期：见时间表）。
- 您的提案由另外两名参与者审查。
- 你写两篇关于其他参与者提案的评论，并通过电子邮件发送给给你提案的主管（截止日期：收到提案后一周）。
- 您将收到对您的提案的评论（截止日期：演讲前两周）。
- 您可以通过电子邮件向主管提交幻灯片（截止日期：见时间表）。
- 你和你的上司开了一次会议，在会上你可以获得幻灯片的反馈。
- 你做了大约30分钟（研讨会）/20分钟（普罗塞米纳）的演讲。
- 你参加了所有其他参与者的演讲。
Prosminar添加：
会谈建议
提案应该由大约五页组成，你在其中解释你将要在演讲中介绍的内容。提案可能包括：
- 评审员简要概述（评审员可能不知道您的主题）
- 你演讲的结构
- 你所呈现的主题的方面（为什么？）和忽略的方面（为何？）
- 演讲中出现的例子（为什么会出现这些例子？是否有一个可用于演示的运行示例？）
- 哪些定义是正式提出的？（为什么？），刚才非正式地提到了哪些定义？（为什么？）
- 使用哪种符号？（为什么？）
- 提出了哪些定理，哪些定理将被证明（为什么？），哪些证明将被省略（为什么？
演讲摘要
- 摘要由一个段落组成，总结了你在演讲中所陈述的内容。
- 我们将向所有学生和主席发出研讨会邀请。这份邀请函包含了所有会谈的摘要。
谈话
- 你演讲的目的是让听众（学士和硕士生，熟悉一般来说，在计算机科学方面，可能没有这方面的专家）学习有关有趣话题的新知识的可能性。怎么好吧，你达到了这个目标将决定你演讲的等级。
- 在研讨会上，你必须表明你能够向其他人介绍一些主题。你不必展示自己对主题的理解程度。你对主题的理解程度对你的成绩没有直接影响，只有你向观众介绍主题的程度。
- 您可以使用和复制任何信息来源（但不要忘记引用它）。如果你认为你的演讲只是针对听众的现有演讲的“混音”，那么你可能做得很好。但不要让自己被网络上结构良好、花哨的演讲所愚弄，每一次演讲都是针对特定的观众准备的。
- 如果你同意，我们会把你的幻灯片放在这个网页上。请记住，如果您在幻灯片中复制了图像，这可能不再可能（版权限制）。当然，无论我们是否发布您的幻灯片，都不会对您的成绩产生任何影响。
审查提案
- 根据提议对谈话做一个简短的总结（从一开始就发现误解）。
- 对你的批评要宽容。学生不太可能因为你在他/她的提案中透露了一些问题而得到糟糕的分数。然而，如果学生能够通过你的复习解决演讲中的问题，他/她很可能会得到更好的分数。
- 给出你的批评理由（例如，“因为没有解释术语foo，所以不可能理解引理2。”）。你也可以给出你的个人观点，如果你这样做了，就把它们标记下来（例如，“定理1很难理解，我认为你应该先举个例子。”）。
- 以下问题可能有助于撰写您的评论
提案是否写得足够好，可读性强？
提案的外观和结构是否合适？
谈话的可理解性是否得到了相关例子和数字的支持？
提议的谈话结构合理且平衡吗？
作者提出的所有主张都正确吗？
关于演示的推理线是否完整准确？
提交人是否有效地论证了自己的案件？
作者是否使用常用的符号和术语？你会在哪里提出不同的建议？
作者的日程安排合理吗？你认为这次演讲适合这个时间段吗？
演讲的评价
为了提供反馈，我们想公开讨论普罗斯米纳演讲的一些方面。另外两名学生在讲座中填写了一份评估表，我们随后简短地讨论了其优缺点。
对于研讨班学生，此模式是可选的。
学生还可以根据要求收到私人反馈。
等级
你的总成绩将按照以下比例组成。
- 你的提案得分为10%
- 20%的评论评分
- 70%的演讲成绩
主题和文献
研讨会演讲和话题。几个学生可以就同一主题进行演讲，但要出席不同方面。推荐的文献应该会给你第一次对主题的印象。我们合作分配准确的文献在你陈述了你对这个主题的偏好之后。更多的文献并不意味着更多的阅读，只是更多的选择。
如果有要求，也可以以两人一组的形式介绍一些主题。
一些论文只能通过我们的网络获得大学（例如，通过vpn）。如果您在访问报纸，请问我们。
主题用括号中的字母标记，以表明它们适合哪种研讨会模式。
学习有限自动机
Mealy自动机的最小化
有限自动机的最小化
Petri网
Büchi自动机
- （P，3） 自动机理论——一种算法方法 （第11章第1-2节），无限对象上的自动机（第一章第1-2节；不再公开）
- 谈话：伯纳和图库
- 审核人：Benjamin、Maximilian、Simon、Tim A。
- 主管：克里斯蒂安·席林
树自动机
不在乎言语
侧翼有限自动机
可视下推自动机
上下文相关语言
下推系统的可达性
模拟
可视下推自动机
反链
模拟
未分配
奥格登引理
模拟
可视下推自动机
上下文相关语言
帕里赫定理
缺少规范的商
时间表
临时的会谈日程安排
每个主题/演讲都分配了一个时段编号。我们总共有七个插槽。
下表包含各组的截止日期。拜托请注意，“Review”表示特定小组的建议。每个学生都必须写评论二其他学生。
| 日期 |
建议书 |
审查 |
幻灯片 |
|---|
11月25日，星期五
|
1 |
|
|
| 12月2日，星期五 |
2 |
1 |
|
| 12月9日，星期五 |
三 |
2 |
1 |
| 12月16日，星期五 |
4
|
三 |
2 |
| 12月23日，星期五 |
5 |
4 |
三 |
| 1月13日，星期五 |
6 |
5 |
4 |
| 1月20日，星期五 |
7 |
6 |
5 |
| 1月27日，星期五 |
|
7 |
6 |
| 2月3日，星期五 |
|
|
7 |
