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:
- Rudolf Carnap Lectures 2010, March 8-10, 2010, Bochum (Germany)
- 8th International Conference on Formal Concept Analysis (ICFCA 2010), March 15-18, 2010, Agadir (Morocco)
- ASL 2010 North American Annual Meeting, March 17-20, 2010, Washington, D.C. (USA)
- AAAI Spring Symposium on Time and Interactive Behavior, March 22-24, 2010, Stanford University, (California, USA)
- Sydney-Tilburg conference on the Future of Philosophy of Science, April 14-16, 2010, Tilburg (The Netherlands)
- 3rd Annual Meeting of the Asian Association for Algorithms and Computation (AAAC 2010), April 17-19, 2010, Pohang (Korea)
- Description Logics 2010, May 4-7, 2010, Waterloo (Canada)
- The 9th International Conference on Agents and Multi Agent Systems (AAMAS 2010), May 8-14, 2010, Toronto (Canada)
- Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, May 9-13, 2010, Toronto (Canada)
- 6th International Conference on Formal Ontology in Information Systems, May 11-14, 2010, Toronto (Canada)
- 20th International Conference on Automated Planning and Scheduling, May 12-16, 2010, Toronto (Canada)
- Logic in Cognitive Science, May 13-15, 2010, Torun (Poland)
- 13th International Workshop on Non-Monotonic Reasoning, May 14-16, 2010, Toronto (Canada)
- PM@100: Logic from 1910 to 1927, May 14-16, 2010, Hamilton (Canada)
- 5th Conference on Logic, Computability and Randomness, May 24-28, 2010, Notre Dame (Indiana, USA)
- 4th International Conference on Language and Automata Theory and Applications (LATA 2010), May 24-28, 2010, Trier (Germany)
- 80th Workshop on General Algebra (AAA80), June 4-6 2010, Bedlewo (Poland)
- XXVI Varna International Philosophical School: Applied and Experimental Philosophy in Knowledge Based Society East and West, June 4-6 2010, Varna (Bulgaria)
- AsubL4 - Algebra and Substructural Logics -- take four, June 8-10 2010, Ishikawa (Japan)
- 18th European Symposium on Medieval Logic and Semantics, June (first half) 2010, Bologna (Italy)
- North American Summer School in Logic, Language and Information 2010 (NASSLLI 2010), June 20-25, 2010, Bloomington (Indiana, USA)
- 12th Scandinavian Symposium and Workshops on Algorithms and Data Structures (SWAT 2010), June 21-23, 2010, Bergen (Norway)
- 7th International Conference on Computability and Complexity in Analysis (CCA 2010), June 21-25, 2010, Zhenjiang (China)
- LOGICA 2010, June 21-25, 2010, Hejnice (Czech Republic)
- Computability in Europe 2010: Programs, Proofs, Processes, June 30 - July 4, 2010, Ponta Delgada (Azores, Portugal)
- 2010 Australasian Association for Logic Conference, July 2-4, 2010, Sydney (Australia)
- 10th International Conference on Artificial Intelligence and Symbolic Computation: Theory, Implementations and Applications (AISC 2010), July 5-6, 2010, Paris (France)
- 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010), July 6-9, 2010, Brasilia (Brazil)
- 2010 Federated Logic Conference (FLoC 2010), July 9-21, 2010, Edinburgh (Scotland, UK)
- Summer school on the core model induction and hod mice, July 19-August 06, 2010, Münster (Germany)
- 9th Conference on Logic and the Foundations of Game and Decision Theory (LOFT9 2010), July 21-23, 2010, Toulouse (France)
- 2010 ASL European Summer Meeting (Logic Colloquium '10), July 25-31, 2010, Paris (France)
- Diagrams 2010: Sixth International Conference on the Theory and Application of Diagrams, August 9-11, 2010, Portland (Oregon, USA)
- 22nd European Summer School in Logic, Language and Information (ESSLLI 2010), August 9-20, 2010, Copenhagen (Denmark)
- The Fourth International Frontiers of Algorithmics Workshop (FAW 2010), August 11-13, 2010, Wuhan (China)
- ICM 2010 Satellite Meeting on Mathematical Logic and Set Theory, August 15-17, 2010, Chennai (India)
- 19th European Conference on Artificial Intelligence (ECAI-2010), August 16-20, 2010, Lisbon (Portugal)
- Workshop on dependence and independence in logic, August 16-20, 2010, Copenhagen (Denmark)
- The Epistemology of Liberal Democracy, August 19-20, 2010, Copenhagen (Denmark)
- International Congress of Mathematicians, August 19-27, 2010, Hyderabad (India)
- 8th International Conference on Advances in Modal Logic (AiML-2010), August 24-27, 2010, Moscow (Russian Fereration)
- 18th Annual Meeting of the European Society for Philosophy and Psychology (ESPP 2010), August 25-28, 2010, Bochum and Essen (Germany)
- Seventeenth International Symposium on Temporal Representation and Reasoning (TIME'10), September 6-8, 2010, Paris (France)
- 7th Italian-Spanish Conference on General Topology and its Applications (ItEs2010), September 7-10, 2010, Badajoz (Spain)
- Logic, Algebra and Truth Degrees 2010, September 7-11, 2010, Prague (Czech Republic)
- Epistemic Aspects of Many-valued Logics, September 13-16, 2010, Prague (Czech Republic)
- 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), September 21-24, 2010, Singapore
- Logic and Language Conference, September 24-26, 2010, Aberdeen (UK)
- 10th Biannual Meeting of the German Society for Cognitive Science (KogWis2010), October 3-6, 2010, Potsdam (Germany)
- Studia Logica conference Trends in Logic VIII: Lattice-Ordered Groups and MV-Algebras: Interaction and Impact on Algebras of Logic, October 13-5, 2010, Buenos Aires (Argentina)
- 30 Years of Nonmonotonic Logic - International Conference, October 22-25, 2010, Lexington (Kentucky, USA)
- 14th Congress of Logic, Methodology and Philosophy of Science, July 19-26, 2011, Nancy (France)
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 6.03.2010; designer and webmaster: Krzysztof Pszczola
