The Center for Research in Syntax, Semantics and Phonology (CRISSP) in Brussels is pleased to announce the first Brussels Conference on Natural Logic. The theme of this year's conference is Logic Now and Then.

For more information, see http://www.crissp.be/lnat.html

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, and CSMN, Centre for the Study of Mind in Nature, are pleased to announce the fifth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy, especially in the areas of Philosophy of Language, Philosophy of Mind, Epistemology, and Metaphysics.

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

In 2009, to commemorate the 800th anniversary of the launch of the Albigensian Crusade, the International Medieval Congress has the special thematic focus Heresy and Orthodoxy.

For more information, see http://www.leeds.ac.uk/ims/imc/imc2009_call.html or contact S.L.Uckelman at uva.nl.

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

The third International Workshop on Algorithms and Computation (WALCOM 2009) will take place in Kolkata, India, during February 18-20, 2009. The workshop is intended to provide a forum for researchers working in algorithms and theory of computation.

WALCOM 2009 will be preceded by the Second National Workshop on Nano-Science and Bio-chips (February 16-17, 2009), whose theme is "Combinatorial and Algorithmic aspects of Bio-chips"

Conference web site: http://www.isical.ac.in/~walcom.

The summer academy will focus on the long-lasting controversy of the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. For this reason this summer academy attempts to bring together researchers from both sides for an exchange of views.

Deadline for registration: April 1, 2008 (after April 1, registration will be possible only for as long as there are vacant places). For more information, see http://www.computational-logic.org/iccl-ss-2008/.

There will be two conferences related to set theory in Japan this summer. One is the ALC 10 (Asian Logic Conference) in Kobe (Sept. 1 - 6); the other is a workshop on Combinatorial and Descriptive Set Theory in Kyoto (Aug. 25 - 29).

Activities in set theory at the ALC include one 4-hour tutorial (Greg Hjorth), one plenary lecture (Justin Moore), and a special session with eight speakers. The set theory workshop in Kyoto will feature two minicourses (Simon Thomas and Menachem Kojman). Several speakers have already been invited, and we hope there will be many more talks, in particular by junior participants.

The Asian Logic Conference has occurred every three years in Asia-Pacific region since 1981, Singapore. The purpose of the conference is to facilitate interaction between researchers interested in mathematical logic, logic in computer science, and philosophical logic. It aims at promoting activities in mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

For more information, see http://kurt.scitec.kobe-u.ac.jp/ALC10/ (ALC) and http://kurt.scitec.kobe-u.ac.jp/~brendle/rims2008/e-home.html (Workshop).

The summer academy will focus on the long-lasting controversy of the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. For this reason this summer academy attempts to bring together researchers from both sides for an exchange of views.

Deadline for registration: April 1, 2008 (after April 1, registration will be possible only for as long as there are vacant places). For more information, see http://www.computational-logic.org/iccl-ss-2008/.

There will be two conferences related to set theory in Japan this summer. One is the ALC 10 (Asian Logic Conference) in Kobe (Sept. 1 - 6); the other is a workshop on Combinatorial and Descriptive Set Theory in Kyoto (Aug. 25 - 29).

Activities in set theory at the ALC include one 4-hour tutorial (Greg Hjorth), one plenary lecture (Justin Moore), and a special session with eight speakers. The set theory workshop in Kyoto will feature two minicourses (Simon Thomas and Menachem Kojman). Several speakers have already been invited, and we hope there will be many more talks, in particular by junior participants.

The Asian Logic Conference has occurred every three years in Asia-Pacific region since 1981, Singapore. The purpose of the conference is to facilitate interaction between researchers interested in mathematical logic, logic in computer science, and philosophical logic. It aims at promoting activities in mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

For more information, see http://kurt.scitec.kobe-u.ac.jp/ALC10/ (ALC) and http://kurt.scitec.kobe-u.ac.jp/~brendle/rims2008/e-home.html (Workshop).

The summer academy will focus on the long-lasting controversy of the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. For this reason this summer academy attempts to bring together researchers from both sides for an exchange of views.

Deadline for registration: April 1, 2008 (after April 1, registration will be possible only for as long as there are vacant places). For more information, see http://www.computational-logic.org/iccl-ss-2008/.

There will be two conferences related to set theory in Japan this summer. One is the ALC 10 (Asian Logic Conference) in Kobe (Sept. 1 - 6); the other is a workshop on Combinatorial and Descriptive Set Theory in Kyoto (Aug. 25 - 29).

