Roskilde University (Denmark) and ILLC would like to invite researchers and students to Denmark for a two-day workshop on deontic logic. The workshop will consist of presentations by PhD students as well as lectures by leading figures in the field.

Amongst the invited speakers are John F. Horty (University of Maryland), Kai von Fintel (MIT), Frank Veltman (ILLC) and Eric Pacuit (Stanford).

Registration deadline: 25 October 2007. For more information, see http://akira.ruc.dk/~mamobe/deonticworkshop or contact Martin Mose Bentzen at mamobe at ruc.dk.

This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students, from the UK and overseas.

The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned (see below).

A conference homepage is being set up at http://www.maths.ox.ac.uk/notices/events/special/tancl07/. In the meantime, expression of interest by potential participants is welcomed; please email tancl07 at maths.ox.ac.uk

In the past decade it has become increasingly clear that studying information, first and foremost, means studying information exchange. This acknowledgement of the inherently social character of information shows up at many places in modern logical theories. More generally, information exchange is a form of interaction where agents act together in strategic ways. This new perspective has led to contacts between logic and game theory, bringing a new set of disciplines into the scope of logic: viz., economics, and the social sciences.

New interfaces are arising, such as epistemic studies of rational behavior in games. Another interesting development in this area is the rise of the notion of 'social software', the idea of using computational techniques for analyzing patterns of social behavior. And finally, interaction is also crucial to intelligent behavior in the field of natural language. Here pragmatics, the study of the actual use of language between different agents, has become the primary focus of research. Notions from game theory, in particular evolutionary games, are being used to-day to answer all kinds of pragmatic issues, for instance, how linguistic conventions can arise.

This workshop aims to bring together researchers working on these and related topics in logic, philosophy, computer science, and related areas in order to arrive at an integrated perspective on knowledge acquisition, information exchange, and rational action.

For more information, see https://www.illc.uva.nl/LORI/

The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

Sections
1. Wittgenstein
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society

For more information, see http://www.alws.at/.

The conference on Infinity in Logic & Computation is the first conference in South Africa that focuses on infinity in automata theory, logic, computability and verification. One purpose of this conference is to catalyse new interactions among local and international researchers and to expose postgraduate students to recent research trends in these fields.

The conference will be organised at the University of Cape Town co-located with the 50th Annual Congress of the South African Mathematical Society (SAMS) that takes place from 31 October until 2 November 2007. We plan to organise a summer school on Logic & Computation directly following the conference from 6-9 November 2007. This summer school is intended for postgraduate students and other interested participants.

For more information, see http://www.mth.uct.ac.za/FACS-Lab/ILC07/

This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students, from the UK and overseas.

The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned (see below).

A conference homepage is being set up at http://www.maths.ox.ac.uk/notices/events/special/tancl07/. In the meantime, expression of interest by potential participants is welcomed; please email tancl07 at maths.ox.ac.uk

In the past decade it has become increasingly clear that studying information, first and foremost, means studying information exchange. This acknowledgement of the inherently social character of information shows up at many places in modern logical theories. More generally, information exchange is a form of interaction where agents act together in strategic ways. This new perspective has led to contacts between logic and game theory, bringing a new set of disciplines into the scope of logic: viz., economics, and the social sciences.

New interfaces are arising, such as epistemic studies of rational behavior in games. Another interesting development in this area is the rise of the notion of 'social software', the idea of using computational techniques for analyzing patterns of social behavior. And finally, interaction is also crucial to intelligent behavior in the field of natural language. Here pragmatics, the study of the actual use of language between different agents, has become the primary focus of research. Notions from game theory, in particular evolutionary games, are being used to-day to answer all kinds of pragmatic issues, for instance, how linguistic conventions can arise.

This workshop aims to bring together researchers working on these and related topics in logic, philosophy, computer science, and related areas in order to arrive at an integrated perspective on knowledge acquisition, information exchange, and rational action.

For more information, see https://www.illc.uva.nl/LORI/

The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

Sections
1. Wittgenstein
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society

For more information, see http://www.alws.at/.

Hilary Kornblith is one of the most important figures in epistemology and an outstanding proponent of naturalism. Mr. Kornblith will be our guest in Cologne for one week and will be discussing central theses of his philosophy along with a group of international students and philosophers. Psychologists, biologists and other interested parties are also kindly invited.

