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 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 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 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 workshop is on approaches with explicit dynamic operators in the language, i.e., as in dynamic epistemics, temporal epistemics and approaches to belief revision with explicit dynamic operators in the logical language. Tradional and independently well-established approaches to dynamics such as PDL and the many variants and extensions of dynamic logic in general, mu-calculus, and pi-calculus, are also in the focus of the workshop. New frontiers for dynamics in logic include: description logics and decidable fragments of FOL, semantic-web approaches, BDI-type logics, deontic logics, relations between knowability, ability, and the dynamics of knowledge, and cognitively motivated approaches. The workshop also welcomes work on information change as the result of deliberation, i.e., on the dynamics of reasoning.

For more information, see http://home.hib.no/ansatte/tag/dil08

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.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

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 workshop is on approaches with explicit dynamic operators in the language, i.e., as in dynamic epistemics, temporal epistemics and approaches to belief revision with explicit dynamic operators in the logical language. Tradional and independently well-established approaches to dynamics such as PDL and the many variants and extensions of dynamic logic in general, mu-calculus, and pi-calculus, are also in the focus of the workshop. New frontiers for dynamics in logic include: description logics and decidable fragments of FOL, semantic-web approaches, BDI-type logics, deontic logics, relations between knowability, ability, and the dynamics of knowledge, and cognitively motivated approaches. The workshop also welcomes work on information change as the result of deliberation, i.e., on the dynamics of reasoning.

For more information, see http://home.hib.no/ansatte/tag/dil08

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.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

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 workshop is on approaches with explicit dynamic operators in the language, i.e., as in dynamic epistemics, temporal epistemics and approaches to belief revision with explicit dynamic operators in the logical language. Tradional and independently well-established approaches to dynamics such as PDL and the many variants and extensions of dynamic logic in general, mu-calculus, and pi-calculus, are also in the focus of the workshop. New frontiers for dynamics in logic include: description logics and decidable fragments of FOL, semantic-web approaches, BDI-type logics, deontic logics, relations between knowability, ability, and the dynamics of knowledge, and cognitively motivated approaches. The workshop also welcomes work on information change as the result of deliberation, i.e., on the dynamics of reasoning.

For more information, see http://home.hib.no/ansatte/tag/dil08

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.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

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/

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 workshop is on approaches with explicit dynamic operators in the language, i.e., as in dynamic epistemics, temporal epistemics and approaches to belief revision with explicit dynamic operators in the logical language. Tradional and independently well-established approaches to dynamics such as PDL and the many variants and extensions of dynamic logic in general, mu-calculus, and pi-calculus, are also in the focus of the workshop. New frontiers for dynamics in logic include: description logics and decidable fragments of FOL, semantic-web approaches, BDI-type logics, deontic logics, relations between knowability, ability, and the dynamics of knowledge, and cognitively motivated approaches. The workshop also welcomes work on information change as the result of deliberation, i.e., on the dynamics of reasoning.

For more information, see http://home.hib.no/ansatte/tag/dil08

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.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

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/

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 workshop is on approaches with explicit dynamic operators in the language, i.e., as in dynamic epistemics, temporal epistemics and approaches to belief revision with explicit dynamic operators in the logical language. Tradional and independently well-established approaches to dynamics such as PDL and the many variants and extensions of dynamic logic in general, mu-calculus, and pi-calculus, are also in the focus of the workshop. New frontiers for dynamics in logic include: description logics and decidable fragments of FOL, semantic-web approaches, BDI-type logics, deontic logics, relations between knowability, ability, and the dynamics of knowledge, and cognitively motivated approaches. The workshop also welcomes work on information change as the result of deliberation, i.e., on the dynamics of reasoning.

For more information, see http://home.hib.no/ansatte/tag/dil08

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.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

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/

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

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

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/

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

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

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/

The first Workshop on Practical Aspects of Automated Reasoning will be held in August 2008, in Sydney, Australia. PAAR will be associated with the 4th International Joint Conference on Automated Reasoning (IJCAR-2008).

Deadline for submission of abstracts: May 27th, 2008. For more information, see http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

For more information, see http://2008.IJCAR.org/

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

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

For more information, see http://2008.IJCAR.org/

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

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

