The purpose of the 2008 International Workshop on Truth Values is to present and discuss work on various interrelated aspects of truth-values: philosophical, logical and algebraic among them. The topics of the workshop include:

- the philosophical elucidation and theoretical explication of the notion of a truth value;
- general formal tools for a uniform treatment of various logical, mathematical and philosophical aspects of truth values and valuational systems within a joint theoretical framework;
- the interpretation of logical calculi as valuational systems, the development of general methods of formalizing (in axiomatic, sequent, tableau etc. style) logical theories on the basis of a given system of truth values and the examination of their syntactic and semantic properties;
- the investigation of topical problems of many-valued logics, such as Suszko's Thesis, truth value gaps, logical and semantical paradoxes etc.;
- possible applications of generalized truth values and generalized truth value functions in various areas of philosophical and mathematical interest.

For more information, an online registration form and a preliminary program, see http://www.truthvalues2008.com/

The international Congress "ULTRAMATH 2008" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals are:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

For more information, visit the web site below: http://www.dm.unipi.it/~ultramath/

The JELIA conference series is the main European forum devoted to logics in Artificial Intelligence (AI). As the latest edition of this biannual series, JELIA 2008 aims at bringing together researchers interested in all aspects of logics in AI, including their theory, applications of both theoretical and practical nature, and systems. As its predecessors, JELIA 2008 strives to foster links and facilitate cross-fertilisation of ideas between researchers from various disciplines, between researchers from academia and industry, and between theoreticians and practitioners.

Further information about JELIA 2008 is available at http://www.jelia.eu/.

The international Congress "ULTRAMATH 2008" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals are:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

For more information, visit the web site below: http://www.dm.unipi.it/~ultramath/

The international Congress "ULTRAMATH 2008" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals are:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

For more information, visit the web site below: http://www.dm.unipi.it/~ultramath/

After L.M. de Rijk's monumental Logica Modernorum of 1962 and 1967, many important texts and interpretations have been brought forward. It is time to look with fresh eyes at the rise and development of supposition theory, especially its early phase.

For more information, see here or contact: e.p.bos at let.leidenuniv.nl.

The international Congress "ULTRAMATH 2008" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals are:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

For more information, visit the web site below: http://www.dm.unipi.it/~ultramath/

After L.M. de Rijk's monumental Logica Modernorum of 1962 and 1967, many important texts and interpretations have been brought forward. It is time to look with fresh eyes at the rise and development of supposition theory, especially its early phase.

For more information, see here or contact: e.p.bos at let.leidenuniv.nl.

The international Congress "ULTRAMATH 2008" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals are:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

For more information, visit the web site below: http://www.dm.unipi.it/~ultramath/

After L.M. de Rijk's monumental Logica Modernorum of 1962 and 1967, many important texts and interpretations have been brought forward. It is time to look with fresh eyes at the rise and development of supposition theory, especially its early phase.

For more information, see here or contact: e.p.bos at let.leidenuniv.nl.

In June 2008 the ILLC will host the 3rd MARA Get-Together, an informal workshop on Multiagent Resource Allocation. Everyone, in particular ILLC staff and students, is very welcome to attend. There is no registration fee, but for organisational reasons we need to know who's coming. If you wish to attend, please let Ulle Endriss know before 28 May 2008.

For more information, see https://www.illc.uva.nl/~ulle/MARA3/.

FOMI is an international forum where academic researchers and industrial practitioners meet to analyze and discuss issues related to methods, theories, tools and applications based on formal ontologies.

For more information, see http://www.fomi2008.di.unito.it/

The international Congress "ULTRAMATH 2008" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals are:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

For more information, visit the web site below: http://www.dm.unipi.it/~ultramath/

After L.M. de Rijk's monumental Logica Modernorum of 1962 and 1967, many important texts and interpretations have been brought forward. It is time to look with fresh eyes at the rise and development of supposition theory, especially its early phase.