Activities in set theory at the ALC include one 4-hour tutorial (Greg Hjorth), one plenary lecture (Justin Moore), and a special session with eight speakers. The set theory workshop in Kyoto will feature two minicourses (Simon Thomas and Menachem Kojman). Several speakers have already been invited, and we hope there will be many more talks, in particular by junior participants.

The Asian Logic Conference has occurred every three years in Asia-Pacific region since 1981, Singapore. The purpose of the conference is to facilitate interaction between researchers interested in mathematical logic, logic in computer science, and philosophical logic. It aims at promoting activities in mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

For more information, see http://kurt.scitec.kobe-u.ac.jp/ALC10/ (ALC) and http://kurt.scitec.kobe-u.ac.jp/~brendle/rims2008/e-home.html (Workshop).

At the end of last year the research group Phlox (Philosophy and Logic of Explanation) was born at the Humboldt University in Berlin. In order to celebrate this event we are organizing a launch workshop on current issues in metaphysics and the philosophy of language.

with all relevant information concerning the workshop at phloxshop.wordpress.com In case you would like to attend or have any questions concerning the workshop, please do not hesitate to contact us via email: j We do not arrange accommodation for non-speakers but would be happy to assist you in arranging your own (Berlin is a cheap place to stay and always worth a visit, especially in beautiful late summer).

For more information, see http://eppe.wordpress.com/philosophy-and-explanation/ or http://phloxshop.wordpress.com/ or contact justbecause at gmx.de.

The summer academy will focus on the long-lasting controversy of the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. For this reason this summer academy attempts to bring together researchers from both sides for an exchange of views.

Deadline for registration: April 1, 2008 (after April 1, registration will be possible only for as long as there are vacant places). For more information, see http://www.computational-logic.org/iccl-ss-2008/.

There will be two conferences related to set theory in Japan this summer. One is the ALC 10 (Asian Logic Conference) in Kobe (Sept. 1 - 6); the other is a workshop on Combinatorial and Descriptive Set Theory in Kyoto (Aug. 25 - 29).

Activities in set theory at the ALC include one 4-hour tutorial (Greg Hjorth), one plenary lecture (Justin Moore), and a special session with eight speakers. The set theory workshop in Kyoto will feature two minicourses (Simon Thomas and Menachem Kojman). Several speakers have already been invited, and we hope there will be many more talks, in particular by junior participants.

The Asian Logic Conference has occurred every three years in Asia-Pacific region since 1981, Singapore. The purpose of the conference is to facilitate interaction between researchers interested in mathematical logic, logic in computer science, and philosophical logic. It aims at promoting activities in mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

For more information, see http://kurt.scitec.kobe-u.ac.jp/ALC10/ (ALC) and http://kurt.scitec.kobe-u.ac.jp/~brendle/rims2008/e-home.html (Workshop).

At the end of last year the research group Phlox (Philosophy and Logic of Explanation) was born at the Humboldt University in Berlin. In order to celebrate this event we are organizing a launch workshop on current issues in metaphysics and the philosophy of language.

with all relevant information concerning the workshop at phloxshop.wordpress.com In case you would like to attend or have any questions concerning the workshop, please do not hesitate to contact us via email: j We do not arrange accommodation for non-speakers but would be happy to assist you in arranging your own (Berlin is a cheap place to stay and always worth a visit, especially in beautiful late summer).

For more information, see http://eppe.wordpress.com/philosophy-and-explanation/ or http://phloxshop.wordpress.com/ or contact justbecause at gmx.de.

The British Logic Colloquium 2008 will be held on September 4-6, 2008 on the Jubilee Campus of the University of Nottingham.

See http://www.cs.nott.ac.uk/~nza/blc08/ for more details. There is a limited number of grants available for students who wish to attend. Deadline for grant applications is the 1st of July.

The summer academy will focus on the long-lasting controversy of the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. For this reason this summer academy attempts to bring together researchers from both sides for an exchange of views.

Deadline for registration: April 1, 2008 (after April 1, registration will be possible only for as long as there are vacant places). For more information, see http://www.computational-logic.org/iccl-ss-2008/.

There will be two conferences related to set theory in Japan this summer. One is the ALC 10 (Asian Logic Conference) in Kobe (Sept. 1 - 6); the other is a workshop on Combinatorial and Descriptive Set Theory in Kyoto (Aug. 25 - 29).

Activities in set theory at the ALC include one 4-hour tutorial (Greg Hjorth), one plenary lecture (Justin Moore), and a special session with eight speakers. The set theory workshop in Kyoto will feature two minicourses (Simon Thomas and Menachem Kojman). Several speakers have already been invited, and we hope there will be many more talks, in particular by junior participants.

