Event | When | Where | Deadline | | Expired CFPs |
RuleML 2014 |
8th International Web Rule Symposium | |
Aug 18, 2014 - Aug 20, 2014 |
Prague, Czech Republic |
Apr 22, 2014 (Apr 8, 2014) |
LINEARITY 2014 |
Third International Workshop on Linearity | |
Jul 13, 2014 - Jul 13, 2014 |
Vienna, Austria |
Apr 13, 2014 |
GeTFun 2.0 2014 |
Compositional Meaning in Logic | |
Jul 22, 2014 - Jul 23, 2014 |
Vienna |
Apr 5, 2014 |
NMR 2014 |
15th International Workshop on Non-Monotonic Reasoning | |
Jul 17, 2014 - Jul 19, 2014 |
Vienna, Austria |
Feb 28, 2014 |
TYPES 2014 |
Types for Proofs and Programs | |
May 12, 2014 - May 15, 2014 |
Paris, France |
Feb 28, 2014 (Feb 21, 2014) |
Logica 2014 |
Logica 2014 | |
Jun 16, 2014 - Jun 20, 2014 |
Hejnice, Czech Republic |
Feb 15, 2014 |
IJCAR 2014 |
International Joint Conference on Automated Reasoning (IJCAR) | |
Jul 19, 2014 - Jul 22, 2014 |
Vienna, Austria |
Jan 22, 2014 (Jan 15, 2014) |
SR 2014 |
Second International Workshop on Strategic Reasoning | |
Apr 5, 2014 - Apr 6, 2014 |
Grenoble, France |
Dec 30, 2013 (Dec 27, 2013) |
The absolute idea 2013 |
Workshop The Logic of Hegel’s Science of Logic III. The Absolute Idea. November 4-5, 2013 | |
Nov 4, 2013 - Nov 5, 2013 |
Padua University. Philosophy Department |
Sep 30, 2013 |
DWAI 2013 |
Doctoral Workshop on Artificial Intelligence | |
Dec 5, 2013 - Dec 5, 2013 |
Turin, Italy |
Sep 29, 2013 |
AC 2013 |
19th Amsterdam Colloquium | |
Dec 18, 2013 - Dec 20, 2013 |
Amsterdam, Netherlands |
Sep 1, 2013 |
MICAI 2013 |
Mexican International Conference on Artificial Intelligence | |
Nov 24, 2013 - Nov 30, 2013 |
Mexico City |
Aug 1, 2013 (Jul 25, 2013) |
RP 2013 |
The 7th International Workshop on Reachability Problems | |
Sep 25, 2013 - Sep 27, 2013 |
Uppsala, Sweden |
Jun 10, 2013 |
WLPE 2013 |
23rd Workshop on Logic-based methods in Programming Environments | |
Aug 24, 2013 - Aug 25, 2013 |
Istanbul (Turkey) |
Jun 3, 2013 |
DCM 2013 |
9th International Workshop on Developments in Computational Models | |
Aug 26, 2013 - Aug 26, 2013 |
Buenos Aires |
Jun 1, 2013 |
LSFA 2013 |
Logical and Semantic Frameworks with Applications | |
Sep 2, 2013 - Sep 3, 2013 |
Sao Paulo |
May 26, 2013 |
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) |
TbiLLC 2013 |
Tenth International Tbilisi Symposium on Language, Logic and Computation | |
Sep 23, 2013 - Sep 27, 2013 |
Georgia |
May 1, 2013 |
ILCS 2013 |
Inductive Logic and Confirmation in Science | |
Oct 17, 2013 - Oct 18, 2013 |
Paris, France |
Apr 30, 2013 |
MoL 2013 |
13th Meeting on the Mathematics of Language | |
Aug 9, 2013 - Aug 9, 2013 |
Sofia, Bulgaria |
Apr 26, 2013 |
|