SEWORLD Archives

SEWORLD

SEWORLD@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject: FACS 2018: Call for Participation
From: SEWORLD Moderator <[log in to unmask]>
Reply-To:SEWORLD Moderator <[log in to unmask]>
Date:Tue, 4 Sep 2018 00:15:55 -0000
Content-Type:text/plain

----------------------------------------------------------------------
                      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

============================================================
To contribute to SEWORLD, send your submission to
mailto:[log in to unmask]

http://sigsoft.org/resources/seworld.html provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.
============================================================

ATOM RSS1 RSS2