Conferences
Academic / Overseas
Summary
Pick up
February 10–14, 2020
Deadline: Sep 17, 2019 (Submission is Sep 20)
Feb. 19 - 21, 2020.
Deadline: November 1st
No proceedings
Deadline in Jan ~ Mar
IACR Crypto
2019.8
Deadline 2019.2
e.g. Ouroboros
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.
August 3-7, 2020
Paper submission: 17 February 2020
Acceptance notification: 4 May 2020
E.g. Hotstuff
June 24-28, 2019
Papers due: January 23, 2019
2019.5 (Deadline 2019.3)
Deadline in Apr ~ Jun
2019.6 (Deadline: 2019.3 -> 4)
2019.7 (Deadline: 2019.4)
2019.10 (Deadline 2019.4)
E.g. Teechain, Stellar,
2020.11 (Deadline of 2018: 2018.5) No blockchain paper in 2018
ISoLA: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation Deadline 20 May 2018
e.g. Yoichi Hirai, Runtime Verification, Leonald(Solidity SMT)
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
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
Puwen Wei et al.
21-23 October 2019
Submission deadline: May 24 2019 (hotcrp)
Author notification: July 23 2019
E.g. PISA, SoK: Sharding on Blockchain, etc.
2019.9 (Deadline 2019.6)
Deadline in Jul ~ Sep
2020.1
Deadline 2019/7/10
No blockchain related paper in the last year
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
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
February 10–14, 2020
Deadline: Sep 17, 2019 (Submission is Sep 20)
Poster deadline: Nov. 21
e.g. KEVM, Bitcoin in offline majority
Late deadline 2020.1.5
Deadline: 2018.12
2019 12/17-19
Deadline: 2019.9/5
Deadline in Oct ~ Dec
2020.1
Deadline 2019/10/16
e.g. Toychain, verdi-raft
IACR Eurocrypto
Deadline of 2019: 2018.10
e.g. Ouroboros Praos
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
Feb. 19 - 21, 2020.
Deadline: November 1st
No proceedings
2020.5 (Deadline: 2019.12)
2019.4, Co-located with INFOCOM
Deadline 2018.12
Academic / Japan
電子情報通信学会 情報セキュリティ研究専門委員会(ISEC)
2020.1 (Deadline 2019.12.16)
https://gyazo.com/86aa6ce01e8ea8ed6fe45fc35aa168c7
Around 20 talks related to blockchain, IOHK
2019/8/28 ~ 30 @東工大
ポスター Deadline: July 24, 2019
情報処理学会コンピュータセキュリティ研究会 (CSEC)
2019/10/21 (Mon) ～ 10/24(Thr) @ハウステンボス
https://gyazo.com/93174fe96b1298938fefae15d6d8683c
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.
2019.3 (Deadline 2018.12)
Yoich Hirai, etc.
2019.3 (Deadline 2019.1)
Events
Theorem Proving and Provers meeting (TPP)
2018.11
Proof Summit
2018.9