====== Conference List ======

This page organizes a list of conferences related to my area mainly from the call for papers I received from mailing lists. The conferences below are sorted according to their paper submission deadlines. Be careful that the data below can be not up-to-date. 

===== Conferences in 2022 =====

==== The 14th NASA Formal Methods Symposium  ====

  * [[https://shemesh.larc.nasa.gov/nfm2022/ | NFM 2022]] 
  * Abstract Submission: December 3, 2021
  * Paper Submission: December 10, 2021
  * Paper Notifications: February 4, 2022
  * Camera-ready Papers: March 4, 2022
  * Symposium: May 24-27, 2022
  * Regular papers describing fully developed work and complete results (maximum 15 pages, excluding references)
  * Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages, excluding references).

===== Conferences in 2021 =====

==== Continuity, Computability, Constructivity From Logic to Algorithms ====
  * [[https://www.cs.bham.ac.uk/~axj/ccc2021/ | CCC2021]]
  * Submission: August 30, 2021
  * Workshop: September 20-24, 2021
  * Venue: online