The Asian Logic Conference has occurred every three years in Asia-Pacific region since 1981, Singapore. The purpose of the conference is to facilitate interaction between researchers interested in mathematical logic, logic in computer science, and philosophical logic. It aims at promoting activities in mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

For more information, see http://kurt.scitec.kobe-u.ac.jp/ALC10/ (ALC) and http://kurt.scitec.kobe-u.ac.jp/~brendle/rims2008/e-home.html (Workshop).

At the end of last year the research group Phlox (Philosophy and Logic of Explanation) was born at the Humboldt University in Berlin. In order to celebrate this event we are organizing a launch workshop on current issues in metaphysics and the philosophy of language.

with all relevant information concerning the workshop at phloxshop.wordpress.com In case you would like to attend or have any questions concerning the workshop, please do not hesitate to contact us via email: j We do not arrange accommodation for non-speakers but would be happy to assist you in arranging your own (Berlin is a cheap place to stay and always worth a visit, especially in beautiful late summer).

For more information, see http://eppe.wordpress.com/philosophy-and-explanation/ or http://phloxshop.wordpress.com/ or contact justbecause at gmx.de.

The British Logic Colloquium 2008 will be held on September 4-6, 2008 on the Jubilee Campus of the University of Nottingham.

See http://www.cs.nott.ac.uk/~nza/blc08/ for more details. There is a limited number of grants available for students who wish to attend. Deadline for grant applications is the 1st of July.

(dutch only)
Op 9 juli 2008 heeft N.G. (Dick) de Bruijn, wiskundige, KNAW-lid en erelid van het Koninklijk Wiskundig Genootschap, de leeftijd van 90 jaar bereikt. We vieren deze heuglijke gebeurtenis met een symposium ter ere van hem en zijn bijdragen aan vele uiteenlopende takken van de wiskunde en informatica.

Het symposium zal plaatsvinden op vrijdagmiddag 5 september, van 13:30 tot 17:30 uur, met aansluitend een receptie. De bijeenkomst vindt plaats in De Zwarte Doos, op het terrein van de Technische Universiteit Eindhoven.

Nadere informatie over het programma en een routebeschrijving zijn te vinden op de website van het symposium: http://www.win.tue.nl/debruijn90/

The summer academy will focus on the long-lasting controversy of the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. For this reason this summer academy attempts to bring together researchers from both sides for an exchange of views.

Deadline for registration: April 1, 2008 (after April 1, registration will be possible only for as long as there are vacant places). For more information, see http://www.computational-logic.org/iccl-ss-2008/.

There will be two conferences related to set theory in Japan this summer. One is the ALC 10 (Asian Logic Conference) in Kobe (Sept. 1 - 6); the other is a workshop on Combinatorial and Descriptive Set Theory in Kyoto (Aug. 25 - 29).

Activities in set theory at the ALC include one 4-hour tutorial (Greg Hjorth), one plenary lecture (Justin Moore), and a special session with eight speakers. The set theory workshop in Kyoto will feature two minicourses (Simon Thomas and Menachem Kojman). Several speakers have already been invited, and we hope there will be many more talks, in particular by junior participants.

The Asian Logic Conference has occurred every three years in Asia-Pacific region since 1981, Singapore. The purpose of the conference is to facilitate interaction between researchers interested in mathematical logic, logic in computer science, and philosophical logic. It aims at promoting activities in mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

For more information, see http://kurt.scitec.kobe-u.ac.jp/ALC10/ (ALC) and http://kurt.scitec.kobe-u.ac.jp/~brendle/rims2008/e-home.html (Workshop).

The British Logic Colloquium 2008 will be held on September 4-6, 2008 on the Jubilee Campus of the University of Nottingham.

See http://www.cs.nott.ac.uk/~nza/blc08/ for more details. There is a limited number of grants available for students who wish to attend. Deadline for grant applications is the 1st of July.

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/

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that "truth comes in degrees" has revealed very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy.

Logic, Algebra and Truth Degrees is the first official meeting of the recently founded EUSFLAT Working Group on Mathematical Fuzzy Logic. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields.

For further information please visit the official web page of the conference: http://www.mat.unisi.it/~latd2008/. All correspondence should be directed to latd2008 at unisi.it.

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. The Proceedings of TSD will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2008 at tsdconference.org.

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/

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that "truth comes in degrees" has revealed very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy.

