Surf these sites: 6BLM -- 6th Barcelona Logic Meeting, 5-8 July 2000 - Barcelona, Spain - Areas emphasized are algebraic logic, model theory and set theory. ASL Meetings -- Announcements of upcoming ASL meetings. AiML -- Advances in Modal Logic BLC 1999 -- British Logic Colloquium 1999 - Gregynog, Wales. CATS 2000 -- CATS 2000 CSL 2000 -- Computer Science Logic, August 21-26, 2000 - Fischbachau/Munich, Germany. DEON''98 -- Fourth International Workshop on Deontic Logic in Computer Science FMOODS -- Formal Methods for Open Object-based Distributed Systems. FTP''00 -- First-Order Theorem Proving - St. Andrews. FroCoS''2000 -- 3rd International Workshop on Frontiers of Combining Systems - Nancy, France - program includes combining logics and deduction systems and logical modelling of multi-agent systems. ICLP''99 -- Conference on Logic Programming ISDT ''99 -- International Symposium on Domain Theory - Shanghai, China. ISMVL''2000 -- International Symposium for Multiple-Valued Logic, Portland. JELIA ''2000 -- European Workshop on Logics in Artificial Intelligence - Malaga, Spain. KR -- Conference on Principles of Knowledge Representation and Reasoning LFCS ''97 -- Symposium on Logical Foundations of Computer Science in Yaroslavl LFM''99 -- Workshop on Logical Frameworks and Meta-languages - Paris. LICS -- IEEE Symposium on Logic in Computer Science LPAR ''99 -- 6th International Conference on Logic for Programming and Automated Reasoning in Tbilisi LPMS''99 -- 11th International Congress of Logic, Methodology and Philosophy of Science - Cracow. LPNMR''99 -- Conference on Logic Programming and Nonmonotonic Reasoning LUATCS ''99 -- First Southern African Summer School and Workshop on Logic, Universal Algebra, and Theoretical Computer Science - Johannesburg. Logic and Set Theory -- Groups and conferences MFCS''99 -- Symposium on Mathematical Foundations of Computer Science SPbDLC''99 -- First St.Petersburg Days of Logic and Computability TABLEAUX 2000 -- Automated Reasoning with Analytic Tableaux and Related Methods - St. Andrews. The Future of the Turing Test -- Dartmouth College WCP''2000 -- Second World Congress on Paraconsistency - Campinas.
Help build the largest human-edited
directory on the web.