Category:Theory of computation

From Openresearch
Jump to: navigation, search
Theory of computation
Editor: Become editor of this category

Top conference series

AcronymTitleCORE2017Avg. acc. rate
ATVAInternational Symposium on Automated Technology for Verification and AnalysisA34.9
LATINInternational Symposium on Latin American Theoretical InformaticsB39.4
CoordinationInternational Conference on Coordination Models and LanguagesB53.1
DLTDevelopments in Language Theory56.6
LFCSLogical Foundations of Computer Science79.4

Upcoming conferences

AcronymNameCityCountrySubmissions dueStartEnd
SAGT 202013th Symposium on Algorithmic Game TheoryAugsburgGermanyMay 19Sep 16Sep 18
ICCS 202025th International Conference on Conceptual StructuresBolzanoItalyJan 26Sep 18Sep 21
TAMC 2020The 16th Annual Conference on Theory and Applications of Models of ComputationChangshaChinaDec 15Oct 18Oct 20
ATVA 202018th International Symposium on Automated Technology for Verification and AnalysisHanoiVietnamMay 3Oct 19Oct 23
FOCS 2020IEEE Symposium on Foundations of Computer ScienceDurhamUSANov 16Nov 19
FSTTCS 202040th conference on Foundations of Software Technology and Theoretical Computer ScienceGoaIndiaJul 17Dec 14Dec 18
PATAT 202113th International Conference on the Practice and Theory of Automated TimetablingBrugesBelgiumAug 24Aug 27

Conferences   [Cal. 2016]

SAGT 2020 (Augsburg, 16 September 2020)
ICCS 2020 (Bolzano, 18 September 2020)
TAMC 2020 (Changsha, 18 October 2020)
ATVA 2020 (Hanoi, 19 October 2020)
FSTTCS 2020 (Goa, 14 December 2020)

Event Series


  more …


  more …


  more …


  more …

Publication Calls

  • The part "[[" of the query was not understood. Results might not be as expected.
  • The symbol "[[" was used in a place where it is not useful.
  more …