Logic, Algebra and Truth Degrees is the first official meeting of the recently founded EUSFLAT Working Group on Mathematical Fuzzy Logic. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields.

For further information please visit the official web page of the conference: http://www.mat.unisi.it/~latd2008/. All correspondence should be directed to latd2008 at unisi.it.

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. The Proceedings of TSD will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2008 at tsdconference.org.

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/

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that "truth comes in degrees" has revealed very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy.

Logic, Algebra and Truth Degrees is the first official meeting of the recently founded EUSFLAT Working Group on Mathematical Fuzzy Logic. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields.

For further information please visit the official web page of the conference: http://www.mat.unisi.it/~latd2008/. All correspondence should be directed to latd2008 at unisi.it.

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. The Proceedings of TSD will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2008 at tsdconference.org.

The biennial meeting of the German Society for Mathematical Logic (DVMLG), Colloquium Logicum 2008, will be held at the Technische Universitaet Darmstadt, September 10-12, 2008. The Herbrand Centenary Lecture will be held by Georg Kreisel (F.R.S., Salzburg).

Deadline for registration is the 30th of June. For further details about the meeting, registration, etc. see the meeting's homepage at: http://www.mathematik.tu-darmstadt.de/fbereiche/logik/events/collogicum/.

Tools from logic and mathematics have played a central role in models of human beliefs, of human desires and preferences and indeed the actions which are based on them. However, beliefs, preferences and perhaps even desires change. Thus the development, which has been greatly accelerated in recent times, of extensions of the logical and mathematical techniques to account for the problems of change. However, as different paradigms (AGM theory and dynamic logic in the 'logic' camp, Bayesian update and Jeffrey conditionalisation in the probability camp, to take just a few examples of theories of belief change) jostle to impose themselves, it is perhaps the moment to take a step back and ask: what do we want from a theory of change?

This question-as philosophical and methodological as it is technical-is at the heart of this colloquium / workshop. The aim is to bring together specialists working on the problem of attitude change, from a wide range of paradigms, to present and discuss their views on the objectives of theories of change. The ambition is to identify the main issues for theories of change, and clarify the major positions one could hold concerning the project of understanding or modelling attitude change.

For more information, see the conference website at http://www.flu.cas.cz/colloquium or contact colloquium at flu.cas.cz.

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/

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that "truth comes in degrees" has revealed very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy.

Logic, Algebra and Truth Degrees is the first official meeting of the recently founded EUSFLAT Working Group on Mathematical Fuzzy Logic. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields.

For further information please visit the official web page of the conference: http://www.mat.unisi.it/~latd2008/. All correspondence should be directed to latd2008 at unisi.it.

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. The Proceedings of TSD will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2008 at tsdconference.org.

The biennial meeting of the German Society for Mathematical Logic (DVMLG), Colloquium Logicum 2008, will be held at the Technische Universitaet Darmstadt, September 10-12, 2008. The Herbrand Centenary Lecture will be held by Georg Kreisel (F.R.S., Salzburg).

Deadline for registration is the 30th of June. For further details about the meeting, registration, etc. see the meeting's homepage at: http://www.mathematik.tu-darmstadt.de/fbereiche/logik/events/collogicum/.

Tools from logic and mathematics have played a central role in models of human beliefs, of human desires and preferences and indeed the actions which are based on them. However, beliefs, preferences and perhaps even desires change. Thus the development, which has been greatly accelerated in recent times, of extensions of the logical and mathematical techniques to account for the problems of change. However, as different paradigms (AGM theory and dynamic logic in the 'logic' camp, Bayesian update and Jeffrey conditionalisation in the probability camp, to take just a few examples of theories of belief change) jostle to impose themselves, it is perhaps the moment to take a step back and ask: what do we want from a theory of change?

This question-as philosophical and methodological as it is technical-is at the heart of this colloquium / workshop. The aim is to bring together specialists working on the problem of attitude change, from a wide range of paradigms, to present and discuss their views on the objectives of theories of change. The ambition is to identify the main issues for theories of change, and clarify the major positions one could hold concerning the project of understanding or modelling attitude change.

For more information, see the conference website at http://www.flu.cas.cz/colloquium or contact colloquium at flu.cas.cz.

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. The Proceedings of TSD will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2008 at tsdconference.org.

The biennial meeting of the German Society for Mathematical Logic (DVMLG), Colloquium Logicum 2008, will be held at the Technische Universitaet Darmstadt, September 10-12, 2008. The Herbrand Centenary Lecture will be held by Georg Kreisel (F.R.S., Salzburg).

