Event | When | Where | Deadline | |
AiML 2016 |
11th International Conference on Advances in Modal Logic | |
Aug 29, 2016 - Sep 2, 2016 |
Budapest, Hungary |
Mar 17, 2016 (Mar 10, 2016) |
TABLEAUX 2017 |
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods | |
Sep 26, 2017 - Sep 29, 2017 |
BrasÃlia, Brazil |
Apr 25, 2017 (Apr 18, 2017) |
TIME 2017 |
24th International Symposium on Temporal Representation and Reasoning | |
Oct 16, 2017 - Oct 18, 2017 |
Mons, Belgium |
May 12, 2017 (May 8, 2017) |
|