Workshop on Formal Techniques for Java-like Programs
摘要截稿:
全文截稿: 2019-04-21
开会时间: 2019-07-15
会议难度:
CCF分类: 无
会议地点: London, UK
Overview
Example topics of interest include:
Language design and semantics
Type systems
Concurrency and new application domains
Specification and verification of program properties
Program analysis (static or dynamic)
Program Synthesis
Security
Pearls (programs or proofs)