Here we present some links which may be usefull to the Community. If you think, that some other links should be added - please submit them.
Current Events:
- Symposium on Logical Foundations of Computer Science 2009 (LFCS'09), January 3-6, 2009, Deerfield Beach (Florida, USA)
- 2009 Joint Mathematics Meetings, January 5-8, 2009, Washington, DC (USA)
- Workshop on Logic and Social Interaction, January 7-8, 2009, Chennai (India)
- 3rd Indian Conference on Logic and its Applications (ICLA 2009), January 7-11, 2009, Chennai (India)
- 12th Workshop on Quantum Information Processing (QIP 2009), January 12-16, 2009, Santa Fe (New Mexico, USA)
- 2nd Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, January 17-18, 2009, Cambridge (UK)
- 15th Computing: The Australasian Theory Symposium (CATS), January 20-23, 2009, Wellington (New Zealand)
- VAF Conference 2009: Recent Trends in Philosophy of Language and General Analytic Philosophy, January 22-23, 2009, Tilburg (The Netherlands)
- 35th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2009), January 24-30, 2009, Spindleruv Mlyn (Czech Republic)
- Summer Schools in Logic and Learning, January 26-February 6, 2009, Canberra (Australia)
- International Conference on the Dynamics of Information Systems, January 29-30, 2009, Gainesville (Florida, USA)
- Steel VIG at the UCLA Logic Center, January 30-February 1, 2009, Los Angeles (California, USA)
- 3rd Annual Workshop on Algorithms and Computation (WALCOM 2009), February 18-20, 2009, Kolkata (India)
- 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), February 26-28, 2009, Freiburg (Germany)
- 14th Estonian Winter School in Computer Science (EWSCS '09), March 1-6, 2009, Palmse (Estonia)
- 2nd Conference on Artificial General Intelligence (AGI-09.org), March 6-9, 2009, Arlington (Virginia, USA)
- 10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, March 12-16, 2009, Szklarska Poreba (Poland)
- European Joint Conferences on Theory and Practice of Software (ETAPS 2009), March 22-29, 2009, York (UK)
- TERMGRAPH 2009: 5th International Workshop on Computing with Terms and Graphs, March 22, 2009, York (UK)
- Boise Extravaganza in Set Theory, March 27-29, 2009, Boise (Idaho, USA)
- 12th European Workshop on Natural Language Generation (ENLG 2009), March 30-31, 2009, Athens (Greece)
- 3rd International Conference on Language and Automata Theory and Applications (LATA 2009), April 2-8, 2009, Tarragona (Spain)
- Conference on the Foundations of Mathematics, April 3-5, 2009, New York (USA)
- 2nd Annual Meeting of Asian Association for Algorithms and Computation (AAAC 2009), April 11-12, 2009, Hangzhou (China)
- A conference on Philosophy and Foundations of Mathematics - Epistemological and Ontological Aspects, dedicated to Per Martin-Löf on the occasion of his retirement, May 5-8, 2009, Uppsala (Sweden)
- 8th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-09), May 10-15, 2009, Budapest (Hungary)
- 7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May, 2009, Budapest (Hungary)
- 17th Nordic Conference on Computational Linguistics (NODALIDA 2009), May 14-16, 2009, Odense (Denmark)
- Foundational Adventures - a Conference in Honor of Harvey M. Friedman on the occasion of his 60th birthday, May 14-17, 2009, Columbus (Ohio,USA)
- 6th Annual Conference on Theory and Applications of Models of Computation (TAMC'09), May 18-22, 2009, ChangSha (P.R. China)
- 7th International Conference on Formal Concept Analysis (ICFCA2009), May 21-24, 2009, Darmstadt (Germany)
- 16th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009), May 25-27, 2009, Piran (Slovenia)
- GAMES Spring School 2009: Games for Design and Verification, May 31-June 6, 2009, Bertinoro (Italy)
- 13th Annual Meeting Association For The Scientific Study Of Consciousness, June 5-8, 2009, Berlin (Germany)
- Workshop on Controlled Natural Languages (CNL 2009), June 8-10, 2009, Marettimo Island, Sicily (Italy)
- ESI workshop on large cardinals and descriptive set theory, June 14-27, 2009, Vienna (Austria)
- 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), June 21-24, 2009, Tokyo (Japan)
- 11th Asian Logic Conference, June 22-27, 2009, Singapore
- Federated Conference on Rewriting, Deduction, and Programming (RDP 2009), June 28-July 03, 2009, Brasília (Brazil)
- 4th Conference on Logic, Computability and Randomness, June 30-July 03, 2009, Marseille (France)
- 9th International Conference on Typed Lambda Calculi and Applications (TLCA '09), July 1-3, 2009, Brasília (Brazil)
- 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), July 1-3, 2009, Verona (Italy)
- 36th International Colloquium on Automata, Languages and Programming (ICALP'09), July 5-12, 2009, Rhodes (Greece)
- 12th Conference on Theoretical Aspects of Rationality and Knowledge TARK XII, July 6-8, 2009, Stanford (California, USA)
- Topology, Algebra and Categories in Logic (TACL 2009), July 7-11, 2009, Amsterdam, (The Netherlands)
- 21st International Joint Conference on Artificial Intelligence (IJCAI-09): The Interdisciplinary Reach of Artificial Intelligence, July 11-17, 2009, Pasadena (California, USA)
- International Workshop on Hybrid Logic 2009 (HyLo 2009): "Conmemorating the Ten Years of HyLo", July 15-17, 2009, Nancy (France )
- 7th Panhellenic Logic Symposium, July 15-19, 2009, Patras (Greece)
- Computability in Europe 2009: Mathematical Theory and Computational Practice (CiE 2009), July 19-24, 2009, Heidelberg (Germany)
- International Workshop "Structures and Deduction" (SD09), July 20-24, 2009, Bordeaux (France)
- 21st European Summer School in Logic, Language and Information (ESSLLI 2009), July 20-31, 2009, Bordeaux (France)
- Conceptual Structures: Leveraging Semantic Technologies (ICCS'09), July 26-31, 2009, Moscow (Russian Federation)
- International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), July 28-31, 2009, Seoul (Korea)
- 22nd International Conference on Automated Deduction (CADE-22), August 2-7, 2009, Montreal (Canada)
- Logic and Mathematics 2009, August 3-7, 2009, York (UK)
- 32. Internationales Wittgenstein Symposium, August 9-15, 2009, Kirchberg am Wechsel (Austria)
- 24th IEEE Symposium on Logic In Computer Science (LICS 2009), August 11-14, 2009, Los Angeles (California, USA)
- 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009), August 18-20, 2009, Kuala Lumpur (Malaysia)
- 4th International Computer Science Symposium in Russia (CSR 2009), August 18-23, 2009, Novosibirsk (Russian Federation)
- Mal'tsev Meeting, August 24-28, 2009, Novosibirsk (Russian Federation)
- Logic, Game Theory, and Social Choice 6, August 26-29, 2009, City of Tsukuba (Japan)
- WORKSHOP: Practice-based philosophy of logic and mathematics, August 31-September 2, 2009, Amsterdam (The Netherlands)
- 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), September 6-10, 2009, Udine (Italy)
- 8th International Conference on Unconventional Computation (UC 2009), September 7-11, 2009, Ponta Delgada (Portugal)
- PHLOXSHOP 2: Modality, September 9-11, 2009, Berlin (Germany)
- 7th International Conference on Words, September 14-18, 2009, Fisciano (Italy)
- 2nd conference of the European Philosophy of Science Association (EPSA 09), October 21-24, 2009, Amsterdam (The Netherlands)
- 16th International Symposium on Formal Methods (FM2009), November 2-6, 2009, Eindhoven (The Netherlands)
- 7th International Conference on Logic and Cognition, November 10-13, 2009, Guangzhou (P.R. China)
- 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, Tumkur near Bangalore (India)
- 20th International Symposium on Algorithm and Computation (ISAAC 2009), December 16-18, 2009, Honolulu (Hawaii, USA)
General Interest:
- Arché, The AHRB Research Centre for the Philosophy of Logic, Language, Mathematics and Mind
- AILA - Associazione Italiana di Logica e sue Applicazioni
- Association for Symbolic Logic
- A small website collecting and distributing research devoted to algebraic set theory
- British Logic Colloquium
- Bulletin of the Section of Logic
- calculemus.org: The domain of the Foundation for Informatics, Logic and Mathematics
- Fundamenta Informaticae
- Centre for Logic and Philosophy of Science at the Ghent University
- The Kurt Gödel Society
- ILLC: Institute for Logic, Language and Computation at the University of Amsterdam
- Lakatos Award
- LaTeX for Logicians
- Centre for Logic, Philosophy of Science and Philosophy of Language at the Katholieke Universiteit Leuven
- Logic and Logical Philosophy
- Logical Methods in Computer Science
- MATHNET: The Danish Network for the History and Philosphy of Mathematics
- Advances in Modal Logic
- Modal Operator Theory: A Program in Philosophy
- New York Logic - Logic in the City
- PHILOG: The Danish Network for Philosophical Logic and Its Applications
- The Philosophy of Logic by Roger Bishop Jones
- PHINEWS: The Newsletter for Philosophical Logic and its Applications
- PHIS: The Danish Research School in Philosophy, History of Ideas and History of Science
- Polish Association for Logic and Philosophy of Science
- Polish Philosophy Page edited by Francesco Coniglione and Arianna Betti in the WEB site of the Faculty of Pedagogical Sciences, Catania University
- The Reasoner
- Routledge Encyclopedia of Philosophy Online: Philosophy of Logic
- Stanford Encyclopedia of Philosophy
- Centre for Logic, Language and Computation (CLLC) at the Victoria University of Wellington
Sets of links:
- BUBL LINK / 5:15 Internet Resources: Philosophy links
- The Philosophical Calendar A Service of the Conference of Philosophical Societies
- Cogprints - Subject: Logic
- Computational Intelligence Group Conference planner
- EpistemeLinks.com: Topics Results
- Philosophy Events by EpistemeLinks.com
- Foundations of Mathematics by Alexander Sakharov
- Logic Links at the Gustavus Philosophy Department
- List of logical meetings by Association for Symbolic Logic
- Mathematical Logic around the world
- Philosophy and Logic Resources on the Web by the Texas A&M University
- Research groups in Logic and Theoretical Computer Science
last modfied 5.01.2009; designer and webmaster: Krzysztof Pszczola