<p><strong><a href="https://confsearch.ethz.ch/confsearch/faces/pages/topic.jsp;jsessionid=4664B23ED834C2AEA057E7AFBC4667FA?topic=Theory&amp;sortMode=1&amp;graphicView=1" rel="nofollow noreferrer">Conference calendar</a></strong> by <a href="https://confsearch.ethz.ch/confsearch/" rel="nofollow noreferrer">confsearch</a>
(missing: AMW, MFPS, FPSAC, ITCS, QCRYPT, DCM).</p>

CC BY-SA 3.0
2011-08-21T19:01:05.227Z
The list of conferences is copied from the other answer; whenever you add conferences, please edit the URL, too.
Jukka Suomela
CC BY-SA 3.0
2011-08-24T21:31:31.343Z
And please keep in mind that confsearch.org is a wiki; *you* can add missing information there...
Jukka Suomela
CC BY-SA 3.0
2013-01-08T12:34:41.797Z
confsearch.org also has a category "Theory" where you can view all Theory conferences and add those that are missing http://www.confsearch.org/confsearch/faces/pages/topic.jsp?topic=Theory&sortMode=1&graphicView=1
Serge Gaspers
CC BY-SA 4.0
2023-07-21T19:15:20.587Z
Hi Link seems to be broken.
Hao S
CC BY-SA 4.0
2011-08-21T19:00:05.633Z
2020-08-14T14:09:54.927Z
2020-08-14T14:09:54.927Z
Jukka Suomela
<p>This <a href="https://cstheory-events.org/list-of-events/" rel="nofollow noreferrer">list of upcoming cs events</a> is very practical, in my opinion.</p>

CC BY-SA 3.0
2017-06-16T22:21:47.263Z
2017-06-16T22:21:47.263Z
Michele Amoretti
<p>This <a href="http://community.dur.ac.uk/tom.friedetzky/conf.html" rel="nofollow">list of conferences</a> by Tom Friedetzky and Daniel Paulusma is another nice resource.</p>

CC BY-SA 3.0
2014-04-26T02:01:42.310Z
2014-04-26T02:01:42.310Z
Huck Bennett
<p>Miki Herman's <a href="https://www.lix.polytechnique.fr/%7Ehermann/conf.php" rel="nofollow noreferrer">Conferences in Theoretical Computer Science</a>. Contacting him to update the website seems more productive than maintaining a list here.</p>

CC BY-SA 4.0
2024-11-04T16:25:19.613Z
2024-11-05T12:30:19.540Z
2024-11-05T12:30:19.540Z
Mostafa Touny


