WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011.

For more information, see http://wollic.org/wollic2011/

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

The conference will focus on philosophical issues that arise within the practice and application of contemporary research using modeling and simulation. The goal of this event is "Building Bridges Between the Philosophical and Modeling Communities": to bring together sophisticated work in philosophy of science and on-going efforts in modeling in order to build more effective collaboration between philosophers of science and those who build and employ models in a range of disciplines and applications.

For more information, see http://www.modelingepistemology.pitt.edu/

For more information, see http://www.bslps.be/YRD2.html

LogICCC is a European research activity consisting of eight multi-country collaborative research projects (CRP) covering topics in applied logic ranging from theoretical computer science over philosophical and historical issues to computational social choice. It is funded by the European Science Foundation.

Among other things, LogICCC has been coordinating research activities that involve several of the CRPs and activities that reach out to other research communities. One such activity was the highly successful event LogICCC Meets China held at Chongqing in China on 7 October 2009 at which the researchers from the various CRPs of LogICCC met researchers in China, creating new interactions and strengthening existing ties.

The event LogICCC Meets India intends to do the same for the Indian logic community. We deliberately selected the conference ICLA 2011, the most important logic event in India, as the host event for our satellite workshop. We encourage all participants and potential participants of LogICCC Meets India to also submit a paper to the conference ICLA 2011.

We are encouraging all LogICCC members to attend the event and the host conference ICLA 2011. As part of this encouragement, the European Science Foundation offers eight travel stipends of up to € 500 each. If you want to apply, please submit an application before the deadline of 31 August 2010.

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

For more information, see http://www.bslps.be/YRD2.html

LogICCC is a European research activity consisting of eight multi-country collaborative research projects (CRP) covering topics in applied logic ranging from theoretical computer science over philosophical and historical issues to computational social choice. It is funded by the European Science Foundation.

Among other things, LogICCC has been coordinating research activities that involve several of the CRPs and activities that reach out to other research communities. One such activity was the highly successful event LogICCC Meets China held at Chongqing in China on 7 October 2009 at which the researchers from the various CRPs of LogICCC met researchers in China, creating new interactions and strengthening existing ties.

The event LogICCC Meets India intends to do the same for the Indian logic community. We deliberately selected the conference ICLA 2011, the most important logic event in India, as the host event for our satellite workshop. We encourage all participants and potential participants of LogICCC Meets India to also submit a paper to the conference ICLA 2011.

We are encouraging all LogICCC members to attend the event and the host conference ICLA 2011. As part of this encouragement, the European Science Foundation offers eight travel stipends of up to € 500 each. If you want to apply, please submit an application before the deadline of 31 August 2010.

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

LATA is a yearly conference in theoretical computer science and its applications. Inheriting the tradition of the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University in the period 2002-2006, LATA 2011 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/LATA2011/.

For more information, see http://www.bslps.be/YRD2.html

ALI, the Association for Logic in India, announces the fourth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Delhi University, from January 9 to 11, 2011.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

As in the earlier events in this series, we shall have eminent logicians as invited speakers. Pre-conference workshops during Jan 5-8 are also being planned. Details of these workshops will be posted on the conference website at http://ali.cmi.ac.in/icla2011 in due course. Any queries related to the conference may be sent to the following email address: icla at cse.iitk.ac.in.

For more information, see http://www.bslps.be/YRD2.html

ALI, the Association for Logic in India, announces the fourth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Delhi University, from January 9 to 11, 2011.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

As in the earlier events in this series, we shall have eminent logicians as invited speakers. Pre-conference workshops during Jan 5-8 are also being planned. Details of these workshops will be posted on the conference website at http://ali.cmi.ac.in/icla2011 in due course. Any queries related to the conference may be sent to the following email address: icla at cse.iitk.ac.in.

For more information, see http://www.bslps.be/YRD2.html

ALI, the Association for Logic in India, announces the fourth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Delhi University, from January 9 to 11, 2011.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

As in the earlier events in this series, we shall have eminent logicians as invited speakers. Pre-conference workshops during Jan 5-8 are also being planned. Details of these workshops will be posted on the conference website at http://ali.cmi.ac.in/icla2011 in due course. Any queries related to the conference may be sent to the following email address: icla at cse.iitk.ac.in.

For more information, see http://www.bslps.be/YRD2.html

The University of Oxford will host the Ninth International Conference on Computational Semantics (IWCS-2011), which will take place at the Computing Laboratory on 12-14 January 2011. The aim of the IWCS conference is to bring together researchers interested in any aspects of the computation, annotation, extraction, and representation of meaning in natural language, whether this is from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

Areas of special interest for the conference will be computational aspects of meaning of natural language within written, spoken, or multimodal communication.

For more information, see http://www.meaningfactory.com/iwcs2011/

For more information, see http://www.bslps.be/YRD2.html

