CS conferences | Dates | Deadline | Topic |
---|---|---|---|
LICS | July | January | TCS |
FOCS | April | October | TCS |
STOC | June | November | TCS |
ICALP | February | July | TCS |
China Meeting Series | |
---|---|
Delta Logic Workshop | Chinese Annual Conference on Mathematical Logic |
Online Seminars | |
---|---|
Nordic Online Logic Seminar | Computability and Applications Online Seminar |
Online Logic Seminar | Midwest Computability Seminar |
New England Recursion Seminar |
University Logic Seminars | |
---|---|
CUNY Graduate Center Seminars | Notre Dame Logic Seminar |
Berkeley Recursion Theory Seminar | Cornell Logic Seminar |
Leeds Computability Theory Seminar | Connecticut Logic Seminar |
Lyon Mathematical Logic Seminar | Wisconsin Logic Seminar |
University of Hawaii Logic Seminar |
Conference Index Pages | |
---|---|
Computability Seminars | Computability Events |
ILLC Conferences |
Conferences in 2024-2025 |
---|
Australasian Association for Logic Conference, 26-28 Nov, Hybrid |
ICLA 2025: Indian Conference on Logic |
Conference on Computability and Mathematical Definability |