Events

Considering

• 8–12 July 2024 LiCS + ICALP, Tallinn (Estonia)
• 8-12 July 2024, 37th Summer Conference on Topology and its Applications, Coimbra, https://www.mat.uc.pt/~sumtopo/
• 1-5 July 2024, TACL 2024, Barcelona https://iiia.csic.es/tacl2024/ – DEADLINE: 29 February
• 23-29 June 2024, Category Theory Conference (CT 2024), link – DEADLINE: 20 March
• 10-13 July 2024, FSCD (Formal Structures for Computation and Deduction) 2024 2020

Didn’t go to

• Summer School on General Algebra and Ordered Sets, Slovakia, 2023, 2022, 2013
• STACS 2021 (deadline 5 October 2020)
• The Italian Conference on Theoretical Computer Science (ICTCS) http://easyconferences.eu/ictcs2021/
• Krajicek fest
• 12-15 September 2021, 23rd International Symposium on Fundamentals of Computation Theory, link (abstract: 9 May 2021, full-paper: 16 May)
• 28-30 June 2021, Toposes online, online, link
• SYNASC 2021
• SYNASC 2020 (1-4 September 2020) ??? Moshe Vardi is invited
• British Colloquium for Theoretical Computer Science 6-8 April 2020
• 8-11 April 2020, Relational and Algebraic Methods in Computer Science (RAMICS), deadline 6 October 2019 link series
• 13-17 July 2020, LC 2020, Poznan

Saved for the next time:

• Category Theory series (see also Pare’s list)
• Category Theory at Work in Computational Mathematics and Theoretical Informatics
• conferences on algebra
• ASL meetings (e.g. Logic Colloquium)
• HIGHLIGHTS (of Logic, Games and Automata)
• ICALP, LiCS, Logic Colloquium, TACL, … and many more
• see also CORE Conference Ranking

Track B only/maths/pure logic

• POPL h-index (A☆)
• FSCD - Formal Structures for Computation and Deduction (semantics-focused!) (B)
• CALCO - Conference on Algebra and Coalgebra in Computer Science series wiki CfP (B)
• MFPS (B)
• SYCO - Symposium on Compositional Structures link
• BLAST
• ACT - Applied Category Theory Conference series + Adjoint School series
• CMCS
• TbiLLC - International Tbilisi Symposium Series on Language, Logic and Computation series

Together with Track A

• LICS - Symposium on Logic in Computer Science series (A☆)
• ICALP - International Colloquium on Automata, Languages and Programming wiki CfP (A)
• FoSSaCS 2020 h-index (A)
• MFCS - Mathematical Foundations of Computer Science wiki CfP (B)
• CSL - Computer Science Logic wiki CfP (B)
• WoLLIC - Workshop on Logic, Language, Information and Computation series (C)
• FSTTCS series

Track A only/mostly

• STOC - ACM Symposium on Theory of Computing, h-index, e.g. 2021
• FOCS - IEEE Symposium on Foundations of Computer Science, wiki CfP, h-index
• LCC link
• FCT - The Symposium on Fundamentals of Computation Theory, e.g. 2019, 2021
• STACS e.g. 2022

Journals

Theoretical CS

• JACM: Journal of the ACM (IS: 3.37, IF: 2.5, Q1)
• SIAM Journal on Computing – algorithms and complexity
• Journal of Computer Science and Technology (IS: 2.27) – Springer, Chinese-sponsored…
• Formal Aspects of Computing (IS: 1.30) – Springer, no known editors…
• Theoretical Computer Science (IS: 1.29, IF: 1.1) – Elsevier…, editors: A Kucera, Jacobs, A Jung, PE Mellies, Mislove
• Journal of Functional Programming (IF: 1.1.)
• Annals of Pure and Applied Logic (IS: 0.83, Q1)
• LNCS - Lecture Notes in Computer Science (IS: 1.27, IF: 0.4 last in 2005) - Springer, book series
• Journal of Logical and Algebraic Methods in Programming (IS: 1.16) – elsevier…
• LMCS - Logical Methods in Computer Science (IS: 1.02, IF: 0.6, Q2)
• ToC - Theory of Computing (IS: 1.00) – editors: László Babai, László Lovász
• Journal of Logic and Computation (IS: 0.83, IF: 0.7)
• Mathematical Structures in Computer Science (IS: 0.82, IF: 0.5)
• Fundamenta Informaticae (IS: 0.73, IF: 0.8)
• Electronic Notes in Theoretical Computer Science (IS: 0.65)
• TheoretiCS – a new peer-reviewed Diamond Open Access electronic journal, covering all areas of TCS
• Foundations and Trends in Theoretical Computer Science – for surveys only

Maths

• Quaestiones Mathematicae (IS: 0.86, IF: 0.7, Q2)
• Applied Categorical Structures (IS: 0.76, IF: 0.6, Q2) (Math)
• Fundamenta Mathematicae (IF: 0.6)
• Topology and its Applications (IS: 0.56, IF: 0.6, Q3)
• TAC - Theory and Applications of Categories (IS: 0.54, IF: 0.5, Q2) (Math)
  • Expositions in Theory and Applications of Categories is a new series specifically designed for publication of well-written and novel expository articles on topics of current research interest in the theory and/or applications of categories.
• Algebra Universalis Q2
• cahiers de topologie et géométrie différentielle catégoriques
• Compositionality
• The Journal of Symbolic Logic, Q1
• Advances in Mathematics,IF: 1.7, Q1
• Annals of Pure and Applied Logic, Q1
• Journal of Pure and Applied Algebra, Q1

Other

• Formalized Mathematics

Proceedings

• LIPIcs - Leibniz International Proceedings in Informatics (IS: 0.96)
• EPTCS - Electronic Proceedings in Theoretical Computer Science (IS: 0.50) – used by ACT

Checking impact factor:

• Impact Score (IS) by resurchify
• Impact Factor (IF) by Journal Citation Report
• Science Citation Index Expanded
• CORE ranking (used by MFF)

Indexing:

• Web of Science: Master Journal List
• MathSci: Journal List, Journal Search
• Scopus: Sources Search

Scimago Journal & Country Rank: Theoretical Computer Science

There is also austms.org.au ranking: mathematical sciences (now outdated?)

Category theory and homotopy theory journals ncatlab

Sensible book publishers

• The Foundations and Trends series https://nowpublishers.com/FnTs – journal-based process (you won’t get paid) but specializes in book-length stuff, stellar editorial committee, very high impact factor, you also keep your copyright! (recommended by Sean Holden)