The University of Oxford will host the Ninth International Conference on Computational Semantics (IWCS-2011), which will take place at the Computing Laboratory on 12-14 January 2011. The aim of the IWCS conference is to bring together researchers interested in any aspects of the computation, annotation, extraction, and representation of meaning in natural language, whether this is from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

Areas of special interest for the conference will be computational aspects of meaning of natural language within written, spoken, or multimodal communication.

For more information, see http://www.meaningfactory.com/iwcs2011/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

For more information, see http://www.bslps.be/YRD2.html

The University of Oxford will host the Ninth International Conference on Computational Semantics (IWCS-2011), which will take place at the Computing Laboratory on 12-14 January 2011. The aim of the IWCS conference is to bring together researchers interested in any aspects of the computation, annotation, extraction, and representation of meaning in natural language, whether this is from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

Areas of special interest for the conference will be computational aspects of meaning of natural language within written, spoken, or multimodal communication.

For more information, see http://www.meaningfactory.com/iwcs2011/

The conference will be preceded by the Logic School 2011, on May 7-8, 2011.

For more information, see http://www.cle.unicamp.br/ebl2011/

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

The twelfth installment of the workshop that takes linguists and experimental philosophers to the ski slopes will be held March 11~15, 2011, on the mountaintop Szrenica, Poland.

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is "Ambiguity and Disambiguation" - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating concerns to ambiguity and disambiguation are especially welcome. Experimental as well as theoretical approaches to the problem are welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative. For more details see the call for papers. Invited Speakers include Justyna Grudzinska, Katrin Schulz, Jacques Jayez and Bernhard Schröder (confirmed)

For further details check the webpage: http://szklarska2011.hlotze.com/.

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

The theme of IJCAI-11 is ''Integrated and Embedded Artificial Intelligence'' (IEAI) with a focus on artificial intelligence that crosses discipline boundaries within AI, and between AI and other disciplines. Building systems often requires techniques from more than one area (e.g. both machine learning and natural language processing, or both planning and preference representation). In addition, larger systems often have AI components embedded within that provide intelligent functionalities such as learning and reasoning. The conference will include a special track dedicated to such work.

For further information please visit the conference web site: http://www.ijcai-11.org

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

The present workshop is devoted to different understandings of the notion of form in the context of logic- and scientifically-oriented philosophy in the 19th and early 20th century, i.e. (roughly) the period from Bolzano over Brentano to Husserl, Frege and early analytic philosophy.

Against this historical background, we aim at bringing together masters of the field with graduate students whose work is connected (but not restricted) to this subject. Invited speakers: Michael Beaney (York), Danielle Macbeth (Haverford)

For more information, see here or contact Stefan Roski (stefan.roski at gmail.com).

Graduate Conference on the Epistemological Status of First-Person Methodology in Science, and the Metaphysics of Belief & 2nd William James Lecture by Eric Schwitzgebel, University of California at Riverside

For more information, see here or http://www.cogsci.uni-osnabrueck.de/, or contact Sascha Benjamin Fink at safink at uos.de.

The 3rd International Conference on Mathematics and Computation in Music (MCM 2011) will take place on June 15-17, 2011 at IRCAM, the Institute for Research and Coordination of Acoustics and Music in Paris, France. MCM 2011 will be integrated into IRCAM's most important artistic event of the season, the Agora Music Festival, which is running from June 6 to 18, 2011.

As in the case of the first two conferences (which took place in 2007 in Berlin and in 2009 at Yale University), the third Mathematics and Computation in Music Conference aims to provide a multi-disciplinary platform dedicated to the communication and exchange of ideas amongst researchers involved in mathematics, computer science, music theory, composition, musicology, or other related disciplines. One of the Keynote speakers will be the renowned composer and conductor Pierre Boulez, founder and honorary director of IRCAM. It will be accompanied by a series of conference-related artistic events (concerts, exhibitions, workshops, ...) organised in collaboration with some of the most important cultural and educational centres of France, such as the Centre Pompidou and Universcience.

For more information, see http://mcm2011.ircam.fr/drupal/

For more information, see http://www.bslps.be/YRD2.html

The present workshop is devoted to different understandings of the notion of form in the context of logic- and scientifically-oriented philosophy in the 19th and early 20th century, i.e. (roughly) the period from Bolzano over Brentano to Husserl, Frege and early analytic philosophy.

Against this historical background, we aim at bringing together masters of the field with graduate students whose work is connected (but not restricted) to this subject. Invited speakers: Michael Beaney (York), Danielle Macbeth (Haverford)

For more information, see here or contact Stefan Roski (stefan.roski at gmail.com).

Graduate Conference on the Epistemological Status of First-Person Methodology in Science, and the Metaphysics of Belief & 2nd William James Lecture by Eric Schwitzgebel, University of California at Riverside

For more information, see here or http://www.cogsci.uni-osnabrueck.de/, or contact Sascha Benjamin Fink at safink at uos.de.

