Conferences
Academic / Overseas
Summary
Deadline in Apr ~ Jun
2019.6 (Deadline: 2019.3 -> 4)
2019.7 (Deadline: 2019.4)
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)
Nov 11-15 @London (UK)
Deadline May 15
Author notification: Tuesday, July 30, 2019
full paper 12 pages
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.
Submission deadline: May 24 2019 (hotcrp)
Author notification: July 23 2019
Camera ready: August 22 2019
Conference: 21-23 October 2019
Strong PC
12 pages ACM format
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)
Fall deadline 9/13, 2019
e.g. Privacy-preserving Multi-hop Locks, Seth: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
February 10–14, 2020
Deadline: Sep 17, 2019 (Submission is Sep 20)
Poster deadline: Nov. 21
e.g. KEVM, Bitcoin in offline majority
Deadline: 2018.12
Deadline: 2018.12
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
May 20-22, 2019
Roaling deadline
Feb. 1 is the final acceptance notification
Two months for review
E.g. Only one month to respond to a revision decision -> November 1st
2020.6
Deadline: 2019.11
e.g. Verdi
2019.4, Co-located with INFOCOM
Deadline 2018.12
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
July 29–August 2, 2019
Deadline February 18, 2019
E.g. Hotstuff
June 24-28, 2019
Papers due: January 23, 2019
2019.5 (Deadline 2019.3)
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