| Event | When | Where | Deadline | |
| ILP 2011 |
21st International Conference on Inductive Logic Programming | |
| Jul 31, 2011 - Aug 3, 2011 |
Windsor, UK |
Jul 2, 2011 |
| POPL 2012 |
The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
| Jan 25, 2012 - Jan 27, 2012 |
Philadelphia, USA |
Jul 12, 2011 (Jul 8, 2011) |
| WLP 2011 |
25th Workshop on Logic Programming | |
| Sep 28, 2011 - Sep 30, 2011 |
Vienna, Austria |
Jul 15, 2011 (Jul 8, 2011) |
| PADL 2012 |
Practical Aspects of Declarative Languages 2012 | |
| Jan 23, 2012 - Jan 24, 2012 |
Philadelphia, USA |
Sep 17, 2011 (Sep 10, 2011) |
| LATA 2012 |
6th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| Mar 5, 2012 - Mar 9, 2012 |
A Coruña, Spain |
Oct 12, 2011 |
| ISMVL 2012 |
IEEE 42nd International Symposium on Multiple-Valued Logic | |
| May 14, 2012 - May 16, 2012 |
Victoria, Canada |
Nov 1, 2011 |
| FLOPS 2012 |
International Symposium on Functional and Logic Programming | |
| May 23, 2012 - May 25, 2012 |
Kobe, Japan |
Dec 9, 2011 |
| TAMC 2012 |
The 9th Annual Conference on Theory and Applications of Models of Computation | |
| May 16, 2012 - May 21, 2012 |
Beijing, China |
Jan 10, 2012 |
| LICS 2012 |
27th Annual IEEE Symposium on Logic in Computer Science | |
| Jun 25, 2012 - Jun 28, 2012 |
Dubrovnik, Croatia |
Jan 13, 2012 (Jan 6, 2012) |
| NMR 2012 |
14th International Workshop on Non-Monotonic Reasoning | |
| Jun 8, 2012 - Jun 10, 2012 |
Rome, Italy |
Feb 28, 2012 |
| PLAS 2012 |
Programming Languages and Analysis for Security | |
| Jun 15, 2012 - Jun 15, 2012 |
Beijing, China |
Mar 2, 2012 |
| ICLP 2012 |
28th International Conference on Logic Programming | |
| Sep 4, 2012 - Sep 8, 2012 |
Budapest, Hungary |
Mar 18, 2012 (Mar 11, 2012) |
| SAS 2012 |
The 19th International Static Analysis Symposium | |
| Sep 11, 2012 - Sep 13, 2012 |
Deauville, France |
Mar 23, 2012 (Mar 16, 2012) |
| SPLASH 2012 |
Conference on Systems, Programming, Languages and Applications: Software for Humanity | |
| Oct 19, 2012 - Oct 26, 2012 |
Portland, OR, USA |
Apr 13, 2012 |
| ATVA 2012 |
10th International Symposium on Automated Technology for Verification and Analysis | |
| Oct 3, 2012 - Oct 6, 2012 |
Thiruvananthapuram (Trivandrum), India |
Apr 30, 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) |
| SCAM 2012 |
12th IEEE Working Conference on Source Code Analysis and Manipulation | |
| Sep 23, 2012 - Sep 24, 2012 |
Riva del Garda, Italy |
May 4, 2012 (Apr 29, 2012) |
| ILP 2012 |
22nd International Conference on Inductive Logic Programming | |
| Sep 17, 2012 - Sep 19, 2012 |
Dubrovnik |
May 11, 2012 (May 7, 2012) |
| IDA 2012 |
The Eleventh International Symposium on Intelligent Data Analysis | |
| Oct 25, 2012 - Oct 27, 2012 |
Helsinki, Finland |
May 12, 2012 |
| PPDP 2012 |
14th International Symposium on Principles and Practice of Declarative Programming | |
| Sep 19, 2012 - Sep 21, 2012 |
Leuven, Belgium |
May 31, 2012 (May 28, 2012) |
|
