Modal fixpoint logics constitute a research field of considerable interest, not only because of their many applications, but also because of their rich logical/mathematical theory. Systems such as LTL, PDL, CTL, and the modal mu-calculus, originate from computer science, and are for instance applied in the theory of program specification and verification. The richness of their theory stems from the deep connections with various fields in logic, mathematics, and theoretical computer science, such as lattices and universal (co-)algebra, modal logic, automata, and game theory.

The aim of the workshop is to bring together researchers from various backgrounds, in particular, computer scientists and pure logicians, who share an interest in the area. The invited talks together will represent an overview of the richness of the theory of modal fixpoint logics.

For more information, see http://staff.science.uva.nl/~yde/mfl

There will be a Very Informal Gathering of logicians at UCLA, starting the afternoon of Friday, February 1, 2008, and ending at noon on Sunday, February 3, 2008. This is the fourteenth in a series of occasional meetings, which started in 1975-76 and are characterized by few formal talks (in all areas of logic) and plenty of time for informal contact. The invited speakers are Jeremy Avigad, Deirdre Haskell, Marcus Kracht, Justin Moore, Chris Pollett, Jan Reimann, and Christian Rosendal.

The meeting is open to all, and modest Travel Awards are available for graduate students in logic. Further information can be found on the UCLA Logic Center website, http://www.logic.ucla.edu/.

There will be a Very Informal Gathering of logicians at UCLA, starting the afternoon of Friday, February 1, 2008, and ending at noon on Sunday, February 3, 2008. This is the fourteenth in a series of occasional meetings, which started in 1975-76 and are characterized by few formal talks (in all areas of logic) and plenty of time for informal contact. The invited speakers are Jeremy Avigad, Deirdre Haskell, Marcus Kracht, Justin Moore, Chris Pollett, Jan Reimann, and Christian Rosendal.

The meeting is open to all, and modest Travel Awards are available for graduate students in logic. Further information can be found on the UCLA Logic Center website, http://www.logic.ucla.edu/.

ManyVal is a prospective series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited to approximately thirty participants in order to facilitate close and informal interaction. There are no parallel sessions.

ManyVal'08 will focus on:
States of MV-algebras and generalizations
Topological dualities in algebraic logic
Measure theory on dual spaces of algebras of logics
Subjective probability and many-valued reasoning.

For more information, see http://manyval.dsi.unimi.it/

There will be a Very Informal Gathering of logicians at UCLA, starting the afternoon of Friday, February 1, 2008, and ending at noon on Sunday, February 3, 2008. This is the fourteenth in a series of occasional meetings, which started in 1975-76 and are characterized by few formal talks (in all areas of logic) and plenty of time for informal contact. The invited speakers are Jeremy Avigad, Deirdre Haskell, Marcus Kracht, Justin Moore, Chris Pollett, Jan Reimann, and Christian Rosendal.

The meeting is open to all, and modest Travel Awards are available for graduate students in logic. Further information can be found on the UCLA Logic Center website, http://www.logic.ucla.edu/.

The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, integers, rational or p-adic numbers, serial or on-line computations, continued fractions, fixed or multiple precision, interval and stochastic arithmetic.

For more information, see http://www.ac.usc.es/rnc8/

The 35th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place from the 6th to the 13th of July 2008 in Reykjavik, Iceland.

For further information see: http://www.ru.is/icalp08/.

The Marie Curie Research Training Site GLoRiClass took up its work in February 2006. Now it's coming up to the half-way point. So we shall have a public event to mark this: the GLoRiClass Half Time Event.

On February 13, 2008, we will celebrate this event. The location, in Amsterdam, will be announced shortly.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=11

Keynote Speaker: Prof. Alva Noe (Univ. of California/Berkeley). Registration is open until the 31st of January 2008. Selected Graduate Papers from the areas philosophy of mind or epistemology will be presented and discussed at the Graduate Conference.

For more information, see http://www.research-school.rub.de/cms/rudolf_carnap_lectur.html.

Keynote Speaker: Prof. Alva Noe (Univ. of California/Berkeley). Registration is open until the 31st of January 2008. Selected Graduate Papers from the areas philosophy of mind or epistemology will be presented and discussed at the Graduate Conference.

For more information, see http://www.research-school.rub.de/cms/rudolf_carnap_lectur.html.

The purpose of the colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the various related areas of philosophy (philosophy of language, epistemology, metaphysics, philosophy of mathematics, and philosophy of mind). The colloquium is to take place every year, alternating between Paris, St Andrews, Barcelona, and Oslo.

For more information, see: http://www.st-andrews.ac.uk/~arche/spe/

The DL workshop is the major annual event of the description logic research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications.

For more information, see http://dl.kr.org/dl2008/