Deadline for registration is the 30th of June. For further details about the meeting, registration, etc. see the meeting's homepage at: http://www.mathematik.tu-darmstadt.de/fbereiche/logik/events/collogicum/.

Tools from logic and mathematics have played a central role in models of human beliefs, of human desires and preferences and indeed the actions which are based on them. However, beliefs, preferences and perhaps even desires change. Thus the development, which has been greatly accelerated in recent times, of extensions of the logical and mathematical techniques to account for the problems of change. However, as different paradigms (AGM theory and dynamic logic in the 'logic' camp, Bayesian update and Jeffrey conditionalisation in the probability camp, to take just a few examples of theories of belief change) jostle to impose themselves, it is perhaps the moment to take a step back and ask: what do we want from a theory of change?

This question-as philosophical and methodological as it is technical-is at the heart of this colloquium / workshop. The aim is to bring together specialists working on the problem of attitude change, from a wide range of paradigms, to present and discuss their views on the objectives of theories of change. The ambition is to identify the main issues for theories of change, and clarify the major positions one could hold concerning the project of understanding or modelling attitude change.

For more information, see the conference website at http://www.flu.cas.cz/colloquium or contact colloquium at flu.cas.cz.

Tools from logic and mathematics have played a central role in models of human beliefs, of human desires and preferences and indeed the actions which are based on them. However, beliefs, preferences and perhaps even desires change. Thus the development, which has been greatly accelerated in recent times, of extensions of the logical and mathematical techniques to account for the problems of change. However, as different paradigms (AGM theory and dynamic logic in the 'logic' camp, Bayesian update and Jeffrey conditionalisation in the probability camp, to take just a few examples of theories of belief change) jostle to impose themselves, it is perhaps the moment to take a step back and ask: what do we want from a theory of change?

This question-as philosophical and methodological as it is technical-is at the heart of this colloquium / workshop. The aim is to bring together specialists working on the problem of attitude change, from a wide range of paradigms, to present and discuss their views on the objectives of theories of change. The ambition is to identify the main issues for theories of change, and clarify the major positions one could hold concerning the project of understanding or modelling attitude change.

For more information, see the conference website at http://www.flu.cas.cz/colloquium or contact colloquium at flu.cas.cz.

This workshop addresses foundational aspects of semantics within a broadly biolinguistic approach to language, where explanatory accounts to the semantic component of the language faculty (in comparison tothe sensorimotor component, or syntax) are still lacking. The workshop's more specific focus is the question of how syntactic structures feed semantic interpretation. It is particularly devoted to the 'elements of truth', such as predication, categorization, and reference. Truth is the basic category and theoretical primitive around which most semantic theories have been built. But only very specific syntactic structures are evaluable for truth: not Noun Phrases, in particular. The origin of truth therefore throws up central questions in the pursuit of biolinguistics: the structure of the syntax-semantics interface and the mapping of syntactic to semantic categories, clause-structure, the theory of categories, the units of computation (phases), the truth-reference distinction, cross-linguistic variance in categorization, clause-structure, the growth of reference in acquisition, semantics and extra-linguistic domains, the neurological basis of the syntax-semantics interface, and the theory of predication. The conference is a part of the NWO-funded ILLC/UvA project on the 'Origins of truth'.

For more information, see http://home.medewerker.uva.nl/b.arsenijevic/page2.html

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

For more information, see http://ww.lfcs.info/.

Tools from logic and mathematics have played a central role in models of human beliefs, of human desires and preferences and indeed the actions which are based on them. However, beliefs, preferences and perhaps even desires change. Thus the development, which has been greatly accelerated in recent times, of extensions of the logical and mathematical techniques to account for the problems of change. However, as different paradigms (AGM theory and dynamic logic in the 'logic' camp, Bayesian update and Jeffrey conditionalisation in the probability camp, to take just a few examples of theories of belief change) jostle to impose themselves, it is perhaps the moment to take a step back and ask: what do we want from a theory of change?

This question-as philosophical and methodological as it is technical-is at the heart of this colloquium / workshop. The aim is to bring together specialists working on the problem of attitude change, from a wide range of paradigms, to present and discuss their views on the objectives of theories of change. The ambition is to identify the main issues for theories of change, and clarify the major positions one could hold concerning the project of understanding or modelling attitude change.

For more information, see the conference website at http://www.flu.cas.cz/colloquium or contact colloquium at flu.cas.cz.

