[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
----------------------------------------------------------------------
Call for Participation
FACS 2018
15th International Conference on Formal Aspects of Component Software
Pohang, Korea, October 10-12, 2018
http://sevlab.postech.ac.kr/facs18
----------------------------------------------------------------------
*** Early registration deadline: September 14 ***
FACS 2018 is concerned with how formal methods can be applied to
component-based software and system development.
INVITED SPEAKERS
Edward A. Lee (University of California, Berkeley):
"What Good Are Formal Models?"
Grigore Rosu (University of Illinois, Urbana-Champaign):
"Formal Design, Implementation and Verification of Blockchain Languages"
VENUE
FACS 2018 will be held at the Pohang University of Science and Technology
(POSTECH), Korea. Gyeongju, one of the ancient capitals of Korea, with
three
UNESCO World Heritage Sites, is nearby.
PROGRAM
* October 9, 2018: Tutorial on Formal Verification of Security Protocols
* October 10-12, 2018: Main conference
* October 13, 2018: Workshop on Software Verification and Validation
See http://sevlab.postech.ac.kr/facs18/ for the list of accepted papers.
REGISTRATION
http://sevlab.postech.ac.kr/facs18/registration/
Early registration deadline: September 14, 2018
