计算机科学理论
RTA/FSCD 2024
International Conference on Formal Structures for Computation and Deduction
摘要截稿: 2024-02-05
全文截稿: 2024-02-12
开会时间: 2024-07-10
会议难度:
CCF分类: C类
会议地点: Tallinn, Estonia
Overview
The 9th International Conference on Formal Structures for Computation and Deduction will be held in Tallinn, Estonia, on 10-13 July 2024.