IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
WoSCA 2020 : 1st International Workshop on Smart Contract Analysis
WoSCA 2020 : 1st International Workshop on Smart Contract Analysis

WoSCA 2020 : 1st International Workshop on Smart Contract Analysis

Los Angeles, California, United States
Event Date: July 18, 2020 - July 22, 2020
Submission Deadline: May 22, 2020




About

Smart contracts are versatile instruments that can not only facilitate and verify transactions in financial services, but also track the movement of physical goods and intellectual property. Security and correctness are essential for smart contract technology, because contracts possess the authority to allocate high-value resources between complex systems and are, for the most part, autonomous. Smart contracts have been the targets of widely publicized attacks, some successful in inflicting considerable financial damage. The workshop will include an invited talk from a prominent smart contract practitioner or security researcher.


Call for Papers

This workshop is broadly focused, and considers all approaches to analyzing smart contracts, static and dynamic. It covers, but is not limited to:

  • Analysis-based vulnerability discovery (e.g. heuristics-based static analysis, fuzzing)
  • Sound analysis (e.g. model checking, temporal logic)
  • Code optimization (e.g. code-size reduction, gas-cost estimation)
  • Code understanding (e.g. decompilation, reverse engineering)
  • Code monitoring (e.g. debugging, fault detection)
  • Intermediate representation (e.g. design, specification)

The workshop aims to bring researchers and practitioners together and will promote open and reproducible research. Papers improving existing tools or proposing new ones are encouraged.



Summary

WoSCA 2020 : 1st International Workshop on Smart Contract Analysis will take place in Los Angeles, California, United States. It’s a 5 days event starting on Jul 18, 2020 (Saturday) and will be winded up on Jul 22, 2020 (Wednesday).

WoSCA 2020 falls under the following areas: BLOCKCHAIN, SECURITY, SOFTWARE ENGINEERING, etc. Submissions for this Workshop can be made by May 22, 2020.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the WoSCA 2020

  • Short Name: WoSCA 2020
  • Full Name: 1st International Workshop on Smart Contract Analysis
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of WoSCA 2020
  • Event Type: Workshop
  • Website Link: https://conf.researchr.org/track/issta-2020/issta-2020-wosca
  • Location/Address: Los Angeles, California, United States


Credits and Sources

[1] WoSCA 2020 : 1st International Workshop on Smart Contract Analysis


Check other Conferences, Workshops, Seminars, and Events


OTHER BLOCKCHAIN EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICBDA 2026: IEEE--2026 11th International Conference on Big Data Analytics (ICBDA 2026)
Tokyo, Japan
Apr 11, 2026
DLT4SEC 2025: International Workshop on DLT for Cybersecurity and Vice Versa
Porto
Sep 29, 2025
SDLT 2025: The 9th Symposium on Distributed Ledger Technology
Melbourne, Australia
Nov 20, 2025
APIT--EI 2026: 2026 8th Asia Pacific Information Technology Conference (APIT 2026)
Sapporo, Japan
Jan 9, 2026
SHOW ALL

OTHER SECURITY EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
CSP--EI 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE--EI 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
SHOW ALL

OTHER SOFTWARE ENGINEERING EVENTS

ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
SHOW ALL