Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
MaxEnt 2014 Special Issue on Maximum Entropy applied to inductive logic and reasoning
N/A N/A Sep 15, 2014 (Mar 31, 2014)
TTL 2015 4th International Conference on Tools for Teaching Logic
Jun 1, 2015 - Jun 4, 2015 Rennes, France Jan 18, 2015
Expired CFPs
RP 2014 The 8th International Workshop on Reachability Problems
Sep 22, 2014 - Sep 24, 2014 Oxford, UK Jun 11, 2014
LAP 2014 Logic and Applications 2014
Sep 22, 2014 - Sep 26, 2014 Dubrovnik, Croatia Jun 2, 2014
FWFM 2014 2nd workshop on Fun With Formal Methods
Jul 13, 2014 - Jul 13, 2014 Vienna, Austria May 25, 2014
LSFA 2014 Logical and Semantic Frameworks with Applications
Sep 8, 2014 - Sep 9, 2014 Brasilia D.F., Brazil May 25, 2014
JELIA 2014 14th European Conference on Logics in Artificial Intelligence
Sep 24, 2014 - Sep 26, 2014 Madeira Island, Portugal May 23, 2014 (May 19, 2014)
HCVS 2014 Workshop on Horn Clauses for Verification and Synthesis
Jul 17, 2014 - Jul 17, 2014 Vienna, Austria May 1, 2014
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)
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)
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
STACS 2014 31st International Symposium on Theoretical Aspects of Computer Science
Mar 5, 2014 - Mar 8, 2014 Lyon, France Sep 20, 2013
first | previous | Page 1 | next | last Total of 137 CFPs in 7 pages