There is now a growing body of research on formal algorithmic models of social procedures and interactions between rational agents. Largely using the language of logic and game theory, these studies have led to new insights into the dynamics of observation, updating of knowledge and belief, preference change, dialogues and processes of strategic interaction. Central to many of these studies is a multi-agent perspective on rational agency that situates inference in an interactive context.

In this context, a workshop on Logic and Social Interaction was held in the Institute of Mathematical Sciences, Chennai during 7-8 January, 2009, focussing on current advances made towards modelling complex multi-agent interactive situations, attempting to identify logical elements in our daily social activities. As a follow-up of the Workshop, a special issue of the "Knowledge, Rationality and Action" section of the journal "Synthese" is planned on the theme of Logic and Social Interaction.

Deadline for abstracts: May 1st, 2009. For more information, see the Special Issue page at http://www.imsc.res.in/tcsweb/kra-lasi.html and the workshop page at http://ali.cmi.ac.in/icla2009/social.html.

Although modern logic has neglected the notion of judgement, logic is in need of this notion, because the premises and conclusions in our reasoning are judgements. The notion of judgement brings back to logic and to philosophy in general the notion of judging agent. This focus on the agent is not to be understood in an exclusively subjective sense, because the agent is entitled to judge only if he has grounds for his judgement. Recently, the notion of assertion, the linguistic counterpart to the notion of judgement, has come into focus. The aim of the workshop is to bring together different perspectives on the notion of judgement from the history of philosophy that may have a relevance for a theory of assertion and judgement today.

For more information, see or contact the organizer Maria van der Schaar: m.v.d.schaar at phil.leidenuniv.nl.

Our aim is to bring together active researchers in the area of logics and mobile systems, especially in the field of logics and calculi for mobility, agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a reality. This raises a number of scientific and technological challenges for the software modelling and programming models for such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. The workshop is intended to showcase results and current work being undertaken in these areas with a focus on logics for specification and verification of dynamic, mobile systems.

The workshop will be held as a one-and-a-half-day event before LICS'2009. There will be a general introduction and brief survey of the field by the organiser as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a discussion session. The latter is meant to give the participants a chance to discuss informally research directions, open problems, and possible co-operations.

Further Information: About the workshop: http://www.dur.ac.uk/lam.09.
About LICS: http://www2.informatik.hu-berlin.de/lics/lics09/

The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 -- 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

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

The research group phlox organizes a workshop on modality with Dorothy Edgington and Keith Hossack as keynote speakers. The workshop will focus on counterfactual reasoning, modal knowledge, and modal idioms in natural language.

Questions that may be addressed include, but are not limited to, the following:
- What strength or kind of modality is expressed in different sorts of everyday modal idioms?
- What role does metaphysical possibility play for non-philosophical reasoning?
- Is knowledge of counterfactuals prior to knowledge of possibilities and necessities?
- Can modal knowledge be grounded in knowledge of some non-modal facts?

For more information, see http://phloxshop2.wordpress.com/ or write to justbecause at gmx.de.

The purpose of SAGT is to bring together researchers from Computer Science, Economics and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

For more information, see http://www.cs.ucy.ac.cy/~mavronic/sagt2009/

The 20th International Conference on Algorithmic Learning Theory (ALT 2009) will be held at the University of Porto, Portugal, October 3 - 5, 2009. The conference is on the theoretical foundations of machine learning. The conference will be co-located with the 12th International Conference on Discovery Science (DS 2009).

ALT 2009 homepage: http://www-alg.ist.hokudai.ac.jp/~thomas/ALT09/alt09.jhtml

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and AA. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.

Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline

For more information, see http://www.conferences.hu/AAMAS2009/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and AA. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.

Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline

For more information, see http://www.conferences.hu/AAMAS2009/

In this workshop conditionals are analyzed from a logical, epistemological and psychological perspective. The focus lies on uncertain conditionals, their non-monotonic character and probabilistic reliability.

For more information, see http://www.phil-fak.uni-duesseldorf.de/philo/personal/thphil/conditionals. If you plan to attend, please contact us at unterhuber at phil-fak.uni-duesseldorf.de.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and AA. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.

Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline

For more information, see http://www.conferences.hu/AAMAS2009/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and AA. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.

Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline

For more information, see http://www.conferences.hu/AAMAS2009/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and AA. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.

Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline

For more information, see http://www.conferences.hu/AAMAS2009/

The 17th Nordic Conference on Computational Linguistics will be held at the University of Southern Denmark in Odense, Denmark, on May 14-16, 2009, with two days for the main conference, and a separate day for workshops.

More information about the conference and local information about Odense will be available at the conference website at: http://beta.visl.sdu.dk/nodalida2009/, or by contacting nodalida2009 at visl.sdu.dk.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and AA. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.

Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline

For more information, see http://www.conferences.hu/AAMAS2009/