<p><strong>GENERAL</strong>:</p>
<ul>
<li>STOC, <a href="https://acm-stoc.org/" rel="nofollow noreferrer">ACM Symposium on the Theory of Computing</a></li>
<li>FOCS, <a href="http://ieee-focs.org/" rel="nofollow noreferrer">IEEE Symposium on Foundations of Computer Science</a></li>
<li>ICALP <a href="http://www.eatcs.org/index.php/international-colloquium" rel="nofollow noreferrer">EATCS International Colloquium on Automata, Languages and Programming</a><br />
(A: algorithms, complexity, B: logic, semantics,  automata)</li>
<li>FOSSACS, <a href="https://etaps.org/2024/conferences/fossacs/" rel="nofollow noreferrer">Foundations of Software Science and Computation Structures</a></li>
<li>STACS, <a href="http://www.stacs-conf.org/" rel="nofollow noreferrer">Symposium on Theoretical Aspects of Computer Science</a></li>
<li>MFCS, <a href="http://www.dcs.fmph.uniba.sk/mfcs2024/" rel="nofollow noreferrer">Mathematical Foundations of Computer Science</a></li>
<li>FSTTCS, <a href="http://www.fsttcs.org.in/" rel="nofollow noreferrer">Foundations of Software Technology and Theoretical Computer Science</a></li>
<li>COCOON, <a href="https://theory.utdallas.edu/COCOON2023/index.html" rel="nofollow noreferrer">Computing and Combinatorics Conference</a></li>
<li>ITCS, <a href="http://itcs-conf.org/" rel="nofollow noreferrer">Innovations in Theoretical Computer Science</a></li>
<li>CSR, <a href="http://csr2013.urfu.ru/" rel="nofollow noreferrer">Computer Science in Russia</a></li>
<li>ISAAC, <a href="http://www.dais.is.tohoku.ac.jp/%7Etokuyama/ISAAC/isaacweb.html" rel="nofollow noreferrer">International Symposium on Algorithms and Computation</a></li>
<li>TAMC, <a href="https://tamc2024.comp.polyu.edu.hk/" rel="nofollow noreferrer">Theory and Applications of Models of Computation</a></li>
<li>COCOA, <a href="https://theory.utdallas.edu/COCOA2023/" rel="nofollow noreferrer">Conference on Combinatorial Optimization and Applications</a></li>
<li>FM, <a href="http://www.fmeurope.org/" rel="nofollow noreferrer">Formal Methods</a></li>
<li>FCT, <a href="https://www.uni-trier.de/en/universitaet/fachbereiche-faecher/fachbereich-iv/faecher/informatikwissenschaften/professuren/theoretische-informatik/research/conferences-and-workshops/fct-2023" rel="nofollow noreferrer">Fundamentals of Computation Theory</a></li>
<li>LATIN, <a href="http://www.latintcs.org/" rel="nofollow noreferrer">Latin American Symposium on Theoretical Informatics</a></li>
<li>SOFSEM, <a href="http://www.sofsem.cz/" rel="nofollow noreferrer">Conference on Current Trends in Theory and Practice of Computer Science</a></li>
<li>TASE, <a href="http://tase2017.unice.fr" rel="nofollow noreferrer">Theoretical Aspects of Software engineering</a></li>
</ul>
<p><strong>CC: COMPLEXITY</strong></p>
<ul>
<li>CCC, <a href="http://computationalcomplexity.org/" rel="nofollow noreferrer">Computational Complexity Conference</a> (formerly IEEE Conf. on Computational Complexity)</li>
<li>SIROCCO, <a href="http://sirocco2013.di.unisa.it/" rel="nofollow noreferrer">International Colloquium on Structural Information and Communication Complexity</a></li>
</ul>
<p><strong>CG: COMPUTATIONAL GEOMETRY</strong></p>
<ul>
<li>SOCG, <a href="https://apps.utdallas.edu/SOCG23/socg.html" rel="nofollow noreferrer">Symposium on Computational Geometry</a></li>
<li>CCCG, <a href="http://www.cccg.ca/" rel="nofollow noreferrer">Canadian Conference on Computational Geometry</a></li>
<li>EuroCG, <a href="http://eurocg.org/" rel="nofollow noreferrer">European Workshop on Computational Geometry</a></li>
</ul>
<p><strong>CR: CRYPTOGRAPHY AND SECURITY</strong></p>
<ul>
<li>CRYPTO, <a href="http://www.iacr.org/conferences/" rel="nofollow noreferrer">International Cryptology Conference</a></li>
<li>EUROCRYPT, <a href="http://www.iacr.org/conferences/" rel="nofollow noreferrer">Conference on the Theory and Applications of Cryptographic Techniques</a></li>
<li>ASIACRYPT, <a href="http://www.iacr.org/conferences/" rel="nofollow noreferrer">Conference on the Theory and Application of Cryptology</a></li>
<li>LATINCRYPT, <a href="http://latincrypt2014.labsec.ufsc.br" rel="nofollow noreferrer">International Conference on Cryptology and Information Security in Latin America</a></li>
<li>AFRICACRYPT, <a href="http://www.math.unicaen.fr/%7Enitaj/Africacrypt.html" rel="nofollow noreferrer">International Conference on Cryptology in Africa</a></li>
<li>PQCRYPTO, <a href="https://2017.pqcrypto.org/conference/" rel="nofollow noreferrer">International Conference on Post-Quantum Cryptography</a></li>
<li>TCC, <a href="https://www.iacr.org/workshops/tcc/" rel="nofollow noreferrer">Theory of Cryptography Conference</a></li>
<li>PKC, <a href="http://www.iacr.org/meetings/pkc/" rel="nofollow noreferrer">International Conference on Practice and Theory in Public Key Cryptography</a></li>
<li>FSE, <a href="http://iacr.org/meetings/fse/" rel="nofollow noreferrer">Conference on Fast Software Encryption</a></li>
<li>CHES, <a href="http://iacr.org/meetings/ches/" rel="nofollow noreferrer">Conference on Cryptographic Hardware and Embedded Systems</a></li>
<li>IEEE S&amp;P, <a href="http://www.ieee-security.org/TC/SP-Index.html" rel="nofollow noreferrer">IEEE Symposium on Security and Privacy</a></li>
<li>CCS,  <a href="http://www.sigsac.org/ccs/CCS2011/" rel="nofollow noreferrer">ACM Conference on Computer and Communication Security</a></li>
<li>POST, <a href="http://www.etaps.org/2014/post-2014" rel="nofollow noreferrer">Principles of Security and Trust</a></li>
<li>CSF, <a href="http://www.ieee-security.org/CSFWweb/" rel="nofollow noreferrer">Computer Security Foundations Symposium</a></li>
<li>ITC, <a href="https://itcrypto.github.io/2020.html" rel="nofollow noreferrer">Information Theoretic Cryptography</a></li>
</ul>
<p><strong>DB: DATABASE THEORY</strong></p>
<ul>
<li>SIGMOD/PODS, <a href="http://www.sigmod.org/sigmod-pods-conferences" rel="nofollow noreferrer">ACM Symposium on Principles of Database Systems</a> (both accept theory, but SIGMOD has broader scope)</li>
<li>ICDT, <a href="http://icdt.tu-dortmund.de/" rel="nofollow noreferrer">The international Conference on Database Theory</a></li>
<li>VLDB, <a href="http://www.vldb.org/conference.html" rel="nofollow noreferrer">Very Large Data Bases</a></li>
<li>AMW, <a href="http://amw13.cs.buap.mx/" rel="nofollow noreferrer">Alberto Mendelzon International Workshop on Foundations of Data Management</a></li>
</ul>
<p><strong>DC: DISTRIBUTED, PARALLEL, AND CLUSTER COMPUTING</strong></p>
<ul>
<li>PODC, <a href="http://www.podc.org/" rel="nofollow noreferrer">ACM Symposium on Principles of Distributed Computing</a></li>
<li>DISC, <a href="http://www.disc-conference.org/" rel="nofollow noreferrer">International Symposium on Distributed Computing</a></li>
<li>SPAA, <a href="http://www.spaa-conference.org/" rel="nofollow noreferrer">ACM Symposium on Parallelism in Algorithms and Architectures</a></li>
<li>IPDPS, <a href="http://www.ipdps.org/" rel="nofollow noreferrer">IEEE International Parallel and Distributed Processing Symposium</a></li>
<li>ICDCN, <a href="http://www.icdcn.org/" rel="nofollow noreferrer">International Conference on Distributed Computing and Networking</a></li>
<li>OPODIS, <a href="http://www.opodis.net/" rel="nofollow noreferrer">International Conference on Principles of Distributed Systems</a></li>
<li>SSS, <a href="https://cs.uwaterloo.ca/conferences/sss2012/" rel="nofollow noreferrer">International Symposium on Stabilization, Safety, and Security of Distributed Systems</a></li>
<li>ALGOWIN, <a href="https://algo-conference.org/2024/algowin/" rel="nofollow noreferrer">International Symposium on Algorithmics of Wireless Networks</a></li>
</ul>
<p><strong>DM: DISCRETE MATHEMATICS AND COMBINATORICS</strong></p>
<ul>
<li>WG, <a href="http://www.informatik.uni-rostock.de/wg2013/" rel="nofollow noreferrer">International Workshop on Graph-Theoretic Concepts in Computer Science</a></li>
<li>LAGOS, <a href="http://xamanek.izt.uam.mx/LAGOS2013/" rel="nofollow noreferrer">Latin-American Algorithms, Graphs and Optimization Symposium</a></li>
</ul>
<p><strong>DS: DATA STRUCTURES AND ALGORITHMS</strong></p>
<ul>
<li>SODA, <a href="https://www.siam.org/conferences-events/siam-conferences/soda25/" rel="nofollow noreferrer">ACM-SIAM Symposium on Discrete Algorithms</a></li>
<li>ESA, <a href="http://esa-symposium.org/" rel="nofollow noreferrer">European Symposium on Algorithms</a> (track A is theoretical)</li>
<li>WADS, <a href="http://www.wads.org/" rel="nofollow noreferrer">The Algorithms and Data Structures Symposium</a></li>
<li>SAT, <a href="http://sat2013.cs.helsinki.fi/" rel="nofollow noreferrer">Theory and Applications of Satisfiability Testing</a></li>
<li>SWAT, <a href="http://swat2012.helsinki.fi/" rel="nofollow noreferrer">Scandinavian Symposium and Workshops on Algorithm Theory</a></li>
<li>ALENEX, <a href="https://www.siam.org/conferences-events/siam-conferences/alenex25/" rel="nofollow noreferrer">Algorithm Engineering and Experimentation</a></li>
<li>SOSA, <a href="https://simplicityalgorithms.wixsite.com/sosa" rel="nofollow noreferrer">Symposium on Simplicity in Algorithms</a></li>
<li>IPCO, <a href="http://www.opt.math.tu-graz.ac.at/IPCO/" rel="nofollow noreferrer">Integer Programming and Combinatorial Optimization</a></li>
<li>APPROX/RANDOM, <a href="http://cui.unige.ch/tcs/random-approx/" rel="nofollow noreferrer">Workshop on Approximation Algorithms for Optimization Problems / Workshop on Randomization and Computation</a></li>
<li>WAOA, <a href="http://www.csd.uwo.ca/waoa/" rel="nofollow noreferrer">Workshop on Approximation and Online Algorithms</a></li>
<li>IPEC, <a href="https://algo2017.ac.tuwien.ac.at/ipec/" rel="nofollow noreferrer">International Symposium on Parameterized and Exact Computation</a></li>
<li>IWOCA, <a href="https://carma.newcastle.edu.au/meetings/iwoca/" rel="nofollow noreferrer">International Workshop on Combinatorial Algorithms</a></li>
<li>WAW, <a href="http://www.math.ryerson.ca/waw2013/" rel="nofollow noreferrer">Workshop on Algorithms and Models for the Web-Graph</a></li>
<li>CPM, <a href="http://www.cpm2013.de/" rel="nofollow noreferrer">Combinatorial Pattern Matching</a></li>
<li>CP, <a href="http://cp2013.a4cp.org/" rel="nofollow noreferrer">Principles and Practice of Constraint Programming</a></li>
</ul>
<p><strong>FL: AUTOMATA THEORY AND FORMAL LANGUAGES</strong></p>
<ul>
<li>DLT, <a href="http://www.math.utu.fi/projects/dlt/" rel="nofollow noreferrer">International Conference on Developments in Language Theory</a></li>
<li>LATA, <a href="http://grammars.grlmc.com/lata2013/" rel="nofollow noreferrer">Language and Automata Theory and Applications</a></li>
<li>AFL, <a href="http://www.nyf.hu/afl11/" rel="nofollow noreferrer">Automata and Formal Languages</a></li>
<li>NCMA, <a href="http://ncma2013.cs.umu.se/" rel="nofollow noreferrer">Non-Classical Models of Automata and Applications</a></li>
<li>CIAA, <a href="http://tln.li.univ-tours.fr/ciaa/" rel="nofollow noreferrer">International Conference on Implementation and Application of Automata</a></li>
<li>DFCS, <a href="http://www.csd.uwo.ca/dcfs2013/" rel="nofollow noreferrer">Descriptional Complexity of Formal Systems</a></li>
<li>AUTOMATA, <a href="https://automata2024.webspace.durham.ac.uk/" rel="nofollow noreferrer">International Workshop on Cellular Automata and Discrete Complex Systems</a></li>
</ul>
<p><strong>GT: ALGORITHMIC GAME THEORY</strong></p>
<ul>
<li>EC, <a href="http://www.sigecom.org/events.html" rel="nofollow noreferrer">Electronic Commerce</a></li>
<li>SAGT, <a href="http://algo.rwth-aachen.de/sagt2013/" rel="nofollow noreferrer">International Symposium on Algorithmic Game Theory</a></li>
<li>WINE, <a href="http://wine13.seas.harvard.edu/" rel="nofollow noreferrer">Workshop on Internet and Network Economics</a></li>
</ul>
<p><strong>LG: LEARNING THEORY</strong></p>
<ul>
<li>COLT, <a href="http://www.learningtheory.org/" rel="nofollow noreferrer">Conference on Learning Theory</a></li>
<li>ALT, <a href="http://www-alg.ist.hokudai.ac.jp/%7Ethomas/ALTARCH/altarch.jhtml" rel="nofollow noreferrer">Algorithmic Learning Theory</a></li>
</ul>
<p><strong>LO: LOGIC IN COMPUTER SCIENCE</strong></p>
<ul>
<li>LICS, <a href="https://lics.siglog.org/" rel="nofollow noreferrer">IEEE Symposium on Logic in Computer Science</a></li>
<li>CONCUR, <a href="http://www.concur-conferences.org/" rel="nofollow noreferrer">International Conference on Concurrency Theory</a></li>
<li>CSL, <a href="http://www.eacsl.org/conferences.html/" rel="nofollow noreferrer">Computer Science Logic</a></li>
<li>CiE, <a href="https://www.acie.eu/cie-conference-series/" rel="nofollow noreferrer">Computablility in Europe</a></li>
<li>LCC, <a href="http://ptmat.fc.ul.pt/lcc2012/" rel="nofollow noreferrer">An International Workshop on Logic and Computational Complexity</a></li>
<li>WoLLIC, <a href="http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017" rel="nofollow noreferrer">Workshop on Logic, Language, Information and Computation</a></li>
<li><a href="http://highlights-conference.org/" rel="nofollow noreferrer">Highlights of logic, games and automata</a> (informal conference without proceedings, mostly highlighting results published elsewhere, since 2022 recordings are posted online)</li>
</ul>
<p><strong>PL: PROGRAMMING LANGUAGES</strong></p>
<ul>
<li>POPL, <a href="http://popl.mpi-sws.org/" rel="nofollow noreferrer">Principles of Programming Languages</a></li>
<li>ICFP, <a href="http://icfpconference.org/" rel="nofollow noreferrer">International Conference on Functional Programming</a></li>
<li>ETAPS, <a href="http://www.etaps.org/" rel="nofollow noreferrer">European Joint Conferences on Theory and Practice of Software</a> (includes FOSSACS, ESOP and POST, see separate entries)</li>
<li>ESOP, <a href="https://etaps.org/2022/esop" rel="nofollow noreferrer">European Symposium On Programming</a></li>
<li>MSFP, Mathematically Structured Functional Programming</li>
<li>MFPS, Mathematical Foundations of Programming Semantics</li>
</ul>
<p><strong>SC: SYMBOLIC COMPUTATION</strong></p>
<ul>
<li>ISSAC: <a href="http://www.issac-conference.org/" rel="nofollow noreferrer">International Symposium on Symbolic and Algebraic Computation</a></li>
<li>FPSAC: <a href="http://www.fpsac.org/" rel="nofollow noreferrer">Formal Power Series and Algebraic Combinatorics</a></li>
<li>CASC: <a href="http://www14.in.tum.de/CASC2014/" rel="nofollow noreferrer">Computer Algebra in Scientific Computing</a></li>
<li>SNC: <a href="http://symbolic-numeric-computation.org/" rel="nofollow noreferrer">Symbolic Numeric Computation</a></li>
</ul>
<p><strong>THEOREM PROVING</strong></p>
<ul>
<li>CADE, <a href="http://www.cade-24.info/" rel="nofollow noreferrer">International Conference on Automated Deduction</a></li>
<li>ITP, <a href="http://itp2013.inria.fr/" rel="nofollow noreferrer">Interactive Theorem Proving</a></li>
<li>CPP, <a href="http://formes.asia/cpp/" rel="nofollow noreferrer">Certified Proofs and Programs</a></li>
</ul>
<p><strong>QUANTUM</strong></p>
<ul>
<li>QIP, <a href="http://www.qipworshop.org/" rel="nofollow noreferrer">Workshop on Quantum Information Processing</a></li>
<li>QCMC, <a href="http://www.qcmc2012.org/" rel="nofollow noreferrer">International Conference on Quantum Communication, Information and Computing</a></li>
<li>TQC, <a href="https://tqc-conference.org/" rel="nofollow noreferrer">Theory of Quantum Computation, Communication and Cryptography</a></li>
<li>AQIS, <a href="http://www.imsc.res.in/%7Eaqis13/" rel="nofollow noreferrer">Asian Quantum Information Science Conference</a></li>
<li>QCRYPT, <a href="http://www.qcrypt.net/" rel="nofollow noreferrer">Conference on Quantum Cryptography</a></li>
<li>QEC, <a href="http://qserver.usc.edu/qec11/" rel="nofollow noreferrer">International Conference on Quantum Error Correction</a></li>
<li>CEQIP, <a href="http://ceqip.eu/" rel="nofollow noreferrer">Central European Quantum Information Processing Workshop</a></li>
</ul>
<p><strong>RO: Robotics</strong></p>
<ul>
<li>WAFR, <a href="http://www.wafr.org/" rel="nofollow noreferrer">Workshop on the Algorithmic Foundation of Robotics</a>.</li>
</ul>
<p><strong>COMPUTATIONAL BIOLOGY</strong></p>
<ul>
<li>RECOMB: <a href="http://recomb.org/" rel="nofollow noreferrer">Research in Computational Molecular Biology</a></li>
<li>ISMB: <a href="http://www.iscb.org/about-ismb" rel="nofollow noreferrer">Intelligent Systems for Molecular Biology</a></li>
<li>WABI: <a href="http://algo2013.inria.fr/wabi.shtml" rel="nofollow noreferrer">Workshop on Algorithms in Bioinformatics</a></li>
</ul>
<p><strong>OTHER</strong></p>
<ul>
<li>CAV, <a href="http://cav2013.forsyte.at/" rel="nofollow noreferrer">Computer Aided Verification</a></li>
<li>GD, <a href="http://graphdrawing.org/" rel="nofollow noreferrer">International Symposium on Graph Drawing</a></li>
<li>FUN, <a href="http://www.dsi.unive.it/%7Efun2012/" rel="nofollow noreferrer">International Conference on Fun With Algorithms</a></li>
<li>DNA, DNA Computing and Molecular Programming (DNA computing, Track A is theoretical, track B is experimental)</li>
<li>DCM, <a href="http://www.dcm-workshop.org.uk/" rel="nofollow noreferrer">Developments in Computational Models</a></li>
<li>FCSD <a href="https://fscd-conference.org/" rel="nofollow noreferrer">Internat. Conf. on Formal Structures for Computation and Deduction</a> (formerly RTA, <a href="http://rewriting.loria.fr/rta/" rel="nofollow noreferrer">Rewriting techniques and applications</a>)</li>
<li>TLCA, <a href="http://www.mimuw.edu.pl/tlca/" rel="nofollow noreferrer">Typed lambda calculi and applications</a></li>
<li>UCNC, <a href="http://www.univ-orleans.fr/lifo/events/UCNC2012/index.php" rel="nofollow noreferrer">Unconventional Computation &amp; Natural Computation</a></li>
<li>RC, <a href="https://rc2024.mat.umk.pl/" rel="nofollow noreferrer">Reversible Computation</a></li>
</ul>