For more information, see here or contact: e.p.bos at let.leidenuniv.nl.

In June 2008 the ILLC will host the 3rd MARA Get-Together, an informal workshop on Multiagent Resource Allocation. Everyone, in particular ILLC staff and students, is very welcome to attend. There is no registration fee, but for organisational reasons we need to know who's coming. If you wish to attend, please let Ulle Endriss know before 28 May 2008.

For more information, see https://www.illc.uva.nl/~ulle/MARA3/.

FOMI is an international forum where academic researchers and industrial practitioners meet to analyze and discuss issues related to methods, theories, tools and applications based on formal ontologies.

For more information, see http://www.fomi2008.di.unito.it/

A representative international conference on algebra will be held at Moscow State University from May 28 to June 3, 2008, that is, shortly before CSR 2008. This creates a very convenient opportunity to bring together researchers interested in various aspects of the interaction between algebra, combinatorics and complexity. As such, WACC 2008 takes the form of a satellite workshop to CSR 2008. Invited Speakers include Eric Allender and Boris Plotkin.

For more information, see http://csseminar.kadm.usu.ru/WACC.htm

The international Congress "ULTRAMATH 2008" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals are:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

For more information, visit the web site below: http://www.dm.unipi.it/~ultramath/

After L.M. de Rijk's monumental Logica Modernorum of 1962 and 1967, many important texts and interpretations have been brought forward. It is time to look with fresh eyes at the rise and development of supposition theory, especially its early phase.

For more information, see here or contact: e.p.bos at let.leidenuniv.nl.

A representative international conference on algebra will be held at Moscow State University from May 28 to June 3, 2008, that is, shortly before CSR 2008. This creates a very convenient opportunity to bring together researchers interested in various aspects of the interaction between algebra, combinatorics and complexity. As such, WACC 2008 takes the form of a satellite workshop to CSR 2008. Invited Speakers include Eric Allender and Boris Plotkin.

For more information, see http://csseminar.kadm.usu.ru/WACC.htm

CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.

For more information, see http://csr2008.ru/ or email: info at csr2008.ru.

CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.

For more information, see http://csr2008.ru/ or email: info at csr2008.ru.

CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.

For more information, see http://csr2008.ru/ or email: info at csr2008.ru.

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

The Workshop on Game theory in Communication networks (GameComm) is a one-day meeting held in conjunction with the 3rd International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'08, http://www.valuetools.org/).

The distributed nature of wireline and wireless communication networks gives rise to many challenges related to their analysis, control, and management. The selfish nature of users, development of decentralized control mechanisms, and fair allocation of system resources are among major issues in networks research. Consequently, game theoretic methods are increasingly utilized to gain a deeper understanding of these complex problems and systems. Specifically, game theoretic models have been used in the context of Internet pricing, flow and congestion control, routing, power control, and recently security, among many other topics. The application of game theory to communication networks has attracted researchers from a variety of disciplines, including computer science, operations research, control theory, and economics.

This workshop aims to bring together researchers who are interested in all aspects of the application game theory to the analysis and design of communication networks. The goal is to display the state-of-the-art in this evolving field, as well as stir discussion and outline possible directions for further progress.

For more information, see http://www.game-comm.org/

BLAST is a new conference series focusing on Boolean algebras, Lattices, Algebraic logic and universal algebra, Set theory, and set-theoretic and point-free Topology. The 2008 conference is the first in a series that will rotate among universities of the region.

The conference will include tutorials, as well as a mini-course in Forbidden Configurations in Lattices.

We would very much appreciate a (non-committing) reply to blast at math.du.edu indicating your level of interest in the conference at the moment. This will be very useful in our planning for local accommodation, transportation and classroom reservations. Please reply by March 30.

For more information, see http://math.du.edu/blast/

CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.

For more information, see http://csr2008.ru/ or email: info at csr2008.ru.

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.

For more information, see http://csr2008.ru/ or email: info at csr2008.ru.

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.

