Sign for Notice Everyday Sign up | Login

Main Menu
Searching By

Feedburner
Searching Call For Papers
Category Year
Country
Keywords From

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