青年研究人员会议“形式方法的前沿”
德国亚琛
2015年2月25日至27日
由DFG研究培训小组组织
AlgoSyn（反应和离散连续系统的算法合成），亚琛
PUMA（程序和模型分析），慕尼黑
QuantLA（定量逻辑与自动化），德累斯顿和莱比锡
SCARE（不良条件下的系统正确性），奥尔登堡
和奥地利研究网络ARiSE（严格系统工程）
这次会议是一个年轻研究人员（通常是博士生）交流当前研究成果和扩大学术网络的论坛。
会议的范围涵盖了广义上的计算机科学中的形式方法和算法方法。典型的主题是上述参与组织的研究领域。
会议包括
- Moshe Vardi（休斯顿）、Jean-Francois Raskin（布鲁塞尔）、Joel Ouaknine（牛津）、Bernd Finkbeiner（萨尔布吕肯）、Azadeh Farzan（多伦多）和Eric Bodden（达姆施塔特）邀请演讲，
- 简短的演讲（持续12分钟的演讲）。
欢迎通过提交页面提交用于年轻研究人员的简短演讲（博士毕业后两年内），由一位作者撰写2-5页的摘要。结果可能已经被接受，甚至在其他地方发表。每个作者都可以自由提交他/她的“最佳结果”（可能与其他人共同获得）。不允许一位作者多次提交。会议语言为英语。
会议记录将作为亚琛RWTH大学的技术报告在会议上提供，其中包含2-5页已接受的简短演讲摘要，第二部分为年轻研究人员参与者的可选单页摘要。
重要日期：
| 提交文件： | 2014年12月31日2015年1月12日 |
| 通知： | 2015年1月15日2015年1月16日 |
| 会议： | 2015年2月25日至27日 |