The 17th Nordic Conference on Computational Linguistics will be held at the University of Southern Denmark in Odense, Denmark, on May 14-16, 2009, with two days for the main conference, and a separate day for workshops.

More information about the conference and local information about Odense will be available at the conference website at: http://beta.visl.sdu.dk/nodalida2009/, or by contacting nodalida2009 at visl.sdu.dk.

The 17th Nordic Conference on Computational Linguistics will be held at the University of Southern Denmark in Odense, Denmark, on May 14-16, 2009, with two days for the main conference, and a separate day for workshops.

More information about the conference and local information about Odense will be available at the conference website at: http://beta.visl.sdu.dk/nodalida2009/, or by contacting nodalida2009 at visl.sdu.dk.

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then, Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including visualization, data mining, analysis and knowledge management.

The conference aims to unify theoretical and applied practitioners using Formal Concept Analysis drawing from the fields of Mathematics, Computer and Information Sciences, Software Engineering, as well as diverse application domains such as Linguistics or Life Sciences. Other aspects are welcome.

For more information, see http://www.icfca2009.h-da.de/

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then, Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including visualization, data mining, analysis and knowledge management.

The conference aims to unify theoretical and applied practitioners using Formal Concept Analysis drawing from the fields of Mathematics, Computer and Information Sciences, Software Engineering, as well as diverse application domains such as Linguistics or Life Sciences. Other aspects are welcome.

For more information, see http://www.icfca2009.h-da.de/

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then, Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including visualization, data mining, analysis and knowledge management.

The conference aims to unify theoretical and applied practitioners using Formal Concept Analysis drawing from the fields of Mathematics, Computer and Information Sciences, Software Engineering, as well as diverse application domains such as Linguistics or Life Sciences. Other aspects are welcome.

For more information, see http://www.icfca2009.h-da.de/

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then, Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including visualization, data mining, analysis and knowledge management.

The conference aims to unify theoretical and applied practitioners using Formal Concept Analysis drawing from the fields of Mathematics, Computer and Information Sciences, Software Engineering, as well as diverse application domains such as Linguistics or Life Sciences. Other aspects are welcome.

For more information, see http://www.icfca2009.h-da.de/

Together with the Association of Journalists of Science (VNW) and the Science center NEMO, NWO organises Bessensap for the 9th time. The event, with the theme "science meets the press, the press meets science" aims to bring together journalists, editors and PR officials.

For more information, see http://www.nwo.nl/bessensap

This meeting is intended to be the first issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. Rather than a specialized conference, where advanced research results are reported, we aim to get to know each other better and, by understanding the various branches of logic represented in the Netherlands, strengthen our community.

We have reserved a generous amount of time for expository talks, but also strongly encourage contributions by young researchers and Ph.D. students. In all, we hope to create an environment where we can share common interests and where we may fruitfully explore possibilities of collaboration in research, Ph.D. projects, and teaching.

See also the web site of the symposium: http://www.math.ru.nl/~mgehrke/MLNL09/MLNL09-mainpage.htm. Please register with the local organization. If you'd like to speak, please send an e-mail to Bas Spitters: spitters at cs.ru.nl.

This meeting is intended to be the first issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. Rather than a specialized conference, where advanced research results are reported, we aim to get to know each other better and, by understanding the various branches of logic represented in the Netherlands, strengthen our community.

We have reserved a generous amount of time for expository talks, but also strongly encourage contributions by young researchers and Ph.D. students. In all, we hope to create an environment where we can share common interests and where we may fruitfully explore possibilities of collaboration in research, Ph.D. projects, and teaching.

See also the web site of the symposium: http://www.math.ru.nl/~mgehrke/MLNL09/MLNL09-mainpage.htm. Please register with the local organization. If you'd like to speak, please send an e-mail to Bas Spitters: spitters at cs.ru.nl.

Following the PhD defense of Brian Semmes there will be a two-day workshop in set theory. A wide variety of topics are covered, including descriptive set theory, ordinal computability and combinatorics without the Axiom of Choice

For more information, see http://staff.science.uva.nl/~ykhomski/workshop2009/index.html

Following the PhD defense of Brian Semmes there will be a two-day workshop in set theory. A wide variety of topics are covered, including descriptive set theory, ordinal computability and combinatorics without the Axiom of Choice

For more information, see http://staff.science.uva.nl/~ykhomski/workshop2009/index.html

Preference change is a phenomenon that everyone experiences in himself or herself. Such change can be gradual or radical, expected or surprising, caused by external experiences (such as encountering another culture) or by internal influences (such as aging), and so on. How should preference change be explained and modelled? This is a methodological question of tremendous importance, with repercussions in various areas such as dynamic decision theory, welfare economics, consumer theory, moral psychology, philosophy of mind, political science, and the study of deliberation. Yet the question is far from settled, and a science of preference change, if it exists at all at this point, is certainly in its infancy. To mention only one point of disagreement, standard rational choice models explain every preference change by an underlying belief change, whereas critics reject this reduction. The aim of this workshop is to bring together different researchers with interests in this area and to discuss fresh perspectives.

