User Tools

Site Tools


Action disabled: index
conference_list

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