For more information, see http://2008.IJCAR.org/

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

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

For more information, see http://2008.IJCAR.org/

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

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

For more information, see http://2008.IJCAR.org/

The conference aims to present the multilayered reciprocal effects between philosophical basic reflection and applied research in the context of Philosophy and Information Science. It adresses a larger public and offers a forum of discussion between experts from different specialist areas.

For more information, see http://www.uni-paderborn.de/philosophy-information-science

Social epistemology is a relatively new and booming field of research. It studies the social dimension of the pursuit of acquiring true beliefs and requires philosophical as well as sociological and economical expertise. The insights gained in social epistemology are not only of theoretical interest -- they also improve our understanding of social and political processes as the field includes the analysis of group deliberation and group decision making. Surprisingly, little work has yet been done on the epistemic properties of group deliberation, belief aggregation and decision-making procedures. This workshop aims at closing this gap with the help of formal models that ideally combine representational adequacy with instructive analytical results. To this end, we welcome contributions from all relevant fields of research.

For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/FMP2008/

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

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

For more information, see http://2008.IJCAR.org/

There is a fast-growing interest in logics that deal with intelligent interaction in communities of agents. There is also a fast-growing jungle of formal systems. The workshop is dedicated to promising recent convergences, trying to foster a common sense of what is going on.

For more information, see http://ai.stanford.edu/~epacuit/LaII/.

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

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

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

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

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

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

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

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

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

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others. The workshop will both provide tutorial-type introductions to each approach and aim ultimately at the exploration of their connections.

For more information, see http://nylogic.org/EMU

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others. The workshop will both provide tutorial-type introductions to each approach and aim ultimately at the exploration of their connections.

For more information, see http://nylogic.org/EMU

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others. The workshop will both provide tutorial-type introductions to each approach and aim ultimately at the exploration of their connections.

For more information, see http://nylogic.org/EMU

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others. The workshop will both provide tutorial-type introductions to each approach and aim ultimately at the exploration of their connections.

For more information, see http://nylogic.org/EMU

The conference is concerned with the theory of computability and complexity over real-valued data. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see http://cca-net.de/cca2008/

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

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

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others. The workshop will both provide tutorial-type introductions to each approach and aim ultimately at the exploration of their connections.

For more information, see http://nylogic.org/EMU

The conference is concerned with the theory of computability and complexity over real-valued data. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see http://cca-net.de/cca2008/

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

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

The conference is concerned with the theory of computability and complexity over real-valued data. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see http://cca-net.de/cca2008/

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

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

The conference is concerned with the theory of computability and complexity over real-valued data. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see http://cca-net.de/cca2008/

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

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

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

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

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

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

The joint ICNC'08-FSKD'08 will be held in Jinan, China. Jinan is the capital of Shandong Province, which is known for the home of Confucius, the Taishan Mountain, and the Baotu Spring.

ICNC'08-FSKD'08 aims to provide an international forum for scientists and researchers to present the state of the art of intelligent methods inspired from nature, including biological, ecological, and physical systems, with applications to data mining, manufacturing, design, and more. It is an exciting and emerging interdisciplinary area in which a wide range of techniques and methods are being studied for dealing with large, complex, and dynamic problems. Previously, the joint conferences in 2005,2006 and 2007 each attracted over 3000 submissions from more than 30 countries.

For more information, see http://www.icnc-fskd2008.sdu.edu.cn/

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.emcc.at/UC2008/

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

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

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

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

The joint ICNC'08-FSKD'08 will be held in Jinan, China. Jinan is the capital of Shandong Province, which is known for the home of Confucius, the Taishan Mountain, and the Baotu Spring.

ICNC'08-FSKD'08 aims to provide an international forum for scientists and researchers to present the state of the art of intelligent methods inspired from nature, including biological, ecological, and physical systems, with applications to data mining, manufacturing, design, and more. It is an exciting and emerging interdisciplinary area in which a wide range of techniques and methods are being studied for dealing with large, complex, and dynamic problems. Previously, the joint conferences in 2005,2006 and 2007 each attracted over 3000 submissions from more than 30 countries.

For more information, see http://www.icnc-fskd2008.sdu.edu.cn/

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.emcc.at/UC2008/

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

