This is to announce the ninth installment of the workshop that takes linguists and experimental philosophers to the ski slopes. It will be held February 21-25 2008, on the mountaintop Szrenica, Poland (the same location as every year).

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is Complexity and Language - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating typical Szklarska Poreba concerns to complexity are especially welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative.

The possibility exists to hire cross-country skis, however we need to know in advance who would be interested and (crucially) how big their feet are.

For more information, see http://staff.science.uva.nl/~sjagerde/szklarska/ or here.

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions (including sessions on "Logic in AI" and "Computation and Social Choice").

For more information, see http://isaim2008.unl.edu/.

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions (including sessions on "Logic in AI" and "Computation and Social Choice").

For more information, see http://isaim2008.unl.edu/.

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions (including sessions on "Logic in AI" and "Computation and Social Choice").

For more information, see http://isaim2008.unl.edu/.

Keynote Speaker: Prof. Alva Noe (Univ. of California/Berkeley). Registration is open until the 31st of January 2008. Selected Graduate Papers from the areas philosophy of mind or epistemology will be presented and discussed at the Graduate Conference.

For more information, see http://www.research-school.rub.de/cms/rudolf_carnap_lectur.html.

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 biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2008 will encourage a special focus on the topic "Security and Trust".

Early registration deadline is June 10th. For further information, see the DEON'08 website at http://deon2008.uni.lu/.

The topic of this symposium is situated at the current interface between Logic and the Foundations of Physics. The aim is to look at already-established, as well as new connections between the two fields, within the context of recent work on logics of space, time, action and information flow, with an eye towards a wider philosophical perspective.

Due to the interdisciplinary nature, the symposium is intended to be of interest to logicians, physicists, philosophers of physics as well as to computer scientists.

For more information and the on-line programme see http://symposium.tiddlyspot.com/

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

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

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

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

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

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

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.

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

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

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

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '08 is the thirteenth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for applications (and submission of abstracts for the student session) is 18 January 2008.

For more information, see http://cs.ioc.ee/ewscs/2008/ or contact ewscs08 at cs.ioc.ee.

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.

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

The Philosophy Faculty of Cambridge University is pleased to announce its first graduate conference on the Philosophy of Logic and Mathematics. The conference will be held in The Fisher Building of St. John's College, Cambridge (CB2 1TP).

The conference website is: http://www.phil.cam.ac.uk/news_events/camgradphilconf.html. If you have any further questions, please contact the conference organizers, Tim Button and Luca Incurvati, at: cam.phil.grad.conf at googlemail.com.

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

The Philosophy Faculty of Cambridge University is pleased to announce its first graduate conference on the Philosophy of Logic and Mathematics. The conference will be held in The Fisher Building of St. John's College, Cambridge (CB2 1TP).

The conference website is: http://www.phil.cam.ac.uk/news_events/camgradphilconf.html. If you have any further questions, please contact the conference organizers, Tim Button and Luca Incurvati, at: cam.phil.grad.conf at googlemail.com.

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

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 Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

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 Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

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 Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

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 Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

In recent years, fresh encounters have taken place between analytic philosophy and Asian thought. Contemporary analytic and logical tools have been applied to interpret Asian philosophies, while the rich variety of traditional ideas in the latter gives new perspectives in analytic philosophy. This conference is organized to enhance this trend, as well as to assess its status quo. Any tradition of Asian philosophy is included, though the emphasis of the conference is likely to be in areas related to Buddhism, such as Zen and other Mahayana schools, and Japanese philosophy such as Kyoto.

For more information, see http://homepage2.nifty.com/ydeguchi/apat2008/