Logic

(ordered by deadline)
 
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
first | previous | Page 11 | next | last Total of 346 CFPs in 18 pages