Search for
Home > Science > Math > Logic and Foundations > Conferences >

New! Submit a site
whatUseek Collection Sites (submit a site ):
Give your site great placement in this category in as little as two business days!

whatUseek Directory Site Listings:
AiML - Advances in Modal Logic - A bi-annual workshop and book series. The aim of the workshop series is to report on important new developments in pure and applied modal logic, at varying locations throughout the world. The book series is based on the workshops.
Boise Extravaganza in Set Theory Conferences - (BEST) organized at Department of Mathematics and Computer Science, Boise State University.
CADE - Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.
CameLeoN - Joint seminars in mathematical logic at Cambridge, Leeds, and UEA, UK.
FMOODS - Formal Methods for Open Object-based Distributed Systems. An annual series of conferences.
Inference in Computational Semantics (ICoS) - An annual series of workshops. Endorsed by SIGSEM, the ACL Special Interest Group in Computational Semantics.
KR - Conference on Principles of Knowledge Representation and Reasoning
LICS - IEEE Symposium on Logic in Computer Science
LOPSTR - Workshop on Logic-based Program Synthesis and Transformation
MFPS - Mathematical Foundations of Programming Semantics. An annual series of meetings.
MFPS - Mathematical Foundations of Programming Semantics. An annual series of meetings.
Methods for Modalities - A series of workshops on the relationship between modal formalisms and computer science.
NMRW - International Workshops on Nonmonotonic Reasoning.
Set Theory and its Neighbours - A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
TABLEAUX - The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
TARK - Theoretical Aspects of Rationality and Knowledge - Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge.
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek