This web page of conferences and workshops that have an overlap with logic in computer science is maintained by the LICS organization. The first half of the page is an incomplete list of dates, some tentative and some fixed, for upcoming meetings of some logic related conferences. The second half is a list of logic related conferences and associations.
If you are an organizer of a logic related conference or workshop and have some information you would like to include here, please send an email to lics@informatik.hu-berlin.de.
February 14-17, 2006: 4th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006) , Budapest, Hungary
February 23-25, 2006: 23rd International Symposium on Theoretical Aspects of Computer Science (STACS 2006) , Marseille, France
March 20-24, 2006: Latin American Theoretical Informatics Symposium (LATIN'2006) , Valdivia, Chile
March 25 - April 2, 2006: European Joint Conferences on Theory and Practice of Software (ETAPS 2006) , Vienna, Austria
May 21-23, 2006: 38th ACM Symposium on Theory of Computing (STOC 2006) , Seattle, Washington, USA
June 02-05 (?), 2006: 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006) , Lake District of the UK
June 26-29, 2006: 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2006) , Chicago, Illinois
June 30 - July 5, 2006: 2nd Computability in Europe, International Conference (CiE 2006), Swansea, UK
July 10-14, 2006: 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006) , Venice, Italy
July 12-14, 2006: 8th International Workshop on Deontic Logic in Computer Science (DEON 2006) , Utrecht, The Netherlands
July 12 - 14, 2006: International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06) , Venice, Italy
July 16-20, 2006: IEEE Conference on Computational Complexity (CCC 2006) , Prague, Czech Republic
July 18-21, 2006: 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006) , Stanford, California, USA
July 27 - August 2, 2006: Logic Colloquium 2006 (ASL European Summer Meeting) , Nijmegen, Netherlands
July 31 - August 11, 2006: 18th European Summer School in Logic, Language and Information (ESSLLI 2006) , Malaga, Spain
August 1-5, 2006: Information-MFCSIT 2006: The International Conference on Information and The Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland
August 10-22, 2006: The 2006 Federated Logic Conference (FLoC 2006) , Seattle, Washington, USA
August 12-15, 2006: IEEE Symposium on Logic in Computer Science (LICS 2006), Seattle, Washington, USA
August 12-15, 2006: Conference on Rewriting Techniques and Applications (RTA 2006), , Seattle, Washington, USA
August 12-15, 2006: International Conference on Theory and Applications of Satisfiability Testing (SAT 2006) , Seattle, Washington, USA
August 16-21, 2006: Conference on Computer Aided Verification (CAV 2006), , Seattle, Washington, USA
August 16-21, 2006: International Conference on Logic Programming (ICLP 2006), , Seattle, Washington, USA
August 16-21, 2006: International Joint Conference on Automated Reasoning (IJCAR 2006), , Seattle, Washington, USA
August 17 - 20, 2006: International Workshop on First-Order Theorem Proving (FTP 2006) (See FLoC) , Seattle, USA
August 17 - 20, 2006: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2006) (See FLoC) , Seattle, USA
August 27-30, 2006: 17th International Conference on concurrency theory (CONCUR 2006) , Bonn, Germany
August 28 - September 1, 2006: 31th International Symposium on Mathematical Foundations of Computer Science (MFCS 2006) , Stará Lesná, Slovakia
September 25-29, 2006: Computer Science Logic (CSL 2006) , Szeged, Hungary
September 18-20, 2006: The 11th ACM SIGPLAN International Conference on Functional Programming (ICFP 2006) , Portland, Oregon
September 25-28, 2006: Advances in Modal Logic (AiML 2006) , Queensland, Australia
September 25-29, 2006: 12th International Conference on Principles and Practice of Constraint Programming (CP 2006) , Nantes, France
October 22-24, 2006: 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006) , Berkeley, USA
November 8-10, 2006 Augustus De Morgan Workshop 2006 "Belief revision, belief merging and social choice" , King's College London, UK
November 13-17, 2006 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2006) , Phnom Penh, Cambodia
December 13-15, 2006: 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2006) , Kolkata, India
January 6-12, 2007: International Joint Conference on Automated Reasoning (IJCAR 2007) , Hyderabad, India
January 10-12, 2007: 11th International Conference on Database Theory (ICDT 2007) , Barcelona, Spain
February 22-24, 2007: 24th International Symposium on Theoretical Aspects of Computer Science (STACS 2007) , Aachen, Germany
March, 26 - 30, 2007: European Joint Conferences on Theory and Practice of Software (ETAPS 2007) , Braga, Portugal
June 4-7, 2007 Symposium on Logical Foundations of Computer Science (LFCS 2007) , New York City
June 8-16, 2007 39th ACM Symposium on Theory of Computing (STOC 2007) (Part of FCRC 2007) , San Diego, USA
June 11-13, 2007: 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2007) , Beijing, China
June 13-16, 2007: IEEE Conference on Computational Complexity (CCC 2007) (Part of FCRC) , San Diego, USA
June 18-23, 2007: 3nd Computability in Europe, International Conference (CiE 2007), Siena, Italy
June 26-28, 2007: Conference on Rewriting Techniques and Applications (RTA 2007), Paris, France
July 9-13, 2007: 34rd International Colloquium on Automata, Languages and Programming (ICALP 2007) , Wroclaw, Poland
July 10-14, 2007: IEEE Symposium on Logic in Computer Science (LICS 2007), Wroclaw, Poland
July 14-19, 2007: Logic Colloquium 2007 (ASL European Summer Meeting) , Wroclaw, Poland
August 6-17, 2007: 19th European Summer School in Logic, Language and Information (ESSLLI 2007) , Dublin, Ireland
AiML. Advances in Modal Logic. (bi-annual)
ASL. Association for Symbolic Logic.
AAR. Association for Automated Reasoning.
CCC. IEEE Conference on Computational Complexity. (annual)
CiE. Computability in Europe.
CL. Portal of Computational Logic.
CP. International Conference on Principles and Practice of Constraint Programming. (annual)
CSL. Conference on Computer Science Logic. (annual)
DL. International Workshop on Description Logics. (annual)
EACSL. European Association for Computer Science Logic.
EAPLS. European Association for Programming Languages and Systems.
EATCS. European Association for Theoretical Computer Science.
FoLLI. Association of Logic, Language and Information.
FOOL. International Workshop on Foundations of Object-Oriented Languages. (annual)
ICALP. International Colloquium on Automata, Languages and Programming. (annual)
ICDT. International Conference on Database Theory. (bi-annual)
ICFP. International Conference on Functional Programming. (annual)
KR. Principles of Knowledge Representation and Reasoning.
LATIN. Latin American Theoretical Informatics Symposium. (bi-annual)
LICS. IEEE Symposium on Logic in Computer Science. (annual)
LOPSTR. International Workshop on Logic-based Program Synthesis and Transformation. (annual)
LPAR. International Conference on Logic for Programming Artificial Intelligence and Reasoning. (annual)
PODS. ACM Symposium on Principles of Database Systems. (annual)
RTA. Rewriting Techniques and Applications. (annual)
STOC. ACM Symposium on Theory of Computing. (annual)
TARK. Conference on Theoretical Aspects of Rationality And Knowledge. (bi-annual)
TLCA. International Conference on Typed Lambda Calculi and Applications. (bi-annual)
TABLEAUX. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. (annual)
WoLLIC. Workshops on Logic, Language, Information and Computation. (annual)
Back to the LICS web page.