This workshop addresses foundational aspects of semantics within a broadly biolinguistic approach to language, where explanatory accounts to the semantic component of the language faculty (in comparison tothe sensorimotor component, or syntax) are still lacking. The workshop's more specific focus is the question of how syntactic structures feed semantic interpretation. It is particularly devoted to the 'elements of truth', such as predication, categorization, and reference. Truth is the basic category and theoretical primitive around which most semantic theories have been built. But only very specific syntactic structures are evaluable for truth: not Noun Phrases, in particular. The origin of truth therefore throws up central questions in the pursuit of biolinguistics: the structure of the syntax-semantics interface and the mapping of syntactic to semantic categories, clause-structure, the theory of categories, the units of computation (phases), the truth-reference distinction, cross-linguistic variance in categorization, clause-structure, the growth of reference in acquisition, semantics and extra-linguistic domains, the neurological basis of the syntax-semantics interface, and the theory of predication. The conference is a part of the NWO-funded ILLC/UvA project on the 'Origins of truth'.

For more information, see http://home.medewerker.uva.nl/b.arsenijevic/page2.html

AP-CAP 2008 is part of the series of conferences organised by the International Association for Computing and Philosophy (IACAP, www-ia-cap.org). This is the first time this conference is being held in India. As with the other CAP conferences, AP-CAP 2008 will deal with all aspects of the "computational turn" that is occurring through the interaction of the disciplines of philosophy and computing. However, there are also some specific themes which would be the focus of this meet. The themes are:

(*) Contemporary issues in philosophy of information and computation
(*) Computation, algorithm and mathematics
(*) Computation and algorithms in Indian mathematics and linguistics
(*) Indian logic and its relationship with computation/computer science
(*) Culture and information technologies

For more information, see http://ia-cap.org/ap-cap08/ or contact Prof. Sundar Sarukkai at cfpnias at gmail.com.

The 18th Workshop on Logic-based methods in Programming Environments will take place in Udine (Italy), as a satellite workshop of ICLP 2008, the 24th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held since 1989. The workshop aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. This year, we plan to continue and consolidate the shift in focus from environmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. In addition to papers describing more conceptual and theoretical work, the call for papers will solicit papers describing the implementation of, and the experience with, such tools.

For more information, see http://www.clip.dia.fi.upm.es/Conferences/WLPE08/

The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. STACS 2009 will be held in the city of Freiburg (located in the Southern Black Forest) on February 26-28, 2009.

For more information, see http://stacs2009.informatik.uni-freiburg.de/

The main goal of this conference is to present current trends situated at the interface of Logic and the Foundations of Physics. The conference will bring together researchers from both fields, giving them a forum to present new developments, exchange ideas, explore and establish new connections between logic and physics. On the one hand, we are interested in technical contributions on the use of new methods and techniques coming from logic, computation and information theory to axiomatize and model physical theories and to reason about their concepts, phenomena and/or applications. On the other hand, we are interested in contributions coming from the foundations and philosophy of physics dealing with the general conceptual framework and with questions of interpretation. In particular, we solicit contributions that merge new developments in logic and physics, focusing for instance on how the use of techniques from logic can be combined with insights in physics to yield a new perspective on the main foundational issues and open problems in modern physics.

For more information, see http://www.vub.ac.be/CLWF/TrendsVI

The focus of this special issue is on logic and complexity within computational social choice. For example, while it is known from (classical) social choice theory that essentially all natural voting systems are manipulable in principle, recent research results have shown that computational complexity can be used to protect, to some extent, certain election systems against attempts of changing an election's outcome, i.e., these systems can be shown to be resistant to (various types of) manipulation, procedural control, or bribery. As two examples regarding the use of logic within computational social choice, we mention the logic-based specification and verification of social procedures and the compact representation of preferences via logic-based languages.

Original research papers (and also survey papers) related to any aspects of applying logic or computational complexity to issues arising in computational social choice are sought.

For more information, see http://ccc.cs.uni-duesseldorf.de/~rothe/MLQ-special-issue-CFP.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2008.cs.unibo.it/

Evert Willem Beth (1908-1964) was the founding father of scientific philosophy in the Netherlands, as well as the founder of institutionalized logic in Amsterdam.

In celebration of the centenary of his birth, the E.W. Beth Centenary Conference will focus on Beth's contributions to logic, philosophy of mathematics, philosophy of science, history of logic and scientific philosophy, in relation to contemporary ideas.

The scientific conference is devoted to four subjects, divided over four sessions:
* Foundations and philosophy of mathematics
* Philosophy and history of science
* Pure and applied logic
* Scientific philosophy