Keynote Speaker: Prof. Alva Noe (Univ. of California/Berkeley). Registration is open until the 31st of January 2008. Selected Graduate Papers from the areas philosophy of mind or epistemology will be presented and discussed at the Graduate Conference.

For more information, see http://www.research-school.rub.de/cms/rudolf_carnap_lectur.html.

The Department of Philosophy of the University of Geneva and the Genevan centre of metaphysics EIDOS organize a conference entitled "Because", which will take place from the 15th to the 17th of February 2008 in Geneva. This three-day conference will be devoted to the topic of non-causal explanatory links.

For more information, see http://www.unige.ch/lettres/philo/because.html or contact Fabrice Correia at fabricecorreia at gmail.com.

The Department of Philosophy of the University of Geneva and the Genevan centre of metaphysics EIDOS organize a conference entitled "Because", which will take place from the 15th to the 17th of February 2008 in Geneva. This three-day conference will be devoted to the topic of non-causal explanatory links.

For more information, see http://www.unige.ch/lettres/philo/because.html or contact Fabrice Correia at fabricecorreia at gmail.com.

The Department of Philosophy of the University of Geneva and the Genevan centre of metaphysics EIDOS organize a conference entitled "Because", which will take place from the 15th to the 17th of February 2008 in Geneva. This three-day conference will be devoted to the topic of non-causal explanatory links.

For more information, see http://www.unige.ch/lettres/philo/because.html or contact Fabrice Correia at fabricecorreia at gmail.com.

The Scandinavian Workshop on Algorithm Theory (SWAT) is a biennial international conference, which alternates with the Workshop on Algorithms and Data Structures (WADS), intended as a forum for researchers in the area of design and analysis of algorithms and data structures.

For more information, see http://www.dmist.net/swat2008/

This is to announce the ninth installment of the workshop that takes linguists and experimental philosophers to the ski slopes. It will be held February 21-25 2008, on the mountaintop Szrenica, Poland (the same location as every year).

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is Complexity and Language - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating typical Szklarska Poreba concerns to complexity are especially welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative.

The possibility exists to hire cross-country skis, however we need to know in advance who would be interested and (crucially) how big their feet are.

For more information, see http://staff.science.uva.nl/~sjagerde/szklarska/ or here.

The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers.

The programme committee invites submissions of papers for oral and poster presentation and for appearance in the proceedings. We welcome submissions with topics within the areas of Logic, Language and Computation. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation. Submission Deadline (extended) is 22 February 2008.

For more information, see http://staff.science.uva.nl/~kbalogh/StuS13/

This is to announce the ninth installment of the workshop that takes linguists and experimental philosophers to the ski slopes. It will be held February 21-25 2008, on the mountaintop Szrenica, Poland (the same location as every year).

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is Complexity and Language - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating typical Szklarska Poreba concerns to complexity are especially welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative.

The possibility exists to hire cross-country skis, however we need to know in advance who would be interested and (crucially) how big their feet are.

For more information, see http://staff.science.uva.nl/~sjagerde/szklarska/ or here.

This is to announce the ninth installment of the workshop that takes linguists and experimental philosophers to the ski slopes. It will be held February 21-25 2008, on the mountaintop Szrenica, Poland (the same location as every year).

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is Complexity and Language - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating typical Szklarska Poreba concerns to complexity are especially welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative.

The possibility exists to hire cross-country skis, however we need to know in advance who would be interested and (crucially) how big their feet are.

For more information, see http://staff.science.uva.nl/~sjagerde/szklarska/ or here.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.

For more information, see http://www.cin.ufpe.br/~wollic/wollic2008/

This is to announce the ninth installment of the workshop that takes linguists and experimental philosophers to the ski slopes. It will be held February 21-25 2008, on the mountaintop Szrenica, Poland (the same location as every year).

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is Complexity and Language - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating typical Szklarska Poreba concerns to complexity are especially welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative.

The possibility exists to hire cross-country skis, however we need to know in advance who would be interested and (crucially) how big their feet are.

For more information, see http://staff.science.uva.nl/~sjagerde/szklarska/ or here.

This is to announce the ninth installment of the workshop that takes linguists and experimental philosophers to the ski slopes. It will be held February 21-25 2008, on the mountaintop Szrenica, Poland (the same location as every year).

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is Complexity and Language - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating typical Szklarska Poreba concerns to complexity are especially welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative.

The possibility exists to hire cross-country skis, however we need to know in advance who would be interested and (crucially) how big their feet are.

For more information, see http://staff.science.uva.nl/~sjagerde/szklarska/ or here.

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including vizualisation, data mining and analysis, and knowledge management.

For more information, see http://www.latece.uqam.ca/icfca08/.

