This conference aims to explore the state of the art of game-theoretic models in the study of communication and language. The importance of the interplay between participants in modeling the dynamics of communication has long been appreciated. Only recently, however, have the specific models of game theory been applied to this problem. Recent developments in fields as diverse as evolutionary biology and multi-agent systems have shed new light on both the sophistication of game-theoretic models and the breadth of phenomena they can address. The goal of this conference is to consolidate perspectives and encourage communication on this topic across disciplinary lines. As such, both "communication" and "game-theoretic model" should be construed as broadly as possible; researchers in any field actively pursuing this endeavor are encouraged to apply.

Invited speakers include Robert Stalnaker, Rohit Parikh, Prashant Parikh.

Send submission or any inquiries to Alistair Isaac at aisaac at stanford.edu

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 third in a series that will rotate among universities of the region.

There will be invited talks by Mohamed Bekkali, Robert Bonnet, Ken Kunen, Ralph McKenzie, David Milovich, Grigor Sargsyan, Juris Steprans, and Friedrich Wehrung. There will also be tutorials by Andreas Blass, Gary Gruenhage, Sabine Koppelberg, and Ross Willard.

More information can be found at http://euclid.colorado.edu/~kasterma/blast/index.php or obtained by contacting blast at colorado.edu.

Logic is an independent research area, however its significance in science depends on its possible applications. Cognitive Science is an area where applications of logic are especially needed and welcomed.

The Conference is organized by Department of Logic at Nicolaus Copernicus University, Torun, Poland. At the same time two other related conferences concerning philosophy of mind and artificial intelligence will take place in Torun. All three events are parts of the project called Argumentation as a Cognitive Process. We hope to gather broader audience consisting of logicians, philosophers and computer scientists among others.

For more information, see http://www.logika.umk.pl/lcs/

TMFCS is an important event in the theoretical, mathematical and logical areas of computer science. The conference will be held at the same time and location where several other major international conferences will be taking place.

Please see http://www.promoteresearch.org/2010/tmfcs/ for more details.

The Student Session of the 22nd European Summer School in Logic, Language and Information will take place in Copenhagen, Denmark from August 9 to August 20. We invite submissions of papers describing original, unpublished research conducted in the interdisciplinary areas of LOgic and COmputation, LOgic and LAnguage, and LAnguage and COmputation. All (co-)authors must be students (i.e., before the completion of the Ph.D.).

Deadline for submissions (extended): 3 March 2010. For more information, see http://marija.gforge.uni.lu/esslli2010.html or the ESSLLI 2010 website at http://esslli2010cph.info/.

The Algebra & Coalgebra group at The Institute for Logic, language and Computation is organizing a sequel to the successful Dutch Coalgebra Days that took place in previous years (the last one was in the CWI, Amsterdam on the 2nd March 2009).

The Coalgebra Day is an informal one-day meeting on topics related to the theory of coalgebras. We will have talks from the two invited speakers, Jiri Adámek and Stefan Milius (Technical University of Braunschweig, Germany), and from people attending the event. Participation is free for everyone, and there is no registration fee. Lunch and drinks will be offered to the participants.

For practical reasons, please let us know in advance if you plan to attend, and whether you would like to give a talk (+/- 30 min.), by sending an e-mail to R.A.LealRodriguez at uva.nl and vincenzoml at gmail.com before the 19th of February. For more information, see http://staff.science.uva.nl/~ciancia/coalgebra_day/.

Continuing the mission of the highly successful First and Second AGI Conferences, AGI-10 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

For more information, see http://agi-conf.org/2010/

Continuing the mission of the highly successful First and Second AGI Conferences, AGI-10 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

For more information, see http://agi-conf.org/2010/

Continuing the mission of the highly successful First and Second AGI Conferences, AGI-10 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

For more information, see http://agi-conf.org/2010/

Continuing the mission of the highly successful First and Second AGI Conferences, AGI-10 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

For more information, see http://agi-conf.org/2010/

This workshop takes the pulse of current interfaces between logic and games. It is held at the occasion of two thesis defenses, by Jonathan A. Zvesper and Cédric Dégremont, on the topic of dynamic logics of belief and belief change (broadly construed) and their applications to games. In addition, a number of prominent researchers will talk about their current work, ranging from game theory to computer science and philosophy. Talks will be short, and the workshop aims for exchange of ideas and interaction.

