The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal.

For more information, see http://www.lpar.net/lpar-16/

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://sagt2010.cti.gr/

The European Conference on Logics in Artificial Intelligence (JELIA) is a biannual forum bringing together researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature.

For more information, see http://jelia2010.tkk.fi/.

The aim of the meeting is to inform set theorists from whatever denomination about frontier research in the other field, and also to probe possible areas of common interest. Classical and constructive set theory have obvious points of contact: topos models are analogous to forcing, and classical set theory is often instrumental in the construction of models for intuitionistic set theory (e.g. in the work of Friedman and Scedrov). The organizers hope that this meeting brings these points to life.

The following invited speakers have confirmed to come: Peter Aczel, Andreas Blass, Juliet Floyd, Harvey Friedman, Peter Koepke, Ieke Moerdijk, Erik Palmgren, Michael Rathjen, Dana Scott, Alex Simpson, Benno van den Berg, Nik Weaver and Hugh Woodin.

For more information, see http://www.math.uu.nl/people/jvoosten/setth0510.

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous ten, very successful, editions, the 11th CLIMA will be affiliated with ECAI'10 and will take place in Lisbon, Portugal, on the 16th and 17th of August 2010.

In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions:
* Norms and Normative Multi-Agent Systems
* Logics for Games and Strategic Reasoning

Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXI/, or send enquiries to clima2010 at easychair.org.

The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialogue to both academic and industry researchers. Continuing with a series of successful ten previous meetings, this conference spans the research interest area of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group in discourse and dialogue for both ACL and ISCA. SIGDIAL 2010 will be co-located with Interspeech 2010 as a satellite event.

For more information, see http://www.sigdial.org/workshops/workshop11/

The aim of the meeting is to inform set theorists from whatever denomination about frontier research in the other field, and also to probe possible areas of common interest. Classical and constructive set theory have obvious points of contact: topos models are analogous to forcing, and classical set theory is often instrumental in the construction of models for intuitionistic set theory (e.g. in the work of Friedman and Scedrov). The organizers hope that this meeting brings these points to life.

The following invited speakers have confirmed to come: Peter Aczel, Andreas Blass, Juliet Floyd, Harvey Friedman, Peter Koepke, Ieke Moerdijk, Erik Palmgren, Michael Rathjen, Dana Scott, Alex Simpson, Benno van den Berg, Nik Weaver and Hugh Woodin.

For more information, see http://www.math.uu.nl/people/jvoosten/setth0510.

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

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 aim of this workshop will be to discuss aspects of the psychology and semantics of similarity and comparison in relation to vagueness. The following issues will be addressed and of special interest during the workshop: relation between vagueness and categorical perception; referential consensus in color categories; clarity, borderliness and distance to prototypes in conceptual space; static and dynamic constraints on comparison in classification tasks; logic of vagueness in relation to similarity.