The number of participants is relatively small, and those interested may apply through May 15 at the website. For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/index.htm

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.

For more information, see http://hylomol.ruc.dk/HyLo2007

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students, from the UK and overseas.

The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned (see below).

A conference homepage is being set up at http://www.maths.ox.ac.uk/notices/events/special/tancl07/. In the meantime, expression of interest by potential participants is welcomed; please email tancl07 at maths.ox.ac.uk

In the past decade it has become increasingly clear that studying information, first and foremost, means studying information exchange. This acknowledgement of the inherently social character of information shows up at many places in modern logical theories. More generally, information exchange is a form of interaction where agents act together in strategic ways. This new perspective has led to contacts between logic and game theory, bringing a new set of disciplines into the scope of logic: viz., economics, and the social sciences.

New interfaces are arising, such as epistemic studies of rational behavior in games. Another interesting development in this area is the rise of the notion of 'social software', the idea of using computational techniques for analyzing patterns of social behavior. And finally, interaction is also crucial to intelligent behavior in the field of natural language. Here pragmatics, the study of the actual use of language between different agents, has become the primary focus of research. Notions from game theory, in particular evolutionary games, are being used to-day to answer all kinds of pragmatic issues, for instance, how linguistic conventions can arise.

This workshop aims to bring together researchers working on these and related topics in logic, philosophy, computer science, and related areas in order to arrive at an integrated perspective on knowledge acquisition, information exchange, and rational action.

For more information, see https://www.illc.uva.nl/LORI/

The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

Sections
1. Wittgenstein
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society

For more information, see http://www.alws.at/.

Hilary Kornblith is one of the most important figures in epistemology and an outstanding proponent of naturalism. Mr. Kornblith will be our guest in Cologne for one week and will be discussing central theses of his philosophy along with a group of international students and philosophers. Psychologists, biologists and other interested parties are also kindly invited.

The number of participants is relatively small, and those interested may apply through May 15 at the website. For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/index.htm

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.

For more information, see http://hylomol.ruc.dk/HyLo2007

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Preliminary list of speakers: Warren Goldfarb (Harvard), Mary Leng (Liverpool), Douglas Macbeth (Ohio State), Mathieu Marion (Quebec) and Soeren Stenlund (Uppsala)

For more information, see http://www.socialsciences.manchester.ac.uk/sociology/staff/cg/

This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students, from the UK and overseas.

The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned (see below).

A conference homepage is being set up at http://www.maths.ox.ac.uk/notices/events/special/tancl07/. In the meantime, expression of interest by potential participants is welcomed; please email tancl07 at maths.ox.ac.uk

In the past decade it has become increasingly clear that studying information, first and foremost, means studying information exchange. This acknowledgement of the inherently social character of information shows up at many places in modern logical theories. More generally, information exchange is a form of interaction where agents act together in strategic ways. This new perspective has led to contacts between logic and game theory, bringing a new set of disciplines into the scope of logic: viz., economics, and the social sciences.

New interfaces are arising, such as epistemic studies of rational behavior in games. Another interesting development in this area is the rise of the notion of 'social software', the idea of using computational techniques for analyzing patterns of social behavior. And finally, interaction is also crucial to intelligent behavior in the field of natural language. Here pragmatics, the study of the actual use of language between different agents, has become the primary focus of research. Notions from game theory, in particular evolutionary games, are being used to-day to answer all kinds of pragmatic issues, for instance, how linguistic conventions can arise.

This workshop aims to bring together researchers working on these and related topics in logic, philosophy, computer science, and related areas in order to arrive at an integrated perspective on knowledge acquisition, information exchange, and rational action.

For more information, see https://www.illc.uva.nl/LORI/

The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

Sections
1. Wittgenstein
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society

For more information, see http://www.alws.at/.

Hilary Kornblith is one of the most important figures in epistemology and an outstanding proponent of naturalism. Mr. Kornblith will be our guest in Cologne for one week and will be discussing central theses of his philosophy along with a group of international students and philosophers. Psychologists, biologists and other interested parties are also kindly invited.

The number of participants is relatively small, and those interested may apply through May 15 at the website. For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/index.htm

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.

