The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. The theme for the 2008 convention is "Communication, Interaction and Social Intelligence". This is a return to the same broad area as the highly successful AISB 2005 convention on "Social Intelligence and Interaction in Animals, Robots and Agents".

Early Registration Deadline: 4 March. For more information and a list of symposia, see http://www.aisb.org.uk/convention/aisb08/

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. The theme for the 2008 convention is "Communication, Interaction and Social Intelligence". This is a return to the same broad area as the highly successful AISB 2005 convention on "Social Intelligence and Interaction in Animals, Robots and Agents".

Early Registration Deadline: 4 March. For more information and a list of symposia, see http://www.aisb.org.uk/convention/aisb08/

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. The theme for the 2008 convention is "Communication, Interaction and Social Intelligence". This is a return to the same broad area as the highly successful AISB 2005 convention on "Social Intelligence and Interaction in Animals, Robots and Agents".

Early Registration Deadline: 4 March. For more information and a list of symposia, see http://www.aisb.org.uk/convention/aisb08/

In the past years, logicians have become more and more interested in the phenomenon of interaction. The area "logic and games" deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. A number of conferences and workshops have been dealing with logic in game and decision theory and dynamic logics with announcement and action operations. Fruitful technical advances have led to deep insights into the nature of communicative interaction and behaviour by logicians.

While these interactive aspects are relatively new to logicians, on a rather different level, modelling intelligent interaction has been an aspect of the practical work of computer game designers, researchers in artificial intelligence, robotics, and human-machine interaction for a long time. The practical aspects of simulating interaction and behaviour reach out to a wide interdisciplinary field including psychology and cognitive science.

So far, there are only a few cross-links between these two communities. Our symposium will explore the possibilities of joining the theoretical approach to interaction and communication with the practical approach to simulating behaviour. We would like to include purely logical aspects, cognitive and psychological aspects (including empirical testing of formal models), and pragmatic aspects.

This symposium is sponsored by the ILLC GLoRiClass project.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_1 or http://www.aisb.org.uk/convention/aisb08/

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. The theme for the 2008 convention is "Communication, Interaction and Social Intelligence". This is a return to the same broad area as the highly successful AISB 2005 convention on "Social Intelligence and Interaction in Animals, Robots and Agents".

Early Registration Deadline: 4 March. For more information and a list of symposia, see http://www.aisb.org.uk/convention/aisb08/

In the past years, logicians have become more and more interested in the phenomenon of interaction. The area "logic and games" deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. A number of conferences and workshops have been dealing with logic in game and decision theory and dynamic logics with announcement and action operations. Fruitful technical advances have led to deep insights into the nature of communicative interaction and behaviour by logicians.

While these interactive aspects are relatively new to logicians, on a rather different level, modelling intelligent interaction has been an aspect of the practical work of computer game designers, researchers in artificial intelligence, robotics, and human-machine interaction for a long time. The practical aspects of simulating interaction and behaviour reach out to a wide interdisciplinary field including psychology and cognitive science.

So far, there are only a few cross-links between these two communities. Our symposium will explore the possibilities of joining the theoretical approach to interaction and communication with the practical approach to simulating behaviour. We would like to include purely logical aspects, cognitive and psychological aspects (including empirical testing of formal models), and pragmatic aspects.

This symposium is sponsored by the ILLC GLoRiClass project.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_1 or http://www.aisb.org.uk/convention/aisb08/

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

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

Vagueness is a pervasive phenomenon in natural language, which appears to be instantiated in nearly all lexical categories (including adjectives, nouns, verbs, and quantifiers). In recent years, progress has been made, both in philosophy and in linguistics, to characterize the sources as well as the varieties of vagueness. At the foundational level, a central debate concerns the epistemic vs. semantic nature of the vagueness phenomenon, and the proper understanding of the relation between the notions of vagueness, ambiguity, context-dependence, and imprecision. In linguistic theory, some significant advances have been made on the semantics of gradable adjectives and on the role and behavior of vagueness related adverbs (such as "clearly", "approximately", and "definitely").