The Dutch Organisation for Scientific Research (NWO) organizes, in collaboration with the Dutch Society for scientific Journalists (VWN) and the Science Center (NEMO), on Monday 26th of May this year, for the 8yh time 'Bessensap'. An event that tries to bring researchers and journalists, editors and other people from the press closer together.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_5VVJQK

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including vizualisation, data mining and analysis, and knowledge management.

For more information, see http://www.latece.uqam.ca/icfca08/.

After having focused for years on issues related to knowledge, beliefs and action in rational decision making, many logicians have recently taken the natural next step to the study of preferences and intentions, including the dynamics of how they change. By doing so logic approaches other well-established areas of research, ranging from Bayesian epistemology to action, decision and game theory.

This 15th edition of the well-known series of workshops Games, Logic, Language, and Computation will bring together logicians, philosophers, computer scientists, and economists to share their expertise, find unifying themes and methods, and create a new interdisciplinary research network.

The workshop will be hosted by the Institute for Logic, Language and Computation of the Universiteit van Amsterdam, on the 26, 27 and 28 of Februay 2008. The workshop will also coincide with the PhD defenses of Fenrong Liu (Beijing) and Olivier Roy (Quebec), on February 26.

For more information, see: http://staff.science.uva.nl/~oroy/GLLC15/

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including vizualisation, data mining and analysis, and knowledge management.

For more information, see http://www.latece.uqam.ca/icfca08/.

After having focused for years on issues related to knowledge, beliefs and action in rational decision making, many logicians have recently taken the natural next step to the study of preferences and intentions, including the dynamics of how they change. By doing so logic approaches other well-established areas of research, ranging from Bayesian epistemology to action, decision and game theory.

This 15th edition of the well-known series of workshops Games, Logic, Language, and Computation will bring together logicians, philosophers, computer scientists, and economists to share their expertise, find unifying themes and methods, and create a new interdisciplinary research network.

The workshop will be hosted by the Institute for Logic, Language and Computation of the Universiteit van Amsterdam, on the 26, 27 and 28 of Februay 2008. The workshop will also coincide with the PhD defenses of Fenrong Liu (Beijing) and Olivier Roy (Quebec), on February 26.

For more information, see: http://staff.science.uva.nl/~oroy/GLLC15/

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including vizualisation, data mining and analysis, and knowledge management.

For more information, see http://www.latece.uqam.ca/icfca08/.

After having focused for years on issues related to knowledge, beliefs and action in rational decision making, many logicians have recently taken the natural next step to the study of preferences and intentions, including the dynamics of how they change. By doing so logic approaches other well-established areas of research, ranging from Bayesian epistemology to action, decision and game theory.

This 15th edition of the well-known series of workshops Games, Logic, Language, and Computation will bring together logicians, philosophers, computer scientists, and economists to share their expertise, find unifying themes and methods, and create a new interdisciplinary research network.

The workshop will be hosted by the Institute for Logic, Language and Computation of the Universiteit van Amsterdam, on the 26, 27 and 28 of Februay 2008. The workshop will also coincide with the PhD defenses of Fenrong Liu (Beijing) and Olivier Roy (Quebec), on February 26.

For more information, see: http://staff.science.uva.nl/~oroy/GLLC15/

The aim of the Society is to promote interaction between philosophers, psychologists, and linguists on issues of common concern. Previous topics covered at ESPP include spatial concepts, emotion, perception, simulation theory, attention, reference, problems of consciousness, early numerical cognition, infants' understanding of intentionality, memory and time, motor imagery, causal understanding, counterfactuals, the semantics/pragmatics distinction, reasoning, vagueness, mental causation, action and agency, thought without language, externalism, connectionism, hypnosis, and the interpretation of neuropsychological results.

For more information, see the conference website at http://www.let.uu.nl/espp/.

Organized every three years since 1993 by the European Society for Analytic Philosophy, ESAP, these meetings aim at establishing contacts and encouraging collaboration among European analytic philosophers. The forthcoming Congress is locally organized by the Institute of Philosophy of the Jagiellonian University and the Polish Association of Logic and Philosophy of Science. Its site, Krakow, is widely regarded to be one of the most important European must see places with a unique atmosphere.

For more information and a registration form, please visit the official website of the Congress at http://ecap.phils.uj.edu.pl/.

This is the first of a series of small and thematically focused events in formal epistemology organized by Eric Swanson (Michigan), Jonathan Weisberg (Toronto), and Franz Huber (Caltech and Konstanz).

The background for the first Formal Epistemology Festival is the 40th anniversary of Robert Stalnaker's "A Theory of Conditionals" and the 20th anniversary of Wolfgang Spohn's "Ordinal Conditional Functions. A Dynamic Theory of Epistemic States".

For more information, see here