For more information, see http://csr2008.ru/ or email: info at csr2008.ru.

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

It has been strongly argued that human rationality, language, and meaning are intrinsically normative, and that as such they cannot be described in purely naturalistic terms. But how are we conceive of normativity? Taking this question as our starting point, we are interested in bringing together young researchers who are working towards a model that helps explain the nature of norms underlying human cognition and (linguistic) behaviour.

We are happy to announce that the conference's two confirmed keynote speakers are:
- James O'Shea (University College Dublin)
- Allan Gibbard (University of Michigan)

For further information, you can visit the conference website at: https://www.illc.uva.nl/normativity/ or contact: normativity at science.uva.nl.

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

This is the fourth in a series of conferences organised by CiE (Computability in Europe), a European network of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006) and Siena (2007).

CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency.

For more information, see http://www.cs.swan.ac.uk/cie08/

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

This is the fourth in a series of conferences organised by CiE (Computability in Europe), a European network of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006) and Siena (2007).

CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency.

For more information, see http://www.cs.swan.ac.uk/cie08/

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

This is the fourth in a series of conferences organised by CiE (Computability in Europe), a European network of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006) and Siena (2007).

CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency.

For more information, see http://www.cs.swan.ac.uk/cie08/

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

This is the fourth in a series of conferences organised by CiE (Computability in Europe), a European network of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006) and Siena (2007).

CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency.

For more information, see http://www.cs.swan.ac.uk/cie08/

The International Society for the History of Philosophy of Science (HOPOS) will hold its seventh international congress in Vancouver, Canada, June 18-21, 2008. The conference is open to scholarly work on the history of philosophy of science from any disciplinary perspective.

For more information, see http://www.hopos.org/hopos2008

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

This is the fourth in a series of conferences organised by CiE (Computability in Europe), a European network of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006) and Siena (2007).

CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency.

For more information, see http://www.cs.swan.ac.uk/cie08/

The International Society for the History of Philosophy of Science (HOPOS) will hold its seventh international congress in Vancouver, Canada, June 18-21, 2008. The conference is open to scholarly work on the history of philosophy of science from any disciplinary perspective.

For more information, see http://www.hopos.org/hopos2008

ASSC 12 is a meeting that promotes interdisciplinary discussions and debates about current empirical issues in the study of consciousness, from the perspectives of neuroscience, philosophy, psychology, computer science and cognitive ethology.

For more information, see http://www.ym.edu.tw/assc12/ or contact assc12 at ym.edu.tw

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

This is the fourth in a series of conferences organised by CiE (Computability in Europe), a European network of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006) and Siena (2007).

CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency.

For more information, see http://www.cs.swan.ac.uk/cie08/

The International Society for the History of Philosophy of Science (HOPOS) will hold its seventh international congress in Vancouver, Canada, June 18-21, 2008. The conference is open to scholarly work on the history of philosophy of science from any disciplinary perspective.

For more information, see http://www.hopos.org/hopos2008

ASSC 12 is a meeting that promotes interdisciplinary discussions and debates about current empirical issues in the study of consciousness, from the perspectives of neuroscience, philosophy, psychology, computer science and cognitive ethology.

For more information, see http://www.ym.edu.tw/assc12/ or contact assc12 at ym.edu.tw

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

The International Society for the History of Philosophy of Science (HOPOS) will hold its seventh international congress in Vancouver, Canada, June 18-21, 2008. The conference is open to scholarly work on the history of philosophy of science from any disciplinary perspective.

For more information, see http://www.hopos.org/hopos2008

ASSC 12 is a meeting that promotes interdisciplinary discussions and debates about current empirical issues in the study of consciousness, from the perspectives of neuroscience, philosophy, psychology, computer science and cognitive ethology.

For more information, see http://www.ym.edu.tw/assc12/ or contact assc12 at ym.edu.tw

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