These advances raise the question of how empirical studies of language may bear on the debate about the nature of vagueness, and whether they can help to adjudicate between competing accounts (epistemic vs. semantic theories, contextualist vs. non-contextualist accounts). In addition to that, a number of issues remain open for investigation: is vagueness manifested and resolved in the same way across lexical categories (nouns vs. adjectives, logical vs. non-logical expressions)? How is the vagueness of lexical items blocked or inherited in larger semantic units (e.g. in comparative constructions), and what can this tell us about its nature? How do various theories explain the fact that we use vague terms successfully to communicate meaning in spite of their vagueness? The aim of this conference will be to bring together linguists and philosophers, with contributions on both the foundational and the empirical aspects of the phenomenon of vagueness in natural language.

For Conference Description and details of the CFP, see: http://paulegre.free.fr/Vagueness/index.html or contact vagueness.paris08 at gmail.com.

LATIN was launched in 1992 to foster the interaction between the Latin-American community and computer scientists around the world. LATIN'08 will be the eighth of a series.

For more information, see http://www.latin08.org/

Vagueness is a pervasive phenomenon in natural language, which appears to be instantiated in nearly all lexical categories (including adjectives, nouns, verbs, and quantifiers). In recent years, progress has been made, both in philosophy and in linguistics, to characterize the sources as well as the varieties of vagueness. At the foundational level, a central debate concerns the epistemic vs. semantic nature of the vagueness phenomenon, and the proper understanding of the relation between the notions of vagueness, ambiguity, context-dependence, and imprecision. In linguistic theory, some significant advances have been made on the semantics of gradable adjectives and on the role and behavior of vagueness related adverbs (such as "clearly", "approximately", and "definitely").

These advances raise the question of how empirical studies of language may bear on the debate about the nature of vagueness, and whether they can help to adjudicate between competing accounts (epistemic vs. semantic theories, contextualist vs. non-contextualist accounts). In addition to that, a number of issues remain open for investigation: is vagueness manifested and resolved in the same way across lexical categories (nouns vs. adjectives, logical vs. non-logical expressions)? How is the vagueness of lexical items blocked or inherited in larger semantic units (e.g. in comparative constructions), and what can this tell us about its nature? How do various theories explain the fact that we use vague terms successfully to communicate meaning in spite of their vagueness? The aim of this conference will be to bring together linguists and philosophers, with contributions on both the foundational and the empirical aspects of the phenomenon of vagueness in natural language.

For Conference Description and details of the CFP, see: http://paulegre.free.fr/Vagueness/index.html or contact vagueness.paris08 at gmail.com.

LATIN was launched in 1992 to foster the interaction between the Latin-American community and computer scientists around the world. LATIN'08 will be the eighth of a series.

For more information, see http://www.latin08.org/

Vagueness is a pervasive phenomenon in natural language, which appears to be instantiated in nearly all lexical categories (including adjectives, nouns, verbs, and quantifiers). In recent years, progress has been made, both in philosophy and in linguistics, to characterize the sources as well as the varieties of vagueness. At the foundational level, a central debate concerns the epistemic vs. semantic nature of the vagueness phenomenon, and the proper understanding of the relation between the notions of vagueness, ambiguity, context-dependence, and imprecision. In linguistic theory, some significant advances have been made on the semantics of gradable adjectives and on the role and behavior of vagueness related adverbs (such as "clearly", "approximately", and "definitely").

These advances raise the question of how empirical studies of language may bear on the debate about the nature of vagueness, and whether they can help to adjudicate between competing accounts (epistemic vs. semantic theories, contextualist vs. non-contextualist accounts). In addition to that, a number of issues remain open for investigation: is vagueness manifested and resolved in the same way across lexical categories (nouns vs. adjectives, logical vs. non-logical expressions)? How is the vagueness of lexical items blocked or inherited in larger semantic units (e.g. in comparative constructions), and what can this tell us about its nature? How do various theories explain the fact that we use vague terms successfully to communicate meaning in spite of their vagueness? The aim of this conference will be to bring together linguists and philosophers, with contributions on both the foundational and the empirical aspects of the phenomenon of vagueness in natural language.

