All CFPs for "logics"
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.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| ICE 2019 | 12th Interaction and Concurrency Experience | Lyngby, Denmark | Apr 29, 2019 | Jun 20, 2019 | concurrency verification formal semanics logics | |
| LearnAut 2019 | Learning and Automata 2019 | Vancouver, Canada | Apr 6, 2019 | Jun 23, 2019 | grammatical inference formal methods machine learning logics | |
| ECSQARU 2019 | Fifteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Belgrade, Serbia | May 10, 2019 | Sep 18, 2019 | artificial intelligence knowledge representation uncertain reasoning logics | |