CC BY-SA 3.0
2011-10-03T14:29:25.410Z
AFRICACRYPT should be removed. On, e.g., MS Academic [ http://goo.gl/00hQo ], it is ranked 76th. Crypto, EUROCRYPT and ASIACRYPT are all top 10. Since it the title includes security, IEEE CSF should be included, as well as perhaps IEEE Symposium on Security and Privacy which has a tolerance for theory-oriented papers.
PulpSpy
CC BY-SA 3.0
2011-10-04T11:23:05.920Z
I removed Africacrypt (again.) Yes, this is a conference that accepts papers about cryptography. But it is a 4th-tier conference that accepts papers about cryptography. (If you insist on including it, then at least 10 other crypto conferences should be listed too.)
user6584
CC BY-SA 3.0
2011-10-06T15:19:49.100Z
@Dominic Mulligan: Thank you for the theorem proving edits.  That is an area of theory I know nothing about.  As long as you are adding them, perhaps I could ask you to do a little more???  Could you add them also to the conference calendar link in the answer below?  If they don't appear in confsearch.org, you can add the conference to their database. I did that myself with the DNA Computing conference.
Aaron Sterling
CC BY-SA 3.0
2011-08-21T17:38:44.960Z
i added learning but for some strange reason cannot get it to format properly
Lev Reyzin
CC BY-SA 3.0
2011-08-21T17:41:36.487Z
@Lev: You need to add two blank spaces at the end of a line to produce a carriage return.
Aaron Sterling
CC BY-SA 3.0
2011-08-21T17:49:38.533Z
After over a year with this site, I somehow hadn't run into this. Thanks!
Lev Reyzin
CC BY-SA 3.0
2011-08-21T18:55:14.690Z
For some ideas: http://en.wikipedia.org/wiki/List_of_computer_science_conferences
Jukka Suomela
CC BY-SA 3.0
2011-08-21T21:28:43.027Z
Added ICDT and removed my answer.
sxd
CC BY-SA 3.0
2011-08-22T19:44:53.003Z
I added the followings and removed my answer (as Jukka Suomela suggested): FSTTCS, ISAAC, LATIN, MFCS, TAMC, WADS, SWAT, ALENEX, EC, SAGT, WINE, SIROCCO, ICDCN, IPCO, APPROX-RANDOM, WAOA, WAW.
Dan
CC BY-SA 3.0
2011-08-23T04:45:13.433Z
added AQIS below quantum computation
Marcos Villagra
CC BY-SA 3.0
2011-08-23T04:48:02.790Z
also added LATA under general
Marcos Villagra
CC BY-SA 3.0
2011-08-23T07:23:08.610Z
For PL, MSFP (not MFPS) is a workshop of ICFP, not a conference itself. (There are lots more PL/TCS workshops that we could include too.) To label ICFP as TCS is a bit of a stretch, though. Similarly with POPL, but since it's The Big One, it's not as ostensible.
Scott Kilpatrick
CC BY-SA 3.0
2011-08-23T17:50:30.703Z
Wonder if QCRYPT should be Quantum and/or Crypto…
Loïck
CC BY-SA 3.0
2011-08-24T04:48:40.717Z
IMHO, WG is a good candidate to begin populating the DM section
Gianluca Della Vedova
CC BY-SA 3.0
2011-08-24T06:34:41.390Z
Shouldn't GD be in the computational geometry section?
Jukka Suomela
CC BY-SA 3.0
2011-08-24T06:58:38.420Z
I think conferences in Other should be moved to their corresponding sections, also it is not clear for me if all of the conferences in General section are really general.
Kaveh
CC BY-SA 3.0
2011-08-24T07:00:55.590Z
@Loïck: the [arXiv](http://arxiv.org/corr/subjectclasses) tag that the preprints of their papers are submitted to as their main tag. If a considerable fraction of them (say over 70 percent) use the same main tag that should be where it is placed.
Kaveh
CC BY-SA 3.0
2011-08-24T09:19:46.380Z
I didn't move it back to Other, but DNA does not belong in computational biology. Its field is biological computation, which is not the same thing. For GD and WG, we could add an Algorithmic Graph Theory category I suppose.
Aaron Sterling
CC BY-SA 3.0
2011-08-24T09:43:22.860Z
@Aaron, maybe we should have a cs.NE category. btw, isn't AGT subset of cs.GT?
Kaveh
CC BY-SA 3.0
2011-08-24T13:20:46.513Z
I am worried now that I see ICML and NIPS listed under learning theory, as they don't even claim to be theory conferences.  Makes me wonder whether the rest of the list has similar problems...
Lev Reyzin
CC BY-SA 3.0
2011-08-24T15:24:44.317Z
Are RECOMB and ISMB relevant conferences for theory? My impression is that RECOMB is more geared towards tools and applications, while ISMB kind of expects biological results. In general, theoretical work in computational biology looks more like applications than theory for a theory person.
Jouni Sirén
CC BY-SA 3.0
2011-08-24T15:39:45.590Z
@Jouni (and Lev): If a conference has both theory and applied papers, it seems appropriate to list.  I don't know anything about the specific conferences you name.  Do any TCS papers appear there?  Maybe more to the point for me personally, do you think discussion of those conferences would be on-topic for the CSTheory Community Blog?
Aaron Sterling
CC BY-SA 3.0
2011-08-24T15:43:10.550Z
@Kaveh: By AGT do you mean "Algorithmic Graph Theory" or "Algorithmic Game Theory?"  Either way, I agree with what I think you are saying, which is that we should stick as close to ArXiv tags as possible.  Also, I don't know any theory conference that I would comfortably place in cs.NE -- DNA is not in that category; NE is for neural nets, genetic algorithms, swarm computing, etc.  I have looked at some such conferences, and they all seem application-oriented.
Aaron Sterling
CC BY-SA 3.0
2011-08-24T15:56:53.847Z
A good conference in databases is [VLDB](http://www.vldb.org/conference.html) (Very Large Databases). Not sure it's a theoretical conference, though.
Janoma
CC BY-SA 3.0
2011-08-24T15:58:26.857Z
@Jouni RECOMB is very algorithmic. ISMB is less so, but theoretical researchers in comp. bio will publish in both places.
Suresh Venkat
CC BY-SA 3.0
2011-08-24T15:59:01.330Z
@Janoma vLDB is not theoretical: it's a big-tent DB conference like STOC or FOCS that also has theory papers in it sometimes. But since PODS and ICDT exist, there's no need to list VLDB
Suresh Venkat
CC BY-SA 3.0
2011-08-24T16:00:30.067Z
@Aaron Lev I think ICML/NIPS is borderline, but NIPS is closer to theory than ICML is. To answer Aaron's question, *some* discussions of these conferences would be relevant, but not all.
Suresh Venkat
CC BY-SA 3.0
2011-08-24T17:54:06.417Z
@Suresh Aaron, ICML/NIPS are machine learning conferences. They take papers that contribue to ML, and occasionally those papers are theory papers.  But, heck, even SIGCOMM sometimes takes theory papers. The easiest way to see ICML/NIPS aren't theory conferences is that http://dl.acm.org/citation.cfm?id=1536424 wouldn't appear at either (but could certainly appear at COLT/ALT), even though it's clearly a great learning theory paper. Also, IMO, the reason NIPS is more theory than ICML is b/c the ICML deadline coincides w/ the COLT one, and not by design. My guess is RECOMB is equally not theory.
Lev Reyzin
CC BY-SA 3.0
2011-08-24T18:28:42.193Z
@Lev: My two cents: take the conferences out if you think it is that clear.  If someone else wants to edit them back in, that person can provide reasons they should be included.
Aaron Sterling
CC BY-SA 3.0
2011-08-28T20:54:14.533Z
Could editors please give justification for their edits?  Someone just removed AfricaCrypt from the list, without giving a reason.  Is it (a) not a conference, or (b) not a TCS conference?
Aaron Sterling
CC BY-SA 3.0
2011-08-28T22:07:22.883Z
@Aaron: probably worth reverting.
András Salamon
CC BY-SA 3.0
2011-08-29T01:19:27.163Z
I reverted it. By all indications it's a TCS conference. As someone mentioned above the purpose of the list isn't to rank conferences. I also think it's cool to include the CRYPTO conference from each continent.
Huck Bennett
CC BY-SA 3.0
2011-08-29T10:23:38.283Z
@Aaron, are we going to list ALL TCS conferences? I think they are too many of them (you know, there are even conferences that have no expert PC and no expert publishes in them). So I think some criteria of quality and [notability](http://en.wikipedia.org/wiki/Wikipedia:Notability) is required (it doesn't mean ranking conferences). It seems to me that the user who removed that entry is an expert in crypto (you can check [the question he/she has answered](http://cstheory.stackexchange.com/users/686/user686)), so I think it would be better if people only add entries in their own areas, (more)
Kaveh
CC BY-SA 3.0
2011-08-29T10:34:23.043Z
and we should remove the AfricaCrypt unless someone in crypto provides an argument for its noteworthiness.
Kaveh
CC BY-SA 3.0
2011-08-29T13:01:30.797Z
@Kaveh: Sure, I would like a list of all TCS conferences.  I would enjoy it if someone blogged from AfricaCrypt. Let's not turn this into an argument about noteworthiness. The list has almost stabilized.
Aaron Sterling
CC BY-SA 3.0
2011-08-29T14:13:03.280Z
@Aaron: If you really want to cover everything, perhaps we should add OPODIS, SSS, and Algosensors (category DC)?
Jukka Suomela
CC BY-SA 3.0
2011-08-29T14:36:39.500Z
@Jukka: I think SSS is definitely TCS. I don't know anything about the other two.
Aaron Sterling
CC BY-SA 3.0
2011-08-29T15:39:30.893Z
@Aaron, IMHO, such a list is useless and practically impossible to create, there are several hundreds (if not thousands or tens of thousands) of TCS conferences and workshops.
Kaveh
CC BY-SA 3.0
2011-08-29T15:51:22.433Z
@Kavah: A simple way to deal with the issue could be this: you are only allowed to add conferences/workshops that you actually know "in person": you have participated in the conference, or you have co-authored a paper that was presented at the conference, or you have been involved in conference committees, etc. This way we would only need to list the conferences that are relevant to at least one member of our community.
Jukka Suomela
CC BY-SA 3.0
2011-08-30T10:49:37.333Z
FoSSaCS is not specialized in programming languages; ESOP (also part of ETAPS) is.
Sylvain
CC BY-SA 3.0
2013-01-10T17:09:16.147Z
Would add SIGMOD and VLDB to DB.
Antoine Amarilli 'a3nm'
CC BY-SA 3.0
2017-06-16T17:35:24.693Z
About my edit: I saw some "lesser" conferences like Latincrypt and therefore added higher quality conferences like CHES, FSE, PKC, but also for instance Africacrypt (again, as I just noticed). Perhaps a hidden note at the start of the post to clarify what should and should not be in this list would help.
TMM
CC BY-SA 4.0
2019-01-05T08:00:10.113Z
RTA & TLCA are now combined into FSCD.
xrq
CC BY-SA 4.0
2021-08-08T14:30:16.413Z
Track C (networks) of Icalp no longer exists.
Lamine
CC BY-SA 4.0
2023-07-21T19:36:11.077Z
Can you also add a bit of a ranking?
Hao S
CC BY-SA 4.0
2024-10-25T07:09:57.797Z
Algosensors has changed its name to ALGOWIN (International Symposium on Algorithmics of Wireless Networks), https://algo-conference.org/2024/algowin/ I have updated the list accordingly.
Louis Esperet
CC BY-SA 4.0
2011-08-21T17:34:04.203Z
2024-10-30T15:01:26.937Z
2024-10-30T15:01:26.937Z
Aaron Sterling
<p>I would like to ask for help in compiling a list of as many TCS-related conferences and workshops as possible.  My main motivation for doing this is to plan possible blog coverage of more theory venues -- finding correspondents attending these events who would be willing to write either brief or in-depth blog entries about events they are attending.  Beyond that, I hope a list like this would give everyone a better sense of the lay of the theory land.</p>

<p>I'll seed the question with an answer containing a few "obvious" conferences.  Please feel free to edit my answer and/or post additional answers of your own. </p>

<blockquote>
  <p>Standard abbreviation of conference, name of conference, subject matter, any additional notes.</p>
</blockquote>

<p>Intended as community wiki.</p>

CC BY-SA 3.0
2011-10-01T12:12:09.300Z
Microsoft Research actually did this listing of conference here: http://academic.research.microsoft.com/RankList?entitytype=3&topDomainID=2&subDomainID=0&last=0&start=1&end=100.
Gopi
CC BY-SA 3.0
2011-10-01T18:19:14.503Z
The merit is all Claire Matthieu's (see her blog: http://teachingintrotocs.blogspot.com/2011/09/conference-citations.html).
Gopi
CC BY-SA 3.0
2011-08-21T17:42:56.460Z
Now it is CW. But I am not sure it is a good use of site. (IIRC, I asked something similar last year. But people generally didn't think that was a good question. We ended up deleting it, IIRC.)
Kaveh
CC BY-SA 3.0
2011-08-21T18:40:47.243Z
+1 - I've wanted to ask this for a long time but didn't for the reason that Kaveh mentioned. Now that you have, I vote strongly in favor of keeping it.
Huck Bennett
CC BY-SA 3.0
2011-08-21T18:41:23.140Z
I think it could be a useful resource. The only problem might be if people try to rank the conferences or if we get debate over if a certain conference is in-scope or not.
Artem Kaznatcheev
CC BY-SA 3.0
2011-08-21T22:08:14.063Z
I believe most people would know already, but DMANET is a great resource for upcoming conferences and workshops. Of course, its area of coverage is a bit broader than TCS, but I would definitely call it CS-centered than math-centered.
chazisop
CC BY-SA 3.0
2011-08-22T15:45:24.603Z
My suggestion is that this should be structured like the P vs NPC post. In that there's one master "accepted" answer that maintains the union of all other answers posted in other comments.
Suresh Venkat
CC BY-SA 3.0
2011-08-22T16:49:44.957Z
@Suresh: Sounds good.
Aaron Sterling
CC BY-SA 3.0
2011-08-23T04:41:13.050Z
I was thinking on something like this with my previous question in meta (http://meta.cstheory.stackexchange.com/questions/1263/using-the-blog-for-job-posts-and-conference-announcements). Is there any chance to have a direct link to this question from anywhere on the site?
Marcos Villagra
CC BY-SA 3.0
2011-08-23T05:02:14.880Z
We can add it to the FAQ, but that's not the best. I think you mean something like a set of 'highlighted' questions. I don't know if we can actually do that, and a meta question to that effect might draw attention from SE
Suresh Venkat
CC BY-SA 3.0
2011-08-24T15:51:15.660Z
@Marcos: One possibility is that we could create a page on the community blog once the list stabilizes here.  I've started a meta thread to discuss static blog pages here: http://meta.cstheory.stackexchange.com/questions/1297/pages-for-the-community-blog
Aaron Sterling
CC BY-SA 3.0
2011-08-25T10:31:08.110Z
**mod note**: related previous [question](http://cstheory.stackexchange.com/questions/386/complexity-theory-conferences) and [meta-discussion](http://meta.cstheory.stackexchange.com/questions/56/are-list-questions-such-as-about-conferences-on-topic). Removed the answers from the old one (which are already listed here), merged the older one with this one, removed the comments coming from the older one.
Kaveh
<soft-question><big-list><conferences>
List of TCS conferences and workshops
Aaron Sterling
# List of TCS conferences and workshops

(Asked by: username_0 on 2011-08-21)

I would like to ask for help in compiling a list of as many TCS-related conferences and workshops as possible. My main motivation for doing this is to plan possible blog coverage of more theory venues -- finding correspondents attending these events who would be willing to write either brief or in-depth blog entries about events they are attending. Beyond that, I hope a list like this would give everyone a better sense of the lay of the theory land.

I'll seed the question with an answer containing a few "obvious" conferences. Please feel free to edit my answer and/or post additional answers of your own.

> Standard abbreviation of conference, name of conference, subject matter, any additional notes.

Intended as community wiki.

**Tags:** soft-question, big-list, conferences

> **Comments:**
> **username_2**: Now it is CW. But I am not sure it is a good use of site. (IIRC, I asked something similar last year. But people generally didn't think that was a good question. We ended up deleting it, IIRC.)  
> **username_3**: +1 - I've wanted to ask this for a long time but didn't for the reason that username_2 mentioned. Now that you have, I vote strongly in favor of keeping it.  
> **username_4**: I think it could be a useful resource. The only problem might be if people try to rank the conferences or if we get debate over if a certain conference is in-scope or not.  
> **username_5**: I believe most people would know already, but DMANET is a great resource for upcoming conferences and workshops. Of course, its area of coverage is a bit broader than TCS, but I would definitely call it CS-centered than math-centered.  
> **username_6**: My suggestion is that this should be structured like the P vs NPC post. In that there's one master "accepted" answer that maintains the union of all other answers posted in other comments.  
> **username_0**: @Suresh: Sounds good.  
> **username_7**: I was thinking on something like this with my previous question in meta (http://meta.cstheory.stackexchange.com/questions/1263/using-the-blog-for-job-posts-and-conference-announcements). Is there any chance to have a direct link to this question from anywhere on the site?  
> **username_6**: We can add it to the FAQ, but that's not the best. I think you mean something like a set of 'highlighted' questions. I don't know if we can actually do that, and a meta question to that effect might draw attention from SE  
> **username_0**: @Marcos: One possibility is that we could create a page on the community blog once the list stabilizes here.  I've started a meta thread to discuss static blog pages here: http://meta.cstheory.stackexchange.com/questions/1297/pages-for-the-community-blog  
> **username_2**: **mod note**: related previous [question](http://cstheory.stackexchange.com/questions/386/complexity-theory-conferences) and [meta-discussion](http://meta.cstheory.stackexchange.com/questions/56/are-list-questions-such-as-about-conferences-on-topic). Removed the answers from the old one (which are already listed here), merged the older one with this one, removed the comments coming from the older one.  
> **username_1**: Microsoft Research actually did this listing of conference here: http://academic.research.microsoft.com/RankList?entitytype=3&topDomainID=2&subDomainID=0&last=0&start=1&end=100.  
> **username_1**: The merit is all Claire Matthieu's (see her blog: http://teachingintrotocs.blogspot.com/2011/09/conference-citations.html).  

---

## 5 answers

### Answer by username_0 on 2011-08-21. Score: 99 | Accepted answer

**GENERAL**:

* STOC, [ACM Symposium on the Theory of Computing](https://acm-stoc.org/)
* FOCS, [IEEE Symposium on Foundations of Computer Science](http://ieee-focs.org/)
* ICALP [EATCS International Colloquium on Automata, Languages and Programming](http://www.eatcs.org/index.php/international-colloquium)  
  (A: algorithms, complexity, B: logic, semantics, automata)
* FOSSACS, [Foundations of Software Science and Computation Structures](https://etaps.org/2024/conferences/fossacs/)
* STACS, [Symposium on Theoretical Aspects of Computer Science](http://www.stacs-conf.org/)
* MFCS, [Mathematical Foundations of Computer Science](http://www.dcs.fmph.uniba.sk/mfcs2024/)
* FSTTCS, [Foundations of Software Technology and Theoretical Computer Science](http://www.fsttcs.org.in/)
* COCOON, [Computing and Combinatorics Conference](https://theory.utdallas.edu/COCOON2023/index.html)
* ITCS, [Innovations in Theoretical Computer Science](http://itcs-conf.org/)
* CSR, [Computer Science in Russia](http://csr2013.urfu.ru/)
* ISAAC, [International Symposium on Algorithms and Computation](http://www.dais.is.tohoku.ac.jp/%7Etokuyama/ISAAC/isaacweb.html)
* TAMC, [Theory and Applications of Models of Computation](https://tamc2024.comp.polyu.edu.hk/)
* COCOA, [Conference on Combinatorial Optimization and Applications](https://theory.utdallas.edu/COCOA2023/)
* FM, [Formal Methods](http://www.fmeurope.org/)
* FCT, [Fundamentals of Computation Theory](https://www.uni-trier.de/en/universitaet/fachbereiche-faecher/fachbereich-iv/faecher/informatikwissenschaften/professuren/theoretische-informatik/research/conferences-and-workshops/fct-2023)
* LATIN, [Latin American Symposium on Theoretical Informatics](http://www.latintcs.org/)
* SOFSEM, [Conference on Current Trends in Theory and Practice of Computer Science](http://www.sofsem.cz/)
* TASE, [Theoretical Aspects of Software engineering](http://tase2017.unice.fr)

**CC: COMPLEXITY**

* CCC, [Computational Complexity Conference](http://computationalcomplexity.org/) (formerly IEEE Conf. on Computational Complexity)
* SIROCCO, [International Colloquium on Structural Information and Communication Complexity](http://sirocco2013.di.unisa.it/)

**CG: COMPUTATIONAL GEOMETRY**

* SOCG, [Symposium on Computational Geometry](https://apps.utdallas.edu/SOCG23/socg.html)
* CCCG, [Canadian Conference on Computational Geometry](http://www.cccg.ca/)
* EuroCG, [European Workshop on Computational Geometry](http://eurocg.org/)

**CR: CRYPTOGRAPHY AND SECURITY**

* CRYPTO, [International Cryptology Conference](http://www.iacr.org/conferences/)
* EUROCRYPT, [Conference on the Theory and Applications of Cryptographic Techniques](http://www.iacr.org/conferences/)
* ASIACRYPT, [Conference on the Theory and Application of Cryptology](http://www.iacr.org/conferences/)
* LATINCRYPT, [International Conference on Cryptology and Information Security in Latin America](http://latincrypt2014.labsec.ufsc.br)
* AFRICACRYPT, [International Conference on Cryptology in Africa](http://www.math.unicaen.fr/%7Enitaj/Africacrypt.html)
* PQCRYPTO, [International Conference on Post-Quantum Cryptography](https://2017.pqcrypto.org/conference/)
* TCC, [Theory of Cryptography Conference](https://www.iacr.org/workshops/tcc/)
* PKC, [International Conference on Practice and Theory in Public Key Cryptography](http://www.iacr.org/meetings/pkc/)
* FSE, [Conference on Fast Software Encryption](http://iacr.org/meetings/fse/)
* CHES, [Conference on Cryptographic Hardware and Embedded Systems](http://iacr.org/meetings/ches/)
* IEEE S&P, [IEEE Symposium on Security and Privacy](http://www.ieee-security.org/TC/SP-Index.html)
* CCS, [ACM Conference on Computer and Communication Security](http://www.sigsac.org/ccs/CCS2011/)
* POST, [Principles of Security and Trust](http://www.etaps.org/2014/post-2014)
* CSF, [Computer Security Foundations Symposium](http://www.ieee-security.org/CSFWweb/)
* ITC, [Information Theoretic Cryptography](https://itcrypto.github.io/2020.html)

**DB: DATABASE THEORY**

* SIGMOD/PODS, [ACM Symposium on Principles of Database Systems](http://www.sigmod.org/sigmod-pods-conferences) (both accept theory, but SIGMOD has broader scope)
* ICDT, [The international Conference on Database Theory](http://icdt.tu-dortmund.de/)
* VLDB, [Very Large Data Bases](http://www.vldb.org/conference.html)
* AMW, [Alberto Mendelzon International Workshop on Foundations of Data Management](http://amw13.cs.buap.mx/)

**DC: DISTRIBUTED, PARALLEL, AND CLUSTER COMPUTING**

* PODC, [ACM Symposium on Principles of Distributed Computing](http://www.podc.org/)
* DISC, [International Symposium on Distributed Computing](http://www.disc-conference.org/)
* SPAA, [ACM Symposium on Parallelism in Algorithms and Architectures](http://www.spaa-conference.org/)
* IPDPS, [IEEE International Parallel and Distributed Processing Symposium](http://www.ipdps.org/)
* ICDCN, [International Conference on Distributed Computing and Networking](http://www.icdcn.org/)
* OPODIS, [International Conference on Principles of Distributed Systems](http://www.opodis.net/)
* SSS, [International Symposium on Stabilization, Safety, and Security of Distributed Systems](https://cs.uwaterloo.ca/conferences/sss2012/)
* ALGOWIN, [International Symposium on Algorithmics of Wireless Networks](https://algo-conference.org/2024/algowin/)

**DM: DISCRETE MATHEMATICS AND COMBINATORICS**

* WG, [International Workshop on Graph-Theoretic Concepts in Computer Science](http://www.informatik.uni-rostock.de/wg2013/)
* LAGOS, [Latin-American Algorithms, Graphs and Optimization Symposium](http://xamanek.izt.uam.mx/LAGOS2013/)

**DS: DATA STRUCTURES AND ALGORITHMS**

* SODA, [ACM-SIAM Symposium on Discrete Algorithms](https://www.siam.org/conferences-events/siam-conferences/soda25/)
* ESA, [European Symposium on Algorithms](http://esa-symposium.org/) (track A is theoretical)
* WADS, [The Algorithms and Data Structures Symposium](http://www.wads.org/)
* SAT, [Theory and Applications of Satisfiability Testing](http://sat2013.cs.helsinki.fi/)
* SWAT, [Scandinavian Symposium and Workshops on Algorithm Theory](http://swat2012.helsinki.fi/)
* ALENEX, [Algorithm Engineering and Experimentation](https://www.siam.org/conferences-events/siam-conferences/alenex25/)
* SOSA, [Symposium on Simplicity in Algorithms](https://simplicityalgorithms.wixsite.com/sosa)
* IPCO, [Integer Programming and Combinatorial Optimization](http://www.opt.math.tu-graz.ac.at/IPCO/)
* APPROX/RANDOM, [Workshop on Approximation Algorithms for Optimization Problems / Workshop on Randomization and Computation](http://cui.unige.ch/tcs/random-approx/)
* WAOA, [Workshop on Approximation and Online Algorithms](http://www.csd.uwo.ca/waoa/)
* IPEC, [International Symposium on Parameterized and Exact Computation](https://algo2017.ac.tuwien.ac.at/ipec/)
* IWOCA, [International Workshop on Combinatorial Algorithms](https://carma.newcastle.edu.au/meetings/iwoca/)
* WAW, [Workshop on Algorithms and Models for the Web-Graph](http://www.math.ryerson.ca/waw2013/)
* CPM, [Combinatorial Pattern Matching](http://www.cpm2013.de/)
* CP, [Principles and Practice of Constraint Programming](http://cp2013.a4cp.org/)

**FL: AUTOMATA THEORY AND FORMAL LANGUAGES**

* DLT, [International Conference on Developments in Language Theory](http://www.math.utu.fi/projects/dlt/)
* LATA, [Language and Automata Theory and Applications](http://grammars.grlmc.com/lata2013/)
* AFL, [Automata and Formal Languages](http://www.nyf.hu/afl11/)
* NCMA, [Non-Classical Models of Automata and Applications](http://ncma2013.cs.umu.se/)
* CIAA, [International Conference on Implementation and Application of Automata](http://tln.li.univ-tours.fr/ciaa/)
* DFCS, [Descriptional Complexity of Formal Systems](http://www.csd.uwo.ca/dcfs2013/)
* AUTOMATA, [International Workshop on Cellular Automata and Discrete Complex Systems](https://automata2024.webspace.durham.ac.uk/)

**GT: ALGORITHMIC GAME THEORY**

* EC, [Electronic Commerce](http://www.sigecom.org/events.html)
* SAGT, [International Symposium on Algorithmic Game Theory](http://algo.rwth-aachen.de/sagt2013/)
* WINE, [Workshop on Internet and Network Economics](http://wine13.seas.harvard.edu/)

**LG: LEARNING THEORY**

* COLT, [Conference on Learning Theory](http://www.learningtheory.org/)
* ALT, [Algorithmic Learning Theory](http://www-alg.ist.hokudai.ac.jp/%7Ethomas/ALTARCH/altarch.jhtml)

**LO: LOGIC IN COMPUTER SCIENCE**

* LICS, [IEEE Symposium on Logic in Computer Science](https://lics.siglog.org/)
* CONCUR, [International Conference on Concurrency Theory](http://www.concur-conferences.org/)
* CSL, [Computer Science Logic](http://www.eacsl.org/conferences.html/)
* CiE, [Computablility in Europe](https://www.acie.eu/cie-conference-series/)
* LCC, [An International Workshop on Logic and Computational Complexity](http://ptmat.fc.ul.pt/lcc2012/)
* WoLLIC, [Workshop on Logic, Language, Information and Computation](http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017)
* [Highlights of logic, games and automata](http://highlights-conference.org/) (informal conference without proceedings, mostly highlighting results published elsewhere, since 2022 recordings are posted online)

**PL: PROGRAMMING LANGUAGES**

* POPL, [Principles of Programming Languages](http://popl.mpi-sws.org/)
* ICFP, [International Conference on Functional Programming](http://icfpconference.org/)
* ETAPS, [European Joint Conferences on Theory and Practice of Software](http://www.etaps.org/) (includes FOSSACS, ESOP and POST, see separate entries)
* ESOP, [European Symposium On Programming](https://etaps.org/2022/esop)
* MSFP, Mathematically Structured Functional Programming
* MFPS, Mathematical Foundations of Programming Semantics

**SC: SYMBOLIC COMPUTATION**

* ISSAC: [International Symposium on Symbolic and Algebraic Computation](http://www.issac-conference.org/)
* FPSAC: [Formal Power Series and Algebraic Combinatorics](http://www.fpsac.org/)
* CASC: [Computer Algebra in Scientific Computing](http://www14.in.tum.de/CASC2014/)
* SNC: [Symbolic Numeric Computation](http://symbolic-numeric-computation.org/)

**THEOREM PROVING**

* CADE, [International Conference on Automated Deduction](http://www.cade-24.info/)
* ITP, [Interactive Theorem Proving](http://itp2013.inria.fr/)
* CPP, [Certified Proofs and Programs](http://formes.asia/cpp/)

**QUANTUM**

* QIP, [Workshop on Quantum Information Processing](http://www.qipworshop.org/)
* QCMC, [International Conference on Quantum Communication, Information and Computing](http://www.qcmc2012.org/)
* TQC, [Theory of Quantum Computation, Communication and Cryptography](https://tqc-conference.org/)
* AQIS, [Asian Quantum Information Science Conference](http://www.imsc.res.in/%7Eaqis13/)
* QCRYPT, [Conference on Quantum Cryptography](http://www.qcrypt.net/)
* QEC, [International Conference on Quantum Error Correction](http://qserver.usc.edu/qec11/)
* CEQIP, [Central European Quantum Information Processing Workshop](http://ceqip.eu/)

**RO: Robotics**

* WAFR, [Workshop on the Algorithmic Foundation of Robotics](http://www.wafr.org/).

**COMPUTATIONAL BIOLOGY**

* RECOMB: [Research in Computational Molecular Biology](http://recomb.org/)
* ISMB: [Intelligent Systems for Molecular Biology](http://www.iscb.org/about-ismb)
* WABI: [Workshop on Algorithms in Bioinformatics](http://algo2013.inria.fr/wabi.shtml)

**OTHER**

* CAV, [Computer Aided Verification](http://cav2013.forsyte.at/)
* GD, [International Symposium on Graph Drawing](http://graphdrawing.org/)
* FUN, [International Conference on Fun With Algorithms](http://www.dsi.unive.it/%7Efun2012/)
* DNA, DNA Computing and Molecular Programming (DNA computing, Track A is theoretical, track B is experimental)
* DCM, [Developments in Computational Models](http://www.dcm-workshop.org.uk/)
* FCSD [Internat. Conf. on Formal Structures for Computation and Deduction](https://fscd-conference.org/) (formerly RTA, [Rewriting techniques and applications](http://rewriting.loria.fr/rta/))
* TLCA, [Typed lambda calculi and applications](http://www.mimuw.edu.pl/tlca/)
* UCNC, [Unconventional Computation & Natural Computation](http://www.univ-orleans.fr/lifo/events/UCNC2012/index.php)
* RC, [Reversible Computation](https://rc2024.mat.umk.pl/)

> **Comments:**
> **username_15**: i added learning but for some strange reason cannot get it to format properly  
> **username_0**: @Lev: You need to add two blank spaces at the end of a line to produce a carriage return.  
> **username_15**: After over a year with this site, I somehow hadn't run into this. Thanks!  
> **username_8**: For some ideas: http://en.wikipedia.org/wiki/List_of_computer_science_conferences  
> **username_16**: Added ICDT and removed my answer.  
> **username_17**: I added the followings and removed my answer (as username_8 suggested): FSTTCS, ISAAC, LATIN, MFCS, TAMC, WADS, SWAT, ALENEX, EC, SAGT, WINE, SIROCCO, ICDCN, IPCO, APPROX-RANDOM, WAOA, WAW.  
> **username_7**: added AQIS below quantum computation  
> **username_7**: also added LATA under general  
> **username_18**: For PL, MSFP (not MFPS) is a workshop of ICFP, not a conference itself. (There are lots more PL/TCS workshops that we could include too.) To label ICFP as TCS is a bit of a stretch, though. Similarly with POPL, but since it's The Big One, it's not as ostensible.  
> **username_19**: Wonder if QCRYPT should be Quantum and/or Crypto…  
> **username_20**: IMHO, WG is a good candidate to begin populating the DM section  
> **username_8**: Shouldn't GD be in the computational geometry section?  
> **username_2**: I think conferences in Other should be moved to their corresponding sections, also it is not clear for me if all of the conferences in General section are really general.  
> **username_2**: @username_19: the [arXiv](http://arxiv.org/corr/subjectclasses) tag that the preprints of their papers are submitted to as their main tag. If a considerable fraction of them (say over 70 percent) use the same main tag that should be where it is placed.  
> **username_0**: I didn't move it back to Other, but DNA does not belong in computational biology. Its field is biological computation, which is not the same thing. For GD and WG, we could add an Algorithmic Graph Theory category I suppose.  
> **username_2**: @Aaron, maybe we should have a cs.NE category. btw, isn't AGT subset of cs.GT?  
> **username_15**: I am worried now that I see ICML and NIPS listed under learning theory, as they don't even claim to be theory conferences.  Makes me wonder whether the rest of the list has similar problems...  
> **username_21**: Are RECOMB and ISMB relevant conferences for theory? My impression is that RECOMB is more geared towards tools and applications, while ISMB kind of expects biological results. In general, theoretical work in computational biology looks more like applications than theory for a theory person.  
> **username_0**: @Jouni (and Lev): If a conference has both theory and applied papers, it seems appropriate to list.  I don't know anything about the specific conferences you name.  Do any TCS papers appear there?  Maybe more to the point for me personally, do you think discussion of those conferences would be on-topic for the CSTheory Community Blog?  
> **username_0**: @username_2: By AGT do you mean "Algorithmic Graph Theory" or "Algorithmic Game Theory?"  Either way, I agree with what I think you are saying, which is that we should stick as close to ArXiv tags as possible.  Also, I don't know any theory conference that I would comfortably place in cs.NE -- DNA is not in that category; NE is for neural nets, genetic algorithms, swarm computing, etc.  I have looked at some such conferences, and they all seem application-oriented.  
> **username_22**: A good conference in databases is [VLDB](http://www.vldb.org/conference.html) (Very Large Databases). Not sure it's a theoretical conference, though.  
> **username_6**: @Jouni RECOMB is very algorithmic. ISMB is less so, but theoretical researchers in comp. bio will publish in both places.  
> **username_6**: @username_22 vLDB is not theoretical: it's a big-tent DB conference like STOC or FOCS that also has theory papers in it sometimes. But since PODS and ICDT exist, there's no need to list VLDB  
> **username_6**: @Aaron Lev I think ICML/NIPS is borderline, but NIPS is closer to theory than ICML is. To answer Aaron's question, *some* discussions of these conferences would be relevant, but not all.  
> **username_15**: @Suresh Aaron, ICML/NIPS are machine learning conferences. They take papers that contribue to ML, and occasionally those papers are theory papers.  But, heck, even SIGCOMM sometimes takes theory papers. The easiest way to see ICML/NIPS aren't theory conferences is that http://dl.acm.org/citation.cfm?id=1536424 wouldn't appear at either (but could certainly appear at COLT/ALT), even though it's clearly a great learning theory paper. Also, IMO, the reason NIPS is more theory than ICML is b/c the ICML deadline coincides w/ the COLT one, and not by design. My guess is RECOMB is equally not theory.  
> **username_0**: @Lev: My two cents: take the conferences out if you think it is that clear.  If someone else wants to edit them back in, that person can provide reasons they should be included.  
> **username_0**: Could editors please give justification for their edits?  Someone just removed AfricaCrypt from the list, without giving a reason.  Is it (a) not a conference, or (b) not a TCS conference?  
> **username_23**: @Aaron: probably worth reverting.  
> **username_3**: I reverted it. By all indications it's a TCS conference. As someone mentioned above the purpose of the list isn't to rank conferences. I also think it's cool to include the CRYPTO conference from each continent.  
> **username_2**: @Aaron, are we going to list ALL TCS conferences? I think they are too many of them (you know, there are even conferences that have no expert PC and no expert publishes in them). So I think some criteria of quality and [notability](http://en.wikipedia.org/wiki/Wikipedia:Notability) is required (it doesn't mean ranking conferences). It seems to me that the user who removed that entry is an expert in crypto (you can check [the question he/she has answered](http://cstheory.stackexchange.com/users/686/user686)), so I think it would be better if people only add entries in their own areas, (more)  
> **username_2**: and we should remove the AfricaCrypt unless someone in crypto provides an argument for its noteworthiness.  
> **username_0**: @username_2: Sure, I would like a list of all TCS conferences.  I would enjoy it if someone blogged from AfricaCrypt. Let's not turn this into an argument about noteworthiness. The list has almost stabilized.  
> **username_8**: @Aaron: If you really want to cover everything, perhaps we should add OPODIS, SSS, and Algosensors (category DC)?  
> **username_0**: @Jukka: I think SSS is definitely TCS. I don't know anything about the other two.  
> **username_2**: @Aaron, IMHO, such a list is useless and practically impossible to create, there are several hundreds (if not thousands or tens of thousands) of TCS conferences and workshops.  
> **username_8**: @Kavah: A simple way to deal with the issue could be this: you are only allowed to add conferences/workshops that you actually know "in person": you have participated in the conference, or you have co-authored a paper that was presented at the conference, or you have been involved in conference committees, etc. This way we would only need to list the conferences that are relevant to at least one member of our community.  
> **username_24**: FoSSaCS is not specialized in programming languages; ESOP (also part of ETAPS) is.  
> **username_13**: AFRICACRYPT should be removed. On, e.g., MS Academic [ http://goo.gl/00hQo ], it is ranked 76th. Crypto, EUROCRYPT and ASIACRYPT are all top 10. Since it the title includes security, IEEE CSF should be included, as well as perhaps IEEE Symposium on Security and Privacy which has a tolerance for theory-oriented papers.  
> **username_14**: I removed Africacrypt (again.) Yes, this is a conference that accepts papers about cryptography. But it is a 4th-tier conference that accepts papers about cryptography. (If you insist on including it, then at least 10 other crypto conferences should be listed too.)  
> **username_0**: @Dominic Mulligan: Thank you for the theorem proving edits.  That is an area of theory I know nothing about.  As long as you are adding them, perhaps I could ask you to do a little more???  Could you add them also to the conference calendar link in the answer below?  If they don't appear in confsearch.org, you can add the conference to their database. I did that myself with the DNA Computing conference.  
> **username_25**: Would add SIGMOD and VLDB to DB.  
> **username_26**: About my edit: I saw some "lesser" conferences like Latincrypt and therefore added higher quality conferences like CHES, FSE, PKC, but also for instance Africacrypt (again, as I just noticed). Perhaps a hidden note at the start of the post to clarify what should and should not be in this list would help.  
> **username_27**: RTA & TLCA are now combined into FSCD.  
> **username_28**: Track C (networks) of Icalp no longer exists.  
> **username_10**: Can you also add a bit of a ranking?  
> **username_29**: Algosensors has changed its name to ALGOWIN (International Symposium on Algorithmics of Wireless Networks), https://algo-conference.org/2024/algowin/ I have updated the list accordingly.  

---

### Answer by username_8 on 2011-08-21. Score: 17

**[Conference calendar](https://confsearch.ethz.ch/confsearch/faces/pages/topic.jsp;jsessionid=4664B23ED834C2AEA057E7AFBC4667FA?topic=Theory&sortMode=1&graphicView=1)** by [confsearch](https://confsearch.ethz.ch/confsearch/)
(missing: AMW, MFPS, FPSAC, ITCS, QCRYPT, DCM).

> **Comments:**
> **username_8**: The list of conferences is copied from the other answer; whenever you add conferences, please edit the URL, too.  
> **username_8**: And please keep in mind that confsearch.org is a wiki; *you* can add missing information there...  
> **username_9**: confsearch.org also has a category "Theory" where you can view all Theory conferences and add those that are missing http://www.confsearch.org/confsearch/faces/pages/topic.jsp?topic=Theory&sortMode=1&graphicView=1  
> **username_10**: Hi Link seems to be broken.  

---

### Answer by username_11 on 2017-06-16. Score: 4

This [list of upcoming cs events](https://cstheory-events.org/list-of-events/) is very practical, in my opinion.


---

### Answer by username_3 on 2014-04-26. Score: 3

This [list of conferences](http://community.dur.ac.uk/tom.friedetzky/conf.html) by Tom Friedetzky and username_17iel Paulusma is another nice resource.


---

### Answer by username_12 on 2024-11-04. Score: 2

Miki Herman's [Conferences in Theoretical Computer Science](https://www.lix.polytechnique.fr/%7Ehermann/conf.php). Contacting him to update the website seems more productive than maintaining a list here.


---