For Conference Description and details of the CFP, see: http://paulegre.free.fr/Vagueness/index.html or contact vagueness.paris08 at gmail.com.

LATIN was launched in 1992 to foster the interaction between the Latin-American community and computer scientists around the world. LATIN'08 will be the eighth of a series.

For more information, see http://www.latin08.org/

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/

LATIN was launched in 1992 to foster the interaction between the Latin-American community and computer scientists around the world. LATIN'08 will be the eighth of a series.

For more information, see http://www.latin08.org/

Science presents us with a variety of accounts of the world. While some of these accounts posit a deeper theoretical structure and fundamental entities, others do not. But which of these accounts is the right one? How should science conceptualize the world? And what is the relation between the various accounts?

Opinions on these issues diverge wildly in philosophy of science. At one extreme are reductionists who argue that higher-level theories should, in principle, be incorporated in or eliminated by the basic level theory. Higher-level theories do not ultimately exhibit conceptual integrity or provide genuine explanations. At the other extreme are pluralists who take higher levels of description and explanation seriously and argue for their independence and indispensability. Our goal in this conference is to bring together representatives from as many viewpoints as possible in order to advance our understanding of this problem. We invite case studies from the natural, social and behavioural sciences as well as discussions of philosophical models of intertheoretic relations.

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

LATIN was launched in 1992 to foster the interaction between the Latin-American community and computer scientists around the world. LATIN'08 will be the eighth of a series.

For more information, see http://www.latin08.org/

Science presents us with a variety of accounts of the world. While some of these accounts posit a deeper theoretical structure and fundamental entities, others do not. But which of these accounts is the right one? How should science conceptualize the world? And what is the relation between the various accounts?

Opinions on these issues diverge wildly in philosophy of science. At one extreme are reductionists who argue that higher-level theories should, in principle, be incorporated in or eliminated by the basic level theory. Higher-level theories do not ultimately exhibit conceptual integrity or provide genuine explanations. At the other extreme are pluralists who take higher levels of description and explanation seriously and argue for their independence and indispensability. Our goal in this conference is to bring together representatives from as many viewpoints as possible in order to advance our understanding of this problem. We invite case studies from the natural, social and behavioural sciences as well as discussions of philosophical models of intertheoretic relations.

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

On Friday, April 11 from 14.00 - 17.00, ACLC and ILLC will organize a small joint workshop, the fourth in a row. This time the topic is "Future collaboration". The four collaborative projects that started recently will present themselves, and there will be a general discussion.

Afterwards, from 17.00 - 18.15 a drink will be organized (in the Café Atrium, Oudezijds Achterburgwal 237).

For more information and a programme, see http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/.

Science presents us with a variety of accounts of the world. While some of these accounts posit a deeper theoretical structure and fundamental entities, others do not. But which of these accounts is the right one? How should science conceptualize the world? And what is the relation between the various accounts?

Opinions on these issues diverge wildly in philosophy of science. At one extreme are reductionists who argue that higher-level theories should, in principle, be incorporated in or eliminated by the basic level theory. Higher-level theories do not ultimately exhibit conceptual integrity or provide genuine explanations. At the other extreme are pluralists who take higher levels of description and explanation seriously and argue for their independence and indispensability. Our goal in this conference is to bring together representatives from as many viewpoints as possible in order to advance our understanding of this problem. We invite case studies from the natural, social and behavioural sciences as well as discussions of philosophical models of intertheoretic relations.

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

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/

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

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

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.

For more information, see http://www.lc08.iam.unibe.ch/

DCFS 2008 - Descriptional Complexity of Formal Systems will be held in Charlottetown, Prince Edward Island, July 16-18, 2008.