ASSC 12 is a meeting that promotes interdisciplinary discussions and debates about current empirical issues in the study of consciousness, from the perspectives of neuroscience, philosophy, psychology, computer science and cognitive ethology.

For more information, see http://www.ym.edu.tw/assc12/ or contact assc12 at ym.edu.tw

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications are in type disciplines for programming languages, and meta-logics for reasoning about a variety of computational phenomena.

Theoretical and methodological issues center around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

This LICS'08 affiliated workshop will bring together designers, implementers, and users to discuss all aspects of intuitionistic modal logics and type theories.

For more information, see http://www.cs.bham.ac.uk/~vdp/IMLA08.html

The Center for Language and Speech Processing at the Johns Hopkins University is seeking outstanding members of the current junior class to participate in a summer workshop on language engineering from June 23 to August 15, 2008.

The eight-week workshop provides a vigorously stimulating and enriching intellectual environment and we hope it will encourage students to eventually pursue graduate study in the field of human language technologies.

Applications must be received by Wednesday, March 5, 2008. For more information, see http://www.clsp.jhu.edu/ws08/application

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

The Center for Language and Speech Processing at the Johns Hopkins University is seeking outstanding members of the current junior class to participate in a summer workshop on language engineering from June 23 to August 15, 2008.

The eight-week workshop provides a vigorously stimulating and enriching intellectual environment and we hope it will encourage students to eventually pursue graduate study in the field of human language technologies.

Applications must be received by Wednesday, March 5, 2008. For more information, see http://www.clsp.jhu.edu/ws08/application

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2008 will be held in Pittsburgh, Pennsylvania, June 24 - 27, 2008.

For more information, see http://www.cs.cmu.edu/~fp/lics08/

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

The Center for Language and Speech Processing at the Johns Hopkins University is seeking outstanding members of the current junior class to participate in a summer workshop on language engineering from June 23 to August 15, 2008.

The eight-week workshop provides a vigorously stimulating and enriching intellectual environment and we hope it will encourage students to eventually pursue graduate study in the field of human language technologies.

Applications must be received by Wednesday, March 5, 2008. For more information, see http://www.clsp.jhu.edu/ws08/application

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2008 will be held in Pittsburgh, Pennsylvania, June 24 - 27, 2008.

For more information, see http://www.cs.cmu.edu/~fp/lics08/

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

The Center for Language and Speech Processing at the Johns Hopkins University is seeking outstanding members of the current junior class to participate in a summer workshop on language engineering from June 23 to August 15, 2008.

The eight-week workshop provides a vigorously stimulating and enriching intellectual environment and we hope it will encourage students to eventually pursue graduate study in the field of human language technologies.

Applications must be received by Wednesday, March 5, 2008. For more information, see http://www.clsp.jhu.edu/ws08/application

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2008 will be held in Pittsburgh, Pennsylvania, June 24 - 27, 2008.

For more information, see http://www.cs.cmu.edu/~fp/lics08/

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/.

The 10th Scientific Conference, organised by St Petersburg State University, the St Petersburg Philosophical Society and the St Petersburg Association of the Logicians, will take place 26-28 June 2008. A non-exhaustive list of topics of interest includes: History of Logic, Non-classical Logics, Theory of Logical Inference, Logical Semantics, Logic and Philosophy, Logic and Theory of Argumentation, and Logic and Computer Science

For more information, see here or contact logic.spb at mail.ru

In the summer of 2008, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

The Center for Language and Speech Processing at the Johns Hopkins University is seeking outstanding members of the current junior class to participate in a summer workshop on language engineering from June 23 to August 15, 2008.

The eight-week workshop provides a vigorously stimulating and enriching intellectual environment and we hope it will encourage students to eventually pursue graduate study in the field of human language technologies.

Applications must be received by Wednesday, March 5, 2008. For more information, see http://www.clsp.jhu.edu/ws08/application

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2008 will be held in Pittsburgh, Pennsylvania, June 24 - 27, 2008.

