Welcome to ProvSec 2018
The 12th International Conference on Provable Security (ProvSec 2018) will be held in Jeju Island, Republic of Korea on October, 2018.Announcements
Welcome Reception will be provided on Spanish Hamdeok. We will gather at the lobby of conferece/workshop hotel at 6.00 pm to walk together.You also can come to the restaurant directly. Wecome reception will start at 6:30.
Proceeding Download
Please click here to download ProvSec Proceeding for free. This is officially provided by Springer (Limited Time Only).Program Book Download
Please click here to download the program. Please note that this is a final version.Transporation to Venue
By TaxiYou can take a taxi from the International Terminal to the Ocean Grand Hotel. The one-way taxi fare would approximately be 17,000 KRW (15 USD).
By Bus
You can take Express Bus #101 at Gate 2 of the Jeju International Airport. You should get off at Hamdeok Seoubong Beach stop. Please refer to the information (Click here ) and a bus map (Click here ) for details.
Important Dates
Paper Submission | |
Notification of Acceptance | 3 August 2018 |
Camera ready deadline | 15 August 2018 |
Conference | 25-28 October 2018 |