For more information, see http://staff.science.uva.nl/~cdegremo/GLLC17/GLLC17.html

The workshop offers lectures by keynote speakers Prof. David Papineau (King's College London), and Michael Esfeld (University of Lausanne, CH), as well as presentations of selected Graduate Papers.

General Registration deadline: February 25th. For more information, see http://www.rub.de/philosophy/carnap2010

The workshop offers lectures by keynote speakers Prof. David Papineau (King's College London), and Michael Esfeld (University of Lausanne, CH), as well as presentations of selected Graduate Papers.

General Registration deadline: February 25th. For more information, see http://www.rub.de/philosophy/carnap2010

The workshop offers lectures by keynote speakers Prof. David Papineau (King's College London), and Michael Esfeld (University of Lausanne, CH), as well as presentations of selected Graduate Papers.

General Registration deadline: February 25th. For more information, see http://www.rub.de/philosophy/carnap2010

Linguists, logicians and (experimental) philosophers are invited to join the opening of a new decade of conferences on the Roots of Pragmasemantics. The focus of this eleventh convention is the role of logic in the interplay of theoretical and empirical research into natural language meaning and human reasoning.

Conference Homepage: http://szklarska2010.hlotze.com/

Linguists, logicians and (experimental) philosophers are invited to join the opening of a new decade of conferences on the Roots of Pragmasemantics. The focus of this eleventh convention is the role of logic in the interplay of theoretical and empirical research into natural language meaning and human reasoning.

Conference Homepage: http://szklarska2010.hlotze.com/

NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". One of the main activities of the NVTI is the organization of the yearly Theory Day. This year, as usual, we have an interesting program with excellent speakers from The Netherlands and abroad, covering important streams in theoretical computer science.

Speakers:
Jan Friso Groote (TU/e)
Monika Henzinger (University of Vienna, Austria)
Georges Gonthier (Microsoft Research)
Monique Laurent (CWI, Tilburg University)

It is possible to participate in the organized lunch, for which registration is required. Please register with Ms Caroline Waij (cpwaij at few.vu.nl or 020-5983563) no later than one week before the meeting (March 5, 2010). The costs of 15 Euro can be paid at the location.

For more information, see here or http://www.nvti.nl/Theorydays.html

Linguists, logicians and (experimental) philosophers are invited to join the opening of a new decade of conferences on the Roots of Pragmasemantics. The focus of this eleventh convention is the role of logic in the interplay of theoretical and empirical research into natural language meaning and human reasoning.

Conference Homepage: http://szklarska2010.hlotze.com/

Linguists, logicians and (experimental) philosophers are invited to join the opening of a new decade of conferences on the Roots of Pragmasemantics. The focus of this eleventh convention is the role of logic in the interplay of theoretical and empirical research into natural language meaning and human reasoning.

Conference Homepage: http://szklarska2010.hlotze.com/

The idea that there is a strong connection between logic, reasoning, and rationality, which was very popular among the philosophers of the Wiener Kreis, has long been out of fashion. Findings from history and philosophy of science and from cognitive psychology have revealed that the traditional logician's tool, Classical Logic, is not fit for explicating human reasoning either in the sciences or in everyday life. Times have changed, however. Today, a multiplicity of formal frameworks (ranging from non-classical logics over probability theory to Bayesian networks) is available in addition to Classical Logic. Also, historians and philosophers of science as well as psychologists have described a rich variety of patterns in both scientific and common sense reasoning.

The aim of LRR10 is to stimulate the use of formal frameworks to explicate concrete examples of human reasoning and, conversely, to challenge scholars in formal studies by presenting them with interesting new examples of actual reasoning. Therefore, we welcome papers in all areas related to non-classical logics and non-classical formal frameworks. We also welcome case studies from history and philosophy of science, as well as from psychology, that enhance our apprehension of concrete reasoning patterns that occur in the sciences and in everyday life. Finally, we welcome contributions that deal with the philosophical implications of the present-day insights for our understanding of rationality.

For more information, see http://www.lrr10.ugent.be/.

2nd Brazilian Workshop of the Game Theory Society, in honor of John Nash, on the occasion of the 60th anniversary of Nash equilibrium.

The workshop will offer the participants the opportunity to interact with some of the most productive researchers in Game Theory. The week-long event will consist of conferences, contributed papers sessions and mini-courses which will start at the introductory level and will reach the frontiers of current research.

Early registration; 03/15/2010. For more information, see http://www.gametheorysociety.org/conferences/#29July2010 and http://aplicativos.fipe.org.br/bwgt2010/index.htm

The symposium comprises a two-day graduate conference and a two-day research workshop with Scott Soames. It is organized by the Emmy Noether Research Group "Understanding and the A Priori" at the University of Cologne. The graduate conference will feature eight talks by graduated students on issues related to meaning, modal truths, a priori knowledge and their interrelations, each followed by a short comment by a graduate student. The keynote lecturer is Scott Soames. The workshop is aimed at researchers interested in the work of Scott Soames. In addition to a discussion of selected papers of Soames' the workshop will feature four critical comments on aspects of his work.

For further information on the symposium and general registration details see: http://mmasymposium.fromthearmchair.net/ or contact mmasymposium at gmail.com.

This is the ninth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information, see http://www.econ.ucdavis.edu/faculty/bonanno/loft9.html

Linguists, logicians and (experimental) philosophers are invited to join the opening of a new decade of conferences on the Roots of Pragmasemantics. The focus of this eleventh convention is the role of logic in the interplay of theoretical and empirical research into natural language meaning and human reasoning.

Conference Homepage: http://szklarska2010.hlotze.com/

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to concrete applications, and to stimulate cross-fertilization.

For more information, see http://gandalf.dia.unisa.it/

People do not experience the world solely as an ordered sequence of events. The timing of our perceptions and behaviors has as much of an impact on our experiences as the nature of the events themselves. Yet many of the representations currently used to model human behavior do not incorporate explicit models of the temporal expression of these stimuli or actions. Dynamic behavior is often modeled sequentially in such a way that its temporal resolution is reduced and potential nonstationarity is ignored for the sake of computational efficiency (as in Markov state-based models of behavior), and/or causal mappings between observations and behavior are simplified to mitigate the sparseness of available datasets. Given that any artificial agent designed to interact with people will be dealing with intelligent partners with rich mental representations of time, are we using the appropriate representations?

This symposium is oriented towards several different groups of researchers, including, but not limited to: computer scientists who use machine learning techniques to model human behavior, psychologists and neuroscientists who study social behavior, and designers of robots or computational artifacts that interact naturally with humans in real time. By bringing together members of these communities through a shared interest in temporal representations, our goal is to identify critical areas of study and promising techniques.

For more information, see http://asimov.usc.edu/~mower/aaai10ss_time/

People do not experience the world solely as an ordered sequence of events. The timing of our perceptions and behaviors has as much of an impact on our experiences as the nature of the events themselves. Yet many of the representations currently used to model human behavior do not incorporate explicit models of the temporal expression of these stimuli or actions. Dynamic behavior is often modeled sequentially in such a way that its temporal resolution is reduced and potential nonstationarity is ignored for the sake of computational efficiency (as in Markov state-based models of behavior), and/or causal mappings between observations and behavior are simplified to mitigate the sparseness of available datasets. Given that any artificial agent designed to interact with people will be dealing with intelligent partners with rich mental representations of time, are we using the appropriate representations?

This symposium is oriented towards several different groups of researchers, including, but not limited to: computer scientists who use machine learning techniques to model human behavior, psychologists and neuroscientists who study social behavior, and designers of robots or computational artifacts that interact naturally with humans in real time. By bringing together members of these communities through a shared interest in temporal representations, our goal is to identify critical areas of study and promising techniques.

For more information, see http://asimov.usc.edu/~mower/aaai10ss_time/

The Computational Linguistics Seminar (CLS) of the Institute for Logic, Language and Computation (ILLC) is hosting a one-day workshop on "Parsing in the face of diversity", discussing the intersection of theoretical, typological, and technological concerns, on the occasion of the public defence of Reut Tsarfaty’s PhD dissertation, entitled "Relational-Realizational Parsing".

Confirmed Speakers:
* James P. Blevins (University of Cambridge, UK)
* Mark Johnson (Macquarie University, Sydney, Australia)
* Joakim Nivre (Uppsala University, Sweden)
* Owen Rambow (Columbia University, USA)
* Gregory Stump (University of Kentucky, USA)
* Yoad Winter (Utrecht University, The Netherlands)
* Reut Tsarfaty (University of Amsterdam, The Netherlands)

Attendance is free and open for all. For planning purposes, please let us know by March 15 if you would like to attend the workshop. Any further inquiries can be sent to r.tsarfaty at uva.nl. For more information, see https://www.illc.uva.nl/LaCo/CLS/ttt-workshop.pdf.

People do not experience the world solely as an ordered sequence of events. The timing of our perceptions and behaviors has as much of an impact on our experiences as the nature of the events themselves. Yet many of the representations currently used to model human behavior do not incorporate explicit models of the temporal expression of these stimuli or actions. Dynamic behavior is often modeled sequentially in such a way that its temporal resolution is reduced and potential nonstationarity is ignored for the sake of computational efficiency (as in Markov state-based models of behavior), and/or causal mappings between observations and behavior are simplified to mitigate the sparseness of available datasets. Given that any artificial agent designed to interact with people will be dealing with intelligent partners with rich mental representations of time, are we using the appropriate representations?

This symposium is oriented towards several different groups of researchers, including, but not limited to: computer scientists who use machine learning techniques to model human behavior, psychologists and neuroscientists who study social behavior, and designers of robots or computational artifacts that interact naturally with humans in real time. By bringing together members of these communities through a shared interest in temporal representations, our goal is to identify critical areas of study and promising techniques.

For more information, see http://asimov.usc.edu/~mower/aaai10ss_time/

This event, sponsored by the National Science Foundation funded Mid- Atlantic Mathematical Logic Seminar (MAMLS) and the City University of New York, provides an opportunity for graduate students in logic to present their research, meet students from other institutions, and interact with senior logicians.

For further information, visit the website below. http://nylogic.org/GradStudentConference

The 19-th annual meeting of BEST will be hosted at Boise State University during the weekend of March 27 (Saturday) - March 29 (Monday), 2010

Contributed and invited talks will be held on Saturday, Sunday and Monday at the Department of Mathematics, Boise State University. The invited speakers curently include: Justin Moore (Cornell University), Frank Tall (University of Toronto) and Toshimichi Usuba (University of Bonn).

The conference webpage is available at http://math.boisestate.edu/~best/best19.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The 19th EACSL Annual Conference on Computer Science Logic (CSL 2010) and the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) are federated and organized in parallel at the same place. The federated MFCS & CSL 2010 conference has common plenary sessions and social events for all participants, and is accompanied by satellite workshops on more specialized topics. The Ackermann Award for 2010 will be presented to the recipients at CSL'10.

For more information, see http://www.mat.uc.pt/~csl/ or contact the organisers at mfcsl2010 at fi.muni.cz.

The cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" will take place at the Institute for Logic, Language and Computation of the University of Amsterdam on 26-28 March 2010.

Members of the CFSC, DiFoS, LINT and VAAG LogICCC projects will participate in this workshop, organized by Jouko Väänänen, which aims to further cross-CRP cooperation.

For more information, see https://www.illc.uva.nl/lint/midisova.php

The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. Over the last two decades, coalgebra has developed into a field of its own, presenting a mathematical foundation for various kinds of dynamical systems, infinite data structures, and logics. Coalgebra has an ever growing range of applications in and interactions with other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc.

CMCS 2010 is co-located with ETAPS 2010. For more information, see http://event.cwi.nl/cmcs10/ or contact cmcs10 at cwi.nl.

The cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" will take place at the Institute for Logic, Language and Computation of the University of Amsterdam on 26-28 March 2010.

Members of the CFSC, DiFoS, LINT and VAAG LogICCC projects will participate in this workshop, organized by Jouko Väänänen, which aims to further cross-CRP cooperation.

For more information, see https://www.illc.uva.nl/lint/midisova.php

The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. Over the last two decades, coalgebra has developed into a field of its own, presenting a mathematical foundation for various kinds of dynamical systems, infinite data structures, and logics. Coalgebra has an ever growing range of applications in and interactions with other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc.

CMCS 2010 is co-located with ETAPS 2010. For more information, see http://event.cwi.nl/cmcs10/ or contact cmcs10 at cwi.nl.

In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr10/.

In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. Invited speakers include Johan van Benthem (University of Amsterdam and Stanford University) and Fenrong Liu (Tsinghua University, China).

For more information, see http://ethics.let.hokudai.ac.jp/en/events.html or contact Shunzo Majima (caep at let.hokudai.ac.jp).

The 19-th annual meeting of BEST will be hosted at Boise State University during the weekend of March 27 (Saturday) - March 29 (Monday), 2010

Contributed and invited talks will be held on Saturday, Sunday and Monday at the Department of Mathematics, Boise State University. The invited speakers curently include: Justin Moore (Cornell University), Frank Tall (University of Toronto) and Toshimichi Usuba (University of Bonn).

The conference webpage is available at http://math.boisestate.edu/~best/best19.

The cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" will take place at the Institute for Logic, Language and Computation of the University of Amsterdam on 26-28 March 2010.

Members of the CFSC, DiFoS, LINT and VAAG LogICCC projects will participate in this workshop, organized by Jouko Väänänen, which aims to further cross-CRP cooperation.

For more information, see https://www.illc.uva.nl/lint/midisova.php

The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. Over the last two decades, coalgebra has developed into a field of its own, presenting a mathematical foundation for various kinds of dynamical systems, infinite data structures, and logics. Coalgebra has an ever growing range of applications in and interactions with other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc.

CMCS 2010 is co-located with ETAPS 2010. For more information, see http://event.cwi.nl/cmcs10/ or contact cmcs10 at cwi.nl.

In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr10/.

In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. Invited speakers include Johan van Benthem (University of Amsterdam and Stanford University) and Fenrong Liu (Tsinghua University, China).

For more information, see http://ethics.let.hokudai.ac.jp/en/events.html or contact Shunzo Majima (caep at let.hokudai.ac.jp).

The 19-th annual meeting of BEST will be hosted at Boise State University during the weekend of March 27 (Saturday) - March 29 (Monday), 2010

Contributed and invited talks will be held on Saturday, Sunday and Monday at the Department of Mathematics, Boise State University. The invited speakers curently include: Justin Moore (Cornell University), Frank Tall (University of Toronto) and Toshimichi Usuba (University of Bonn).

The conference webpage is available at http://math.boisestate.edu/~best/best19.

Together with the Association of Journalists of Science (VNW) and the Science center NEMO, NWO organises Bessensap for the 10th 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

The SemDial Workshops aim at bringing together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, artificial intelligence, computational linguistics, psychology, and neural science. SemDial 2010 will be the 14th workshop in the SemDial series. It will take place in the historic city of Poznan (Poland), organized by the Institute of Psychology at Adam Mickeiwicz University. Invited talks will be given by Dale Barr, Jonathan Ginzburg, Jeroen Groenendijk, and Henry Prakken.

The (extended) submission deadline for full papers (8 pages) is the 29th of March, 2010. For more information, see http://www.semdial2010.amu.edu.pl/ and https://www.illc.uva.nl/semdial/

The 19-th annual meeting of BEST will be hosted at Boise State University during the weekend of March 27 (Saturday) - March 29 (Monday), 2010

Contributed and invited talks will be held on Saturday, Sunday and Monday at the Department of Mathematics, Boise State University. The invited speakers curently include: Justin Moore (Cornell University), Frank Tall (University of Toronto) and Toshimichi Usuba (University of Bonn).

The conference webpage is available at http://math.boisestate.edu/~best/best19.

The belief that what mathematicians think and do is important to the philosophy of mathematics is a relatively recent position. This focus on mathematical practice suggests that research into how mathematical definitions or axioms are motivated, representations changed, problems discovered and explained, analogies formed between different mathematical fields, etc., and how these processes grow out of biologically important competences in dealing effectively with rich and complex environments, is relevant and necessary. This contrasts the traditional focus in philosophy on how mathematics should be done, or the epistemological status of mathematical theorems. The new direction is complemented by recent work in cognitive science on the origin and development of mathematical ideas. Researchers are now working at all levels to investigate how people, from young babies up to professionals and geniuses are able to perform different mathematical tasks.

With the new approach in the philosophy of mathematics, and developments in cognitive science of mathematics and embodied cognition, we feel that the time is ripe for interaction between the fields. We hope to promote a sharing of ideas and enable an atmosphere in which new connections and collaborations are forged.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb10/home.html

A normative multi-agent system is a multi-agent system to which norms (e.g., obligations, permissions) are added, which specify the desired agents' behavior within the system. Agents, on the other hand, can autonomously decide whether to follow or to violate such norms and, possibly, whether to change them.

The workshop brings together researchers at the interface of several disciplines such as multi-agent systems, deontic logic, sociology, legal theory.

For more information, see http://staff.science.uva.nl/~grossi/NorMAS10Site/home.html

The belief that what mathematicians think and do is important to the philosophy of mathematics is a relatively recent position. This focus on mathematical practice suggests that research into how mathematical definitions or axioms are motivated, representations changed, problems discovered and explained, analogies formed between different mathematical fields, etc., and how these processes grow out of biologically important competences in dealing effectively with rich and complex environments, is relevant and necessary. This contrasts the traditional focus in philosophy on how mathematics should be done, or the epistemological status of mathematical theorems. The new direction is complemented by recent work in cognitive science on the origin and development of mathematical ideas. Researchers are now working at all levels to investigate how people, from young babies up to professionals and geniuses are able to perform different mathematical tasks.

With the new approach in the philosophy of mathematics, and developments in cognitive science of mathematics and embodied cognition, we feel that the time is ripe for interaction between the fields. We hope to promote a sharing of ideas and enable an atmosphere in which new connections and collaborations are forged.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb10/home.html

The age of information explosion gives us a whole new spectrum of possibilities for creating an intelligent machine. Many marvelous ideas of the dawn of Artificial Intelligence research faced problems of exceptions and the impossibility of manual input of all needed knowledge, but today we have vast amounts of data from sensors and text so that we can rethink classical AI methods and approaches. The increased use of WWW, RFID, Bluetooth, etc. could allow us to determine standard human behaviors, emotions or even moral reasoning according to the Wisdom of Crowds hypothesis. Collective input data could also help to retrieve knowledge about the physical world we live in. By combining Natural Language Processing methods with cognitive approaches, we can discover a new range of intelligent systems that understand us, our environment and our feelings.

In this context, we see a role for NLP and cognitive approaches to play in developing a new generation of user-friendly, safe systems that, through interaction with the user and the world, can learn how to reason, behave or speak naturally. We are interested in original papers on systems and ideas for systems that use common sense knowledge and reasoning, affective computing, cognitive methods, learning from broad sets of data and acquiring knowledge, or language and user preferences. The symposium intends to spark an interdisciplinary discussion on joining forces to return AI to its original, broader and deeper goals which are currently represented by AGI - Artificial General Intelligence.

For more information, see http://sig.media.eng.hokudai.ac.jp/AISB10/LaCATODA2010/

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 aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. These year;s workshop will take place at the ENS in Paris and will feature three tutorials in Decisions, Games & Logic, and a panel discussion on the theme 'The future of the Decision Sciences'.

For more information, see the website at http://meansandends.com/workshop10/ or contact the organizers at dgl2010 at rationalite.org.

The conference will consist of two parts:
1. A workshop on non-classical algebraic structures (June 2-3, 2010);
2. A workshop within the series of AAA conferences (June 4-6, 2010);
each comprising several longer keynote plenary lectures, a number of shorter plenary lectures, and a larger number of 20-minute contributed talks.

The primary aim of the conference is to review the most recent research results and trends in the above areas, and to promote discussions and interactions between researchers. It should bring together researchers working in the above areas, in order to foster collaboration and future research. A secondary goal is to attract the interest of graduate students and younger researchers, providing them with interesting and significant problems to work on.

The deadline for registration is 7 May 2010. For more information, view the conference web site at http://www.mini.pw.edu.pl/aaa80/.

Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. This extra capability, very natural in the realm of temporal logics, where one usually wants to refer to specific times, has been shown very effective in other domains too. Although they date back to the late 1960s, and have been sporadically investigated ever since, it was only in the 1990s that work on them really got into its stride. Hybrid logic is now a mature field with significant impact on a range of other fields.

The topic of the HyLo workshop of 2010 is hybrid logic and its applications, for instance within the fields mentioned above. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder but, more generally, extensions of modal logic that increase its expressive power.

See the workshop home page at http://hylocore.ruc.dk/HyLo2010.html for further information.

The belief that what mathematicians think and do is important to the philosophy of mathematics is a relatively recent position. This focus on mathematical practice suggests that research into how mathematical definitions or axioms are motivated, representations changed, problems discovered and explained, analogies formed between different mathematical fields, etc., and how these processes grow out of biologically important competences in dealing effectively with rich and complex environments, is relevant and necessary. This contrasts the traditional focus in philosophy on how mathematics should be done, or the epistemological status of mathematical theorems. The new direction is complemented by recent work in cognitive science on the origin and development of mathematical ideas. Researchers are now working at all levels to investigate how people, from young babies up to professionals and geniuses are able to perform different mathematical tasks.

With the new approach in the philosophy of mathematics, and developments in cognitive science of mathematics and embodied cognition, we feel that the time is ripe for interaction between the fields. We hope to promote a sharing of ideas and enable an atmosphere in which new connections and collaborations are forged.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb10/home.html

A normative multi-agent system is a multi-agent system to which norms (e.g., obligations, permissions) are added, which specify the desired agents' behavior within the system. Agents, on the other hand, can autonomously decide whether to follow or to violate such norms and, possibly, whether to change them.

The workshop brings together researchers at the interface of several disciplines such as multi-agent systems, deontic logic, sociology, legal theory.

For more information, see http://staff.science.uva.nl/~grossi/NorMAS10Site/home.html

The belief that what mathematicians think and do is important to the philosophy of mathematics is a relatively recent position. This focus on mathematical practice suggests that research into how mathematical definitions or axioms are motivated, representations changed, problems discovered and explained, analogies formed between different mathematical fields, etc., and how these processes grow out of biologically important competences in dealing effectively with rich and complex environments, is relevant and necessary. This contrasts the traditional focus in philosophy on how mathematics should be done, or the epistemological status of mathematical theorems. The new direction is complemented by recent work in cognitive science on the origin and development of mathematical ideas. Researchers are now working at all levels to investigate how people, from young babies up to professionals and geniuses are able to perform different mathematical tasks.

With the new approach in the philosophy of mathematics, and developments in cognitive science of mathematics and embodied cognition, we feel that the time is ripe for interaction between the fields. We hope to promote a sharing of ideas and enable an atmosphere in which new connections and collaborations are forged.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb10/home.html

The age of information explosion gives us a whole new spectrum of possibilities for creating an intelligent machine. Many marvelous ideas of the dawn of Artificial Intelligence research faced problems of exceptions and the impossibility of manual input of all needed knowledge, but today we have vast amounts of data from sensors and text so that we can rethink classical AI methods and approaches. The increased use of WWW, RFID, Bluetooth, etc. could allow us to determine standard human behaviors, emotions or even moral reasoning according to the Wisdom of Crowds hypothesis. Collective input data could also help to retrieve knowledge about the physical world we live in. By combining Natural Language Processing methods with cognitive approaches, we can discover a new range of intelligent systems that understand us, our environment and our feelings.

In this context, we see a role for NLP and cognitive approaches to play in developing a new generation of user-friendly, safe systems that, through interaction with the user and the world, can learn how to reason, behave or speak naturally. We are interested in original papers on systems and ideas for systems that use common sense knowledge and reasoning, affective computing, cognitive methods, learning from broad sets of data and acquiring knowledge, or language and user preferences. The symposium intends to spark an interdisciplinary discussion on joining forces to return AI to its original, broader and deeper goals which are currently represented by AGI - Artificial General Intelligence.

For more information, see http://sig.media.eng.hokudai.ac.jp/AISB10/LaCATODA2010/

The age of information explosion gives us a whole new spectrum of possibilities for creating an intelligent machine. Many marvelous ideas of the dawn of Artificial Intelligence research faced problems of exceptions and the impossibility of manual input of all needed knowledge, but today we have vast amounts of data from sensors and text so that we can rethink classical AI methods and approaches. The increased use of WWW, RFID, Bluetooth, etc. could allow us to determine standard human behaviors, emotions or even moral reasoning according to the Wisdom of Crowds hypothesis. Collective input data could also help to retrieve knowledge about the physical world we live in. By combining Natural Language Processing methods with cognitive approaches, we can discover a new range of intelligent systems that understand us, our environment and our feelings.

In this context, we see a role for NLP and cognitive approaches to play in developing a new generation of user-friendly, safe systems that, through interaction with the user and the world, can learn how to reason, behave or speak naturally. We are interested in original papers on systems and ideas for systems that use common sense knowledge and reasoning, affective computing, cognitive methods, learning from broad sets of data and acquiring knowledge, or language and user preferences. The symposium intends to spark an interdisciplinary discussion on joining forces to return AI to its original, broader and deeper goals which are currently represented by AGI - Artificial General Intelligence.

For more information, see http://sig.media.eng.hokudai.ac.jp/AISB10/LaCATODA2010/