[TYPES/announce] Call for Participation: International Conference on Formal Aspects of Component Software (FACS 2018)

[Kyungmin Bae]

----------------------------------------------------------------------
                      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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180831/5bc470dc/attachment-0001.html>