Symposium on Foundations of Computer Science cover

IEEE Symposium on Foundations of Computer Science (FOCS)

The IEEE Symposium on Foundations of Computer Science (FOCS) is the flagship conference of the TCMF and covers a broad range of theoretical computer science. It is held annually in the autumn and is paired with its sister conference, the annual Symposium on Theory of Computing (STOC) held each spring and sponsored by ACM SIGACT.

focs logo that looks like a foxFOCS was founded in 1960 as the Symposium on Switching Circuit Theory and Logical Design. The 1960 conference did not have a separate published proceedings but most of the papers were published in the second half of the proceedings of the 1961 conference. For the 7th instantiation of the conference in 1966, the name was changed to the Symposium on Switching and Automata Theory (SWAT). The greatly increased breadth of the conference led to a name change to its present one in 1975. At that time Alvy Ray Smith produced the distinctive cover art that is a notable feature of FOCS hardcopy proceedings. FOCS celebrates its 60th anniversary in 2019.

The FOCS conference archive is located at:

Logic in Computer science cover

IEEE Symposium on Logic in Computer Science (LICS)

The IEEE Symposium on Logic in computer Science is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. It was founded in 1986 and is celebrating its 33rd anniversary. A sampling of the many subjects covered by the LICS conference includes automated deduction, concurrency and distributed computation, constructive mathematics, database theory, finite model theory, formal aspects of program analysis, formal methods, logical aspects of computational complexity, logic in artificial intelligence, logics of programs, model checking, programming language semantics, proof theory, reasoning about security, type systems and type theory, and formal verification.

The LICS conference archive is located at: