Searching Results

1. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)

   Deadline: 2014-03-01 Event Date: 2014-07-20 - 2014-07-24 Venue: Vienna, Austria

2. 15th International Workshop on Non-Monotonic Reasoning (NMR)

   Deadline: 2014-03-01 Event Date: 2014-07-17 - 2014-07-19 Venue: Vienna, Austria

3. 27th International Workshop on Description Logics (DL)

   Deadline: 2014-03-01 Event Date: 2014-07-17 - 2014-07-20 Venue: Vienna, Austria

4. 17th International Conference on Theory and Applications of Satisfiability Testing (SAT)

   Deadline: 2014-03-01 Event Date: 2014-07-19 - 2014-07-22 Venue: Vienna, Austria

5. 12th International Conference on Typed Lambda Calculi and Applications (TLCA)

   Deadline: 2014-03-01 Event Date: 2014-07-19 - 2014-07-22 Venue: Vienna, Austria

6. 25th International Conference on Rewriting Techniques and Applications (RTA)

   Deadline: 2014-03-01 Event Date: 2014-07-19 - 2014-07-22 Venue: Vienna, Austria

7. 23rd EACSL Annual Conference on Computer Science Logic (CSL)

   Deadline: 2014-03-01 Event Date: 2014-07-19 - 2014-07-22 Venue: Vienna, Austria

8. 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)

   Deadline: 2014-03-01 Event Date: 2014-07-19 - 2014-07-22 Venue: Vienna, Austria

9. 5th Conference on Interactive Theorem Proving (ITP)

   Deadline: 2014-03-01 Event Date: 2014-07-19 - 2014-07-22 Venue: Vienna, Austria

10. 7th International Joint Conference on Automated Reasoning (IJCAR)

    Deadline: 2014-03-01 Event Date: 2014-07-19 - 2014-07-22 Venue: Vienna, Austria