JetBrains研究语言工具实验室的研讨会

语言工具实验室是JetBrains与圣彼得堡国立大学数学与力学学院的联合倡议。



实验室人员调查：

• 在弱内存模型的上下文中对编程语言的语义进行形式化和验证;
• 逻辑和关系编程；
• 形式语言理论及其应用;
• 元编程，专业化和部分计算；
• SMT求解器的正式验证和应用。

每周的讲习班都有我们的员工和学生以及特邀演讲者参加。最近，已经录制了研讨会，可以在Youtube上观看。在这篇文章中，我们将分享过去会议的链接和描述，并告诉您如何不要错过未来活动的公告。







以往的演讲：



























安东·特鲁诺夫（Anton Trunov）将在11月2日发表 下一份报告，主题为“难以区分的证据：根据定义，但没有K公理”。在此处下午5:30参加Google Meet 。





接收我们研讨会的公告：

• 加入Google网上论坛，
• 加入Vk实验室小组，
• 或为自己添加研讨会日历。