The joint ICNC'08-FSKD'08 will be held in Jinan, China. Jinan is the capital of Shandong Province, which is known for the home of Confucius, the Taishan Mountain, and the Baotu Spring.

ICNC'08-FSKD'08 aims to provide an international forum for scientists and researchers to present the state of the art of intelligent methods inspired from nature, including biological, ecological, and physical systems, with applications to data mining, manufacturing, design, and more. It is an exciting and emerging interdisciplinary area in which a wide range of techniques and methods are being studied for dealing with large, complex, and dynamic problems. Previously, the joint conferences in 2005,2006 and 2007 each attracted over 3000 submissions from more than 30 countries.

For more information, see http://www.icnc-fskd2008.sdu.edu.cn/

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.emcc.at/UC2008/

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

Rudolf Carnap's Principle of Tolerance is an early formulation of the idea of Logical Pluralism: "In Logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language as he wishes". But is the logical validity of an argument just a matter of language choice? And if so, is this really a pluralism about logic, not rather a pluralism about languages?

Contemporary Logical Pluralism also insists that there is more than one correct logic. Classical, intuitionist, and relevent logic, as well as a number of other logics, all correctly govern our reasoning within a given language, but apply to different cases. Can we make sense of genuinely different, but equally good logical consequence relations?

Registration deadline for this conference is July 1st, 2008. To register, please send an email to cohnitz at ut.ee. For more information, see http://daniel.cohnitz.de/index.php?conference.

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

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.emcc.at/UC2008/

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

Rudolf Carnap's Principle of Tolerance is an early formulation of the idea of Logical Pluralism: "In Logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language as he wishes". But is the logical validity of an argument just a matter of language choice? And if so, is this really a pluralism about logic, not rather a pluralism about languages?

Contemporary Logical Pluralism also insists that there is more than one correct logic. Classical, intuitionist, and relevent logic, as well as a number of other logics, all correctly govern our reasoning within a given language, but apply to different cases. Can we make sense of genuinely different, but equally good logical consequence relations?

Registration deadline for this conference is July 1st, 2008. To register, please send an email to cohnitz at ut.ee. For more information, see http://daniel.cohnitz.de/index.php?conference.

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

Rudolf Carnap's Principle of Tolerance is an early formulation of the idea of Logical Pluralism: "In Logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language as he wishes". But is the logical validity of an argument just a matter of language choice? And if so, is this really a pluralism about logic, not rather a pluralism about languages?

Contemporary Logical Pluralism also insists that there is more than one correct logic. Classical, intuitionist, and relevent logic, as well as a number of other logics, all correctly govern our reasoning within a given language, but apply to different cases. Can we make sense of genuinely different, but equally good logical consequence relations?

Registration deadline for this conference is July 1st, 2008. To register, please send an email to cohnitz at ut.ee. For more information, see http://daniel.cohnitz.de/index.php?conference.

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.

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

Rudolf Carnap's Principle of Tolerance is an early formulation of the idea of Logical Pluralism: "In Logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language as he wishes". But is the logical validity of an argument just a matter of language choice? And if so, is this really a pluralism about logic, not rather a pluralism about languages?

Contemporary Logical Pluralism also insists that there is more than one correct logic. Classical, intuitionist, and relevent logic, as well as a number of other logics, all correctly govern our reasoning within a given language, but apply to different cases. Can we make sense of genuinely different, but equally good logical consequence relations?

Registration deadline for this conference is July 1st, 2008. To register, please send an email to cohnitz at ut.ee. For more information, see http://daniel.cohnitz.de/index.php?conference.

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.

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

Rudolf Carnap's Principle of Tolerance is an early formulation of the idea of Logical Pluralism: "In Logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language as he wishes". But is the logical validity of an argument just a matter of language choice? And if so, is this really a pluralism about logic, not rather a pluralism about languages?

Contemporary Logical Pluralism also insists that there is more than one correct logic. Classical, intuitionist, and relevent logic, as well as a number of other logics, all correctly govern our reasoning within a given language, but apply to different cases. Can we make sense of genuinely different, but equally good logical consequence relations?

Registration deadline for this conference is July 1st, 2008. To register, please send an email to cohnitz at ut.ee. For more information, see http://daniel.cohnitz.de/index.php?conference.