EasyChair Smart CFPHelp/Log in
All CFPs for "logic in computer science"

CFPs in the table are ordered by the end date.

Click on the CFP acronym to open this CFP.

To add a CFP to your watchlist, click .

Click on a topic to see related CFPs.

CFPs are ordered by the end date.

Acronym
NameLocation
Submission
deadline
Start date
TopicsAdd to watchlist
PLS 202113th Panhellenic Logic Symposium 2021Volos, GreeceMar 26, 2021Jul 14, 2021mathematical logic philosophical logic logic in computer science set theoryadd PLS 2021 to watchlist
FSTTCS 202141st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer ScienceGoa, IndiaJul 19, 2021Dec 15, 2021algorithms complexity theory automata games and formal languages logic in computer scienceadd FSTTCS 2021 to watchlist
NCL'22Non-Classical Logics. Theory and Applications 2022Łódź, PolandOct 31, 2021Mar 14, 2022non classical logics logic in computer science formal ontology foundations of mathematicsadd NCL'22 to watchlist
STACS 202239th International Symposium on Theoretical Aspects of Computer ScienceMarseille, FranceOct 1, 2021Mar 15, 2022algorithms and data structures automata and formal languages complexity and computability logic in computer scienceadd STACS 2022 to watchlist
IJCAR 2022International Joint Conference on Automated Reasoning 2022Haifa, IsraelFeb 11, 2022Aug 7, 2022automated reasoning proof theory logic in computer science inference systemsadd IJCAR 2022 to watchlist
Copyright © 2002 – 2021 EasyChair