For more information, see http://www.bslps.be/YRD2.html

Graduate Conference on the Epistemological Status of First-Person Methodology in Science, and the Metaphysics of Belief & 2nd William James Lecture by Eric Schwitzgebel, University of California at Riverside

For more information, see here or http://www.cogsci.uni-osnabrueck.de/, or contact Sascha Benjamin Fink at safink at uos.de.

For more information, see http://www.bslps.be/YRD2.html

Graduate Conference on the Epistemological Status of First-Person Methodology in Science, and the Metaphysics of Belief & 2nd William James Lecture by Eric Schwitzgebel, University of California at Riverside

For more information, see here or http://www.cogsci.uni-osnabrueck.de/, or contact Sascha Benjamin Fink at safink at uos.de.

This conference is the 20th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

See http://www.tableaux11.unibe.ch/ for more information on TABLEAUX2011, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

We are pleased to announce that Winter School in Abstract Analysis, section Set Theory will take place between January 29th and February 5th in Hejnice, Czech Republic. Intended audience are researchers, postdocs and students from Set Theory, Topology, Analysis and related fields. Tutorial speakers for this year are Andreas Blass, Péter Komjáth, Petr Simon and Lionel Nguyen Van Thé

Deadlines for grand application and registration are December 11th and December 31st, respectively. To get more information about the conference and grants and to register please visit our web page at http://www.winterschool.eu.

Socio-technical systems are complex adaptive entities that require the engagement of social and technical elements in an environment to reach certain goals. In order to understand, analyze or design such systems, advanced tools are required. One of the major tools for understanding socio-technical systems is agent-based modeling. In recent years, social scientists, including economists and policy makers, have been using agent-based models to tackle their problem domains. Building artificial societies by combining the multi-agent systems view and domain knowledge has become a challenge, because of the complexity involved.

The goal of AMPLE is to connect agent and artificial society research on the one hand, with policy making, institutional analysis and tools like system dynamics and gaming on the other. The combination could have benefits for the further enrichment of agent-based modeling and simulation. By gathering these different perspectives, we aim to explore how agent-research can be used or improved to assist with policy making in the social sciences.

For more information, see http://ample2011.tudelft.nl/ AMPLE-2011 is co-located with the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS2011, http://www.aamas2011.tw/).

For more information, see http://www.bslps.be/YRD2.html

We are pleased to announce that Winter School in Abstract Analysis, section Set Theory will take place between January 29th and February 5th in Hejnice, Czech Republic. Intended audience are researchers, postdocs and students from Set Theory, Topology, Analysis and related fields. Tutorial speakers for this year are Andreas Blass, Péter Komjáth, Petr Simon and Lionel Nguyen Van Thé

Deadlines for grand application and registration are December 11th and December 31st, respectively. To get more information about the conference and grants and to register please visit our web page at http://www.winterschool.eu.

Starting from 1960 the International Congress of Logic, Methodology and Philosophy of Science has been held every four years in capital cities and/or by famous university centers. The congress is meant to reflect the current state of the art in Logic and Philosophy of Science and also to draw upon and present new perspectives.

A novelty of the Nancy Congress is that it has adopted a topic of special focus: "Logic and science facing new technologies". This presents the opportunity for casting a strong light on an issue of major importance today, namely: the integration of contemporary technologies in sciences and in society. Questions surrounding this issue are likely to interest the scientific community, as well as a variety of social actors and various partners involved in the congress.

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

For more information, see http://www.bslps.be/YRD2.html

We are pleased to announce that Winter School in Abstract Analysis, section Set Theory will take place between January 29th and February 5th in Hejnice, Czech Republic. Intended audience are researchers, postdocs and students from Set Theory, Topology, Analysis and related fields. Tutorial speakers for this year are Andreas Blass, Péter Komjáth, Petr Simon and Lionel Nguyen Van Thé

Deadlines for grand application and registration are December 11th and December 31st, respectively. To get more information about the conference and grants and to register please visit our web page at http://www.winterschool.eu.

The conference CCR, also known as conference on Logic, Computability and Randomness, will be in the tradition of the previous meetings in Córdoba (Argentina) 2004, Buenos Aires (Argentina) 2007, Nanjing (China) 2008, Luminy (France) 2009 and Notre Dame (USA) 2010. Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic

For more information, see http://cca-net.de/ccr2011/. CCR-2011 is co-located with CCA-2011.

The conference is concerned with the theory of computability and complexity over real-valued data.

Computability and complexity theory are two central areas of research in mathematical logic and theoretical computer science. Computability theory is the study of the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Such strings may represent various discrete objects such as integers or algebraic expressions, but cannot represent general real or complex numbers, unless they are rounded.

Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be discovered.

For more information, see http://cca-net.de/cca2011/. CCA-2011 is co-located with CCR-2011.