Event | When | Where | Deadline | |
AISB 2011 |
Study of Artificial Intelligence and Simulation of Behaviour | |
Apr 4, 2011 - Apr 7, 2011 |
York, UK |
Sep 25, 2010 |
ICFCA 2014 |
12th International Conference on Formal Concept Analysis | |
Jun 10, 2014 - Jun 13, 2014 |
Cluj-Napoca, Romania |
Jan 10, 2013 (Dec 20, 2013) |
Logica 2014 |
Logica 2014 | |
Jun 16, 2014 - Jun 20, 2014 |
Hejnice, Czech Republic |
Feb 15, 2014 |
NMR 2014 |
15th International Workshop on Non-Monotonic Reasoning | |
Jul 17, 2014 - Jul 19, 2014 |
Vienna, Austria |
Feb 28, 2014 |
CLIMA XV 2014 |
15th International Workshop on Computational Logic in Multi-Agent Systems | |
Aug 18, 2014 - Aug 19, 2014 |
Prague, Czech Republic |
May 11, 2014 |
JELIA 2014 |
14th European Conference on Logics in Artificial Intelligence | |
Sep 24, 2014 - Sep 26, 2014 |
Madeira Island, Portugal |
May 23, 2014 (May 19, 2014) |
LOPSTR 2014 |
24th International Symposium on Logic-Based Program Synthesis and Transformation | |
Sep 9, 2014 - Sep 11, 2014 |
University of Kent, Canterbury, UK |
Jun 18, 2014 (Jun 11, 2014) |
FMSAS 2014 |
Second International Workshop on Formal Methods for Self-Adaptive Systems | |
Nov 24, 2014 - Nov 25, 2014 |
Ho Chi Minh City, Vietnam |
Aug 20, 2014 |
AAAI 2015 |
29th AAAI Conference on Artificial Intelligence | |
Jan 25, 2015 - Jan 29, 2015 |
Austin, Texas, USA |
Sep 15, 2014 (Sep 10, 2014) |
NFM 2015 |
NASA Formal Methods Symposium 2015 | |
Apr 27, 2015 - Apr 29, 2015 |
Pasadena, California, USA |
Nov 10, 2014 |
IJCAI 2015 |
International Joint Conference on Artificial Intelligence | |
Jul 28, 2015 - Aug 1, 2015 |
Buenos Aires, Argentina |
Feb 12, 2015 (Feb 8, 2015) |
|