For more information, see http://hylomol.ruc.dk/HyLo2007

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Preliminary list of speakers: Warren Goldfarb (Harvard), Mary Leng (Liverpool), Douglas Macbeth (Ohio State), Mathieu Marion (Quebec) and Soeren Stenlund (Uppsala)

For more information, see http://www.socialsciences.manchester.ac.uk/sociology/staff/cg/

This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students, from the UK and overseas.

The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned (see below).

A conference homepage is being set up at http://www.maths.ox.ac.uk/notices/events/special/tancl07/. In the meantime, expression of interest by potential participants is welcomed; please email tancl07 at maths.ox.ac.uk

In the past decade it has become increasingly clear that studying information, first and foremost, means studying information exchange. This acknowledgement of the inherently social character of information shows up at many places in modern logical theories. More generally, information exchange is a form of interaction where agents act together in strategic ways. This new perspective has led to contacts between logic and game theory, bringing a new set of disciplines into the scope of logic: viz., economics, and the social sciences.

New interfaces are arising, such as epistemic studies of rational behavior in games. Another interesting development in this area is the rise of the notion of 'social software', the idea of using computational techniques for analyzing patterns of social behavior. And finally, interaction is also crucial to intelligent behavior in the field of natural language. Here pragmatics, the study of the actual use of language between different agents, has become the primary focus of research. Notions from game theory, in particular evolutionary games, are being used to-day to answer all kinds of pragmatic issues, for instance, how linguistic conventions can arise.

This workshop aims to bring together researchers working on these and related topics in logic, philosophy, computer science, and related areas in order to arrive at an integrated perspective on knowledge acquisition, information exchange, and rational action.

For more information, see https://www.illc.uva.nl/LORI/

The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

Sections
1. Wittgenstein
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society

For more information, see http://www.alws.at/.

Hilary Kornblith is one of the most important figures in epistemology and an outstanding proponent of naturalism. Mr. Kornblith will be our guest in Cologne for one week and will be discussing central theses of his philosophy along with a group of international students and philosophers. Psychologists, biologists and other interested parties are also kindly invited.

The number of participants is relatively small, and those interested may apply through May 15 at the website. For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/index.htm

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.

For more information, see http://hylomol.ruc.dk/HyLo2007

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to lmps2007 at tsinghua.edu.cn.

The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

Sections
1. Wittgenstein
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society

For more information, see http://www.alws.at/.

Hilary Kornblith is one of the most important figures in epistemology and an outstanding proponent of naturalism. Mr. Kornblith will be our guest in Cologne for one week and will be discussing central theses of his philosophy along with a group of international students and philosophers. Psychologists, biologists and other interested parties are also kindly invited.

The number of participants is relatively small, and those interested may apply through May 15 at the website. For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/index.htm

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.

For more information, see http://hylomol.ruc.dk/HyLo2007

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to lmps2007 at tsinghua.edu.cn.

The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

Sections
1. Wittgenstein
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society

For more information, see http://www.alws.at/.

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to lmps2007 at tsinghua.edu.cn.

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to lmps2007 at tsinghua.edu.cn.

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to lmps2007 at tsinghua.edu.cn.

UC'07 is the 6th Conference in the Series Unconventional Computation. The first venue of the International Conference on Unconventional Computation (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, Sevilla, Spain in 2005, and York, U.K. in 2006. By coming to Kingston in 2007, the International Conference on Unconventional Computation makes its debut in the Americas.

For more information, see http://www.cs.queensu.ca/uc07/.

We are pleased to announce a one-day set theory meeting in Amsterdam in the above schedule. Topics include Prikry forcing, too large large cardinals, Wadge reducibility and its generalization and non-standard models of set theory. Any people interested in set theory are welcome to join.

For more information inclusing a program and abstracts, see http://staff.science.uva.nl/~ikegami/Ams_Aug_2007.html or e-mail ikegami at science.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.

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to lmps2007 at tsinghua.edu.cn.

UC'07 is the 6th Conference in the Series Unconventional Computation. The first venue of the International Conference on Unconventional Computation (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, Sevilla, Spain in 2005, and York, U.K. in 2006. By coming to Kingston in 2007, the International Conference on Unconventional Computation makes its debut in the Americas.

For more information, see http://www.cs.queensu.ca/uc07/.

