conference_list
Table of Contents
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
-
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
-
Submission: August 30, 2021
-
Workshop: September 20-24, 2021
-
Venue: online
conference_list.txt · Last modified: 2021/09/24 18:08 by sewon