Event | When | Where | Deadline | |
GIPSy 2011 |
2nd Workshop on Games, Logic and Security | |
Oct 25, 2011 - Oct 27, 2011 |
Rennes, France |
Oct 9, 2011 |
ICLP 2012 |
28th International Conference on Logic Programming | |
Sep 4, 2012 - Sep 8, 2012 |
Budapest, Hungary |
Mar 18, 2012 (Mar 11, 2012) |
CSL 2012 |
21th EACSL Annual Conferences on Computer Science Logic | |
Sep 3, 2012 - Sep 6, 2012 |
Fontainebleau, France |
Apr 9, 2012 (Apr 2, 2012) |
LCC 2012 |
13th International Workshop on Logic and Computational Complexity | |
Jun 24, 2012 - Jun 24, 2012 |
Dubrovnik, Croatia |
Apr 13, 2012 |
WoLLIC 2012 |
19th Workshop on Logic, Language, Information and Computation | |
Sep 3, 2012 - Sep 6, 2012 |
Buenos Aires, Argentina |
May 4, 2012 (Apr 27, 2012) |
EASLLC 2012 |
East-Asian School on Logic, Language, and Computation | |
Aug 27, 2012 - Aug 31, 2012 |
Chongqing, China |
May 15, 2012 |
STACS 2013 |
30th International Symposium on Theoretical Aspects of Computer Science | |
Feb 27, 2013 - Mar 2, 2013 |
Kiel, Germany |
Sep 21, 2012 |
STOC 2013 |
45th ACM Symposium on Theory of Computing Conference | |
Jun 1, 2013 - Jun 4, 2013 |
Palo Alto, CA, USA |
Nov 2, 2012 |
LICS 2014 |
Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science | |
Jul 14, 2014 - Jul 18, 2014 |
Vienna, Austria |
Jan 20, 2014 (Jan 13, 2014) |
|