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

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
LFCS'22Symposium on Logical Foundations of Computer ScienceDeerfield Beach, FL, United StatesSep 12, 2021Jan 10, 2022logic theoretical computer science mathematics philosophyadd LFCS'22 to watchlist
TLLM20223rd Tsinghua Interdisciplinary Workshop on Logic, Language and MeaningBeijing, ChinaNov 20, 2021Apr 1, 2022logic philosophy of language pragmatics natural language semanticsadd TLLM2022 to watchlist
WRLA 202214th International Workshop on Rewriting Logic and its ApplicationsMunich, GermanyJan 11, 2022Apr 2, 2022rewriting formal methods logic semanticsadd WRLA 2022 to watchlist
NASSLLI 2022 @ USCNorth American Summer School in Language, Logic and InformationLos Angeles, CA, United StatesJan 14, 2022Jun 18, 2022logic language computer scienceadd NASSLLI 2022 @ USC to watchlist
TACL 2022Topology, Algebra, and Categories in Logic 2022Coimbra, PortugalMar 4, 2022Jun 20, 2022logic algebra topology category theoryadd TACL 2022 to watchlist
CiE 2022Computability in Europe 2022Swansea, UKFeb 4, 2022Jul 11, 2022computability theory logic mathematics theoretical computer scienceadd CiE 2022 to watchlist
LOFT-1414th Conference on Logic and the Foundations of Game and Decision TheoryGroningen, NetherlandsMar 1, 2022Jul 20, 2022logic decision theory game theoryadd LOFT-14 to watchlist
FOMEO'22Formal Methods Education Online: Tips, Tricks & Tools 2022Haifa, IsraelMay 10, 2022Jul 31, 2022online education formal methods automata theory logicadd FOMEO'22 to watchlist
ESSLLI22 StuSESSLLI'22 Student SessionGalway, IrelandApr 4, 2022Aug 8, 2022computer science logic linguisticsadd ESSLLI22 StuS to watchlist
Copyright © 2002 – 2022 EasyChair