Conferences
Academic / Overseas
Summary
Security and Privacy Conference Deadlines.
Computer Security Conference Ranking and Statistic
Featured
Financial Cryptography and Data Security
March 1-5, 2021
Deadline (FC20): Sep 17, 2019 (Submission is Sep 20)
Stanford Blockchain Conference (SBC)
Feb. 19 - 21, 2020.
Deadline: November 1st
No proceedings
Cryptoeconomic Systems Conference
2020.3 (Deadline 2019.11)
Deadline in Jan ~ Mar
IACR Crypto
2019.8
Deadline 2019.2
e.g. Ouroboros
USENIX Security Symposium
2020.8
Deadline (early reject: 1 month)
Summer 2019/8/23, Fall 2019/11/15, Winter 2020/2/15
E.g. StrongChain: Transparent and Collaborative Proof-of-Work Consensus, etc.
ACM Principles of Distributed Computing (PODC)
August 3-7, 2020
Paper submission: 17 February 2020
Acceptance notification: 4 May 2020
E.g. Hotstuff
ACM High-Performance Parallel and Distributed Computing (HPDC)
June 24-28, 2019
Papers due: January 23, 2019
MARBLE (Mathematical Research for Blockchain Economy)
2019.5 (Deadline 2019.3)
Deadline in Apr ~ Jun
CryptoValleyConference (CVCBT)
2019.6 (Deadline: 2019.3 -> 4)
IEEE S&B
2019.7 (Deadline: 2019.4)
Symposium on Operating Systems Principles (SOSP)
2019.10 (Deadline 2019.4)
E.g. Teechain, Stellar,
Symposium on Operating Systems Design and Implementation (OSDI)
2020.11 (Deadline of 2018: 2018.5)
No blockchain paper in 2018
ISoLA: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
2018 2018.10
Deadline 20 May 2018
e.g. Yoichi Hirai, Runtime Verification, Leonald(Solidity SMT)
ACM Computer and Communications Security (CCS),
9-13 November 2020
First Review Cycle:
Paper submission deadline: January 20, 2020
Author notification: March 30, 2020
Second Review Cycle:
Paper submission deadline: May 4, 2020
Author notification: July 21, 2020
e.g. Ouroboros Genesis, RapidChain, Perun, Fairswap
IACR Asiacrypto
2019 12/8 ~ 12 @Kobe
Deadline: May 14, 2019
July 11, 2019 First round notification
August 15, 2019 Final notification
at most 30 pages excluding any auxiliary supporting material
e.g. Security of the Blockchain against Long Delay Attack
Puwen Wei et al.
ACM Advances in Financial Technologies
21-23 October 2019
Submission deadline: May 24 2019 (hotcrp)
Author notification: July 23 2019
E.g. PISA, SoK: Sharding on Blockchain, etc.
Deadline in Jul ~ Sep
ACM POPL
2020.1
Deadline 2019/7/10
No blockchain related paper in the last year
International Workshop on Cryptocurrencies and Blockchain Technology (CBT)
20120.9 (Deadline 2020.7)
Network and Distributed System Security Symposium (NDSS)
February 23-26, 2020 (San Diego, CA)
Summer: 6/14, 2019
Fall deadline 9/13, 2019
e.g. Privacy-preserving Multi-hop Locks, Seth: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
USENIX Symposium on Networked Systems Design and Implementation (NSDI)
Spring deadline:
Full paper submissions due: Tuesday, March 19, 2019
Notification to authors: Friday, June 14, 2019
Fall deadline:
Paper titles and abstracts due: Thursday, September 12, 2019
Full paper submissions due: Thursday, September 19, 2019
E.g. Monoxide
Financial Cryptography and Data Security
February 10–14, 2020
Deadline: Sep 17, 2019 (Submission is Sep 20)
Poster deadline: Nov. 21
e.g. KEVM, Bitcoin in offline majority
Workshop on Trusted Smart Contracts (WTSC)
Late deadline 2020.1.5
Cryptocurrency Implementers' Workshop (CIW)
Deadline: 2018.12
CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS (OPODIS)
2019 12/17-19
Deadline: 2019.9/5
Deadline in Oct ~ Dec
ACM SIGPLAN Certified Proofs and Programs (CPP)
2020.1
Deadline 2019/10/16
e.g. Toychain, verdi-raft
IACR Eurocrypto
May 10-14, 2020
Deadline of 2019: 2018.10
e.g. Ouroboros Praos
Cryptoeconomic Systems Conference
2020.3 (Deadline 2019.11)
IEEE S&P 2021
Quarter 1: March 5
Quarter 2: June 4
Quarter 3: September 3
Quarter 4: December 3
ACM SIGPLAN PLDI (Programming Language Design and Implementation)
2020.6
Deadline: 2019.11
e.g. Verdi
Stanford Blockchain Conference (SBC)
Feb. 19 - 21, 2020.
Deadline: November 1st
No proceedings
IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
2020.5 (Deadline: 2019.12)
CryBlock (Workshop on Cryptocurrencies and Blockchains for Distributed Systems)
2019.4, Co-located with INFOCOM
Deadline 2018.12
IEEE DAPPS
2020.8 (Deadline 2019.12)
Academic / Japan
SCIS
電子情報通信学会 情報セキュリティ研究専門委員会(ISEC)
2020.1 (Deadline 2019.12.16)
https://gyazo.com/86aa6ce01e8ea8ed6fe45fc35aa168c7
Around 20 talks related to blockchain, IOHK
IWSEC
2019/8/28 ~ 30 @東工大
ポスター Deadline: July 24, 2019
CSS
情報処理学会コンピュータセキュリティ研究会 (CSEC)
2019/10/21 (Mon) ~ 10/24(Thr) @ハウステンボス
Blockchain session @2018
https://gyazo.com/93174fe96b1298938fefae15d6d8683c
日本応用数理学会 (JSAIM) 「数理的技法による情報セキュリティ」研究部会 (FAIS)
2019年6月26日(水) FAISオーガナイズド・セッション講演申込締切
2019年7月3日(水) FAISオーガナイズド・セッション プログラム決定
2019年7月5日(金) 年会webでの参加登録・講演申込 締切
2019年8月5日(月) 講演予稿提出締切 (予稿は2ページ)
2019年9月3日(火) 年会
Created by Prof. Hagiya and co.
日本ソフトウェア科学会 プログラミング論研究会(PPL)
2019.3 (Deadline 2018.12)
Yoich Hirai, etc.
情報処理学会 プログラミング研究会(PRO)
2019.3 (Deadline 2019.1)
日本オペレーションズ・リサーチ学会 2020年春季研究発表会 – 2020年3月11日-13日 奈良春日野国際フォーラム(奈良市)
Events
Theorem Proving and Provers meeting (TPP)
https://ksk.github.io/tpp2018/
2018.11
Proof Summit
https://proof-summit.connpass.com/event/91274/
2018.9
#Academia #Formal_verification