Event | When | Where | Deadline | |
TIME 2012 |
19th International Symposium on Temporal Representation and Reasoning | |
Sep 12, 2012 - Sep 14, 2012 |
Leicester, UK |
Apr 20, 2012 (Apr 16, 2012) |
HI-KDD 2012 |
ACM SIGKDD Workshop on Health Informatics | |
Aug 12, 2012 - Aug 12, 2012 |
Beijing, China |
May 8, 2012 |
GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
JELIA 2012 |
13th European Conference on Logics in Artificial Intelligence | |
Sep 26, 2012 - Sep 28, 2012 |
Toulouse, France |
May 23, 2012 (May 18, 2012) |
FSTTCS 2012 |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | |
Dec 15, 2012 - Dec 17, 2012 |
Hyderabad, India |
Jul 13, 2012 |
GandALF 2013 |
4th International Symposium on Games, Automata, Logics, and Formal Verification | |
Aug 29, 2013 - Aug 31, 2013 |
Borca di Cadore |
May 19, 2013 (May 13, 2013) |
|