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
CLAR 2021The Fourth International Conference on Logic and ArgumentationHangzhou, ChinaJun 30, 2021Oct 20, 2021logic formal argumentationadd CLAR 2021 to watchlist
WEIT 2021VI Workshop-Escola de Informática TeóricaBagé, BrazilSep 30, 2021Nov 17, 2021theoretical computer science logic formal methods theorem provingadd WEIT 2021 to watchlist
NCMPL 2021Non-Classical Modal and Predicate Logics 2021Bochum, GermanySep 15, 2021Nov 23, 2021logic nonclassical logics modal logics nonclassical mathematicsadd NCMPL 2021 to watchlist
CGS 2021First Workshop of the International Cartography Association Commission on Geospatial SemanticsFlorence, ItalyOct 15, 2021Dec 12, 2021linguistics logic social theory computingadd CGS 2021 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, GermanyDec 28, 2021Apr 2, 2022rewriting formal methods logic semanticsadd WRLA 2022 to watchlist
CiE 2022Computability in Europe 2022Swansea, UKJan 28, 2022Jul 11, 2022computability theory logic mathematics theoretical computer scienceadd CiE 2022 to watchlist
Copyright © 2002 – 2021 EasyChair