Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
RuleML 2015 The 9th International Web Rule Symposium (RuleML)
Aug 3, 2015 - Aug 5, 2015 Berlin, Germany Mar 4, 2015 (Feb 25, 2015)
NAT@Logic 2015 NAT@Logic 2015 - Logic AT Natal
Aug 31, 2015 - Sep 4, 2015 Natal, Brazil Apr 12, 2015
CONCUR 2015 26th International Conference on Concurrency Theory
Sep 1, 2015 - Sep 4, 2015 Madrid, Spain Apr 20, 2015 (Apr 13, 2015)
FCT 2015 20th International Symposium on Fundamentals of Computation Theory
Aug 17, 2015 - Aug 19, 2015 Gdańsk, Poland Apr 25, 2015
VERY* 2015(new) The 2nd Workshop on formal verification for self-* systems
Sep 7, 2015 - Sep 8, 2015 York - United Kingdom May 18, 2015 (May 4, 2015)
GandALF 2015(new) The Sixth International Symposium on Games, Automata, Logics and Formal Verification
Sep 21, 2015 - Sep 23, 2015 Genova May 29, 2015 (May 22, 2015)
RP 2015(new) 9th International Workshop on Reachability Problems
Sep 21, 2015 - Sep 23, 2015 Warsaw, Poland Jun 11, 2015
Expired CFPs
CADE 2015 25th International Conference on Automated Deduction
Aug 3, 2015 - Aug 7, 2015 Berlin, Germany Feb 23, 2015 (Feb 16, 2015)
ICALP 2015 42nd International Colloquium on Automata, Languages, and Programming
Jul 6, 2015 - Jul 10, 2015 Kyoto, Japan Feb 17, 2015
Logica 2015 Logica 2015
Jun 15, 2015 - Jun 19, 2015 Hejnice, Czech Republic Feb 15, 2015
TTL 2015 4th International Conference on Tools for Teaching Logic
Jun 9, 2015 - Jun 12, 2015 Rennes, France Feb 13, 2015
ARCOE-Logic 2014 Acquisition, Representation and Reasoning about Context with Logic, the 6th International Workshop
Nov 24, 2014 - Nov 25, 2014 Linköping, Sweden Sep 29, 2014 (Sep 22, 2014)
MaxEnt 2014 Special Issue on Maximum Entropy applied to inductive logic and reasoning
N/A N/A Sep 15, 2014 (Mar 31, 2014)
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
LSFA 2014 Logical and Semantic Frameworks with Applications
Sep 8, 2014 - Sep 9, 2014 Brasilia D.F., Brazil May 25, 2014
FWFM 2014 2nd workshop on Fun With Formal Methods
Jul 13, 2014 - Jul 13, 2014 Vienna, Austria 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)
first | previous | Page 1 | next | last Total of 148 CFPs in 8 pages