TIME2007 - The purpose of this symposium is to bring together active researchers from distinct research areas involving representation of and reasoning about temporal phenomena. CSL'02 - Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002. CADE-18 - The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002. Deon'06 homepage - This site gives all relevant information concerning the 2006 workshop on deontic logic in computer science. Logic and Algorithms - Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006. ICC'01 - Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001. Boise Extravanagza in Set Theory - Conferences organized every year from 1992 to 2010 at the Department of Mathematics, Boise State University, Idaho, USA. Names of organizers, speakers and participants; abstracts and practical information. ICLP'99 - Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999. CSL 2000 - Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000. SPbDLC'99 - First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos. 9th Annual Logic Summer School - Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000. ISMVL 2000 - International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos. GÖDEL'96 - Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996. WCP 2000 - Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000. TABLEAUX'99 - Saratoga Springs, NY, USA; 7--11 June 1999. MFCS'98 - The 23rd International Symposium on Mathematical Foundations of Computer Science. Held jointly with CSL'98, CCA'98, FICS'98 and 68th PSSL. Brno, Czech Republic; 24--28 August 1998. CL 2000 - Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; 24--28 July 2000. Set Theory and its Neighbours 9 - De Morgan House, London; 25 April 2001. CADE-17 - The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000. PLI'00 - Principles, Logics, and Implementations of High-Level Programming Languages. Including ICFP 2000 and PPDP 2000. Montreal, Canada; 18--23 September 2000. PLS-1 - First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997. Conference and Workshop in Honor of Professor Saharon Shelah - Ben-Gurion University of the Negev, Israel; 21--25 May 2001. Conference in Honor of D. A. Martin's 60th Birthday - Held in coordination with the Mathematical Sciences Research Institute workshop on The Continuum Hypothesis. University of California, Berkeley, CA, USA; 27--28 May 2001. LACL 2001 - 4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001. Description Logics Workshops - Proceedings of past workshops, some on-line. The Logic Programming Paradigm: Current Trends and Future Directions - Shakertown, Kentucky, USA; 27--27 April 1998. Photos. FICS'2001 Fixed Points in Computer Science - A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001. PLI 2001 - Principles, Logics, and Implementations of high-level programming languages. Including ICFP and PPDP. Firenze, Italy; 2--8 September 2001. LLL 2001 - 3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001. CSL'01 - Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001. LPNMR'01 - 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001. Fourth International Tbilisi Symposium on Language, Logic and Computation - Borjomi, Georgia; 23--28 September 2001. WFLP 2001 - International Workshop on Functional and (Constraint) Logic Programming, comprising the 10th International Workshop on Functional and Logic Programming and the 16th Workshop on Logic Programming. Kiel, Germany; 13--15 September 2001. International Workshop on Computability Theory - S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001. Workshop on Model Theory - Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001. ICLP'01 - Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001. AC2001 - The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001. CICLOPS 2001 - Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001. Weighted Automata: Theory and Applications - Dresden, Germany; 4--8 March 2002. ACL2-2002 - Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002. TPTS - Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002. Proof and Computation - Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999. ADD'2002 - SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002. NMR'2002 - 9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April 2002. 21st Days of Weak Arithmetics - St.Petersburg, Russia; 7--9 June 2002. CLIMA'02 - Computational Logic in Multi-Agent Systems - Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002. FLoC '02 - Federated Logic Conference - Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002. ICLP'02 - International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002. TABLEAUX 2002 - Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002. RTA'02 - 13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002. Set Theory and Analysis - Semester long program at the Fields Institute, Toronto, Ontario, along with some shorter workshops. September through December, 2002. World Congress on Paraconsistency - The WCP3 will take place in Toulouse (France) from 28-31 July 2003, and will focus on mathematics, philosophy and applications of paraconsistent logics. LPAR 2001 - 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001. KR2002 - Eighth International Conference on Principles of Knowledge Representation and Reasoning. In conjunction with AIPS2002, KSCO'02 and NMR'02. Toulouse, France; 22--25 April 2002. Logic, Algebra and Geometry - St.Petersburg, Russia; 1--7 June 2004. LICS 2002 - IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark; 22--25 July 2002. JELIA 2004 - Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004. World Congress on Universal Logic - 1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, 2005. CiE 2005 - Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005. Computation Prospects of Infinity - Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National University of Singapore; 20 June -- 15 August 2005. FLoC 1999 - The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999. Model Theory and Applications to Algebra and Analysis - Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005. RTA 2003 - 14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11 June 2003. MPC 2000 - Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos. TARK VIII - 8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano, University of Siena, Italy; 8--10 July 2001. Computer-Supported Mathematical Theory Development - Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004. FOTFS III - Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001. Infinite Games - Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004. The Continuum Hypothesis - A workshop featuring a number of lectures surveying the current insights into the continuum problem and its variations. MSRI, Berkeley, CA, USA; 29 May -- 1 June 2001.