Idealization is ubiquitous in scientific practice, yet there is little consensus in the extant philosophical literature on some of the most basic questions about idealization, such as: What exactly constitutes idealization? Is idealization compatible with realism? Are idealization and abstraction distinct? Should theorists work to eliminate idealizations as science progresses? Are there rules governing the rational use of idealization, or should a theorist's intuition alone guide the process? We would like to see more sustained philosophical analysis directed at these and related questions. To help accomplish this, we will assemble a small group of philosophers from diverse backgrounds for in depth discussion about the philosophical questions related to idealization. The workshop will be organized to maximize discussion time and to ensure that novel material about idealization is given maximum time for discussion. We are especially interested to discuss the more epistemological aspects of idealization, with a lesser emphasis on the detailed case studies that have dominated much of the recent literature.

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

The 14th Computing: The Australasian Theory Symposium (CATS) will be held at the University of Wollongong, New South Wales, Australia, during January 22-25, 2008. Wollongong is about an hour south of Sydney by train. CATS is one of the two premier annual conferences in theoretical computer science in the Asia-Pacific.

For more information, see http://uob-community.ballarat.edu.au/~pmanyem/cats-08/

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to lmps2007 at tsinghua.edu.cn.

UC'07 is the 6th Conference in the Series Unconventional Computation. The first venue of the International Conference on Unconventional Computation (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, Sevilla, Spain in 2005, and York, U.K. in 2006. By coming to Kingston in 2007, the International Conference on Unconventional Computation makes its debut in the Americas.

For more information, see http://www.cs.queensu.ca/uc07/.

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

UC'07 is the 6th Conference in the Series Unconventional Computation. The first venue of the International Conference on Unconventional Computation (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, Sevilla, Spain in 2005, and York, U.K. in 2006. By coming to Kingston in 2007, the International Conference on Unconventional Computation makes its debut in the Americas.

For more information, see http://www.cs.queensu.ca/uc07/.

This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

For more information, see http://www.uni-log.org/

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-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

UC'07 is the 6th Conference in the Series Unconventional Computation. The first venue of the International Conference on Unconventional Computation (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, Sevilla, Spain in 2005, and York, U.K. in 2006. By coming to Kingston in 2007, the International Conference on Unconventional Computation makes its debut in the Americas.

For more information, see http://www.cs.queensu.ca/uc07/.

This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

For more information, see http://www.uni-log.org/

This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

For more information, see http://www.uni-log.org/

This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

For more information, see http://www.uni-log.org/

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

For more information, see http://www.uni-log.org/

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

The topic of the conference is the investigation of concept types (sortal, relational, individual and functional concepts) and their respective relationships to frames (recursive attribute-value structures). The interdisciplinary conference combines approaches from linguistics, computational linguistics, neuroscience, philosophy, philosophy of science and the history of science.

For more information, see http://phil-fak.uni-duesseldorf.de/fff/ctf/ or email to: ctf at phil-fak.uni-duesseldorf.de.

The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context, within a wide range of disciplines. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

For more information, see http://context-07.ruc.dk/.

CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2007 will be preceded by two events: CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years - and the Tools & Application Day - providing the opportunity to give system demonstrations.

For more information, see http://www.ii.uib.no/calco07/

This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

For more information, see http://www.uni-log.org/

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

The topic of the conference is the investigation of concept types (sortal, relational, individual and functional concepts) and their respective relationships to frames (recursive attribute-value structures). The interdisciplinary conference combines approaches from linguistics, computational linguistics, neuroscience, philosophy, philosophy of science and the history of science.

For more information, see http://phil-fak.uni-duesseldorf.de/fff/ctf/ or email to: ctf at phil-fak.uni-duesseldorf.de.

The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context, within a wide range of disciplines. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

For more information, see http://context-07.ruc.dk/.

CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2007 will be preceded by two events: CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years - and the Tools & Application Day - providing the opportunity to give system demonstrations.

For more information, see http://www.ii.uib.no/calco07/

This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

For more information, see http://www.uni-log.org/

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

The topic of the conference is the investigation of concept types (sortal, relational, individual and functional concepts) and their respective relationships to frames (recursive attribute-value structures). The interdisciplinary conference combines approaches from linguistics, computational linguistics, neuroscience, philosophy, philosophy of science and the history of science.

For more information, see http://phil-fak.uni-duesseldorf.de/fff/ctf/ or email to: ctf at phil-fak.uni-duesseldorf.de.