For more information, see here or contact Ms. Pauline Mol at pauline.mol at bureau.knaw.nl or Prof. Henk Visser at h.visser at micc.unimaas.nl

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2008.cs.unibo.it/

Evert Willem Beth (1908-1964) was the founding father of scientific philosophy in the Netherlands, as well as the founder of institutionalized logic in Amsterdam.

In celebration of the centenary of his birth, the E.W. Beth Centenary Conference will focus on Beth's contributions to logic, philosophy of mathematics, philosophy of science, history of logic and scientific philosophy, in relation to contemporary ideas.

The scientific conference is devoted to four subjects, divided over four sessions:
* Foundations and philosophy of mathematics
* Philosophy and history of science
* Pure and applied logic
* Scientific philosophy

For more information, see here or contact Ms. Pauline Mol at pauline.mol at bureau.knaw.nl or Prof. Henk Visser at h.visser at micc.unimaas.nl

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2008.cs.unibo.it/

Motto: 'My philosophical endeavor is directed to help create the conditions for a rational reflection on the most diverse domains of human activity' (E. W. Beth)

Evert Willem Beth (1908-1964) was the founding father of scientific philosophy in the Netherlands, as well as the founder of institutionalized logic in Amsterdam. In celebration of the centenary of his birth, the E. W. Beth Foundation in Amsterdam organizes a Symposium on Beth's Life and Influence.

For more information, see here or contact Ms. Pauline Mol at pauline.mol at bureau.knaw.nl or Prof. Henk Visser at h.visser at micc.unimaas.nl

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2008.cs.unibo.it/

The proportion of Web pages written in English keeps decreasing, but a majority of text-handling tools and techniques have been developed for English and tested on English resources. Many languages have been reasonably well served by the existing systems, but large typological differences (complex morphology, rich inflection, freer-order syntax, not to mention cultural biases) tend to make those tools and resources less than fully adequate. This may be particularly true of deeper processing, including the acquisition of natural language semantics from text.

The workshop seeks to explore methodologies developed from scratch for a variety of languages, and perhaps their reapplication to the processing of English texts. We target the problem of automatic extraction of some form of natural language semantics from corpora and application of the knowledge extracted in that way in systems that deal with natural language.

The workshop is affiliated with the 6th International Conference on Multimedia and Network Information Systems

For more information, see http://www.zsi.pwr.wroc.pl/MISSI2008/LDALSK/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2008.cs.unibo.it/

The proportion of Web pages written in English keeps decreasing, but a majority of text-handling tools and techniques have been developed for English and tested on English resources. Many languages have been reasonably well served by the existing systems, but large typological differences (complex morphology, rich inflection, freer-order syntax, not to mention cultural biases) tend to make those tools and resources less than fully adequate. This may be particularly true of deeper processing, including the acquisition of natural language semantics from text.

The workshop seeks to explore methodologies developed from scratch for a variety of languages, and perhaps their reapplication to the processing of English texts. We target the problem of automatic extraction of some form of natural language semantics from corpora and application of the knowledge extracted in that way in systems that deal with natural language.

The workshop is affiliated with the 6th International Conference on Multimedia and Network Information Systems

For more information, see http://www.zsi.pwr.wroc.pl/MISSI2008/LDALSK/

This is the fourth in a series of meetings exploring mathematical methods in epistemology, semantics, theories of truth, and philosophy of mathematics in a British Academy funded research project.

For more information, see http://users.ox.ac.uk/~sfop0114/rg/meetings/bristol08.html or contact Philip Welch at p.welch at bristol.ac.uk.

Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams.

Recent technological advances have enabled the large-scale adoption of diagrams in a diverse range of areas. Increasingly sophisticated visual representations are emerging and, to enable effective communication, insight is required into how diagrams are used and when they are appropriate for use. The pervasive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the field of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualisations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams.

The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour. Diagrams 2008 is the fifth event in this conference series, which was launched in Edinburgh during September 2000. Diagrams attracts a large number of researchers from virtually all related fields, placing the conference as a major international event in the area.

For more information, see http://www.cmis.brighton.ac.uk/diagrams2008/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2008.cs.unibo.it/

This is the fourth in a series of meetings exploring mathematical methods in epistemology, semantics, theories of truth, and philosophy of mathematics in a British Academy funded research project.

For more information, see http://users.ox.ac.uk/~sfop0114/rg/meetings/bristol08.html or contact Philip Welch at p.welch at bristol.ac.uk.

Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams.