For more information, see: http://paulegre.free.fr/similarity/program.html or contact the local committee at paulegre at gmail.com or davewripley at gmail.com.

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (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 multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

For more information, see http://www.cse.yorku.ca/AAMAS2010/

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (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 multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

For more information, see http://www.cse.yorku.ca/AAMAS2010/

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (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 multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

For more information, see http://www.cse.yorku.ca/AAMAS2010/

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (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 multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

For more information, see http://www.cse.yorku.ca/AAMAS2010/

This is the third 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 30th anniversary of Ray Reiter's "A Logic for D efault Reasoning" and the 15th anniversary of John Pollock's "Cognitive Carpentry". The event is dedicated to the memory of John Pollock. Confirmed participants include Thony Gillies, John Horty, Mohan Matthen, Jim Pryor, Susanna Siegel, and Scott Sturgeon.

The conference website is http://www.utm.utoronto.ca/~weisber3/3FEF/.

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (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 multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

For more information, see http://www.cse.yorku.ca/AAMAS2010/

This is the third 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 30th anniversary of Ray Reiter's "A Logic for D efault Reasoning" and the 15th anniversary of John Pollock's "Cognitive Carpentry". The event is dedicated to the memory of John Pollock. Confirmed participants include Thony Gillies, John Horty, Mohan Matthen, Jim Pryor, Susanna Siegel, and Scott Sturgeon.

The conference website is http://www.utm.utoronto.ca/~weisber3/3FEF/.

Jouko Väänänen will give an intensive course "Lindström's Theorem - An invitation to abstract model theory" May 12-18 at ILLC. Interested participants are kindly requested to send an e-mail to jouko.vaananen at helsinki.fi .

For more information, see http://www.math.helsinki.fi/logic/opetus/lt/

Biological and natural processes have always been a source of inspiration for computer science and information technology. It is well known that biological entities, from single cell organisms -like bacteria- to humans, often engage in a rich repertoire of social interaction that could range from altruistic cooperation through open conflict. One specific kind of social interaction is cooperative problem solving (CPS), where a group of autonomous entities work together in order to achieve certain goal. The NICSO 2010 aims at promoting cooperative problem solving strategies bringing together international researchers and practitioners from different disciplines in order to discuss the investigations and exchange ideas on the current state of the art of the topic.

The conference seeks contributions that are inspired by Nature and that encompass a range of spatio-temporal scales, for visionary conceptions of information processing and computation as pertaining to cooperation mechanisms in the context of problem solving. Full paper submission deadline: October 15, 2009. For more information, please visit http://www.nicso2010.org/.

Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic, organized by Hiroakira Ono (Research Center of Integrated Science, Japan Advanced Institute of Science and Technology JAIST) and Constantine Tsinakis (Vanderbilt University and Consortium for Order in Algebra and Logic, OAL) at the Research Center for Integrated Science at JAIST.

Please direct all inquiries to asubl4 at jaist.ac.jp and visit the workshopÿÿs webpage at http://www.jaist.ac.jp/rcis/asubl4.

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (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 multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

For more information, see http://www.cse.yorku.ca/AAMAS2010/

This is the third 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 30th anniversary of Ray Reiter's "A Logic for D efault Reasoning" and the 15th anniversary of John Pollock's "Cognitive Carpentry". The event is dedicated to the memory of John Pollock. Confirmed participants include Thony Gillies, John Horty, Mohan Matthen, Jim Pryor, Susanna Siegel, and Scott Sturgeon.

The conference website is http://www.utm.utoronto.ca/~weisber3/3FEF/.

Jouko Väänänen will give an intensive course "Lindström's Theorem - An invitation to abstract model theory" May 12-18 at ILLC. Interested participants are kindly requested to send an e-mail to jouko.vaananen at helsinki.fi .

For more information, see http://www.math.helsinki.fi/logic/opetus/lt/

Biological and natural processes have always been a source of inspiration for computer science and information technology. It is well known that biological entities, from single cell organisms -like bacteria- to humans, often engage in a rich repertoire of social interaction that could range from altruistic cooperation through open conflict. One specific kind of social interaction is cooperative problem solving (CPS), where a group of autonomous entities work together in order to achieve certain goal. The NICSO 2010 aims at promoting cooperative problem solving strategies bringing together international researchers and practitioners from different disciplines in order to discuss the investigations and exchange ideas on the current state of the art of the topic.

The conference seeks contributions that are inspired by Nature and that encompass a range of spatio-temporal scales, for visionary conceptions of information processing and computation as pertaining to cooperation mechanisms in the context of problem solving. Full paper submission deadline: October 15, 2009. For more information, please visit http://www.nicso2010.org/.

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/

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (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 multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

For more information, see http://www.cse.yorku.ca/AAMAS2010/

Jouko Väänänen will give an intensive course "Lindström's Theorem - An invitation to abstract model theory" May 12-18 at ILLC. Interested participants are kindly requested to send an e-mail to jouko.vaananen at helsinki.fi .

For more information, see http://www.math.helsinki.fi/logic/opetus/lt/

Biological and natural processes have always been a source of inspiration for computer science and information technology. It is well known that biological entities, from single cell organisms -like bacteria- to humans, often engage in a rich repertoire of social interaction that could range from altruistic cooperation through open conflict. One specific kind of social interaction is cooperative problem solving (CPS), where a group of autonomous entities work together in order to achieve certain goal. The NICSO 2010 aims at promoting cooperative problem solving strategies bringing together international researchers and practitioners from different disciplines in order to discuss the investigations and exchange ideas on the current state of the art of the topic.

The conference seeks contributions that are inspired by Nature and that encompass a range of spatio-temporal scales, for visionary conceptions of information processing and computation as pertaining to cooperation mechanisms in the context of problem solving. Full paper submission deadline: October 15, 2009. For more information, please visit http://www.nicso2010.org/.

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/

This is the second of a series of workshops looking at issues located in the area of overlap between formal and traditional epistemology. The general thought behind this workshop is to bring together both formal and 'traditional' epistemologists for an event dedicated to a topic lying within the area of overlap between the two. The topic for the workshop is the relationship between beliefs and degrees of belief. The notion of belief is often used by 'traditional' epistemologists, while the idea of degrees of belief is at the heart of formal methods in epistemology and the philosophy of science.

For more information, see http://web.me.com/philipebert/FTE/Events.html

Since the work of John Pollock, Ronald Loui and others in the eighties, argumentation has proven to be successful in nonmonotonic logic. In the early nineties Dung and others showed that argumentation is also very suitable as a general framework for relating different nonmonotonic logics. Finally, in recent years argument-based logics have been used to facilitate reasoning and communication in multi-agent systems.

Argumentation can be studied on its own, but it also has interesting relations with other topics, such as dialogue and decision. For instance, argumentation is an essential component of such phenomena as fact finding investigations, computer supported collaborative work, negotiation, legal procedure, and online dispute mediation. However, only recently researchers have begun to explore the use of argumentation in these contexts.

For more information, see http://www.cs.sfu.ca/NMR2010/NMR_2010/Argument,_Dialog_and_Decision.html.

Computational social choice is a new discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

COMSOC-2010, the third in a series of biannual international workshops, will be held in association with the COST Action on Algorithmic Decision Theory and be accompanied by a LogICCC Tutorial Day with general introductory talks. Registration fees will cover both the workshop and the tutorial day and will be kept very low.

For more information, see http://ccc.cs.uni-duesseldorf.de/COMSOC-2010/.

Jouko Väänänen will give an intensive course "Lindström's Theorem - An invitation to abstract model theory" May 12-18 at ILLC. Interested participants are kindly requested to send an e-mail to jouko.vaananen at helsinki.fi .

For more information, see http://www.math.helsinki.fi/logic/opetus/lt/

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/

This is the second of a series of workshops looking at issues located in the area of overlap between formal and traditional epistemology. The general thought behind this workshop is to bring together both formal and 'traditional' epistemologists for an event dedicated to a topic lying within the area of overlap between the two. The topic for the workshop is the relationship between beliefs and degrees of belief. The notion of belief is often used by 'traditional' epistemologists, while the idea of degrees of belief is at the heart of formal methods in epistemology and the philosophy of science.

For more information, see http://web.me.com/philipebert/FTE/Events.html

Since the work of John Pollock, Ronald Loui and others in the eighties, argumentation has proven to be successful in nonmonotonic logic. In the early nineties Dung and others showed that argumentation is also very suitable as a general framework for relating different nonmonotonic logics. Finally, in recent years argument-based logics have been used to facilitate reasoning and communication in multi-agent systems.

Argumentation can be studied on its own, but it also has interesting relations with other topics, such as dialogue and decision. For instance, argumentation is an essential component of such phenomena as fact finding investigations, computer supported collaborative work, negotiation, legal procedure, and online dispute mediation. However, only recently researchers have begun to explore the use of argumentation in these contexts.

For more information, see http://www.cs.sfu.ca/NMR2010/NMR_2010/Argument,_Dialog_and_Decision.html.

MLNL'10 is the second 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, the aim is to get to know each other better and 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. Master students in logic are most welcome to attend the meeting too.

For further information, please visit the website at http://www.phil.uu.nl/~iemhoff/MLNL/mlnl10.html

Jouko Väänänen will give an intensive course "Lindström's Theorem - An invitation to abstract model theory" May 12-18 at ILLC. Interested participants are kindly requested to send an e-mail to jouko.vaananen at helsinki.fi .

For more information, see http://www.math.helsinki.fi/logic/opetus/lt/

Since the work of John Pollock, Ronald Loui and others in the eighties, argumentation has proven to be successful in nonmonotonic logic. In the early nineties Dung and others showed that argumentation is also very suitable as a general framework for relating different nonmonotonic logics. Finally, in recent years argument-based logics have been used to facilitate reasoning and communication in multi-agent systems.

Argumentation can be studied on its own, but it also has interesting relations with other topics, such as dialogue and decision. For instance, argumentation is an essential component of such phenomena as fact finding investigations, computer supported collaborative work, negotiation, legal procedure, and online dispute mediation. However, only recently researchers have begun to explore the use of argumentation in these contexts.

For more information, see http://www.cs.sfu.ca/NMR2010/NMR_2010/Argument,_Dialog_and_Decision.html.

Jouko Väänänen will give an intensive course "Lindström's Theorem - An invitation to abstract model theory" May 12-18 at ILLC. Interested participants are kindly requested to send an e-mail to jouko.vaananen at helsinki.fi .

For more information, see http://www.math.helsinki.fi/logic/opetus/lt/

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.

Jouko Väänänen will give an intensive course "Lindström's Theorem - An invitation to abstract model theory" May 12-18 at ILLC. Interested participants are kindly requested to send an e-mail to jouko.vaananen at helsinki.fi .

For more information, see http://www.math.helsinki.fi/logic/opetus/lt/

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.

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.

STAIRS is an international meeting intended to support AI researchers, from all countries, at the beginning of their career: PhD students or people holding a PhD for less than one year. STAIRS offers doctoral students and young post-doctoral AI fellows a first experience on submitting and presenting a paper in an international forum with a broad scope and a peer review process, as well as an opportunity to gather knowledge and exchange ideas related to their research problems and approaches together with information on European research careers and mobility.

STAIRS 2010 will be co-located with ECAI 2010, the European Conference on AI. Co-location with both ECAI and PAIS aims at creating a unique and valuable opportunity for young researchers to gain experience at presenting their work in a supportive scientific environment, and obtain constructive feedback on the technical content of the work as well as how to present the work and other related topics.

For more information, see http://ecai2010.appia.pt/stairs

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.

MOVEP is a 5 day summer school about modelling and verifying parallel processes. The first five occurrences of the School took place in Nantes (France) every two years from 1994 to 2002. The next editions were held in Brussels (Belgium) in December 2004, in Bordeaux (France) in June 2006, and in Orleans (France) in June 2008.

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

In addition to the tutorials and talks, there will be special sessions where Ph.D. students have the possibility to present their on-going research.

FURTHER INFORMATION
Web site: http://automata.rwth-aachen.de/movep2010/
Email: movep2010 at automata.rwth-aachen.de

The annual KNAW Cognition Lecture will be presented on May 21, 2010 by the well known French philosopher of mind, professor Pierre Jacob, of the Institute Jean Nicod, CNRS/ENS, Paris.

For more information, see http://www.knaw.nl/cfdata/events/events_detail.cfm?agenda__id=1429

The Bertrand Russell Research Centre in 2010 will host a conference to celebrate the 100th anniversary of the publication of the first volume of Russell and Whitehead's Principia Mathematica.

Additional informations is available at: http://pm100.mcmaster.ca/

The Bertrand Russell Research Centre in 2010 will host a conference to celebrate the 100th anniversary of the publication of the first volume of Russell and Whitehead's Principia Mathematica.

Additional informations is available at: http://pm100.mcmaster.ca/

The Bertrand Russell Research Centre in 2010 will host a conference to celebrate the 100th anniversary of the publication of the first volume of Russell and Whitehead's Principia Mathematica.

Additional informations is available at: http://pm100.mcmaster.ca/

The Bertrand Russell Research Centre in 2010 will host a conference to celebrate the 100th anniversary of the publication of the first volume of Russell and Whitehead's Principia Mathematica.

Additional informations is available at: http://pm100.mcmaster.ca/

This event, to be held at the University of Notre Dame, will focus on algorithmic randomness and related topics in logic, computability, complexity, and randomness. This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness

For further information, visit the website below. https://www.math.nd.edu/conferences/AlgoRandomness/welcome.shtml.

LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://grammars.grlmc.com/LATA2010/ or contact gindorf-ti at informatik.uni-trier.de.

The Bertrand Russell Research Centre in 2010 will host a conference to celebrate the 100th anniversary of the publication of the first volume of Russell and Whitehead's Principia Mathematica.

Additional informations is available at: http://pm100.mcmaster.ca/

This event, to be held at the University of Notre Dame, will focus on algorithmic randomness and related topics in logic, computability, complexity, and randomness. This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness

For further information, visit the website below. https://www.math.nd.edu/conferences/AlgoRandomness/welcome.shtml.

LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://grammars.grlmc.com/LATA2010/ or contact gindorf-ti at informatik.uni-trier.de.

We are pleased to announce that the annual meeting of the Swiss Graduate Society in Logic will take place in collaboration with the ESF Scientific Network Infty between 15-17 September 2010 in Lausanne. The topic of this year is The Infinite in Mathematical Logic and the invited tutorials will be given by Matteo Viale (Torino) on Infinite Combinatorics, Gerhard Jaeger (Bern) on Operational Set Theory and Large Cardinals, and Jean-Louis Krivine (Paris) on Realizability in Classical Logic. We organize the meeting to bring together graduate, postgraduates and postdocs in order to learn from senior researchers in the field but also from each other by discussing research issues during presentation sessions.

For more information, see http://www2.unil.ch/logique/VCS/VCS_Next_Events.html.

This event, to be held at the University of Notre Dame, will focus on algorithmic randomness and related topics in logic, computability, complexity, and randomness. This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness

For further information, visit the website below. https://www.math.nd.edu/conferences/AlgoRandomness/welcome.shtml.

LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://grammars.grlmc.com/LATA2010/ or contact gindorf-ti at informatik.uni-trier.de.

This event, to be held at the University of Notre Dame, will focus on algorithmic randomness and related topics in logic, computability, complexity, and randomness. This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness

For further information, visit the website below. https://www.math.nd.edu/conferences/AlgoRandomness/welcome.shtml.

LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://grammars.grlmc.com/LATA2010/ or contact gindorf-ti at informatik.uni-trier.de.

MLNL'10 is the second 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, the aim is to get to know each other better and 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. Master students in logic are most welcome to attend the meeting too.

For further information, please visit the website at http://www.phil.uu.nl/~iemhoff/MLNL/mlnl10.html

The purpose of the SPE colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the related areas of philosophy (philosophy of language, metaphysics, philosophy of mathematics, philosophy of mind, epistemology) . The colloquium takes place annually in different European cities, such as Paris (SPE1, 2008), London (SPE2, 2009), and Bochum (SPE4, 2011).

Invited speakers: Thomas Hofweber (University of North Carolina, Chapel Hill), Peter Pagin (University of Stockholm), Paul Portner (University of Maryland), Graham Priest (University of Melbourne and CUNY Graduate Center)

For more information, see http://semantics.univ-paris1.fr/index.php/visiteur/activite/afficher/activite/89

This event, to be held at the University of Notre Dame, will focus on algorithmic randomness and related topics in logic, computability, complexity, and randomness. This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness

For further information, visit the website below. https://www.math.nd.edu/conferences/AlgoRandomness/welcome.shtml.

LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://grammars.grlmc.com/LATA2010/ or contact gindorf-ti at informatik.uni-trier.de.

MLNL'10 is the second 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, the aim is to get to know each other better and 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. Master students in logic are most welcome to attend the meeting too.

For further information, please visit the website at http://www.phil.uu.nl/~iemhoff/MLNL/mlnl10.html

The purpose of the SPE colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the related areas of philosophy (philosophy of language, metaphysics, philosophy of mathematics, philosophy of mind, epistemology) . The colloquium takes place annually in different European cities, such as Paris (SPE1, 2008), London (SPE2, 2009), and Bochum (SPE4, 2011).

Invited speakers: Thomas Hofweber (University of North Carolina, Chapel Hill), Peter Pagin (University of Stockholm), Paul Portner (University of Maryland), Graham Priest (University of Melbourne and CUNY Graduate Center)

For more information, see http://semantics.univ-paris1.fr/index.php/visiteur/activite/afficher/activite/89

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

The purpose of the SPE colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the related areas of philosophy (philosophy of language, metaphysics, philosophy of mathematics, philosophy of mind, epistemology) . The colloquium takes place annually in different European cities, such as Paris (SPE1, 2008), London (SPE2, 2009), and Bochum (SPE4, 2011).

Invited speakers: Thomas Hofweber (University of North Carolina, Chapel Hill), Peter Pagin (University of Stockholm), Paul Portner (University of Maryland), Graham Priest (University of Melbourne and CUNY Graduate Center)

For more information, see http://semantics.univ-paris1.fr/index.php/visiteur/activite/afficher/activite/89

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

The conference has six different sections, as follows:
1. Logic and Applications
2. Philosophy of Mathematical and Physical Sciences
3. Philosophy of Life Sciences and of Cognitive Sciences
4. Methodology and Philosophy of Science
5. Philosophy and Methodology of the Social Sciences
6. Epistemology and History of Sciences

For details of the Association (SILFS) and the Conference (SILFS2010) see the SILFS website at http://www.unibg.it/silfs or the conference website at http://dinamico2.unibg.it/silfs/convegno2010.htm

This one-day workshop will bring together members of the philosophy and artificial intelligence communities, to discuss analogies and points of contact between different bodies of research that offer formal models of various aspects of rationality.

The event is timed to coincide with a local meeting of the Rationality and Decisions network. This network connects approximately 25 researchers, both senior and junior, from a group of institutions that includes KU Leuven, the London School of Economics, the University of Amsterdam, the University of Groningen, the University of Lund, the University of Kent and the University of Tilburg. Needless to say that we anticipate a productive and insightful Q&A session!

For further information, please contact Jake Chandler (jacob.chandler at hiw.kuleuven.be) or see http://www.formalphilosophy.org/cmr

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. It was created in 2008 in response to the fast-paced progress in the area.

Traditionally, computational linguistics was limited to the scientists specialized in the processing of a natural language by computers. Scientific approaches and practical techniques come from linguistics, computer science, psychology, and mathematics. Nowadays, there is a number of practical applications available. These applications are sometimes developed by smart yet NLP-untrained developers who solve the problems using sophisticated heuristics. CLA'10 Workshop is a place where the parties meet to exchange views and ideas with a benefit to all involved. 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://cla2010.imcsit.org/

The International Conference on Computational Science 2010 (ICCS 2010) aims to bring together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various application areas who are pioneering advanced application of computational methods to sciences such as physics, chemistry, life sciences, and engineering, arts and humanitarian fields, along with software developers and vendors, to discuss problems and solutions in the area, to identify new issues, and to shape future directions for research, as well as to help industrial users apply various advanced computational techniques.

The theme for ICCS 2010 in Amsterdam is "Advancing Computational Thinking", to mark several decades of progress in computational science theory and practice, leading to greatly improved applications in science. This conference will be a unique event focusing on recent developments in methods and modelling of complex systems for diverse areas of science, scalable scientific algorithms, advanced software tools, computational grids, advanced numerical methods, and novel application areas where the above novel models, algorithms and tools can be efficiently applied such as physical systems, computational and systems biology, environmental systems, finance, and others.

For more information, see http://www.iccs-meeting.org/