For more information, see http://www.csit.upei.ca/dcfs2008/.

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

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

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

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

The three main themes of the conference TAMC08 (the 5th in an annual series) will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://ictt.xidian.edu.cn/tamc2008/

(Dutch only)
Elk jaar organiseren het Korteweg-de Vries Instituut voor Wiskunde (KdVI) en het Institute for Logic, Language & Computation (ILLC) van de Universiteit van Amsterdam voor het congres Leve de Wiskunde!. Wetenschappers met passie (waaronder Henkjan Honing) voor het vak vertellen over hun onderzoek in de wiskunde en logica. Op vrijdag 25 april 2008 zijn docenten wiskunde, 6-vwo scholieren en andere belangstellenden van harte welkom.

Voor meer informatie en aanmelden, zie http://www.science.uva.nl/actueel/Agenda.cfm/C86868F1-1321-B0BE-68CCC17D01DB411E

The three main themes of the conference TAMC08 (the 5th in an annual series) will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://ictt.xidian.edu.cn/tamc2008/

The Harvard-MIT Gradute Philosophy Conference is an annual philosophy conference for graduate students organized by graduate students at Harvard and MIT. For the 2008 edition, the conference will be a one day event on April 23rd. The conference venues will be Emerson Hall, at Harvard, and the Stata Center, at MIT. This year's Keynote Speaker will be Professor Thomas Scanlon (Harvard University).

For more information, see http://web.mit.edu/gradphilconf/ or contact gradphilconf at mit.edu.

Recent work in the philosophy of knowledge has lead to a rediscovery -or a rethinking--- of the relationships between knowledge and action. What is the role of knowledge in the explanation of action and in practical reasoning? To what extent do knowers have to be agents and can knowledge be defined in relation to what the knower does? Are beliefs and judgements in some sense actions? Are there connexions between epistemic reasons and practical reasons, and if there are, what are they? Is there a difference between knowledge and the activity of inquiry? These are, in a sense, traditional questions, which have also a long record within the pragmatist tradition, from Peirce and Ramsey to Isaac Levi, and which can be examined from many angles, from epistemology to philosophy of mind and issues about practical reasoning or meta-ethics. The aim of this conference, which is to examine these issues from a number of aspects, starting from the question: can there be epistemic agency ?

More details at: http://www.unige.ch/lettres/philo/evenements/2008/EpistemicAgency.html.

The three main themes of the conference TAMC08 (the 5th in an annual series) will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://ictt.xidian.edu.cn/tamc2008/

Recent work in the philosophy of knowledge has lead to a rediscovery -or a rethinking--- of the relationships between knowledge and action. What is the role of knowledge in the explanation of action and in practical reasoning? To what extent do knowers have to be agents and can knowledge be defined in relation to what the knower does? Are beliefs and judgements in some sense actions? Are there connexions between epistemic reasons and practical reasons, and if there are, what are they? Is there a difference between knowledge and the activity of inquiry? These are, in a sense, traditional questions, which have also a long record within the pragmatist tradition, from Peirce and Ramsey to Isaac Levi, and which can be examined from many angles, from epistemology to philosophy of mind and issues about practical reasoning or meta-ethics. The aim of this conference, which is to examine these issues from a number of aspects, starting from the question: can there be epistemic agency ?

More details at: http://www.unige.ch/lettres/philo/evenements/2008/EpistemicAgency.html.

The three main themes of the conference TAMC08 (the 5th in an annual series) will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://ictt.xidian.edu.cn/tamc2008/

The three main themes of the conference TAMC08 (the 5th in an annual series) will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://ictt.xidian.edu.cn/tamc2008/

This networking event is jointly organized by CEMS and a benelux section of IEEE, and is aimed at ph.d. students already working on a specific research topic but not yet close to defending their thesis, to bring together PhD candidates and faculty in order to facilitate focused and in-depth discussion.

For more information, see http://staff.science.uva.nl/~peter/NITIMDC200805.pdf

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

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

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