Recent technological advances have enabled the large-scale adoption of diagrams in a diverse range of areas. Increasingly sophisticated visual representations are emerging and, to enable effective communication, insight is required into how diagrams are used and when they are appropriate for use. The pervasive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the field of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualisations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams.

The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour. Diagrams 2008 is the fifth event in this conference series, which was launched in Edinburgh during September 2000. Diagrams attracts a large number of researchers from virtually all related fields, placing the conference as a major international event in the area.

For more information, see http://www.cmis.brighton.ac.uk/diagrams2008/

This is the fourth in a series of meetings exploring mathematical methods in epistemology, semantics, theories of truth, and philosophy of mathematics in a British Academy funded research project.

For more information, see http://users.ox.ac.uk/~sfop0114/rg/meetings/bristol08.html or contact Philip Welch at p.welch at bristol.ac.uk.

Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams.

Recent technological advances have enabled the large-scale adoption of diagrams in a diverse range of areas. Increasingly sophisticated visual representations are emerging and, to enable effective communication, insight is required into how diagrams are used and when they are appropriate for use. The pervasive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the field of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualisations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams.

The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour. Diagrams 2008 is the fifth event in this conference series, which was launched in Edinburgh during September 2000. Diagrams attracts a large number of researchers from virtually all related fields, placing the conference as a major international event in the area.

For more information, see http://www.cmis.brighton.ac.uk/diagrams2008/

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics.

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics. Areas of interest are combinatorial mathematics for bit exchange, information-based analysis with or without modal logic, zero-knowledge protocols and oblivious transfer (and in particular epistemic logical analyses of such phenomena), and model checking protocols - both temporal epistemic and dynamic epistemic model checking as more real-time protocol verification (often with first-order logics and systems based on term or equational rewriting).

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics.

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics. Areas of interest are combinatorial mathematics for bit exchange, information-based analysis with or without modal logic, zero-knowledge protocols and oblivious transfer (and in particular epistemic logical analyses of such phenomena), and model checking protocols - both temporal epistemic and dynamic epistemic model checking as more real-time protocol verification (often with first-order logics and systems based on term or equational rewriting).

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics.

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics. Areas of interest are combinatorial mathematics for bit exchange, information-based analysis with or without modal logic, zero-knowledge protocols and oblivious transfer (and in particular epistemic logical analyses of such phenomena), and model checking protocols - both temporal epistemic and dynamic epistemic model checking as more real-time protocol verification (often with first-order logics and systems based on term or equational rewriting).

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics.

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics. Areas of interest are combinatorial mathematics for bit exchange, information-based analysis with or without modal logic, zero-knowledge protocols and oblivious transfer (and in particular epistemic logical analyses of such phenomena), and model checking protocols - both temporal epistemic and dynamic epistemic model checking as more real-time protocol verification (often with first-order logics and systems based on term or equational rewriting).

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics.

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics. Areas of interest are combinatorial mathematics for bit exchange, information-based analysis with or without modal logic, zero-knowledge protocols and oblivious transfer (and in particular epistemic logical analyses of such phenomena), and model checking protocols - both temporal epistemic and dynamic epistemic model checking as more real-time protocol verification (often with first-order logics and systems based on term or equational rewriting).

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

NAP is the abbreviation of Nieuw Amsterdams Peil and this day is meant for junior researchers to present their (ongoing) research. The NAPdag will be a full day of presentations, including social events like having lunch and drinks afterwards.
This edition of the NAPdag will be somewhat special: because of the growing collaboration between the two research institutes, there will be presentations of PhD's from the ACLC as well as from the ILLC.

Attendance is free, but if you wish to join the (free) lunch, please send an email to the organizers before September 15th.

For more information, see here or http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/, or contact the organizers at napdag2008 at gmail.com.

'Music, Science and the Brain' symposium marks end of the EU-FP6 project named EmCAP. EmCAP (Emergent Cognition through Active Perception) is a research project in the field of Music Cognition funded by the European Commission (FP6-IST, contract 013123) that involves a consortium by Dr Sue Denham and Dr Eduardo Miranda (University of Plymouth), Dr Henkjan Honing (Universiteit van Amsterdam, Institute for Logic, Language and Computation), Prof Istvan Winkler (Institute for Psychology, Hungarian Academy of Sciences), and Prof Gustavo Deco and Prof Xavier Serra (University Pompeu Fabra, Barcelona, Music Technology Group & Computational Neuroscience Group).

For more information on conference, see http://neuromusic.soc.plymouth.ac.uk/Symposium.html. For more information on EmCAP, see http://emcap.iua.upf.es/.

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