程序分析（Prosminar）
在本次研讨会上，我们将研究一些可被视为主题领域计划分析经典（或基本）的文章。这些文章发表于1938年至2009年间，其中一些作者因其作品获得了公认的图灵奖。我们将从12月初开始每周举行会议（因此不是“整体”计划）。第一节课将介绍可用的主题，以及工作方式（时间表、可交付成果、等级）。
普罗塞米纳
本次研讨会首次介绍了计算机科学学科的科学工作。本次研讨会的重点是演讲（演讲者和参与者的角色）。演讲将围绕以下列出的程序分析主题领域的经典文章，重点关注文章的特定方面。最后，每次演讲的重点都将以所有主题都有类似难度的方式设置。
登记处
- 此次研讨会的启动会议在上述地点和时间举行。
- 在启动会议上（并且仅在启动会议中），我们将详细阐述初步会议的目标、结构和规则。
- 在启动会议上，会有“预先预订”列表，您可以选择预订。
- 2019年10月28日星期一12:00（当地时间）之前，您告诉我们
- 你最喜欢的主题列表（第一个最喜欢的，最多可以）
- 你当然想参加这次研讨会
- 如果您有预订选项（见上文），则表示您已加入（最多可参加人数上限）。
组织者将尽可能将最喜欢的主题与人们匹配。
可用主题
- 莫，2.12。
-
-
阿兰·图灵:
关于可计算数字，以及Entscheidungs问题的应用。伦敦数学学会会刊。2, 42: 230–265 (1932)
-
托尼·霍尔:
计算机程序设计的公理基础。Commun公司。ACM 12（10）：576–580（1969）
- 莫，9.12。
-
- 莫，16.12。
-
- 莫，13.1。
-
- 莫，20.1。
-
- 莫，27.1。
-
- 莫，3.2。
-
资源
一些关于科学工作和科学演示的起点文献，包括一些进一步阅读的建议：