For more information, see http://www.lse.ac.uk/collections/CPNSS/projects/ChoiceGroup/PreferenceChange.htm

Preference change is a phenomenon that everyone experiences in himself or herself. Such change can be gradual or radical, expected or surprising, caused by external experiences (such as encountering another culture) or by internal influences (such as aging), and so on. How should preference change be explained and modelled? This is a methodological question of tremendous importance, with repercussions in various areas such as dynamic decision theory, welfare economics, consumer theory, moral psychology, philosophy of mind, political science, and the study of deliberation. Yet the question is far from settled, and a science of preference change, if it exists at all at this point, is certainly in its infancy. To mention only one point of disagreement, standard rational choice models explain every preference change by an underlying belief change, whereas critics reject this reduction. The aim of this workshop is to bring together different researchers with interests in this area and to discuss fresh perspectives.

For more information, see http://www.lse.ac.uk/collections/CPNSS/projects/ChoiceGroup/PreferenceChange.htm

This is the second of three small, thematically focused events in formal epistemology, organized by Franz Huber (Konstanz), Eric Swanson (Michigan), and Jonathan Weisberg (Toronto). This year's festivities coincide with the 10th anniversary of the publication of James Joyce's The Foundations of Causal Decision Theory.

For more information, see http://www-personal.umich.edu/~ericsw/2fef

IMSCIT is a multi-disciplinary conference gathering scientists form the different fields of IT & Computer Science together with representatives of industry and end-users. IMSCIT with its motto: "new ideas are born not inside peoples' heads but in the space between them", quickly became a unique place to share thoughts and ideas. This year's gathering is held in October 2009 in a beautiful town of Mragowo in the midst of Mazury Lake Country.

The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

For more information, see http://cla.imcsit.org/

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the second in a series that will rotate among universities of the region. The first conference was held in Denver last summer and was a big success.

The conference webpage is at http://www.math.nmsu.edu/blast.

Preference change is a phenomenon that everyone experiences in himself or herself. Such change can be gradual or radical, expected or surprising, caused by external experiences (such as encountering another culture) or by internal influences (such as aging), and so on. How should preference change be explained and modelled? This is a methodological question of tremendous importance, with repercussions in various areas such as dynamic decision theory, welfare economics, consumer theory, moral psychology, philosophy of mind, political science, and the study of deliberation. Yet the question is far from settled, and a science of preference change, if it exists at all at this point, is certainly in its infancy. To mention only one point of disagreement, standard rational choice models explain every preference change by an underlying belief change, whereas critics reject this reduction. The aim of this workshop is to bring together different researchers with interests in this area and to discuss fresh perspectives.

For more information, see http://www.lse.ac.uk/collections/CPNSS/projects/ChoiceGroup/PreferenceChange.htm

This is the second of three small, thematically focused events in formal epistemology, organized by Franz Huber (Konstanz), Eric Swanson (Michigan), and Jonathan Weisberg (Toronto). This year's festivities coincide with the 10th anniversary of the publication of James Joyce's The Foundations of Causal Decision Theory.

For more information, see http://www-personal.umich.edu/~ericsw/2fef

The Indian School on Logic and Applications is a biennial event. The first school was held during January 2006 at IIT Bombay and the second school during January 2008 at IIT Kanpur. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The third conference was held at IMSc, Chennai, this year and the proceedings published as LNAI 5378.

The 3rd School will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

The deadline for receiving applications is November 13, 2009. For more information, see http://ali.cmi.ac.in/isla2010 or contact the organizers at icla at imsc.res.in.

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 of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction and how to implement these efficiently.

There have been a series of LICS-affiliated workshops devoted to the theme. The first one was held as part of FLoC1999, Trento, Italy, the second was part of FLoC2002, Copenhagen, Denmark, the third was associated with LiCS2005, Chicago, USA and the last one was associated with LICS 2008 in Pittsburgh, PA, USA. Two special issues of journals on the theme have already appeared, in 2001 and 2004. We are hereby soliciting papers for a further special volume of Information and Computation, devoted to Intuitionistic Modal Logics and Applications. We hope to cover the novel applications presented in the last two workshops, especially applications to computer security, automated deduction and computational linguistics, but also to include work not presented at the workshops.

Papers (preferably under 20 pages long) should be submitted by 31st May 2009. For more information, see here or contact one of the editors (Valeria de Paiva valeria at cuill.com or Brigitte Pientka bpientka at cs.mcgill.ca).

This is the second of three small, thematically focused events in formal epistemology, organized by Franz Huber (Konstanz), Eric Swanson (Michigan), and Jonathan Weisberg (Toronto). This year's festivities coincide with the 10th anniversary of the publication of James Joyce's The Foundations of Causal Decision Theory.

For more information, see http://www-personal.umich.edu/~ericsw/2fef

A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.

The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html