For more information, see http://www.cs.cmu.edu/~fp/lics08/

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/.

The 10th Scientific Conference, organised by St Petersburg State University, the St Petersburg Philosophical Society and the St Petersburg Association of the Logicians, will take place 26-28 June 2008. A non-exhaustive list of topics of interest includes: History of Logic, Non-classical Logics, Theory of Logical Inference, Logical Semantics, Logic and Philosophy, Logic and Theory of Argumentation, and Logic and Computer Science

For more information, see here or contact logic.spb at mail.ru

On June 27 2008, the Cognitive Science Center Amsterdam of the University of Amsterdam will organize a symposium chaired by visiting professor McClelland in which a number of prominent European researchers will give presentations on their work within the general area of connectionist modeling. Speakers will include Eric Postma, Axel Cleeremans, Mike Page, Bob French and Jaap Murre. At the end of the symposium, professor McClelland will comment on the various lectures. The symposium will an excellent overview of the current status of connectionist modeling.

For more information, please contact J.J.W.vanderMeer at uva.nl

The Centre for Philosophy of Natural and Social Science announces a Graduate Conference in the Philosophy of Probability to be held at the London School of Economics. Keynote speaker will be Professor Donald Gillies (UCL).

For more information, see http://www.lse.ac.uk/collections/CPNSS/events/

The Center for Language and Speech Processing at the Johns Hopkins University is seeking outstanding members of the current junior class to participate in a summer workshop on language engineering from June 23 to August 15, 2008.

The eight-week workshop provides a vigorously stimulating and enriching intellectual environment and we hope it will encourage students to eventually pursue graduate study in the field of human language technologies.

Applications must be received by Wednesday, March 5, 2008. For more information, see http://www.clsp.jhu.edu/ws08/application

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/.

The 10th Scientific Conference, organised by St Petersburg State University, the St Petersburg Philosophical Society and the St Petersburg Association of the Logicians, will take place 26-28 June 2008. A non-exhaustive list of topics of interest includes: History of Logic, Non-classical Logics, Theory of Logical Inference, Logical Semantics, Logic and Philosophy, Logic and Theory of Argumentation, and Logic and Computer Science

For more information, see here or contact logic.spb at mail.ru

The Centre for Philosophy of Natural and Social Science announces a Graduate Conference in the Philosophy of Probability to be held at the London School of Economics. Keynote speaker will be Professor Donald Gillies (UCL).

For more information, see http://www.lse.ac.uk/collections/CPNSS/events/

The Center for Language and Speech Processing at the Johns Hopkins University is seeking outstanding members of the current junior class to participate in a summer workshop on language engineering from June 23 to August 15, 2008.

The eight-week workshop provides a vigorously stimulating and enriching intellectual environment and we hope it will encourage students to eventually pursue graduate study in the field of human language technologies.

Applications must be received by Wednesday, March 5, 2008. For more information, see http://www.clsp.jhu.edu/ws08/application

Games 2008 is the Annual Workshop of the ESF Networking Programme on Games for Design and Verification. As in previous years, GAMES 2008 will be an informal workshop, without proceedings, with a programme consisting of invited tutorials (90 min), contributed talks (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts.

For more information, see http://www.mimuw.edu.pl/~games08/

The Center for Language and Speech Processing at the Johns Hopkins University is seeking outstanding members of the current junior class to participate in a summer workshop on language engineering from June 23 to August 15, 2008.

The eight-week workshop provides a vigorously stimulating and enriching intellectual environment and we hope it will encourage students to eventually pursue graduate study in the field of human language technologies.

Applications must be received by Wednesday, March 5, 2008. For more information, see http://www.clsp.jhu.edu/ws08/application

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. Three invited speakers deliver lectures on decision theory, game theory and logic and the connections of these fields. Graduate students and young researchers present their work in both formal and informal sessions.

For more information, see http://www.meansandends.com/workshop08/ or contact dgl08 at science.uva.nl.