Studia Logica: recomended links

Links: Past Events

Logic and Language Conference, September 24-26, 2010, Aberdeen (UK)
8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), September 21-24, 2010, Singapore
*LRR10: LOGIC, REASONING AND RATIONALITY, September 20-22, 2010, Ghent (Belgium)
Epistemic Aspects of Many-valued Logics, September 13-16, 2010, Prague (Czech Republic)
Logic, Algebra and Truth Degrees 2010, September 7-11, 2010, Prague (Czech Republic)
7th Italian-Spanish Conference on General Topology and its Applications (ItEs2010), September 7-10, 2010, Badajoz (Spain)
Seventeenth International Symposium on Temporal Representation and Reasoning (TIME'10), September 6-8, 2010, Paris (France)
18th Annual Meeting of the European Society for Philosophy and Psychology (ESPP 2010), August 25-28, 2010, Bochum and Essen (Germany)
8th International Conference on Advances in Modal Logic (AiML-2010), August 24-27, 2010, Moscow (Russian Fereration)
International Congress of Mathematicians, August 19-27, 2010, Hyderabad (India)
The Epistemology of Liberal Democracy, August 19-20, 2010, Copenhagen (Denmark)
Workshop on dependence and independence in logic, August 16-20, 2010, Copenhagen (Denmark)
19th European Conference on Artificial Intelligence (ECAI-2010), August 16-20, 2010, Lisbon (Portugal)
ICM 2010 Satellite Meeting on Mathematical Logic and Set Theory, August 15-17, 2010, Chennai (India)
The Fourth International Frontiers of Algorithmics Workshop (FAW 2010), August 11-13, 2010, Wuhan (China)
22nd European Summer School in Logic, Language and Information (ESSLLI 2010), August 9-20, 2010, Copenhagen (Denmark)
Diagrams 2010: Sixth International Conference on the Theory and Application of Diagrams, August 9-11, 2010, Portland (Oregon, USA)
2010 ASL European Summer Meeting (Logic Colloquium '10), July 25-31, 2010, Paris (France)
9th Conference on Logic and the Foundations of Game and Decision Theory (LOFT9 2010), July 21-23, 2010, Toulouse (France)
Summer school on the core model induction and hod mice, July 19-August 06, 2010, Münster (Germany)
2010 Federated Logic Conference (FLoC 2010), July 9-21, 2010, Edinburgh (Scotland, UK)
17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010), July 6-9, 2010, Brasilia (Brazil)
10th International Conference on Artificial Intelligence and Symbolic Computation: Theory, Implementations and Applications (AISC 2010), July 5-6, 2010, Paris (France)
2010 Australasian Association for Logic Conference, July 2-4, 2010, Sydney (Australia)
Computability in Europe 2010: Programs, Proofs, Processes, June 30 - July 4, 2010, Ponta Delgada (Azores, Portugal)
LOGICA 2010, June 21-25, 2010, Hejnice (Czech Republic)
7th International Conference on Computability and Complexity in Analysis (CCA 2010), June 21-25, 2010, Zhenjiang (China)
12th Scandinavian Symposium and Workshops on Algorithms and Data Structures (SWAT 2010), June 21-23, 2010, Bergen (Norway)
North American Summer School in Logic, Language and Information 2010 (NASSLLI 2010), June 20-25, 2010, Bloomington (Indiana, USA)
18th European Symposium on Medieval Logic and Semantics, June (first half) 2010, Bologna (Italy)
AsubL4 - Algebra and Substructural Logics -- take four, June 8-10 2010, Ishikawa (Japan)
XXVI Varna International Philosophical School: Applied and Experimental Philosophy in Knowledge Based Society East and West, June 4-6 2010, Varna (Bulgaria)
Modern Formalisms for Pre-Modern Indian Logic and Epistemology, June 4-6 2010, Hamburg (Germany)
80th Workshop on General Algebra (AAA80), June 4-6 2010, Bedlewo (Poland)
4th International Conference on Language and Automata Theory and Applications (LATA 2010), May 24-28, 2010, Trier (Germany)
5th Conference on Logic, Computability and Randomness, May 24-28, 2010, Notre Dame (Indiana, USA)
PM@100: Logic from 1910 to 1927, May 14-16, 2010, Hamilton (Canada)
13th International Workshop on Non-Monotonic Reasoning, May 14-16, 2010, Toronto (Canada)
Logic in Cognitive Science, May 13-15, 2010, Torun (Poland)
20th International Conference on Automated Planning and Scheduling, May 12-16, 2010, Toronto (Canada)
6th International Conference on Formal Ontology in Information Systems, May 11-14, 2010, Toronto (Canada)
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, May 9-13, 2010, Toronto (Canada)
The 9th International Conference on Agents and Multi Agent Systems (AAMAS 2010), May 8-14, 2010, Toronto (Canada)
Description Logics 2010, May 4-7, 2010, Waterloo (Canada)
3rd Annual Meeting of the Asian Association for Algorithms and Computation (AAAC 2010), April 17-19, 2010, Pohang (Korea)
Sydney-Tilburg conference on the Future of Philosophy of Science, April 14-16, 2010, Tilburg (The Netherlands)
AAAI Spring Symposium on Time and Interactive Behavior, March 22-24, 2010, Stanford University, (California, USA)
ASL 2010 North American Annual Meeting, March 17-20, 2010, Washington, D.C. (USA)
8th International Conference on Formal Concept Analysis (ICFCA 2010), March 15-18, 2010, Agadir (Morocco)
Rudolf Carnap Lectures 2010, March 8-10, 2010, Bochum (Germany)
Logical Approaches to Barriers in Computing and Complexity, February 17-20, 2010, Greifswald (Germany)
79th Workshop on General Algebra (AAA79), February 12-14, 2010, Olomouc (Czech Republic)
International Conference on Agents and Artificial Intelligence (ICAART 2010), January 22-24, 2010, Valencia (Spain)
3rd Indian School on Logic and its Applications (ISLA 2010), January 18-29, 2010, Hyderabad, Gachibowli (India)
ICCC-X: 1st International Conference on Computational Creativity, January 7-9, 2010, Lisbon (Portugal)
Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery (MBR'09_BRAZIL), December 17-19, 2009, Campinas (Brazil)
7th European Workshop on Multi-Agent Systems (EUMAS 2009), December 17-18, 2009, Ayia Napa (Cyprus)
17th Amsterdam Colloquium, December 16-18, 2009, Amsterdam (The Netherlands)
20th International Symposium on Algorithm and Computation (ISAAC 2009), December 16-18, 2009, Honolulu (Hawaii, USA)
4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, Tumkur near Bangalore (India)
7th Asian Symposium on Programming Languages and Systems (APLAS 2009), December 14-16, 2009, Seoul (Korea)
Conference on Eastern and Western Philosophical Themes, December 4-5, 2009, New York (USA)
The 22nd Australasian Joint Conference on Artificial Intelligence (AI'09), December 1-4, 2009, Melbourne (Australia)
Third International Workshop on Juris-informatics (JURISIN 2009), November 19-20, 2009, Tokyo (Japan)
Workshop on Combinatorial set theory and forcing theory, November 16-19, 2009, Kyoto (Japan)
6th Workshop on "Methods for Modalities" (M4M-6), November 12-14, 2009, Copenhagen (Denmark)
7th International Conference on Logic and Cognition, November 10-13, 2009, Guangzhou (P.R. China)
16th International Symposium on Formal Methods (FM2009), November 2-6, 2009, Eindhoven (The Netherlands)
International Workshop on Logic in Databases, October 29-30, 2009, Roskilde (Denmark)
Workshop and AMS Special Session on Constructive Mathmematics, October 28 - November 1, 2009, Boca Raton (Florida, USA)
8th International Semantic Web Conference (ISWC 2009), October 25-29, 2009, Washington, DC. (USA)
International Workshop: Judgement and Truth in Early Analytic Philosophy and Phenomenology, October 23-25, 2009, Zürich (Switzerland)
2nd conference of the European Philosophy of Science Association (EPSA 09), October 21-24, 2009, Amsterdam (The Netherlands)
Progic 2009 - 4th Workshop on Combining Probability and Logic), October 21-24, 2009, Amsterdam (The Netherlands)
2nd International Symposium on Algorithmic Game Theory, October 18-20, 2009, Paphos (Cyprus)
Computational Linguistics - Applications Workshop (CLA'09) - event of IMCSIT 2009, October 12-14, 2009, Mragowo (Poland)
International Multiconference on Computer Science and Information Technology (IMCSIT 2009), October 12-14, 2009, Mragowo (Poland)
10th annual Midwest PhilMath Workshop (MWPMW 10), October 10-11, 2009, Notre Dame (Indiana, USA)
2nd International Workshop on Logic, Rationality and Interaction (LORI-II), October 8-11, 2009, Chongqing (China)
20th International Conference on Algorithmic Learning Theory (ALT 09), October 3-5, 2009, Porto (Portugal)
Amsterdam Graduate Philosophy Conference 2009: Meaning & Truth, October 1-3, 2009, Amsterdam (The Netherlands)
53rd Annual Meeting of the Australian Mathematical Society, September 28 - October 1, 2009, Adelaide (Australia)
1th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 26-29, 2009, Timisoara (Romania)
LIX Colloquium: 3rd Workshop on Reachability Problems (RP'2009), September 23-25, 2009, Paris (France)
8th International Tbilisi Symposium on Language, Logic and Computation, September 21-25, 2009, Bakuriani (Georgia)
Fall School of LOGIC & COMPLEXITY: NP Search Problems and Algebraic Computation, September 21-25, 2009, Prague (Czech Republic)
Progic 2009 - 4th Workshop on Combining Probability and Logic, September 17-19, 2009, Groningen (The Netherlands)
Logic, Language, Mathematics: A Philosophy Conference in Memory of Imre Ruzsa, September 17-19, 2009, Budapest (Hungary)
32nd Annual Conference on Artificial Intelligence KI 2009, September 15-18, 2009, Paderborn (Germany)
The 2009 IEEE / WIC / ACM International Conferences on Web Intelligence (WI'09) and Intelligent Agent Technology (IAT'09), September 15-18, 2009, Milano (Italy)
7th International Conference on Words, September 14-18, 2009, Fisciano (Italy)
GAMES 2009: Annual Workshop of the ESF Networking Programme on Games for Design and Verification, September 14-17, 2009, Udine (Italy)
19th International Conference on Artificial Neural Networks (ICANN 2009), September 14-17, 2009, Limassol (Cyprus)
Ninth International Conference on Intelligent Virtual Agents (IVA'09), September 14-16, 2009, Amsterdam (The Netherlands)
FORMATS 2009: The 7th International Conference on Formal Modelling and Analysis of Timed Systems, September 13-16, 2009, Budapest (Hungary)
6th Workshop on Fixed Points in Computer Science, FICS 2009, September 12-13, 2009, Coimbra (Portugal)
Seventh German Conference on Multi-Agent System Technologies (MATES 2009), September 9-11, 2009, Hamburg (Germany)
PHLOXSHOP 2: Modality, September 9-11, 2009, Berlin (Germany)
18th Annual Conference on Computer Science Logic (CSL 09), September 7-11, 2009, Coimbra (Portugal)
8th International Conference on Unconventional Computation (UC 2009), September 7-11, 2009, Ponta Delgada (Azores, Portugal)
Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2009), September 7-11, 2009, Torino (Italy)
17th Annual European Symposium on Algorithms (ESA), September 7-9, 2009, Copenhagen (Denmark)
3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), September 6-10, 2009, Udine (Italy)
British Logic Colloquium 2009, September 3-5, 2009, Swansea (Wales, UK)
The Berlin Group: Knowledge, Probability, Interdisciplinarity, September 3-5, 2009, Paderborn (Germany)
Triannual Congress of the SoPhA, the Société de Philosophie Analytique, September 2-5, 2009, Geneva (Switzerland)
17th International Symposium on Fundamentals of Computer Theory (FCT 2009), September 2-4, 2009, Wroclaw (Poland)
20th International Conference on Concurrency Theory (CONCUR 09), September 1-4, 2009, Bologna (Italy)
Foundations of Uncertainty: Probability and Its Rivals, September 1-4, 2009, Prague (Czech Republic)
Studia Logica International Conference Trends in the Philosophy of Mathematics, Trends in Logic VII, September 1-4, 2009, Frankfurt (Germany)
European Agent Systems Summer School (EASSS'09), August 31-September 4, 2009, Torino (Italy)
Workshop: Practice-based philosophy of logic and mathematics, August 31-September 2, 2009, Amsterdam (The Netherlands)
Philosophical Aspects of Symbolic Reasoning in Early Modern Science and Mathematics (PASR), August 27-29, 2009, Ghent (Belgium)
Logic, Game Theory, and Social Choice 6, August 26-29, 2009, City of Tsukuba (Japan)
Mal'tsev Meeting, August 24-28, 2009, Novosibirsk (Russian Federation)
Second Conference on Concept Types and Frames in Language, Cognition, and Science, August 24-26, 2009, Duesseldorf (Germany)
12th Intl. Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2009) and 13th Intl. Workshop on Randomization and Computation (RANDOM 2009), August 21-23, 2009, Berkeley (California, USA)
4th International Computer Science Symposium in Russia (CSR 2009), August 18-23, 2009, Novosibirsk (Russian Federation)
6th International Conference on Computability and Complexity in Analysis 2009 (CCA 2009), August 18-22, 2009, Ljubljana (Slovenia)
Effective Mathematics of the Uncountable (EMU 2009), August 17-21, 2009, New York City (USA)
6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009), August 16-20, 2009, Kuala Lumpur (Malaysia)
The 5th International Conference on Natural Computation (ICNC'09) and the 6th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD'09), August 14-16, 2009, Tianjin (China)
Nona Summer School on Complexity Theory, August 12-16, 2009, St.Petersburg (Russia)
24th IEEE Symposium on Logic In Computer Science (LICS 2009), August 11-14, 2009, Los Angeles (California, USA)
BLAST: a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology, August 10-14, 2009, Las Cruces (New Mexico, USA)
32. Internationales Wittgenstein Symposium, August 9-15, 2009, Kirchberg am Wechsel (Austria)
European Science Foundation Research Conference in Model Theory, August 9-14, 2009, Bedlewo (Poland)
Workshop on Logics for Agents and Mobility (LAM'09), August 9-10, 2009, Los Angeles (California, USA)
Logic and Mathematics 2009, August 3-7, 2009, York (UK)
22nd International Conference on Automated Deduction (CADE-22), August 2-7, 2009, Montreal (Canada)
Logic Colloquium 2009, July 31 - August 5, 2009, Sofia (Bulgaria)
International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), July 28-31, 2009, Seoul (Korea)
Conceptual Structures: Leveraging Semantic Technologies (ICCS'09), July 26-31, 2009, Moscow (Russian Federation)
16th International Symposium on Temporal Representation and Reasoning (TIME 2009), July 23-25, 2009, Brixen (Italy)
21st European Summer School in Logic, Language and Information (ESSLLI 2009), July 20-31, 2009, Bordeaux (France)
International Workshop "Structures and Deduction" (SD09), July 20-24, 2009, Bordeaux (France)
Computability in Europe 2009: Mathematical Theory and Computational Practice (CiE 2009), July 19-24, 2009, Heidelberg (Germany)
7th Panhellenic Logic Symposium, July 15-19, 2009, Patras (Greece)
International Workshop on Hybrid Logic 2009 (HyLo 2009): "Conmemorating the Ten Years of HyLo", July 15-17, 2009, Nancy (France )
24th Summer Conference on Topology and Its Applications, July 14-17, 2009, Brno (Czech Republic)
25th International Conference on Logic Programming (ICLP 2009), July 14-17, 2009, Pasadena (California, USA)
21st International Joint Conference on Artificial Intelligence (IJCAI-09): The Interdisciplinary Reach of Artificial Intelligence, July 11-17, 2009, Pasadena (California, USA)
Topology, Algebra and Categories in Logic (TACL 2009), July 7-11, 2009, Amsterdam, (The Netherlands)
16th Summer School in Cognitive Science, July 6-23, 2009, Sofia (Bulgaria)
12th Conference on Theoretical Aspects of Rationality and Knowledge TARK XII, July 6-8, 2009, Stanford (California, USA)
36th International Colloquium on Automata, Languages and Programming (ICALP'09), July 5-12, 2009, Rhodes (Greece)
2nd European Set Theory Meeting: in Honour of Ronald Jensen, an ESF-EMS-ERCOM Conference, July 5-10, 2009, Bedlewo (Poland)
Leeds Symposium on Proof Theory and Constructivism, July 3-16, 2009, Leeds (UK)
The European Conference on Computing and Philosophy (E-CAP), July 2-4, 2009, Barcelona (Spain)
10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), July 1-3, 2009, Verona (Italy)
9th International Conference on Typed Lambda Calculi and Applications (TLCA '09), July 1-3, 2009, Brasilia (Brazil)
4th Conference on Logic, Computability and Randomness, June 29-July 03, 2009, Marseille (France)
Federated Conference on Rewriting, Deduction, and Programming (RDP 2009), June 28-July 03, 2009, Brasilia (Brazil)
11th Asian Logic Conference, June 22-27, 2009, Singapore
Petri Nets'2009, June 22-26, 2009, Paris (France)
XXIII Logica conference, June 22-26, 2009, Hejnice (Czech Republic)
16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), June 21-24, 2009, Tokyo (Japan)
Non-Classical Mathematics 2009, June 18-22, 2009, Hejnice (Czech Republic)
3rd Workshop in Decisions, Games & Logic '09, June 15-17, 2009, Lausanne (Switzerland)
ESI workshop on large cardinals and descriptive set theory, June 14-27, 2009, Vienna (Austria)
Carnegie Mellon Summer School in Logic and Formal Epistemology, June 8-26, 2009, Pittsburgh (USA)
Groups and Models: Cherlin Bayrami, June 8-12, 2009, Istanbul (Turkey)
Workshop on Controlled Natural Languages (CNL 2009), June 8-10, 2009, Marettimo Island, Sicily (Italy)
13th Annual Meeting Association For The Scientific Study Of Consciousness, June 5-8, 2009, Berlin (Germany)
GAMES Spring School 2009: Games for Design and Verification, May 31-June 6, 2009, Bertinoro (Italy)
Second Formal Epistemology Festival: Causal Decision Theory and Scoring Rules, May 29-31, 2009, Ann Arbor (Michigan, USA)
16th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009), May 25-27, 2009, Piran (Slovenia)
Mathematical Logic in the Netherlands 2009 (MLNL'09), May 25-26, 2009, Nijmegen (The Netherlands)
7th International Conference on Formal Concept Analysis (ICFCA2009), May 21-24, 2009, Darmstadt (Germany)
6th Annual Conference on Theory and Applications of Models of Computation (TAMC'09), May 18-22, 2009, ChangSha (P.R. China)
Foundational Adventures - a Conference in Honor of Harvey M. Friedman on the occasion of his 60th birthday, May 14-17, 2009, Columbus (Ohio,USA)
17th Nordic Conference on Computational Linguistics (NODALIDA 2009), May 14-16, 2009, Odense (Denmark)
International Conference on Philosophy of Language and Linguistics PhiLang2009, May 14-15, 2009, Lódz (Poland))
7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May, 2009, Budapest (Hungary)
8th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-09), May 10-15, 2009, Budapest (Hungary)
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)
ICR International Symposium on Games, Argumentation, and Logic Programming, April 23-24, 2009, Luxembourg
Logic and 17th-century Scientific Thought, April 23-24, 2009, Amsterdam (The Netherlands)
2nd Annual Meeting of Asian Association for Algorithms and Computation (AAAC 2009), April 11-12, 2009, Hangzhou (China)
6th QPL workshop: Quantum Physics and Logic, April 8-9, 2009, Oxford (UK)
25th British Colloquium for Theoretical Computer Science (BCTCS), April 6-9, 2009, Warwick (Coventry, UK)
Conference on the Foundations of Mathematics, April 3-5, 2009, New York (USA)
3rd International Conference on Language and Automata Theory and Applications (LATA 2009), April 2-8, 2009, Tarragona (Spain)
12th European Workshop on Natural Language Generation (ENLG 2009), March 30-31, 2009, Athens (Greece)
Boise Extravaganza in Set Theory, March 27-29, 2009, Boise (Idaho, USA)
The Science and Philosophy of Unconventional Computing (SPUC09), March 23-25, 2009, Cambridge (UK)
TERMGRAPH 2009: 5th International Workshop on Computing with Terms and Graphs, March 22, 2009, York (UK)
European Joint Conferences on Theory and Practice of Software (ETAPS 2009), March 22-29, 2009, York (UK)
10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, March 12-16, 2009, Szklarska Poreba (Poland)
2nd Conference on Artificial General Intelligence (AGI-09.org), March 6-9, 2009, Arlington (Virginia, USA)
Eighth Colloquiumfest, March 6-7, 2009, New York (USA)
Workshop: Generalized Quantifiers, Formal Semantics Meets Computation and Cognition (GLLC-16), March 5-6, 2009, Amsterdam (The Netherlands)
14th Estonian Winter School in Computer Science (EWSCS '09), March 1-6, 2009, Palmse (Estonia)
26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), February 26-28, 2009, Freiburg (Germany)
3rd Annual Workshop on Algorithms and Computation (WALCOM 2009), February 18-20, 2009, Kolkata (India)
Steel VIG at the UCLA Logic Center, January 30-February 1, 2009, Los Angeles (California, USA)
International Conference on the Dynamics of Information Systems, January 29-30, 2009, Gainesville (Florida, USA)
Summer Schools in Logic and Learning, January 26-February 6, 2009, Canberra (Australia)
35th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2009), January 24-30, 2009, Spindleruv Mlyn (Czech Republic)
VAF Conference 2009: Recent Trends in Philosophy of Language and General Analytic Philosophy, January 22-23, 2009, Tilburg (The Netherlands)
15th Computing: The Australasian Theory Symposium (CATS), January 20-23, 2009, Wellington (New Zealand)
2nd Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, January 17-18, 2009, Cambridge (UK)
12th Workshop on Quantum Information Processing (QIP 2009), January 12-16, 2009, Santa Fe (New Mexico, USA)
3rd Indian Conference on Logic and its Applications (ICLA 2009), January 7-11, 2009, Chennai (India)
Workshop on Logic and Social Interaction, January 7-8, 2009, Chennai (India)
2009 Joint Mathematics Meetings, January 5-8, 2009, Washington, DC (USA)
Symposium on Logical Foundations of Computer Science 2009 (LFCS'09), January 3-6, 2009, Deerfield Beach (Florida, USA)
19th International Symposium on Algorithms and Computation (ISAAC 2008), December 15-17, 2008, Gold Coast (Australia)
Studia Logica International Conference Trends in Logic VI: Logic and the foundations of physics: space, time and quanta, December 11-12, 2008, Brussels (Belgium)
24th International Conference on Logic Programming (ICLP'08), December 9-13, 2008, Udine (Italy)
28th SGAI International Conference on Artificial Intelligence (AI-2008), December 9-11, 2008, Cambridge (England)
Foundations of Software Technology and Theoretical Computer Science (FSTTCS), December 9-11, 2008, Bangalore (India)
4th Asia-Pacific Computing and Philosophy Conference (AP-CAP 2008), December 5-7, 2008, Bangalore (India)
15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'08), November 23-27, 2008, Doha (Qatar)
LaSh08 - Workshop on Logic and Search: Computation of structures from declarative descriptions, November 6-7, 2008, Leuven (Belgium)
LaSh08 - Workshop on Logic and Search: Computation of structures from declarative descriptions, November 5-7, 2008, Brussels (Belgium)
3rd International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2008), October 20-24, 2008, Athens (Greece)
6th International Conference on Concept Lattices and Their Applications (CLA 2008), October 21-23, 2008, Olomouc (Czech Republic)
2nd International Workshop on Game Theory in Communication Networks (GameComm 2008), October 20, 2008, Athens (Greece)
5th International Workshop on Formal Aspects of Security & Trust (FAST2008), October 9-10, Malag (Spain)
Tilburg Workshop onï¿½Formal Modeling in Social Epistemology, October 9-10, Tilburg (The Netherlands)
11th European Conference on Logics in Artificial Intelligence (JELIA 2008), September 29-October 1, 2008, Dresden (Germany)
Fall school of Logic and Complexity, September 22-26, 2008, Prague (Czech Republic)
Diagrams 2008, September 19-21, 2008, Herrsching near Munich (Germany)
2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008), September 16-20, 2008, Herrsching near Munich (Germany)
11th International Conference on Principles of Knowledge Representations and Reasoning (KR 2008), September 16-19, 2008, Sydney (Australia)
4th International ACM Symposium on Software Visualization, September 16-17, 2008, Herrsching near Munich (Germany)
Computer Science Logic 2008 (CSL 2008) 17th Annual Conference of the European Association for Computer Science Logic, September 15-20, 2008, Bertinoro / Bologna (Italy)
International Conference on Automated Planning and Scheduling (ICAPS-2008), September 14-18, 2008, Sydney (Australia)
14th International Conference on Principles and Practice of Constraint Programming (CP 2008), September 14-18, 2008, Sydney (Australia)
12th International Workshop on Non-Monotonic Reasoning (NMR 2008), September 13-15, 2008, Sydney (Australia)
12th International Workshop on Cooperative Information Agents (CIA 2008), September 10-12, 2008, Prague (Czech Republic)
Colloquium Logicum 2008, September 10-12, 2008, Darmstadt (Germany)
Advances in Modal Logic (AiML-2008), September 9-12, 2008, Nancy (France)
11th International Conference on TEXT, SPEECH and DIALOGUE (TSD 2008), September 8-12, 2008, Brno (Czech Republic)
Logic, Algebra and Truth Degrees 2008, September 8-11, 2008, Siena (Italy)
5th IFIP International Conference on Theoretical Computer Science (TCS-2008), September 7-10, 2008, Milano (Italy)
2nd Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), September 3-4, 2008, Iasi (Romania)
Tenth Asian Logic Conference (ALC 10), September 1-6, 2008, Kobe (Japan)
5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), September 1-3, 2008, The Marmara / Istanbul (Turkey)
First International Workshop on Foundations of Computer Science as Logic-Related, August 30, 2008, Istanbul (Turkey)
Brazilian Symposium on Formal Methods (SBMF 2008), August 26-29, 2008, Salvador (Bahia, Brazil)
7th International Conference on Unconventional Computation (UC 2008), August 25-28, 2008, Vienna (Austria)
4th International Conference on Natural Computation (ICNC'08) and 5th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD'08), August 25-27, 2008, Jinan (China)
Approx 2008 + Random 2008, August 25-27, 2008, Boston (Massachusetts, USA)
ICCL Summer School 2008: Computational Logic and Cognitive Science, August 24-September 6, 2008, Dresden (Germany)
6th European Congress of Analytic Philosophy, August 21-26, 2008, Krakow (Poland)
5th International Conference on Computability and Complexity in Analysis 2008 (CCA 2008), August 21-24, 2008, Hagen (Germany)
The European Summer School in Logic, Language and Information (ESSLLI 2008), August 4-15, 2008, Hamburg (Germany)
4th International Joint Conference on Automated Reasoning IJCAR (2008), August 10-15, 2008, Sydney (Australia)
The 7th International Workshop on Proof Theory, Computation, Complexity (PCC'08), August 8-9, 2008, (Oslo Norway)
BLAST: a new conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology, August 6-10, 2008, Denver (Colorado, USA)
3rd Cologne Summer School in Philosophy on "Meaning and its Place in Nature", July 28 - August 1, 2008, Cologne (Germany)
13th International Conference on Implementation and Application of Automata (CIAA), July 21-24, 2008, San Francisco (California, USA)
International Symposium on Symbolic and Algebraic Computation (ISSAC 2008), July 20-23, 2008, Hagenberg (Austria)
9th International Conference on Deontic Logic in Computer Science (DEON'08), July 15-18, 2008, Luxembourg
9th International Conference on Mathematics of Program Construction (MPC'08), July 15-18, 2008, Marseille - Luminy (France)
Rewriting Techniques and Applications 19th International Conference (RTA 2008), July 15-17, 2008, Castle of Hagenberg (Austria)
4th World Congress of Paraconsistency (WCP4), July 13-18, 2008, Melbourne (Australia)
International Workshop on Classical Logic and Computation (CL&C), July 13, 2008, Reykjavik (Iceland)
20th International Conference on Computer Aided Verification (CAV 2008), July 7-13, 2008, Princeton (USA)
16th International Conference on Conceptual Structures (ICCS 2008), July 7-11, 2008, Toulouse (France)
2008 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08), July 7-10, 2008, Orlando (Florida, USA)
8th Conference on Real Numbers and Computers (RNC8), July 7-9, 2008, Santiago de Compostela (Spain)
35th International Colloquium on Automata, Languages and Programming (ICALP 2008), July 6-13, 2008, Reykjavik (Iceland)
Logic Colloquium 2008, July 3-8, 2008, Bern (Switzerland)
8th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2008), July 3-5, 2008, Amsterdam (The Netherlands)
11th Scandinavian Workshop on Algorithm Theory (SWAT), July 2-4, 2008, Gothenburg (Sweden)
15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008), July 1-4, 2008, Edinburgh (Scotland, UK)
10th International Conference on P-Adic and Non-Archimedean Analysis, June 30 - July 3, 2008, East Lansing (Michigan, USA)
2nd Workshop in Decisions, Games and Logic (DGL08), June 30 - July 2, 2008, Amsterdam (The Netherlands)
7th Iberoamerican Conference on Topology and its Applications (CITA 2008), June 25-28, 2008, Valencia (Spain)
Logic in Computer Science (LICS) 2008, June 24-27, 2008, Pittsburgh (Pennsylvania, USA)
23rd IEEE Conference on Computational Complexity, June 23-26, 2008, Maryland (Washington, USA)
2nd International Frontiers of Algorithmics Workshop (FAW 2008), June 19-21, 2008, Changsha (China)
7th Congress of the International Society for the History of Philosophy of Science, June 18-21, 2008, Vancouver (Canada)
SIAM Conference on Discrete Mathematics (DM08), June 16-19, 2008, Burlington (Vermont, USA)
Computability in Europe 2008: Logic and Theory of Algorithms (CiE 2008), June 15-20, 2008, Athens (Greece)
Vagueness Workshop, June 13-16, 2008, Charmey (Switzerland)
Biological Explanations of Behavior: Philosophical Perspectives, June 12-15, 2008, Hannover (Germany)
AUTOMATA 2008: Future of Cellular Automata Theory and Applications, June 12-14, 2008, Bristol (United Kingdom)
3rd International Computer Science Symposium in Russia (CSR 2008), June 7-12, 2008, Moscow (Russia)
3rd Workshop on Formal Ontologies Meet Industry (FOMI 2008), June 5-6, 2008, Torino (Italy)
ULTRAMATH 2008: Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa (Italy)
2008 International Workshop on Truth Values, May 29-June 1, 2008, Dresden (Germany)
15th International Symposium on Formal Methods (FM'08), May 26-30, 2008, Turku (Finland)
38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), May 22-24, 2008, Dallas (Texas, USA)
Conference on Computability, Complexity and Randomness, May 19-23, 2008, Nanjing (China)
Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic (ManyVal '08), May 19-21, 2008, Milan (Italy)
The 40th ACM Symposium on Theory of Computing (STOC 2008), May 17-20, 2008, Victoria (BC, Canada)
Philosophy of Mathematics - Sociological Aspects and Mathematical Practice (PhiMSAMP-3): Is Mathematics Special?, May 16-18, 2008, Vienna (Austria)
21st International Workshop on Description Logics (DL'08), May 13-16, 2008, Dresden (Germany)
7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'08), May 12-16, 2008, Estoril (Portugal)
"CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science, UNICAMP" + " XV EBL -15th Brazilian Logic Conference" + "XIV SLALM ï¿½ 14th Latin-American Symposium on Mathematical Logic", May 11-17, 2008, Paraty (RJ, Brasil)
10th European Agent Systems Summer School (EASSS 2008), May 5-9, 2008, Lisbon (Portugal)
Epistemic Agency Conference, April 26-27, 2008, Geneva (Switzerland)
5th Annual Conference on Theory and Applications of Models of Computation (TAMC 2008), April 25-29, 2008, Xi'an (China)
Residuated Structures: Algebra and Logic, April 16-19, 2008, Buenos Aires (Argentina)
Ninth International Symposium on Functional and Logic Programming (FLOPS 2008), April 14-16, 2008, Ise (Japan)
Sydney-Tilburg conference on Reduction and the Special Sciences, April 10-12, 2008, Tilburg (The Netherlands)
10th International Conference on Relational Methods in Computer Science (RelMiCS10) and 5th International Conference on Applications of Kleene Algebra (AKA5), April 7-11, 2008, Frauenwï¿½rth near Munich (Germany)
8th Latin American Theoretical INformatics (LATIN 2008), April 7-11, 2008, Buzios, Rio de Janeiro (Brazil)
9th International Workshop on Coalgebraic Methods in Computer Science, April 4-6, 2008, Budapest (Hungary)
AISB 2008 Convention: Communication, Interaction and Social Intelligence, April 1-4, 2008, Aberdeen (Scotland, UK)
Applications of universal algebra and logic to the constraint satisfaction problem, March 31-April 4, 2008, Palo Alto (California, USA)
11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008), March 29-April 6, 2008, Budapest (Hungary)
7th International Workshop on Rewriting Logic and its Applications (WRLA 2008), March 29-30, 2008, Budapest (Hungary)
Boise Extravaganza in Set Theory, March 28-30, 2008, Idaho City (Idaho, USA)
International Workshop on Interval/Probabilistic Uncertainty and Non-Classical Logics, March 25-28, 2008, JAIST campus near Komatsu (Japan)
Workshop on Modal Fixpoint Logics, March 25-27, 2008, Amsterdam (The Netherlands)
23rd Annual ACM Symposium on Applied Computing, March 16-20, 2008, Vila Galï¿½ in Fortaleza, Cearï¿½ (Brazil)
2nd International Conference on Language and Automata Theory and Applications (LATA 2008), March 13-19, 2008, Tarragona (Spain)
Russell'08: Proof Theory meets Type Theory, a "Small Workshop" of the European TYPES Project, March 15-16, 2008, Swansea (Wales, UK)
13th Estonian Winter School in Computer Science (EWSCS '08), March 2-7, 2008, Palmse (Estonia)
6th International Conference on Formal Concept Analysis (ICFCA'08), February 25-28, 2008, Montrï¿½al (Qc, Canada)
9th Szklarska Poreba Workshop on the Roots of Pragmasemantics, February 21-25, 2008, Szklarska Poreba (Poland)
Because (Conference), February 15-17, 2008, Geneva (Switzerland)
1st IPM/UNU Winter School on Foundations and Trends in Computer Science (FTCS): Fundamental Concepts in Sequential and Concurrent Systems, January 31-February 10, 2008, Tehran (Iran)
3rd Workshop on Theory of Quantum Computation, Communication, and Cryptography (TQC 2008), January 30-February 1, 2008, Tokyo (Japan)
Computing: The Australasian Theory Symposium (CATS 2008), January 22-25, 2008, Wollongong (New South Wales, Australia)
Days in Logic - 2008, January 16-18, 2008, Lisbon (Portugal)
2nd Indian Winter School on Logic, January 14-16, 2008, Kanpur (India)
11th workshop on Quantum Information Processing (QIP 2008), December 17-21, 2007, New Delhi (India)
3rd Indian International Conference on Artificial Intelligence (IICAI-07), December 17-19, 2007, Pune (India)
18th International Symposium on Algorithms and Computation (ISAAC2007), December 17-19, 2007, Sendai (Japan)
16th Amsterdam Colloquium, December 17-19, 2007, Amsterdam (The Netherlands)
Workshop on Automata and Logic: History and Perspectives, on the Occasion of the 60th Birthday of Wolfgang Thomas, December 14-15, 2007, Aachen (Germany)
The Sixth International Conference on Machine Learning and Applications (ICMLA 2007), December 13-15, 2007, Cincinnati (OH, USA)
International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2007), December 5-7, 2007, Paris (France)
International Conference on Topology and its Applications 2007 together with the 4th Japan-Mexico Joint Meeting in Topology and its Applications, December 3-7, 2007, Kyoto (Japan)
5th Workshop on "Methods for Modalities" (M4M-5), November 29-30, 2007, Cachan (France)
1st Conference of the European Philosophy of Science Association (EPSA07), November 15-17, 2007, Madrid (Spain)
International Conference on Formal Methods in Computer-Aided Design (FMCAD 2007), November 11-14, 2007, Austin (Texas, USA)
International Conference on Infinity in Logic and Computation, November 3-5, 2007, Cape Town (South Africa)
48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 21-23, 2007, Providence (RI, USA)
14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007), October 15-19, 2007, Yerevan (Armenia)
Models And Simulations 2, October 11-13, 2007, Tilburg (The Netherlands)
3rd Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics, October 5-7, 2007, Poznan (Poland)
Fall School on Algorithmic Graph Structure Theory, October 4-7, 2007, Schloss Blankensee near Berlin (Germany)
10th Italian Conference on Theoretical Computer Science (ICTCS'07), October 3-6, 2007, Rome (Italy)
1st Synthese Annual Conference: Between Logic and Intuition: David Lewis and the Future of Formal Methods in Philosophy, October 3-5, 2007, Copenhagen (Denmark)
7th International Tbilisi Symposium on Language, Logic and Computation, October 1-5, 2007, Tbilisi (Georgia)
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), September 26-28, 2007, Macao SAR (China)
IEEE Congress on Evolutionary Computation (CEC), September 25-28, 2007, Singapore
Fall school of Logic & Complexity with emphasis on proof complexity Trest 2007, September 16-22, 2007, Trest (Czech Republic)
First IEEE International Conference on Semantic Computing (ICSC2007), September 17-19, 2007, Irvine (California, USA)
International Workshop on First-Order Theorem Proving (FTP'07), September 12-13, 2007, Liverpool, England (United Kingdom)
Computer Science Logic (CSL 07), September 11-15, 2007, Lausanne (Switzerland)
Joint Workshop: Domains VIII and Computability Over Continuous Data Types, September 11-15, 2007, Novosibirsk (Russia)
International Conference Machines, Computations and Universality, September 10-14, 2007, Orleans (France)
Games and Automata for Synthesis and Validation (GAMES 2007), September 10-13, 2007, Lausanne (Switzerland)
30th Annual German Conference on Artificial Intelligence (KI07), September 10-13, 2007, Osnabrï¿½ck (Germany)
6th International Symposium on Frontiers of Combining Systems (FroCoS 2007), September 10-12, 2007, Liverpool, England (United Kingdom)
Measure Theory; Edward Marczewski Centennial Conference, September 9-15, 2007, Bedlewo (Poland)
23rd International Conference on Logic Programming (ICLP'2007), September 8-13, 2007, Porto (Portugal)
Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2007), September 8, 2007, Porto (Portugal)
Mind & Society 14: "Philosophical and Sociological Approaches to Mathematics", September 7-8, 2007, Manchester (United Kingdom)
Formal Approaches to Multi-agent Systems (FAMAS'007), September 6-7, 2007, Durham (United Kingdom)
The Third Workshop on Combining Probability and Logic (Progic07), September 5-7, 2007, Canterbury (United Kingdom)
An International Conference on Text, Speech and Dialogue, September 3-7, 2007, Pilsen (Czech Republic)
MALLOW'007: Multi-Agent Logics, Languages, and Organisations, September 3-7, 2007, Durham (United Kingdom)
Asian Conference on Quantum Information Science, September 3-6, 2007, Kyoto (Japan)
The 45th Summer School on Algebra and Ordered Sets, September 2-7, 2007, Tale, Low Tatras (Slovakia)
10th Symposium on Formal Methods (SBMF 2007), August 29-31, 2007, Ouro Preto (Minas Gerais, Brazil)
9th European Agent Systems Summer School (EASSS'07), August 27-31, 2007, Durham (United Kingdom)
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007), August 27-31, 2007, Cesky Krumlov (Czech Republic)
16th International Symposium on Fundamentals of Computation Theory (FCT 2007), August 27-30, 2007, Budapest (Hungary)
The 3rd International Conference on Natural Computation (ICNC'07) together with The 4th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD'07), August 24-27, 2007, Haikou (China)
6th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07), August 20-24, 2007, Roskilde (Denmark)
2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007), August 20-24, 2007, Bergen (Norway)
APPROX 2007 and RANDOM 2007: 10th Intl. Workshop on Approximation Algorithms for Combinatorial Optimization Problems and 11th Intl. Workshop on Randomization and Computation, August 20-22, 2007, Princeton (USA)
Concept Types and Frames in Language, Cognition, and Science, August 20-22, 2007, Dï¿½sseldorf (Germany)
4th International Workshop on Constraints and Language Processing, August 20-21, 2007, Roskilde (Denmark)
Summer School: Formal Methods in Philosophy and Linguistics, August 19-31, 2007, Tartu (Estonia)
2nd World Congress and School on Universal Logic, August 16-22, 2007, Xi'an (China)
Workshop on Algorithms and Data Structures (WADS), August 15-17, 2007, Halifax (Canada)
Unconventional Computation 2007, August 13-17, 2007, Kingston (Ontario, Canada)
13th International Congress of Logic, Methodology and Philosophy of Science, August 9-15, 2007, Beijing (China)
19th European Summer School in Logic, Language and Information (ESSLLI 2007), August 6-17, 2007, Dublin (Ireland)
International Workshop on Hybrid Logic 2007 (HyLo 2007) August 6-10, 2007, Dublin (Ireland)
30th International Wittgenstein Symposium, August 5-11, 2007, Kirchberg am Wechsel (Austria)
Workshop: Logic, Rationality and Interaction, August 5-9, 2007, Beijing (China)
Algebraic and Topological Methods in Non-Classical Logics III (TANCL'07), August 5-9, 2007, Oxford (England, UK)
21st International Conference on Automated Deduction (CADE-21), July 17-20, 2007, Bremen (Germany)
12th International Conference on Implementation and Application of Automata (CIAA 2007), July 16-18, 2007, Prague (Czech Republic)
The Logic and Computational Complexity Workshop (LCC'07) July 15, 2007, Wroclaw (Poland)
2007 ASL European Summer Meeting (Logic Colloquium '07) July 14ï¿½19, 2007, Wroclaw (Poland)
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) July 10ï¿½14, 2007, Wroclaw (Poland)
34th International Colloquium on Automata, Languages and Programming (ICALP 2007) July 9ï¿½13, 2007, Wroclaw (Poland)
15th Annual Meeting of European Society for Philosophy and Psychology July 9ï¿½12, 2007, Geneva (Switzerland)
Studia Logica International Conference Trends in Logic V: Many-Valued Logic and Cognition July 6-9, 2007, Guangzhou (China)
14th Workshop on Logic, Language, Information and Computation (WoLLIC'2007) July 2-5, 2007, Rio de Janeiro (Brazil)
1st GPMR Workshop on Logic & Semantics; Medieval Logic and Modern Applied Logic June 28-30, 2007, Bonn (Germany)
8th International Conference on Typed Lambda Calculi and Applications (TLCA '07) June 26-28, 2007, Paris (France)
18th International Conference on Rewriting Techniques and Applications (RTA'07) June 26-28, 2007, Paris (France)
Federated Conference on Rewriting, Deduction, and Programming (RDP 2007) June 25-29, 2007, Paris (France)
28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency June 25-29, 2007, Siedlce (Poland)
Effective Methods in Algebraic Geometry (MEGA 2007) June 24-30, 2007, Strobl (Austria)
33rd International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2007) June 21-23, 2007, Dornburg near Jena (Germany)
Computability in Europe 2007 (CiE 2007): Computation and Logic in the Real World June 18-23, 2007, Siena (Italy)
8th conference on Theoretical Aspects of Rationality and Knowledge TARK XI June 20-22, 2007, Namur (Belgium)
LOGICA 2007 - 21st in the series of annual international symposia devoted to logic June 18-22, 2007, Hejnice Monastery (Czech Republic)
Automata: from Mathematics to Applications June 18-22, 2007, Palermo (Italy)
2007 Conference on Analysis of Algorithms (AofA'07) June 17-22, 2007, Juan-les-pins (France)
Fourth International Conference on Computability and Complexity in Analysis (CCA'2007) June 16-18, 2007, Siena (Italy)
International Conference on Order, Algebra, and Logics, June 12-16, 2007, Nashville (Tennessee, USA)
74th Workshop on General Algebra (AAA74), June 7-10, 2007, Tampere (Finland)
Symposium on Logical Foundations of Computer Science (LFCS'07), June 4-7, 2007, New York (USA)
The Square of Opposition - International Congress, June 1-3, 2007, Montreux (Switzerland)
4th Annual Conference of TAMC07 Theory and Applications of Models of Computation, May 22-25, 2007, Shanghai (China)
6th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-07), May 14-18, 2007, Honolulu (Hawaii, USA)
Third Workshop on Formal Topology (3WFTop), May 9-12, 2007, Padua (Italy)
23rd Conference on the Mathematical Foundations of Programming Semantics, April 11-14, 2007, New Orleans (LA, USA)
1st International Conference on Language and Automata Theory and Applications (LATA 2007), March 29 - April 4, 2007, Tarragona (Spain)
Perspectives on Mathematical Practices 2007, March 26-28, 2007, Brussel (Belgium)
Boise Extravaganza in Set Theory, March 25-27, 2007, Idaho City (Idaho, USA)
Association for Symbolic Logic 2007 Annual Meeting, March 10-13, 2007, Gainesville (Florida, USA)
Confirmation, Induction and Science, March 8-10, 2007, London (United Kingdom)
12th Estonian Winter School in Computer Science (EWSCS '07), March 4-9, 2007, Palmse (Estonia)
24th International Symposium on Theoretical Aspects of Computer Science (STACS 2007), February 22-24, 2007, Aachen (Germany)
The workshop on Model Theory and Computable Model, February 5-10, 2007, Gainesville (Florida, USA)
KNAW Academie-Colloquium: New perspectives on Games and Interaction, February 5-7, 2007, Amsterdam (The Netherlands)
Workshop on General Algebra: AAA73 + CYA22, February 1-4, 2007, Klagenfurt (Austria)
Computing: The Australasian Theory Symposium (CATS 2007), January 29 - February 2, 2007, Ballarat (Australia)
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 17-19, 2007, Nice (France)
7th International Conference on the B Method (B2007), January 17-19, 2007, Besancon (France)
Conference on Logic, Computability and Randomness 2007, January 10-13, 2007, Buenos Aires (Argentina)
International Joint Conference on Artificial Intelligence (IJCAI-07), January 9-12, 2007, Hyderabad (India)
Third International Workshop on Neural-Symbolic Learning and Reasoning, January 8, 2007, Hyderabad (India)
International conference on logic, navya nyaya and applications: a homage to Bimal Krishna Matilal, January 3-6, 2007, Kolkata (India)
The 17th Annual International Symposium on Algorithms and Computation (ISAAC 2006), December 18-20, 2006, Kolkata (India)
The 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2006), December 13-15, 2006, Kolkata (India)
1st International Workshop on Computational Social Choice, December 6-8, 2006, Amsterdam (The Netherlands)
3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), November 20-24, 2006, Gammarth/Tunis (Tunisia)
13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-13), November 13-17, 2006, Phnom Penh (Cambodia)
International Conference on Formal Ontology in Information Systems (FOIS-2006), November 9-11, 2006, Baltimore (Maryland, USA)
2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-2006), November 9-10, 2006, Athens (Georgia, USA)
8th Augustus De Morgan Workshop: Belief revision, belief merging and social choice, November 8-10, 2006, London (UK)
17th Novembertagung on the History and Philosophy of Mathematics, November 3-5, 2006, Edinburgh (Scotland, UK)
3rd International Conference on Computability and Complexity in Analysis (CCA 2006), November 1-5, 2006, Gainesville (Florida, USA)
47th Annual Symposium on Foundations of Computer Science (FOCS 2006), October 22-24, 2006, Phnom Penh (Cambodia)
The 18th Nordic Workshop on Programming Theory (NWPT'06), October 18-20, 2006, Reykjavï¿½k (Iceland)
13th Symposium on String Processing and Information Retrieval (SPIRE 2006), October 11-13, 2006, Glasgow (Scotland, UK)
9th International Conference on Discovery Science (DS 2006), October 7-10, 2006, Barcelona (Spain)
17th International Conference on Algorithmic Learning Theory, October 7-10, 2006, Barcelona (Spain)
Second International Congress on Tools for Teaching Logic, September 26-30, 2006, Salamanca (Spain)
Annual Conference of the European Association for Computer Science Logic (CSL'06), September 25-29, 2006, Szeged (Hungary)
12th International Conference on Principles and Practice of Constraint Programming (CP 2006), September 25-29, 2006, Nantes (France)
Advances in Modal Logic 2006 (AiML-2006), September 25-28, 2006, Noosa, Sunshine Coast (Queensland, Australia)
The 7th Logical Workshop "Logic & Games", September 24-30, 2006, Kazimierz Dolny (Poland)
First International Workshop on Agent Technology and Autonomic Computing (ATAC'2006), September 18-21, 2006, Erfurt (Germany)
Colloquium Logicum 2006, September 22-24, 2006, Bonn (Germany)
Rudolf Carnap - GAP.6 Workshop, September 14-15, 2006, Berlin (Germany)
Towards a New Epistemology of Mathematics, Workshop at GAP.6, September 14-15, 2006, Berlin (Germany)
12th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006) - AI, people and the web, September 13-15, 2006, Varna (Bulgaria)
10th European Conference on Logics in Artificial Intelligence (JELIA'06), September 13-15, 2006, Liverpool (United Kingdom)
5th Cracow Conference on Graph Theory "Ustron '06", September 11-15, 2006, Ustron (Poland)
GAP.6: Philosophy - Foundations and Applications, September 11-14, 2006, Berlin (Germany)
14th Annual European Symposium on Algorithms (ESA 2006), September 11-13, 2006, Zurich (Switzerland)
10th International Workshop on Cooperative Information Agents (CIA 2006), September 11-13, 2006, Edinburgh (United Kingdom)
A symposium to celebrate the 60th birthday of Gordon Plotkin, September 7-8, 2006, Edinburgh (United Kingdom)
Prague International Colloquium 2006 - Uncertainty: Reasoning about probability and vagueness, September 5-8, 2006, Prague (Czech Republic)
5th International Conference on Unconventional Computation (UC '06), September 4-8, 2006, York (United Kingdom)
Towards Mathematical Philosophy, Studia Logica International Conference, Trends in Logic IV, September 1-4, 2006, Torun (Poland)
Conference on Collective Intentionality V, August 31 - September 2, 2006, Helsinki (Finland)
The 6th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2006), August 30 - September 1, 2006, Brno (Czech Republic)
Joint 9th International Conference on Relational Methods In Computer Science and 4th International Workshop on Applications of Kleene Algebra (RelMiCS/AKA 2006), August 29 - September 2, 2006, Manchester (United Kingdom)
Workshop on Neural-Symbolic Learning and Reasoning (NeSy'06), August 29, 2006, Riva del Garda (Italy)
4th International Workshop on Model checking and Artificial Intelligence (MOCHART IV), August 29, 2006, Riva del Garda (Italy)
31st International Symposium on Mathematical Foundations of Computer Science (MFCS 2006), August 28 - September 1, 2006, High Tatras (Slovakia)
APPROX 2006 + RANDOM 2006, August 28-31, 2006, Barcelona (Spain)
Formal Approaches to Multi-agent Systems (FAMAS'06), August 28, 2006, Riva del Garda (Italy)
17th International Conference on Concurrency Theory (CONCUR'06), August 27-30, 2006, Bonn (Germany)
9th Symposium on Logic and Language, August 24-26, 2006, Budapest/Besenyotelek (Hungary)
The International Congress of Mathematicians, August 22-30, 2006, Madrid (Spain)
Formal Methods 2006, August 21-27, 2006, Hamilton (Ontario, Canada)
7th Max-Planck Summer School: Advanced Course on the Foundations of Computer Science (ADFOCS 2006), August 21-25, 2006, Saarbruecken (Germany)
11th International Conference on Implementation and Application of Automata (CIAA 2006), August 21-23, 2006, Taipei (Taiwan)
ICLP'2006 Workshop on Multi-Valued Logic Programming and Applications (MVLPA'2006), August 21, 2006, Seattle (Washington, USA)
Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2006), August 21, 2006, Seattle (Washington, USA)
International Conference on Set-theoretic Topology, August 20-25, 2006, Kielce (Poland)
22nd International Conference on Logic Programming (ICLP'06), August 17-20, 2006, Seattle (Washington, USA)
Workshop on Logic-based Methods in Programming Environments (WLPE' 06), August 16, 2006, Seattle (Washington, USA)
Communicating Mathematics in the Digital Era, August 15-18, 2006, Aveiro (Portugal)
8th International Workshop on Termination (WST 2006), August 15-16, 2006, Seattle (Washington, USA)
The 17th International Conference on Rewriting Techniques and Applications (RTA'06), August 12-14, 2006, Seattle (Washington, USA)
1st International Workshop on Probabilistic Automata and Logics (PAuL 06), Affiliated with LICS 2006, August 11, 2006, Seattle (Washington, USA)
6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS06), August 11, 2006, Seattle (Washington, USA)
International Workshop on Hybrid Logic 2006 (HyLo 2006), Affiliated with LICS 2006, August 11, 2006, Seattle (Washington, USA)
8th International Workshop on Logic and Computational Complexity, August 10-11, 2006, Seattle (Washington, USA)
Federated Logic Conference (FLoC'06), August 10-22, 2006, Seattle (Washington, USA)
Fifth International Conference on Mathematical Knowledge Management (MKM 2006), August 10-12, 2006, Wokingham (United Kingdom)
XIII Simposio Latinoamericano de Logica Matematica (SLALM) August 7-12, 2006, Oaxaca (Mexico)
29. International Wittgenstein Symposium, August 6-12, 2006, Kirchberg am Wechsel (Austria)
Workshop on Logics for Resource Bounded Agents August 7-11, 2006, Malaga (Spain)
Workshop "Rationality and Knowledge" August 7-11, 2006, Malaga (Spain)
6th Canadian Summer School on Quantum Information Processing August 7-11, 2006, Calgary (Canada)
18th European Summer School in Logic, Language and Information (ESSLLI 2006) July 31-August 11, 2006, Malaga (Spain)
2006 ASL European Summer Meeting (Logic Colloquium '06) July 27--August 2, 2006, Nijmegen (The Netherlands)
International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2006) July 24-26, 2006, Beijing (China)
4th International Conference on Computing, Communications and Control Technologies (CCCT 2006) July 20-23, 2006, Orlando (Florida, USA)
13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006) July 18-21, 2006, Stanford (California, USA)
14th International Conference on Conceptual Structures July 16-21, 2006, Aalborg (Denmark)
10th World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI 2006) July 16-19, 2006, Orlando (Florida, USA)
International Workshop on Classical Logic and Computation July 15, 2006, S. Servolo, Venice (Italy)
7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2006) July 13-15, 2006, Liverpool (United Kingdom)
International Symposium on Logic-based Program Synthesis and Transformation July 12-14, 2006, Venice (Italy)
Eighth International Workshop on Deontic Logic in Computer Science (DEON2006); Special Topic: Artificial Normative Systems July 12-14, 2006, Utrecht (The Netherlands)
33rd International Colloquium on Automata, Languages and Programming (ICALP 2006) July 10-14, 2006, S. Servolo, Venice (Italy)
8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2006) July 10-12, 2006, Venice (Italy)
Third Workshop on Constraint Handling Rules (CHR 2006) July 9, 2006, S. Servolo, Venice (Italy)
10th Scandinavian Workshop on Algorithm Theory (SWAT 2006) July 6-8, 2006, Riga (Latvia)
13th Colloquium on Structural Information and Communication Complexity (SIROCCO 2006) July 3-7, 2006, Cambridge (United Kingdom)
13th Colloquium on Structural Information and Communication Complexity (SIROCCO 2006) July 3-5, 2006, Chester (United Kingdom)
8th International Conference on Mathematics of Program Construction (MPC '06) July 3-5, 2006, Kuressaare (Estonia)
Workshop on Mathematically Structured Functional Programming (MSFP 2006) July 2, 2006, Kuressaare (Estonia)
Computability in Europe 2006 (CiE 2006): Logical Approaches to Computational Barriers June 30-July 5, 2006, Swansea (Wales, UK)
ICCL Summer School 2006: Knowledge Structures June 24-July 8, 2006, Dresden (Germany)
3rd Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR 3) June 27-28, 2006, Paris (France)
Summer School on Game Theory in Computer Science June 26-30, 2006, Aarhus (Denmark)
The 19th Annual Conference on Learning Theory June 22-25, 2006, Pittsburgh (Pennsylvania, USA)
Computing and Philosophy, IV European Meeting E-CAP 2006 June 22-24, 2006, Trondheim (Norway)
Logica 2006 June 19-23, 2006, Hejnice (Czech Republic)
Carnegie Mellon Summer School in Logic and Formal Epistemology June 12-30, 2006, Pittsburgh (Pennsylvania, USA)
1st Workshop: 'From Wiki to Semantics' (SemWiki2006) June 11-14, 2006, Budva (Montenegro)
3rd Annual European Semantic Web Conference June 11-14, 2006, Budva (Montenegro)
4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'06) June 10-11, 2006, Budva (Montenegro)
Logic and Mathematics 2006 June 9-11, 2006, Urbana-Champaign (Illinois, USA)
International Computer Science Symposium CSR 2006 June 8-12, 2006, St.Petersburg (Russia)
AAA 72 - Conference on Lattice Theory, in honour of the 70th birthday of George Grï¿½tzer and E. Tamï¿½s Schmidt June 6-9, 2006, Budapest (Hungary)
The Cologne/Twente Workshop on Graphs and Combinatorial Optimization (CTW 2006) June 5-9, 2006, Lambrecht (Germany)
Fourth Workshop on Learning with Logics and Logics for Learning (LLLL, L4) June 5 or 6, 2006, Tokyo (Japan)
10th International Conference on Principles of Knowledge Representation and Reasoning June 2-5, 2006, Lake District (United Kingdom)
Eleventh International Workshop on Non-Monotonic Reasoning May 30 - June 1, 2006, Lake District (United Kingdom)
6th International Conference on Algorithms and Complexity (CIAC '06) May 29-31, 2006, Rome (Italy)
Third Annual Austin-Berkeley-CMU Formal Epistemology Workshop (FEW 2006) May 25-28, 2006, Berkeley (California, USA)
Dutch Gï¿½del Centenary Celebration May 26, 2006, Utrecht, Jaarbeurs (The Netherlands)
5th International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2006) "Building Dependable Multi-Agent Systems" May 22-23, 2006, Shanghai (China)
Workshop on the Urysohn space May 21-24, 2006, Beer Sheva (Israel)
38th ACM Symposium on Theory of Computing (STOC '06) May 21-23, 2006, Seattle (Washington, USA)
2006 ASL Annual Meeting May 17-21, 2006, Montreal (Canada)
Theory and Applications of Models of Computation (TAMC06), May 15-20, 2006, Beijing (PR of China)
19th International FLAIRS Conference Natural Language and Knowledge Representation, May 11-13, 2006, Melbourne Beach (Florida, USA)
Fourth International Workshop on Programming Multi-Agent Systems (ProMAS-06), May 8-12, 2006, Hakodate (Japan)
5th International Joint Conference on Autonomous Agents and Multiagent Systems (aamas-06), May 8-12, 2006, Hakodate (Japan)
Seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII), May 8-9, 2006, Hakodate (Japan)
4th International Workshop on Declarative Agent Languages and Technologies (DALT 2006), May 8, 2006, Hakodate (Japan)
3rd International Workshop on Philosophy and Informatics (WSPI 2006), May 3-4, 2006, Saarbrï¿½cken (Germany)
Horizons of Truth: Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge, Gï¿½del Centenary 2006 April 27-29, 2006, Vienna (Austria)
Workshop on Logic, Models and Computer Science (LMCS06), In memory of Sauro Tulipani April 20-22, 2006, Camerino (Italy)
MODNET Summer School April 19-22, 2006, Freiburg (Germany)
International Symposium on Agent Based Modeling and Simulation (ABModSim 2006) April 18-21, 2006, Vienna (Austria)
18th European Meeting on Cybernetic Science and Systems Research April 18-21, 2006, Vienna (Austria)
New Directions in Proof Complexity April 10-13, 2006, Oxford (United Kingdom)
Category Theory and its Applications: a conference in memory of Saunders Mac Lane April 7-11, 2006, Chicago (USA)
22nd British Colloquium for Theoretical Computer Science (BCTCS 2006) April 4-7, 2006, Swansea, Wales (United Kingdom)
Boise Extravaganza in Set Theory, March 31-April 2, 2006, Boise (ID, USA)
Foundations of Software Science and Computation Structures (FOSSACS 2006) March 27-31, 2006, Vienna (Austria)
8th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006) March 25-27, 2006, Vienna (Austria)
Truth and Proof: Kurt Gï¿½del and the Foundations of Mathematics March 25-26, 2006, Edinburgh (United Kingdom)
International Workshop on Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory March 20-24, 2006, Oxford (United Kingdom)
Latin American Theoretical INformatics (LATIN 2006) March 20-24, 2006, Valdivia (Chile)
12th annual Southeastern Logic Symposium (SEALS) March 10-12, 2006, Gainesville (Florida, USA)
11th Estonian Winter School in Computer Science (EWSCS'06) March 5-10, 2006, Palmse (Estonia)
An Isaac Newton Institute Workshop: Logic and Databases February 27 - March 3, 2006, Cambridge (United Kingdom)
20th Workshop on Logic Programming (WLP 2006) February 22-24, 2006, Vienna (Austria)
71st Workshop on General Algebra (AAA71) together with 21st Conference for Young Algebraists (CYA21) February 9-12, 2006, Bedlewo near Poznan (Poland)
Days in Logic 2006 January 19-21, 2006, Coimbra (Portugal)
Joint Mathematics Meeting, January 12-15, 2006, San Antonio (Texas, USA)
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages January 11-13, 2006, Charleston (South Carolina, USA)
Methodology 2006 January 8-10, 2006, Visva-Bharati, Santiniketan (India)
Logical Consequence and its Combinations, December 20-22 2005, Pune (India)
Workshop on Coverings, Selections and Games in Topology, December 19-22, 2005, Lecce (Italy)
The 16th Annual International Symposium on Algorithms and Computation (ISAAC 2005), December 19-21, 2005, Sanya (Hainan, China)
Fifteenth Amsterdam Colloquium, December 19-21, 2005, Amsterdam (The Netherlands)
The 16th Meeting of Computational Linguistics in the Netherlands (CLIN 2005), December 16, 2005, Amsterdam (The Netherlands)
The Third European Workshop on Multi-Agent Systems, December 7-8, 2005, Brussels (Belgium)
Logic Summer School, December 5-16, 2005, Canberra (Australia)
12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12), December 2-6, 2005, Montego Bay (Jamaica)
Methods for Modalities 2005, December 1-2, 2005, Berlin - Adlershof (Germany)
Building and Applying Ontologies for the Semantic Web, December, 2005, Covilhï¿½ (Portugal)
12th Portuguese Conference on Artificial Intelligence, December, 2005, Covilhï¿½ (Portugal)
4th Mexican International Conference on Artificial Intelligence (MICAI 2005}, November 14-18, 2005, Monterrey (Mexico)
7th Augustus de Morgan Workshop: Interactive Logic: Games and Social Software, November 4-7, 2005, London (United Kingdom)
The 20th International Symposium on Computer and Information Sciences (ISCIS'05), October 26-28, 2005, Istanbul (Turkey)
International Workshop Branching space-times, October 24-25, 2005, Krakow (Poland)
46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), October 23-25, 2005, Pittsburgh (PA, USA)
3rd Symposium on Stochastic Algorithms, Foundations and Applications (SAGA 2005), October 20-22, 2005, Moscow (Russia)
17th Nordic Workshop on Programming Theory (NWPT'05), October 19-21, 2005, Copenhagen (Denmark)
International Colloquium on Theoretical Aspects of Computing (ICTAC'05), October 17-21, 2005, Hanoi (Vietnam)
Ninth Italian Conference on Theoretical Computer Science (ICTCS'05), October 12-14, 2005, Siena (Italy)
3rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), October 4-7, 2005, Taipei (Taiwan)
13th Annual European Symposium on Algorithms (ESA 2005), October 3-6, 2005, Ibiza (Spain)
25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), October 2-5, 2005, Taipei (Taiwan)
Twenty first International Conference on Logic Programming (ICLP'05), October 2-5, 2005, Sitges/Barcelona (Spain)
International Conference on Principles and Practice of Constraint Programming (CP'05), October 1-5, 2005, Sitges/Barcelona (Spain)
XX. Deutschen Kongress fï¿½r Philosophie, September 26-30, 2005, Berlin (Germany)
International Workshop on Curry and Functional Logic Programming (WCFLP 2005), September 29, 2005, Tallinn (Estonia)
International Conference on Functional Programming (ICFP 2005), September 26-28, 2005, Tallinn (Estonia)
2005 Australasian Association for Logic Meeting, September 24-25, 2005, Perth (Australia)
4th International Workshop on Computational Models of Scientific Reasoning and Applications (CMSRA-IV), September 21-23, 2005, Lisbon (Portugal)
Fifth International Conference on Quality Software (QSIC 2OO5), September 19-21, 2005, Melbourne (Australia)
16th Australasian Workshop on Combinatorial Algorithms (AWOCA 2005), September 18-21, 2005, Ballarat (Victoria, Australia)
International Wittgenstein Symposium, September 15-17, 2005, Toledo (Spain)
Sixth International Workshop on Fuzzy Logic (WILF 2005), September 15-17, 2005, Crema, Milan, (Italy)
Automated Reasoning with Analytic Tableaux and Related Methods, September 14-17, 2005, Koblenz (Germany)
6th International Tbilisi Symposium on Language, Logic and Computation, September 12-16, 2005, Batumi (Georgia)
7th French International Colloquium on Graph Theory (ICGT'05), September 12-16, 2005, Hyeres, Var (France)
Fall school of Logic Pec pod Snezkou 2005, September 11-17, 2005, Pec pod Snezkou (Czech Republic)
Foundational Aspects of Ontologies (FOnt 2005), September 11, 2005, Koblenz (Germany)
IST-FET Summer School on Applied Semantics (APPSEM-II), September 8-12, 2005, Frauenchiemsee near Munich (Germany)
International Conference on Computer Science (CIC-2005), September 5-9, 2005, Mexico City (Mexico)
Training workshop on Mathematical Logic and Applications, September 5-9, 2005, Fischbachau near Munich (Germany)
8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), September 5-8, 2005, Diamante, Cosenza (Italy)
Summer School on General Algebra and Ordered Sets, September 4-10, 2005, Malï¿½ Morï¿½vka in the Jeseniky mountains (Czech Republic)
1st Conference on Algebra and Coalgebra in Computer Science, September 3-6, 2005, Swansea (Wales, UK)
B.I.G. Set Theory Meeting, September 3-5, 2005, Bristol (United Kingdom)
2005 Meeting of the British Logic Colloquium, September 1-3, 2005, Bristol (United Kingdom)
International algebraic conference, August 29 - September 3, 2005, Ekaterinburg (Russia)
Fifth European Congress for Analytic Philosophy, August 27-31, 2005, Lisbon (Portugal)
Second International Conference on Computability and Complexity in Analysis, August 26-29, 2005, Kyoto (Japan)
Philosophical Perspectives on Scientific Understanding, August 25-27, 2005, Amsterdam (The Netherlands)
The Prague International Colloquium: Dutch Book Arguments, August 23-26, 2005, Prague (Czech Republic)
Computer Science Logic (CSL 2005), August 22-25, 2005, Oxford (United Kingdom)
8th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems and 9th. International Workshop on Randomization and Computation (APPROX 2005 + RANDOM 2005), August 22-24, 2005, Berkeley (California, USA)
15th International Symposium on Fundamentals of Computation Theory, August 17-20, 2005, Luebeck (Germany)
11th Annual International Computing and Combinatorics Conference COCOON'05, August 16-19, 2005, Kunming (Yunnan, P.R. China)
The 9th Asian Logic Conference, August 16-19, 2005, Novosibirsk (Russia)
Workshop on Belief Revision and Dynamic Logic, August 15-19, 2005, Edinburgh (Scotland)
9th Workshop on Algorithms and Data Structures, August 15-17, 2005, Waterloo (Canada)
ILP 15th International Conference on 2005 Inductive Logic Programming, August 10-13, 2005, Bonn (Germany)
17th European Summer School in Logic, Language and Information, August 8-19, 2005, Edinburgh (Scotland)
International Summer School: Philosophy, Probability and Physics, August 7-13, 2005, Konstanz (Germany)
Learning Language in Logic (LLL05): Extracting Relations from Bio-medical Texts (ICML05 workshop), August 7, 2005, Bonn (Germany)
22nd International Conference On Machine Learning (ICML 2005), August 7-11, 2005, Bonn (Germany)
Logic in Hungary, August 5-11, 2005, Budapest (Hungary)
10th conference on Formal Grammar and the 9th Meeting on the Mathematics of Language, August 5-7, 2005, Edinburgh (Scotland)
Workshop on Neural-Symbolic Learning and Reasoning (NeSy'05), August 1, 2005, Edinburgh (Scotland)
Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), July 30-August 5, 2005, Edinburgh (Scotland)
Logic Colloquium '05: ASL European Summer Meeting, July 28-August 3, 2005, Athens (Greece)
4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 05), July 25-29, 2005, Utrecht (The Netherlands)
3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005), July 25 or 26, 2005, Utrecht (The Netherlands)
Seventh International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2005), July 25 or 26, 2005, Utrecht (The Netherlands)
Third International Workshop on Programming Multi-Agent Systems (ProMAS'05), July 25 or 26, 2005, Utrecht (The Netherlands)
Workshop on Formal Models of Resource-Bounded Agents (FMRBA'05), July 25-26, 2005, Utrecht (The Netherlands)
Twentieth International Conference on Automated Deduction (CADE-20), July 22-27, 2005, Tallinn (Estonia)
CADE-20 Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability, July 22, 2005, Tallinn (Estonia)
The 5th International Algebraic Conference in Ukraine, July 20-27, 2005, Odessa (Ukraine)
Asian Mathematical Conference 2005, July 20-23, 2005, Singapore
Twelfth Workshop on Logic, Language, Information and Computation (WoLLIC'2005), July 19-22, 2005, Florianï¿½polis / Santa Catarina (Brazil)
Methods of Logic in Mathematics II, July 18-24, 2005, Saint-Petersburg (Russia)
European Agent Systems Summer School, July 18-22, 2005, Utrecht (The Netherlands)
Formal Methods 2005, July 18-22, 2005, Newcastle (United Kingdom)
Calculemus 2005. 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, July 18-19, 2005, Newcastle (United Kingdom)
Structures and Deduction: The quest for the essence of proofs, July 16-17, 2005, Lisbon (Portugal)
Fourth International Conference on Mathematical Knowledge Management (MKM 2005) July 15-16, 2005, Bremen (Germany)
3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR'05), July 12, 2005, Edinburgh (Scotland)
Categories in Algebra, Geometry and Mathematical Physics, July 11-16, 2005, Sydney (Australia)
The 32nd International Colloquium on Automata, Languages and Programming ICALP'05, July 11-15, 2005, Lisbon (Portugal)
Model Theory, Algebraic and Analytic Geometry, July 11-15, 2005, Cambridge (England)
17th International School for Computer Science "Formal Methods: Theory and Practice", July 10-23, 2005, Lipari (Italy)
The 4th International Workshop on Proof Theory, Computation, Complexity (PCC'05), July 16-17, 2005, Lisbon (Portugal)
An Isaac Newton Institute Workshop: Model Theory, Algebraic and Analytic Geometry, July 11-15, 2005, Cambridge (United Kingdom)
Novi Sad Algebraic Conference '05, July 11-15, 2005, Novi Sad (Serbia and Montenegro)
9th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2005), July 10-13, 2005, Orlando (Florida, USA)
The 20th Summer Conference on Topology and its Applications, July 10-13, 2005, Granville (Ohio, USA)
Seventeenth International Conference on Computer Aided Verification (CAV 2005), July 6-10, 2005, Edinburgh (Scotland)
Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, July 6-9, 2005, Barcelona (Spain)
Fifth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-05), July 5-8, 2005, Paris (France)
Universal Algebra and Lattice Theory, July 4-8, 2005, Szeged (Hungary)
ICCL Summer School 2005: Logic-Based Knowledge Representation, July 2-17, 2005, Dresden (Germany)
Mile High Conference on Quasigroups, Loops and Nonassociative Systems, July 2-9, 2005, Denver (Colorado, USA)
Workshop: The Semantics/Pragmatics Distinction: What Is It, and Does It Really Matter?, July 5, 2005, Paris (France)
18th Annual Conference on Learning Theory, June 27-30, 2005, Bertinoro (Italy)
10th International Conference on Implementation and Application of Automata (CIAA 2005), June 27-29, 2005, Sophia Antipolis (France)
Sixth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VI), June 27-29, 2005, London (United Kingdom)
International Workshop on Computations on the continuum, June 27-28, 2005, Lisbon (Portugal)
The Twentieth IEEE Symposium on Logic In Computer Science (LICS 2005), June 26-29, 2005, Chicago (Illinois, USA)
Seventh International Workshop on Logic and Computational Complexity (LCC'05), June 24-25, 2005, Chicago (Illinois, USA)
31st International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2005), June 23-25, 2005, Metz (France)
Two-month program on Computational Prospects of Infinity, June 20-August 15, 2005, Singapore
8th International Conference on Theory and Applications of Satisfiability Testing (SAT-2005), June 19-23, 2005, St Andrews (Scotland)
Algebraic and Topological Methods in Non-Classical Logics II, June 15-18, 2005, Barcelona (Spain)
ACM Special Interest Group on Management of Data and Principles of Database Systems Conference (SIGMOD/PODS 2005), June 13-16, 2005, Baltimore (Maryland, USA)
2005 IEEE Conference on Computational Complexity, June 12-15, 2005, San Jose (California, USA)
TARK X: (T)heoretical (A)spects of (R)ationality and (K)nowledge, June 10-12, 2005, Singapore
Workshop on the Semantics and Pragmatics of Dialogues SEMDIAL 2005 - DIALOR, June 9-11, 2005, Nancy (France)
Computability in Europe 2005: New Computational Paradigms, June 8-12, 2005, Amsterdam (The Netherlands)
Fields Institute Summer School on Operator Algebras, June 7-17, 2005, Ottawa (Ontario, Canada)
Constraints in Discourse Workshop, June 3-5, 2005, Dortmund (Germany)
Norms, Reasoning and Knowledge in Technology Workshop, June 3-4, 2005, Boxmeer (The Netherlands)
33rd Theoretical Computer Science Spring School: Computational Complexity, May 30-June 3, 2005, Montagnac-les-truffes, Alpes de Haute Provence (France)
2nd Workshop on the Rewriting Calculus, May 30-31, 2005, Palaiseau / Paris (France)
70. Arbeitstagung Allgemeine Algebra (70th Workshop on General Algebra), May 26-29, 2005, Wien (Austria)
Proof in Mathematics: Logical, historical, and philosophical approaches, May 24-28, 2005, Lille (France)
International Conference on Computational Science (ICCS 2005), May 22-25, 2005, Atlanta (USA)
7th International Symposium on Logical Formalizations of Commonsense Reasoning, May 22-24, 2005, Corfu (Greece)
Philosophy, Logic, and Linguistics (SEP 2005), May 19-22, 2005, Toronto (Canada)
ISMVL-2005 35th International Symposium on Multiple-Valued Logic, May 18-21, 2005, Calgary (Canada)
Cologne/Twente Workshop on Graphs and Combinatorial Optimization 2005, May 18-20, 2005, Cologne (Germany)
Workshop: Work growing out of Vaught's Conjecture, May 17-24, 2005, Notre Dame (IN, USA)
Fifth Haifa Workshop on Interdisciplinary Applications of Graph Theory, Combinatorics, and Algorithms, May 16-19, 2005, Haifa (Israel)
The Eighth SIAM Conference on Optimization, May 15-19, 2005, Stockholm (Sweden)
7th IMACS International Symposium on Iterative Methods in Scientific Computing, May 5-8, 2005, Toronto (Canada)
Logical Aspects of Computational Linguistics (LACL 2005), April 28-30, 2005, Bordeaux (France)
UNIF 2005, April 22, 2005, Nara (Japan)
Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 05), April 21-25, 2005, Nara (Japan)
International Conference on Rewriting Techniques and Applications (RTA 2005), April 19-21, 2005, Nara (Japan)
South East Logic Symposium, April 15-17, 2005, Gainesville (Florida, USA)
Algorithmic Algebra and Logic 2005, April 3-6, 2005, Passau (Germany)
Constructive Logic for Automated Software Engineering, April 3, 2005, Edinburgh (Scotland)
The European Joint Conferences on Theory and Practice of Software (ETAPS), April 2-10, 2005, Edinburgh (Scotland)
An Introduction to Recent Applications of Model Theory, March 29-April 8, 2005, Cambridge (United Kingdom)
1st World Congress and School on Universal Logic (UNILOG 2005), School: March 26-30; Congress: March 31-April 3, 2005, Montreux (Switzerland)
Boise Extravaganza in Set Theory, March 25-27, 2005, Boise (ID, USA)
Spring Meeting of the Association for Symbolic Logic, March 23-27, 2005, San Francisco (California, USA)
Extensions of Hilbert's Tenth Problem, March 21-25, 2005, Palo Alto (California, USA)
Association for Symbolic Logic 2005 Annual Meeting, March 19-22, 2005, Stanford (California, USA)
69. Arbeitstagung Allgemeine Algebra (69th Workshop on General Algebra), March 18-20, 2005, Potsdam (Germany)
Spring School on Infinite Games and Their Applications, March 15-19, 2005, Bonn (Germany)
11th International Conference on Logic for Programming Artificial Intelligence and Reasoning, March 14-18, 2005, Montevideo (Uruguay)
Workshop on Hew Horizons in Computing (NHC) - Recent Trends in Theoretical Computer Science, February 28 - March 3, 2005, Kyoto (Japan)
Very Informal Gathering of Logicians February 3-6, 2005, Los Angeles (California, USA)
Sixth International Workshop on Computational Semantics January 12-14, 2005, Tilburg (The Netherlands)
First Indian Conference on Logic and its Relationship with other Disciplines January 8-12, 2005, Bombay, Mumbai (India)
Logical methods in Epistemology, Semantics & Philosophy of Mathematics January 6-8, 2005, Bristol (United Kingdom)
The Second European Workshop On Multi-Agent Systems, December 16-17, 2004, Barcelona (Spain)
International Workshop on Automata, Structures and Logic, December 11-13, 2004, Auckland (New Zealand)
The Continuum in Mathematics and Philosophy, November 25-27, 2004, Copenhagen (Denmark)
Philosophy of Science Association, Nineteenth Biennial Meetings, November 18-21, 2004, Austin (Texas, USA)
Model theory of arithmetic structures, October 15-17, 2004, Freiburg (Germany)
North Texas Logic Conference, October 8-10, 2004, Denton (Texas, USA)
9th European Conference on Logics in Artificial Intelligence JELIA'04, September 27-30, 2004, Lisbon (Portugal)
Logic, Ontology, Aesthetics. The Golden Age of Polish Philosophy, International Conference on the History and Actuality of the Polish Contribution to Twentieth Century Philosophy, September 24-26, 2004, Montrï¿½al (Quï¿½bec, Canada)
Conference on Logic, Computability, and Randomness, September 20-24, 2004, Cï¿½rdoba (Argentina)
Advances in Modal Logic, September 9-11, 2004, Manchester (UK)
British Logic Colloquium, September 6-8, 2004, Leeds (United Kingdom)
Summer School on General Algebra and Ordered Sets, September 5-11, 2004, Malï¿½ Morï¿½vka in the Jeseniky mountains (Czech Republic)
Eighth Symposium on Logic and Language, August 26-29, 2004, Debrecen (Hungary)
Algebras, Lattices, Varieties - A Conference in Honor of Walter Taylor, August 15-18, 2004, Boulder (Colorado, USA)
Sixteenth European Summer School in Logic, Language and Information, August 9-21, 2004, Nancy (France)
Workshop on Combination of Logics: Theory and Applications, July 28-30, 2004, Lisbon (Portugal)
2004 ASL European Summer Meeting (Logic Colloquium '04), July 25-31, 2004, Torino (Italy)
Eleventh Workshop on Logic, Language, Information and Computation, July 19-22, 2004, Fontainebleau, Paris (France)
The Second International Workshop on Declarative Agent Languages and Technologies (DALT-2004), 19 or 20 July 2004, New York (USA)
Nineteenth Annual IEEE Symposium on Logic in Computer Science, July 14-17, 2004, Turku (Finland)
Dutch Proof Tools Day, July 9, 2004, Nijmegen (Netherlands)
Second International Joint Conference on Automated Reasoning, July 4-8, 2004, Cork (Ireland)
International Symposium on Symbolic and Algebraic Computation, July 4-7, 2004, Santander (Spain)
Negation in Constructive Logic, July 1-4, 2004, Dresden (Germany)
Mathematical Knowledge, June 30-July 2, 2004, Cambridge (United Kingdom)
Bayesian Epistemology, June 28, 2004, London (United Kingdom)
Nineteenth IEEE Conference on Computational Complexity, June 21-24, 2004, Amherst (Massachussets, USA)
Galway Topology Colloquium, June 21-22, 2004, Galway (Ireland)
Eighth Workshop on the Semantics and Pragmatics of Dialogue (Catalogue'04), June 19-21, 2004, Barcelona (Spain)
68. Arbeitstagung Allgemeine Algebra (68th Workshop on General Algebra), June 10-13, 2004, Dresden (Germany)
Residuated Structures and Many-valued Logics, June 2-5, 2004, Patras (Greece)
Logic, Algebra, and Geometry, June 1-7, 2004, St. Petersburg (Russia)
Federated Conference on Rewriting, Deduction and Programming, May 31-June 5, 2004, Aachen (Germany)
Social Software, May 27-29, 2004, Copenhagen (Denmark)
2004 ASL Annual Meeting, May 19-23, 2004, Pittsburgh (Pennsylvania, USA)
Applications of Logic in Philosophy and Foundations of Mathematics (in Polish), April 26-30, 2004, Karpacz (Poland)
Virginia Tech Spring Conference: Peirce-pectives on Metaphysics and the Sciences, April 23-25, 2004, Blacksburg (Virginia, USA)
Seventh International Symposium on Functional and Logic Programming (FLOPS 2004), April 7--9, 2004, Nara (Japan)
European Joint Conferences on Theory and Practice of Software (ETAPS 2004), March 27-April 4, 2004, Barcelona (Spain)
67. Arbeitstagung Allgemeine Algebra (67th Workshop on General Algebra), March 26-28, 2004, Potsdam (Germany)
National Conference on General Algebra and Discrete Mathematics, March 10-13, 2004, Bangkok (Thailand)
Compositionality, Concepts, and Cognition, An Interdisciplinary Conference in Cognitive Science, February 28-March 3, 2004, Dï¿½sseldorf (Germany)
Third International Symposium on Foundations of Information and Knowledge Systems, February 17-20, 2004, Vienna (Austria)
Victoria International Conference, February 9-13, 2004, Wellington (New Zealand)
Modalism and Mentalism in Contemporary Epistemology, January 29-31, 2004, Aarhus (Denmark)
Latin American Symposium on Mathematical Logic, January 12-16, 2004, San Josï¿½ (Costa Rica)
Logic and Computation Workshop, January 11-16, 2004, Tahuna Beach, Nelson (New Zealand)
International Congress on Logic Programming and Nonmonotonic Reasoning, January 6-8, 2004, Fort Lauderdale, (Florida, USA)
Conference The Logic of Time and Modality, October 31-November 1, 2003, Roskilde (Denmark)
Conference FOL75 - 75 Years of First-Order Logic, September 18-21, 2003, Berlin (Germany)
Summer School on General Algebra and Ordered Sets, August 31-September 6, 2003, Kosicka Bela near Kosice (Slovakia)
21st World Congress of Philosophy, August 10-17, 2003, Istanbul (Turkey)
12th International Congress of Logic Methodology and Philosophy of Science, August 07-13, 2003, Oviedo (Spain)

last modfied 30.09.2010; designer and webmaster: Krzysztof Pszczola

Links: Past Events

Home

Boards

Information for Authors

Special Issues - Call for Papers

Book Reviews

Bookseries Trends in Logic

SL at Springer

Past Events

Links

Current Events

General

Sets of Links

Past Events

Community News