The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context, within a wide range of disciplines. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

For more information, see http://context-07.ruc.dk/.

CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2007 will be preceded by two events: CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years - and the Tools & Application Day - providing the opportunity to give system demonstrations.

For more information, see http://www.ii.uib.no/calco07/

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context, within a wide range of disciplines. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

For more information, see http://context-07.ruc.dk/.

CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2007 will be preceded by two events: CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years - and the Tools & Application Day - providing the opportunity to give system demonstrations.

For more information, see http://www.ii.uib.no/calco07/

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context, within a wide range of disciplines. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

For more information, see http://context-07.ruc.dk/.

CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2007 will be preceded by two events: CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years - and the Tools & Application Day - providing the opportunity to give system demonstrations.

For more information, see http://www.ii.uib.no/calco07/

The joint ICNC'07-FSKD'07 will be held in Haikou, China. Previously, the joint conferences in 2005 and 2006 each attracted over 3100 submissions from more than 30 countries.

For more information, see http://www.hainu.edu.cn/htm/icnc-fskd2007

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

The joint ICNC'07-FSKD'07 will be held in Haikou, China. Previously, the joint conferences in 2005 and 2006 each attracted over 3100 submissions from more than 30 countries.

For more information, see http://www.hainu.edu.cn/htm/icnc-fskd2007

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

The joint ICNC'07-FSKD'07 will be held in Haikou, China. Previously, the joint conferences in 2005 and 2006 each attracted over 3100 submissions from more than 30 countries.

For more information, see http://www.hainu.edu.cn/htm/icnc-fskd2007

The joint ICNC'07-FSKD'07 will be held in Haikou, China. Previously, the joint conferences in 2005 and 2006 each attracted over 3100 submissions from more than 30 countries.

For more information, see http://www.hainu.edu.cn/htm/icnc-fskd2007

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

The joint ICNC'07-FSKD'07 will be held in Haikou, China. Previously, the joint conferences in 2005 and 2006 each attracted over 3100 submissions from more than 30 countries.

For more information, see http://www.hainu.edu.cn/htm/icnc-fskd2007

EASSS-2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information, see http://www.dur.ac.uk/durham.agents007/EASSS07/.

ASAI, the Argentine Symposium on Artificial Intelligence, is an annual event intended to be the main forum of the Artificial Intelligence (AI) community in Argentina. The symposium will consist of invited talks and regular paper sessions presenting both mature work and new ideas in theoretical research and applications, and aims at providing a forum for researchers and AI community members to discuss and exchange ideas and experiences on diverse topics of AI. Previous ASAI editions stimulated presentations on both applications of AI and new tools and foundations currently under development. ASAI 2007 will be part of the 36th JAIIO, the 36th Argentine Meetings on Informatics and Operations Research.

For more information, see http://www.exa.unicen.edu.ar/asai2007/

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

EASSS-2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information, see http://www.dur.ac.uk/durham.agents007/EASSS07/.

ASAI, the Argentine Symposium on Artificial Intelligence, is an annual event intended to be the main forum of the Artificial Intelligence (AI) community in Argentina. The symposium will consist of invited talks and regular paper sessions presenting both mature work and new ideas in theoretical research and applications, and aims at providing a forum for researchers and AI community members to discuss and exchange ideas and experiences on diverse topics of AI. Previous ASAI editions stimulated presentations on both applications of AI and new tools and foundations currently under development. ASAI 2007 will be part of the 36th JAIIO, the 36th Argentine Meetings on Informatics and Operations Research.

For more information, see http://www.exa.unicen.edu.ar/asai2007/

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

EASSS-2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information, see http://www.dur.ac.uk/durham.agents007/EASSS07/.

The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field.

For more information, see http://www.sbmf2007.ufop.br/

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

EASSS-2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information, see http://www.dur.ac.uk/durham.agents007/EASSS07/.

The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field.

For more information, see http://www.sbmf2007.ufop.br/

The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serves as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. ASCM 2007 will consist of invited talks, regular sessions of contributed papers, and software demonstrations.

For more information, see http://www.comp.nus.edu.sg/~ascm2007/ or contact raja at tifr.res.in

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

EASSS-2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information, see http://www.dur.ac.uk/durham.agents007/EASSS07/.

The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field.

For more information, see http://www.sbmf2007.ufop.br/