Action disabled: index
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