The twelfth annual Midwest PhilMath Workshop (MWPMW 12) will be held at Notre Dame the weekend of Saturday, November 5th and Sunday, November 6th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be a workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

As part of this year's workshop, there will be a special symposium on "The Nature of Mathematical Reasoning". Featured speakers will include Pr. Lance Rips (Psychology, Northwestern), Pr. Martin Monti (Psychology, UCLA) and Pr. Alan Bundy (Informatics, Edinburgh).

This year, the workshop will also meet in conjunction with Mic Detlefsen's "Ideals of Proof" (IP) research group sponsored by the ANR in France. In connection with this, there will be two additional special workshops, the first featuring interactions between mathematics and philosophy in the modern era, the second is a more logic oriented workshop.

Please consult the workshop website (http://philosophy.nd.edu/news/events/) for links that will take you to the MWPMW 12 pages.

For the Turing year 2012, the AISB (The Society for the Study of Artificial Intelligence and Simulation of Behaviour) and the IACAP (The International Association for Computing and Philosophy) merge their annual symposia/conferences to the AISB/IACAP World Congress. The Congress has been inspired by a desire to honour Alan Turing and by the broad and deep significance of Turing's work to AI, to the philosophical ramifications of computing, and to philosophy and computing more generally. The Congress is one of the events forming the Alan Turing Year.

The intent of the Congress is to stimulate a particularly rich interchange between AI and Philosophy on any areas of mutual interest, whether directly addressing Turing's own research output or not. The Congress will consist mainly of a number of collocated Symposia on specific research areas, interspersed with Congress-wide refreshment breaks, social events and invited Plenary Talks.

For more information, see http://events.cs.bham.ac.uk/turing12/

Modalities and predicates have since ancient time been central notions of logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.

Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedictated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.

For more information, see http://logic.sysu.edu.cn/ncmpl2011 or contact ncmpl2011 at easychair.org

Questions and answers are a major topic in semantics and pragmatics, and to some extent in logic and philosophy as well. This interest in inquisitiveness goes beyond the interpretation of questions as such. For example, questions are widely assumed to play a structural role in the analysis of discourse. Likewise, most theories on focus and the interpretation of intonation make a link with the question-answerhood relation. More radically it has been argued that a proper understanding of seemingly purely informative constructions, like disjunctions and conditionals, requires a notion of inquisitiveness as a basic ingredient of meaning. The main aim of this workshop is to investigate the significance of inquisitiveness for semantics, pragmatics, and logic.

For more information, see https://sites.google.com/site/inquisitivesemantics/workshops/. This workshop is hosted by the Amsterdam Colloquium 2011.

The 18th Amsterdam Colloquium will be held December 19 - 21, 2011 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).

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

With his seminal paper ``deontic logic'' published in Mind in 1951, Von Wright launched the area of deontic logic. It is the field of logic that is concerned with obligation, permission, and related concepts.

We invite papers concerned with the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic, and the formal analysis of normative concepts and normative systems. We also invite applications of deontic logic and normative systems to, for example, the formal specification of aspects of norm-governed multi-agent systems and autonomous agents.

Paper Submission Deadline: September 1, 2011. For more information, see http://deonticlogic.org/ or http://www.oxfordjournals.org/our_journals/logcom/for_authors/index.html.

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science.

This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007) and Udine (Italy, 2009). The fourth edition will be held in the city of Winchester (UK), a historic cathedral city and the ancient capital of Wessex and the Kingdom of England.

CALCO 2011 will be preceded by the CALCO Young Researchers Workshop, CALCO-Jnr, dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. The programme of CALCO will also comprise presentations of tools based on algebraic and/or coalgebraic principles, that have been selected in the context of a dedicated workshop, CALCO-Tools.

For more information, see http://calco2011.ecs.soton.ac.uk/ or contact calco2011 at ecs.soton.ac.uk.

This Summer School offers a broad and intensive series of lectures on language and speech technologies at different levels. They are addressed to advanced undergraduate and graduate students. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate their career in research.

The school is addressed to Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, or Philosophy) are welcome too.

For more information and abstracts, see http://grammars.grlmc.com/sslst2011/

ICTAC 2011 is the 8th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC 2011 will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

For more information, see http://www.ictac.net/ictac2011/

The 14th International Conference of Text, Speech and Dialogue TSD2011 will be concerned with the topics in the field of natural language processing, in particular:
* corpora, texts and transcription,
* speech analysis, recognition and synthesis,
* their intertwining within NL dialogue systems.

The keynote topic of the conference for this year is Integrating Modern Web with Speech and Language Technologies. For the upcoming TSD, the following outstanding set of invited speakers with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics agreed to give their respective pieces of speech:
Hynek Hermansky: Active listening in machine recognition of speech.
Sergey Kuznetsov: Logico-semantic Text Processing for Machine Translation, Web Search, and Speech Synthesis.
Mark Epstein: Topic not yet specified.

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

The goal of this meeting is to offer background on Set Theory, especially large cardinals, and discuss a number of situations in Abelian Group Theory, Category Theory and Algebraic Topology where set-theoretical methods may play a crucial role for the solution of certain open problems.

The courses are aimed at a mixed audience of graduate students, recent doctors, and also specialists in some focus area of the meeting who wish to know more about the other areas. A two-day workshop follows the course lectures.

For more information, see http://www.imub.ub.es/hocard11/

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science.

This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007) and Udine (Italy, 2009). The fourth edition will be held in the city of Winchester (UK), a historic cathedral city and the ancient capital of Wessex and the Kingdom of England.

CALCO 2011 will be preceded by the CALCO Young Researchers Workshop, CALCO-Jnr, dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. The programme of CALCO will also comprise presentations of tools based on algebraic and/or coalgebraic principles, that have been selected in the context of a dedicated workshop, CALCO-Tools.

For more information, see http://calco2011.ecs.soton.ac.uk/ or contact calco2011 at ecs.soton.ac.uk.

This Summer School offers a broad and intensive series of lectures on language and speech technologies at different levels. They are addressed to advanced undergraduate and graduate students. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate their career in research.

The school is addressed to Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, or Philosophy) are welcome too.

For more information and abstracts, see http://grammars.grlmc.com/sslst2011/

ICTAC 2011 is the 8th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC 2011 will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

For more information, see http://www.ictac.net/ictac2011/

The 14th International Conference of Text, Speech and Dialogue TSD2011 will be concerned with the topics in the field of natural language processing, in particular:
* corpora, texts and transcription,
* speech analysis, recognition and synthesis,
* their intertwining within NL dialogue systems.

The keynote topic of the conference for this year is Integrating Modern Web with Speech and Language Technologies. For the upcoming TSD, the following outstanding set of invited speakers with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics agreed to give their respective pieces of speech:
Hynek Hermansky: Active listening in machine recognition of speech.
Sergey Kuznetsov: Logico-semantic Text Processing for Machine Translation, Web Search, and Speech Synthesis.
Mark Epstein: Topic not yet specified.

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

The goal of this meeting is to offer background on Set Theory, especially large cardinals, and discuss a number of situations in Abelian Group Theory, Category Theory and Algebraic Topology where set-theoretical methods may play a crucial role for the solution of certain open problems.

The courses are aimed at a mixed audience of graduate students, recent doctors, and also specialists in some focus area of the meeting who wish to know more about the other areas. A two-day workshop follows the course lectures.

For more information, see http://www.imub.ub.es/hocard11/

The 14th International Conference of Text, Speech and Dialogue TSD2011 will be concerned with the topics in the field of natural language processing, in particular:
* corpora, texts and transcription,
* speech analysis, recognition and synthesis,
* their intertwining within NL dialogue systems.

The keynote topic of the conference for this year is Integrating Modern Web with Speech and Language Technologies. For the upcoming TSD, the following outstanding set of invited speakers with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics agreed to give their respective pieces of speech:
Hynek Hermansky: Active listening in machine recognition of speech.
Sergey Kuznetsov: Logico-semantic Text Processing for Machine Translation, Web Search, and Speech Synthesis.
Mark Epstein: Topic not yet specified.

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

The goal of this meeting is to offer background on Set Theory, especially large cardinals, and discuss a number of situations in Abelian Group Theory, Category Theory and Algebraic Topology where set-theoretical methods may play a crucial role for the solution of certain open problems.

The courses are aimed at a mixed audience of graduate students, recent doctors, and also specialists in some focus area of the meeting who wish to know more about the other areas. A two-day workshop follows the course lectures.

For more information, see http://www.imub.ub.es/hocard11/

This meeting, the fifth in the series, will honor Ward Henson's retirement. Invited speakers include Itai Ben Yaacov (Lyon), Gregory Cherlin (Rutgers), Julien Melleray (Lyon), Anand Pillay (Leeds), Christian Rosendal (UIC), David Sherman (Virginia) and Henry Towsner (UCLA).

For more information, see the meeting web page at http://www.math.uiuc.edu/Logic2011/.

For more information, please visit the conference website: http://propernounsandpredicates.wordpress.com Places are strictly limited and registration required. Contact e-mail for registration: Turan.Lackschewitz at zvw.uni-goettingen.de

The 14th International Conference of Text, Speech and Dialogue TSD2011 will be concerned with the topics in the field of natural language processing, in particular:
* corpora, texts and transcription,
* speech analysis, recognition and synthesis,
* their intertwining within NL dialogue systems.

The keynote topic of the conference for this year is Integrating Modern Web with Speech and Language Technologies. For the upcoming TSD, the following outstanding set of invited speakers with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics agreed to give their respective pieces of speech:
Hynek Hermansky: Active listening in machine recognition of speech.
Sergey Kuznetsov: Logico-semantic Text Processing for Machine Translation, Web Search, and Speech Synthesis.
Mark Epstein: Topic not yet specified.

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

The goal of this meeting is to offer background on Set Theory, especially large cardinals, and discuss a number of situations in Abelian Group Theory, Category Theory and Algebraic Topology where set-theoretical methods may play a crucial role for the solution of certain open problems.

The courses are aimed at a mixed audience of graduate students, recent doctors, and also specialists in some focus area of the meeting who wish to know more about the other areas. A two-day workshop follows the course lectures.

For more information, see http://www.imub.ub.es/hocard11/

This meeting, the fifth in the series, will honor Ward Henson's retirement. Invited speakers include Itai Ben Yaacov (Lyon), Gregory Cherlin (Rutgers), Julien Melleray (Lyon), Anand Pillay (Leeds), Christian Rosendal (UIC), David Sherman (Virginia) and Henry Towsner (UCLA).

For more information, see the meeting web page at http://www.math.uiuc.edu/Logic2011/.

For more information, please visit the conference website: http://propernounsandpredicates.wordpress.com Places are strictly limited and registration required. Contact e-mail for registration: Turan.Lackschewitz at zvw.uni-goettingen.de

Philosophy of mathematics has proved to be one of the most lively areas of philosophy in recent times, and numerical cognition has proved the same with respect to cognitive science. Many traditional issues in the philosophy of mathematics, concerning both our understanding of the concept of number and our conception of mathematical objects, has been seen in a new light under the pressure of the development of cognitive studies. Often, however, we are faced with the stark opposition between those who believe that cognitive results tell us all there is to say about mathematics, pace most traditional philosophical concerns, and those who deny that cognitive aspects of mathematical thinking, however interesting they may be on their own, can foster any progress in the solution of as yet theoretically unavoidable philosophical issues.

Many, however, feel the urge of filling the gap, one way or the other. Major and interrelated issues are indeed at stake. This workshop aims at bringing together scholars on both sides of the divide, and to offer the opportunity to young researchers of discussing works at the interplay between cognitive science and the philosophy of mathematics.

The workshop Numerical Cognition and Mathematical Ontology is one of the Workshop associated to the Seventh Conference in Analytic Philosophy (ECAP7).

For more information, see the workshop website at http://www.esap.info/ecap7/?page_id=29 or the conference website at http://www.esap.info/ecap7/.

The 14th International Conference of Text, Speech and Dialogue TSD2011 will be concerned with the topics in the field of natural language processing, in particular:
* corpora, texts and transcription,
* speech analysis, recognition and synthesis,
* their intertwining within NL dialogue systems.

The keynote topic of the conference for this year is Integrating Modern Web with Speech and Language Technologies. For the upcoming TSD, the following outstanding set of invited speakers with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics agreed to give their respective pieces of speech:
Hynek Hermansky: Active listening in machine recognition of speech.
Sergey Kuznetsov: Logico-semantic Text Processing for Machine Translation, Web Search, and Speech Synthesis.
Mark Epstein: Topic not yet specified.

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

The goal of this meeting is to offer background on Set Theory, especially large cardinals, and discuss a number of situations in Abelian Group Theory, Category Theory and Algebraic Topology where set-theoretical methods may play a crucial role for the solution of certain open problems.

The courses are aimed at a mixed audience of graduate students, recent doctors, and also specialists in some focus area of the meeting who wish to know more about the other areas. A two-day workshop follows the course lectures.

For more information, see http://www.imub.ub.es/hocard11/

The goal of this meeting is to offer background on Set Theory, especially large cardinals, and discuss a number of situations in Abelian Group Theory, Category Theory and Algebraic Topology where set-theoretical methods may play a crucial role for the solution of certain open problems.

The courses are aimed at a mixed audience of graduate students, recent doctors, and also specialists in some focus area of the meeting who wish to know more about the other areas. A two-day workshop follows the course lectures.

For more information, see http://www.imub.ub.es/hocard11/

The 16th Sinn und Bedeutung Conference, the annual meeting of the Gesellschaft für Semantik, will take place from 6 to 8 September 2011 in Utrecht.

The invited speakers at Sinn und Bedeuting 16 are:
* Maria Aloni (ILLC, University of Amsterdam)
* Chris Barker (New York University)
* Lisa Matthewson (University of British Columbia)
* Susan Rothstein (Bar-Ilan University)

For more information, see http://www.hum.uu.nl/sub16/ or email subutrecht at gmail.com.

This conference will be an international one, bringing together scholars from Europe and North America to mark the 300th anniversary of Hume’s birth. It will be the first conference devoted to Hume’s work to be held in the Czech Republic. The central topic will be Hume’s epistemology, including his views on belief, evidence, induction, probability, testimony, natural theology and scepticism, as well as the epistemological questions surrounding his account of the self and of causation. The proceedings will last for three days, from September 6th to 8th (Tuesday to Thursday), 2011.

For more information, see http://www.flu.cas.cz/hume2011/.

MOL 12 is the 12th Meeting on the Mathematics of Language, to be held in Nara, Japan, from September 6 through 8, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. The venue of this year's meeting is the first outside of Europe and the U.S.

Invited Speakers are Kit Fine (New York University) and Andreas Maletti (Universität Stuttgart).

For more information, see the MOL 12 web site at http://sites.google.com/site/mol12nara/.

The goal of this meeting is to offer background on Set Theory, especially large cardinals, and discuss a number of situations in Abelian Group Theory, Category Theory and Algebraic Topology where set-theoretical methods may play a crucial role for the solution of certain open problems.

The courses are aimed at a mixed audience of graduate students, recent doctors, and also specialists in some focus area of the meeting who wish to know more about the other areas. A two-day workshop follows the course lectures.

For more information, see http://www.imub.ub.es/hocard11/

The 16th Sinn und Bedeutung Conference, the annual meeting of the Gesellschaft für Semantik, will take place from 6 to 8 September 2011 in Utrecht.

The invited speakers at Sinn und Bedeuting 16 are:
* Maria Aloni (ILLC, University of Amsterdam)
* Chris Barker (New York University)
* Lisa Matthewson (University of British Columbia)
* Susan Rothstein (Bar-Ilan University)

For more information, see http://www.hum.uu.nl/sub16/ or email subutrecht at gmail.com.

This conference will be an international one, bringing together scholars from Europe and North America to mark the 300th anniversary of Hume’s birth. It will be the first conference devoted to Hume’s work to be held in the Czech Republic. The central topic will be Hume’s epistemology, including his views on belief, evidence, induction, probability, testimony, natural theology and scepticism, as well as the epistemological questions surrounding his account of the self and of causation. The proceedings will last for three days, from September 6th to 8th (Tuesday to Thursday), 2011.

For more information, see http://www.flu.cas.cz/hume2011/.

MOL 12 is the 12th Meeting on the Mathematics of Language, to be held in Nara, Japan, from September 6 through 8, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. The venue of this year's meeting is the first outside of Europe and the U.S.

Invited Speakers are Kit Fine (New York University) and Andreas Maletti (Universität Stuttgart).

For more information, see the MOL 12 web site at http://sites.google.com/site/mol12nara/.

The Sixth Cologne Summer School in Philosophy on "Relying on Others. New Perspectives in Social Epistemology" will take place in Cologne, September 7-10, 2011. Our special guest this year will be Sanford Goldberg (Northwestern University).

The main focus is the intersection of epistemology, philosophy of mind and philosophy of language. We will discuss foundational issues (e.g., the relationship between epistemic and semantic externalism) as well as more specialized "hot" issues in social epistemology: the division of epistemic labour, testimony, group epistemology, disagreement, various ways in which others can be epistemically significant for us, and socially extended methods of belief-formation. The Summer School is mainly aimed at professional philosophers and advanced graduate students.

Attendance is free, but limited to 50 participants - on the basis of motivation and qualification. Online application is possible through April 30.

For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, and University of Hyderabad. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The fourth conference was held at Delhi University, in January 2011, and the proceedings published as LNCS 6521 in the FoLLI series. The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

The deadline for receiving applications is December 15, 2011. For more information, see http://ali.cmi.ac.in/isla2012/.

The goal of this meeting is to offer background on Set Theory, especially large cardinals, and discuss a number of situations in Abelian Group Theory, Category Theory and Algebraic Topology where set-theoretical methods may play a crucial role for the solution of certain open problems.

The courses are aimed at a mixed audience of graduate students, recent doctors, and also specialists in some focus area of the meeting who wish to know more about the other areas. A two-day workshop follows the course lectures.

For more information, see http://www.imub.ub.es/hocard11/

The 16th Sinn und Bedeutung Conference, the annual meeting of the Gesellschaft für Semantik, will take place from 6 to 8 September 2011 in Utrecht.

The invited speakers at Sinn und Bedeuting 16 are:
* Maria Aloni (ILLC, University of Amsterdam)
* Chris Barker (New York University)
* Lisa Matthewson (University of British Columbia)
* Susan Rothstein (Bar-Ilan University)

For more information, see http://www.hum.uu.nl/sub16/ or email subutrecht at gmail.com.

This conference will be an international one, bringing together scholars from Europe and North America to mark the 300th anniversary of Hume’s birth. It will be the first conference devoted to Hume’s work to be held in the Czech Republic. The central topic will be Hume’s epistemology, including his views on belief, evidence, induction, probability, testimony, natural theology and scepticism, as well as the epistemological questions surrounding his account of the self and of causation. The proceedings will last for three days, from September 6th to 8th (Tuesday to Thursday), 2011.

For more information, see http://www.flu.cas.cz/hume2011/.

MOL 12 is the 12th Meeting on the Mathematics of Language, to be held in Nara, Japan, from September 6 through 8, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. The venue of this year's meeting is the first outside of Europe and the U.S.

Invited Speakers are Kit Fine (New York University) and Andreas Maletti (Universität Stuttgart).

For more information, see the MOL 12 web site at http://sites.google.com/site/mol12nara/.

The Sixth Cologne Summer School in Philosophy on "Relying on Others. New Perspectives in Social Epistemology" will take place in Cologne, September 7-10, 2011. Our special guest this year will be Sanford Goldberg (Northwestern University).

The main focus is the intersection of epistemology, philosophy of mind and philosophy of language. We will discuss foundational issues (e.g., the relationship between epistemic and semantic externalism) as well as more specialized "hot" issues in social epistemology: the division of epistemic labour, testimony, group epistemology, disagreement, various ways in which others can be epistemically significant for us, and socially extended methods of belief-formation. The Summer School is mainly aimed at professional philosophers and advanced graduate students.

Attendance is free, but limited to 50 participants - on the basis of motivation and qualification. Online application is possible through April 30.

For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/

The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. It will be held in conjunction with CSL 2011 which takes place in Bergen September 12 - 15.

For more information, see http://www.types.name/

The Sixth Cologne Summer School in Philosophy on "Relying on Others. New Perspectives in Social Epistemology" will take place in Cologne, September 7-10, 2011. Our special guest this year will be Sanford Goldberg (Northwestern University).

The main focus is the intersection of epistemology, philosophy of mind and philosophy of language. We will discuss foundational issues (e.g., the relationship between epistemic and semantic externalism) as well as more specialized "hot" issues in social epistemology: the division of epistemic labour, testimony, group epistemology, disagreement, various ways in which others can be epistemically significant for us, and socially extended methods of belief-formation. The Summer School is mainly aimed at professional philosophers and advanced graduate students.

Attendance is free, but limited to 50 participants - on the basis of motivation and qualification. Online application is possible through April 30.

For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/

The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. It will be held in conjunction with CSL 2011 which takes place in Bergen September 12 - 15.

For more information, see http://www.types.name/

The Sixth Cologne Summer School in Philosophy on "Relying on Others. New Perspectives in Social Epistemology" will take place in Cologne, September 7-10, 2011. Our special guest this year will be Sanford Goldberg (Northwestern University).

The main focus is the intersection of epistemology, philosophy of mind and philosophy of language. We will discuss foundational issues (e.g., the relationship between epistemic and semantic externalism) as well as more specialized "hot" issues in social epistemology: the division of epistemic labour, testimony, group epistemology, disagreement, various ways in which others can be epistemically significant for us, and socially extended methods of belief-formation. The Summer School is mainly aimed at professional philosophers and advanced graduate students.

Attendance is free, but limited to 50 participants - on the basis of motivation and qualification. Online application is possible through April 30.

For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/

The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. It will be held in conjunction with CSL 2011 which takes place in Bergen September 12 - 15.

For more information, see http://www.types.name/

The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. It will be held in conjunction with CSL 2011 which takes place in Bergen September 12 - 15.

For more information, see http://www.types.name/

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics.

The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. Additionally, the organizers have made arrangements to facilitate the running of one day workshops on September 11 and September 15.

For more information, see http://www.isp.uni-luebeck.de/time11/ or contact time11 at isp.uni-luebeck.de.

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 Ackermann Award for 2011 will be presented to the recipients at CSL 2011.

For more information, see http://www.eacsl.org/csl11

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics.

The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. Additionally, the organizers have made arrangements to facilitate the running of one day workshops on September 11 and September 15.

For more information, see http://www.isp.uni-luebeck.de/time11/ or contact time11 at isp.uni-luebeck.de.

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 Ackermann Award for 2011 will be presented to the recipients at CSL 2011.

For more information, see http://www.eacsl.org/csl11

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics.

The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. Additionally, the organizers have made arrangements to facilitate the running of one day workshops on September 11 and September 15.

For more information, see http://www.isp.uni-luebeck.de/time11/ or contact time11 at isp.uni-luebeck.de.

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 Ackermann Award for 2011 will be presented to the recipients at CSL 2011.

For more information, see http://www.eacsl.org/csl11

Formal logic and game theory can meet in many ways. While the use of games-for-logic, e.g., to define semantics of quantifiers or to compare logical models, goes back a long time, logic-for-games is a more recent and currently very active research direction which has been precipitated by the introduction of the notion of (multi-)agency in logic. If agents are assumed to be self-interested and to act rationally, then reasoning about action in a multi-agent setting requires reasoning about game theoretic concepts. Furthermore, logics capturing, e.g., the principles of action, belief, knowledge, time, preference and so on, can help explaining the foundations of game theoretic solutions, algorithms, etc.

The goal of the special issue of Studia Logica on Logic and Games is to illustrate current trends and present recent advances in this field. We invite submissions on all topics in the intersection between formal logic and game theory. The special issue will contain contributions from the following invited authors, in addition to selected submitted contributions: Johan van Benthem (UvA/Stanford), Rohit Parikh (New York), Michael Wooldridge (Liverpool).

Submission deadline: 15 August 2011 For more details, see http://www.ifispan.waw.pl/studialogica/si-logic-and-games.html.

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics.

The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. Additionally, the organizers have made arrangements to facilitate the running of one day workshops on September 11 and September 15.

For more information, see http://www.isp.uni-luebeck.de/time11/ or contact time11 at isp.uni-luebeck.de.

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 Ackermann Award for 2011 will be presented to the recipients at CSL 2011.

For more information, see http://www.eacsl.org/csl11

A workshop on Reverse Mathematics will be held at the University of Chicago on September 16-18, 2011, with support from the Packard Foundation. While the workshop will be centered on the program of reverse mathematics, we intend its scope to be broad, including connections with the foundations of mathematics, computability theory, and proof theory, and we encourage those interested in these areas to participate.

Confirmed speakers so far include Jeremy Avigad, Peter Cholak, Harvey Friedman, Carl Jockusch, Steffen Lempp, Alberto Marcone, Carl Mummert, Michael Rathjen, Richard A. Shore, Stephen G. Simpson, Theodore A. Slaman and Andreas Weieremann.

For more updated information see http://www.math.uchicago.edu/~antonio/RM11/. Deadline for funding applications: June 15th.

A workshop on Reverse Mathematics will be held at the University of Chicago on September 16-18, 2011, with support from the Packard Foundation. While the workshop will be centered on the program of reverse mathematics, we intend its scope to be broad, including connections with the foundations of mathematics, computability theory, and proof theory, and we encourage those interested in these areas to participate.

Confirmed speakers so far include Jeremy Avigad, Peter Cholak, Harvey Friedman, Carl Jockusch, Steffen Lempp, Alberto Marcone, Carl Mummert, Michael Rathjen, Richard A. Shore, Stephen G. Simpson, Theodore A. Slaman and Andreas Weieremann.

For more updated information see http://www.math.uchicago.edu/~antonio/RM11/. Deadline for funding applications: June 15th.

A workshop on Reverse Mathematics will be held at the University of Chicago on September 16-18, 2011, with support from the Packard Foundation. While the workshop will be centered on the program of reverse mathematics, we intend its scope to be broad, including connections with the foundations of mathematics, computability theory, and proof theory, and we encourage those interested in these areas to participate.

Confirmed speakers so far include Jeremy Avigad, Peter Cholak, Harvey Friedman, Carl Jockusch, Steffen Lempp, Alberto Marcone, Carl Mummert, Michael Rathjen, Richard A. Shore, Stephen G. Simpson, Theodore A. Slaman and Andreas Weieremann.

For more updated information see http://www.math.uchicago.edu/~antonio/RM11/. Deadline for funding applications: June 15th.

The study of axiomatic theories of truth is an interdisciplinary subject of philosophy and mathematical logic. This meeting aims at bringing experts together from both philosophy and mathematical logic to present recent researches and achievements in this area.

For more details, please see the conference webpage at http://users.ox.ac.uk/~reflect/Reflection_and_Incompleteness/conference2011/.

We welcome guests. Registration is free. To register, please contact:Kentaro Fujimoto <kentaro.fujimoto at philosophy.ox.ac.uk> by August 31, 2011.

Scientists spend a lot of time testing a hypothesis, and classifying experimental results as (in)significant evidence. But even after a century of hot debate, there is no consensus on what this concept of significance implies, how the results of hypothesis tests should be interpreted, and which practical pitfalls have to be avoided.

Our workshop brings together the perspectives of philosophers and methodologists, statisticians and practitioners. Contributions on all aspects of hypothesis testing that relate to the use and interpretation of those tests, and their role for scientific inference, are welcome. The workshop will be focused on debate, with a discussant for each paper, no parallel sessions and active engagement between the participants.

For more information, see http://hypothesistests.wordpress.com/

The study of axiomatic theories of truth is an interdisciplinary subject of philosophy and mathematical logic. This meeting aims at bringing experts together from both philosophy and mathematical logic to present recent researches and achievements in this area.

For more details, please see the conference webpage at http://users.ox.ac.uk/~reflect/Reflection_and_Incompleteness/conference2011/.

We welcome guests. Registration is free. To register, please contact:Kentaro Fujimoto <kentaro.fujimoto at philosophy.ox.ac.uk> by August 31, 2011.

A cooperation between the BMBF project OTHER MINDS (Bochum/Cologne) & Mindlab and Gnosis Research Center (Aarhus).

Contact and Registration: Bochum.Conference at rub.de. Website: http://www.ruhr-uni-bochum.de/philosophy/otherminds-bochum/.

A cooperation between the BMBF project OTHER MINDS (Bochum/Cologne) & Mindlab and Gnosis Research Center (Aarhus).

Contact and Registration: Bochum.Conference at rub.de. Website: http://www.ruhr-uni-bochum.de/philosophy/otherminds-bochum/.

The Semdial series of workshops aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neural science. In 2011 the workshop will leave Europe for the first time, to be held at the Institute for Creative Technologies of the University of Southern California in Los Angeles. The Semdial workshops are always stimulating and fun, and L.A. is a great place to visit.

For further details visit the SemDial 2011 website http://projects.ict.usc.edu/nld/semdial2011 and the SemDial series homepage: https://www.illc.uva.nl/semdial

The Semdial series of workshops aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neural science. In 2011 the workshop will leave Europe for the first time, to be held at the Institute for Creative Technologies of the University of Southern California in Los Angeles. The Semdial workshops are always stimulating and fun, and L.A. is a great place to visit.

For further details visit the SemDial 2011 website http://projects.ict.usc.edu/nld/semdial2011 and the SemDial series homepage: https://www.illc.uva.nl/semdial

The Semdial series of workshops aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neural science. In 2011 the workshop will leave Europe for the first time, to be held at the Institute for Creative Technologies of the University of Southern California in Los Angeles. The Semdial workshops are always stimulating and fun, and L.A. is a great place to visit.

For further details visit the SemDial 2011 website http://projects.ict.usc.edu/nld/semdial2011 and the SemDial series homepage: https://www.illc.uva.nl/semdial

The advent of advanced computing embracing various forms of computational intelligence, large-scale strategies, and technology-oriented approaches relays on fundamental achievements in systems and feature specification, domain-oriented programming and deployment platforms and benchmarking.

COMPUTING TOOLS 2011 continues an event under the umbrella of ComputationWorld 2011 dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, the event targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking.

For more information, see http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html

The advent of advanced computing embracing various forms of computational intelligence, large-scale strategies, and technology-oriented approaches relays on fundamental achievements in systems and feature specification, domain-oriented programming and deployment platforms and benchmarking.

COMPUTING TOOLS 2011 continues an event under the umbrella of ComputationWorld 2011 dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, the event targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking.

For more information, see http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html

This is the third in an annual series of workshops on the philosophy of mathematics organized by a team of scholars from Paris, Nancy and elsewhere. The three-day meeting will feature both invited and contributed talks.

For more information, see here.

A workshop will be held on Logic, Information, and Agency, as a special session of the Ninth International Tbilisi Symposium on Language, Logic and Computation. The workshop will feature talks on applying formal logical methods in a broad sense (including non-classical and modal logics, epistemic game theory, algebraic and categorical logic, probabilistic approaches etc) to reasoning about information and agency.

Topics of interest include:
Modal Logics for Agency
Reasoning about higher-order knowledge or beliefs in Multi-agent Systems
Logics for Information Updates (learning, belief revision, theory change, conditioning etc.)
Logical approaches to strategies, preferences and rationality in Epistemic Game Theory
Logics for reasoning about protocols, planning and intentions.

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessions/.

CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law.

The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself.

For more information, see http://context-11.teco.edu/ or contact context11-pch at teco.edu.

The Ninth Tbilisi Symposium on Language, Logic and Computation will be held in in Kutaisi, Georgia, from September 26 to 30, 2011. The Symposium is organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Akaki Tsereteli State University. The 2011 forum is the ninth instalment of a series of biannual Symposia.

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

It is with great pleasure that we announce the upcoming Semantics and Philosophy in Europe 4 conference. The conference will feature expert tutorials, symposia, roundtables, and a colloquium on the following topics: The Semantics and Pragmatics of Quotation, The Semantics of Action Sentences, and The Semantics and Epistemology of Mental State Ascriptions.

The purpose of the SPE workshops 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, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology) . SPE takes place annually in different European cities. The previous meetings took place in Paris (SPE1, 2008), London (SPE2, 2009), and Paris (SPE3, 2010).

For more information, see http://www.rub.de/phil-lang/spe4 or contact spe4 at rub.de.

The advent of advanced computing embracing various forms of computational intelligence, large-scale strategies, and technology-oriented approaches relays on fundamental achievements in systems and feature specification, domain-oriented programming and deployment platforms and benchmarking.

COMPUTING TOOLS 2011 continues an event under the umbrella of ComputationWorld 2011 dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, the event targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking.

For more information, see http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html

This is the third in an annual series of workshops on the philosophy of mathematics organized by a team of scholars from Paris, Nancy and elsewhere. The three-day meeting will feature both invited and contributed talks.

For more information, see here.

A workshop will be held on Logic, Information, and Agency, as a special session of the Ninth International Tbilisi Symposium on Language, Logic and Computation. The workshop will feature talks on applying formal logical methods in a broad sense (including non-classical and modal logics, epistemic game theory, algebraic and categorical logic, probabilistic approaches etc) to reasoning about information and agency.

Topics of interest include:
Modal Logics for Agency
Reasoning about higher-order knowledge or beliefs in Multi-agent Systems
Logics for Information Updates (learning, belief revision, theory change, conditioning etc.)
Logical approaches to strategies, preferences and rationality in Epistemic Game Theory
Logics for reasoning about protocols, planning and intentions.

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessions/.

CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law.

The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself.

For more information, see http://context-11.teco.edu/ or contact context11-pch at teco.edu.

The Ninth Tbilisi Symposium on Language, Logic and Computation will be held in in Kutaisi, Georgia, from September 26 to 30, 2011. The Symposium is organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Akaki Tsereteli State University. The 2011 forum is the ninth instalment of a series of biannual Symposia.

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

It is with great pleasure that we announce the upcoming Semantics and Philosophy in Europe 4 conference. The conference will feature expert tutorials, symposia, roundtables, and a colloquium on the following topics: The Semantics and Pragmatics of Quotation, The Semantics of Action Sentences, and The Semantics and Epistemology of Mental State Ascriptions.

The purpose of the SPE workshops 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, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology) . SPE takes place annually in different European cities. The previous meetings took place in Paris (SPE1, 2008), London (SPE2, 2009), and Paris (SPE3, 2010).

For more information, see http://www.rub.de/phil-lang/spe4 or contact spe4 at rub.de.

This is the third in a series of four one-day workshops, 2010-11, between groups from Copenhagen (CPH) and Lund (LU), on the themes of Pluralistic Ignorance, Belief Polarization, Echo Chambers and Informational Cascades.

To participate, contact frank.zenker at fil.lu.se by September 13th. Please indicate if you attend lunch and/or dinner. For more information, see the website at http://www.fil.lu.se/conferences/conference.asp?id=43&lang=eng

The advent of advanced computing embracing various forms of computational intelligence, large-scale strategies, and technology-oriented approaches relays on fundamental achievements in systems and feature specification, domain-oriented programming and deployment platforms and benchmarking.

COMPUTING TOOLS 2011 continues an event under the umbrella of ComputationWorld 2011 dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, the event targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking.

For more information, see http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html

This is the third in an annual series of workshops on the philosophy of mathematics organized by a team of scholars from Paris, Nancy and elsewhere. The three-day meeting will feature both invited and contributed talks.

For more information, see here.

A workshop will be held on Logic, Information, and Agency, as a special session of the Ninth International Tbilisi Symposium on Language, Logic and Computation. The workshop will feature talks on applying formal logical methods in a broad sense (including non-classical and modal logics, epistemic game theory, algebraic and categorical logic, probabilistic approaches etc) to reasoning about information and agency.

Topics of interest include:
Modal Logics for Agency
Reasoning about higher-order knowledge or beliefs in Multi-agent Systems
Logics for Information Updates (learning, belief revision, theory change, conditioning etc.)
Logical approaches to strategies, preferences and rationality in Epistemic Game Theory
Logics for reasoning about protocols, planning and intentions.

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessions/.

CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law.

The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself.

For more information, see http://context-11.teco.edu/ or contact context11-pch at teco.edu.

The Ninth Tbilisi Symposium on Language, Logic and Computation will be held in in Kutaisi, Georgia, from September 26 to 30, 2011. The Symposium is organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Akaki Tsereteli State University. The 2011 forum is the ninth instalment of a series of biannual Symposia.

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

It is with great pleasure that we announce the upcoming Semantics and Philosophy in Europe 4 conference. The conference will feature expert tutorials, symposia, roundtables, and a colloquium on the following topics: The Semantics and Pragmatics of Quotation, The Semantics of Action Sentences, and The Semantics and Epistemology of Mental State Ascriptions.

The purpose of the SPE workshops 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, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology) . SPE takes place annually in different European cities. The previous meetings took place in Paris (SPE1, 2008), London (SPE2, 2009), and Paris (SPE3, 2010).

For more information, see http://www.rub.de/phil-lang/spe4 or contact spe4 at rub.de.

The advent of advanced computing embracing various forms of computational intelligence, large-scale strategies, and technology-oriented approaches relays on fundamental achievements in systems and feature specification, domain-oriented programming and deployment platforms and benchmarking.

COMPUTING TOOLS 2011 continues an event under the umbrella of ComputationWorld 2011 dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, the event targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking.

For more information, see http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html

A workshop will be held on Logic, Information, and Agency, as a special session of the Ninth International Tbilisi Symposium on Language, Logic and Computation. The workshop will feature talks on applying formal logical methods in a broad sense (including non-classical and modal logics, epistemic game theory, algebraic and categorical logic, probabilistic approaches etc) to reasoning about information and agency.

Topics of interest include:
Modal Logics for Agency
Reasoning about higher-order knowledge or beliefs in Multi-agent Systems
Logics for Information Updates (learning, belief revision, theory change, conditioning etc.)
Logical approaches to strategies, preferences and rationality in Epistemic Game Theory
Logics for reasoning about protocols, planning and intentions.

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessions/.

CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law.

The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself.

For more information, see http://context-11.teco.edu/ or contact context11-pch at teco.edu.

The Ninth Tbilisi Symposium on Language, Logic and Computation will be held in in Kutaisi, Georgia, from September 26 to 30, 2011. The Symposium is organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Akaki Tsereteli State University. The 2011 forum is the ninth instalment of a series of biannual Symposia.

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

It is with great pleasure that we announce the upcoming Semantics and Philosophy in Europe 4 conference. The conference will feature expert tutorials, symposia, roundtables, and a colloquium on the following topics: The Semantics and Pragmatics of Quotation, The Semantics of Action Sentences, and The Semantics and Epistemology of Mental State Ascriptions.

The purpose of the SPE workshops 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, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology) . SPE takes place annually in different European cities. The previous meetings took place in Paris (SPE1, 2008), London (SPE2, 2009), and Paris (SPE3, 2010).

For more information, see http://www.rub.de/phil-lang/spe4 or contact spe4 at rub.de.

Over the years, the methodological toolbox of philosophers of science has widened considerably. Today, formal and experimental methods importantly complement more traditional methods such as conceptual analysis and case studies. So far, however, there has not been much interaction between the corresponding communities. The working assumption of this workshop is that philosophy of science can gain a lot from combining formal and experimental studies.

This workshop aims to explore the relation between formal and experimental approaches to the philosophy of science. We invite meta-theoretical papers, but especially papers that fruitfully combine both methods to problems from the philosophy of science. This first Pittsburgh-Tilburg workshop will pay special attention to the philosophy of the social sciences, but a focus on other subfields of philosophy of science is also welcome.

For more information, see http://www.tilburguniversity.edu/research/institutes-and-research-groups/tilps/

Social and economic networks are everywhere: from Facebook to the more complex global financial network or to networks connecting economic agents or to other complex and dynamic economic networks. The study of these networks is crucial for both academics and policy makers and presents a host of new theoretical and econometric challenges. This conference will concentrate on studying the information and econometrics of networks.

More detailed information concerning the conference is available at: http://www.american.edu/cas/economics/info-metrics/workshop/

The Amsterdam Graduate Philosophy Conference 2011 is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The conference will be held on Friday the 16th of December and Saturday the 17th of December.

The theme this year is Internalism versus Externalism. We encourage contributions which try to bridge the gaps between linguistic, mental, epistemological, and action aspects of the issues mentioned above. Submissions that inform the discussion about internalism and externalism by offering a philosophical interpretation of results from other fields such as logic, decision theory, cognitive psychology, and linguistics, are also welcome.

Submission deadline: 30 September 2011

For more information, see https://www.illc.uva.nl/agpc/agpc11/ or contact agpc at uva.nl

The advent of advanced computing embracing various forms of computational intelligence, large-scale strategies, and technology-oriented approaches relays on fundamental achievements in systems and feature specification, domain-oriented programming and deployment platforms and benchmarking.

COMPUTING TOOLS 2011 continues an event under the umbrella of ComputationWorld 2011 dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, the event targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking.

For more information, see http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html

A workshop will be held on Logic, Information, and Agency, as a special session of the Ninth International Tbilisi Symposium on Language, Logic and Computation. The workshop will feature talks on applying formal logical methods in a broad sense (including non-classical and modal logics, epistemic game theory, algebraic and categorical logic, probabilistic approaches etc) to reasoning about information and agency.

Topics of interest include:
Modal Logics for Agency
Reasoning about higher-order knowledge or beliefs in Multi-agent Systems
Logics for Information Updates (learning, belief revision, theory change, conditioning etc.)
Logical approaches to strategies, preferences and rationality in Epistemic Game Theory
Logics for reasoning about protocols, planning and intentions.

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessions/.

CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law.

The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself.

For more information, see http://context-11.teco.edu/ or contact context11-pch at teco.edu.

The Ninth Tbilisi Symposium on Language, Logic and Computation will be held in in Kutaisi, Georgia, from September 26 to 30, 2011. The Symposium is organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Akaki Tsereteli State University. The 2011 forum is the ninth instalment of a series of biannual Symposia.

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

It is with great pleasure that we announce the upcoming Semantics and Philosophy in Europe 4 conference. The conference will feature expert tutorials, symposia, roundtables, and a colloquium on the following topics: The Semantics and Pragmatics of Quotation, The Semantics of Action Sentences, and The Semantics and Epistemology of Mental State Ascriptions.

The purpose of the SPE workshops 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, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology) . SPE takes place annually in different European cities. The previous meetings took place in Paris (SPE1, 2008), London (SPE2, 2009), and Paris (SPE3, 2010).

For more information, see http://www.rub.de/phil-lang/spe4 or contact spe4 at rub.de.

Over the years, the methodological toolbox of philosophers of science has widened considerably. Today, formal and experimental methods importantly complement more traditional methods such as conceptual analysis and case studies. So far, however, there has not been much interaction between the corresponding communities. The working assumption of this workshop is that philosophy of science can gain a lot from combining formal and experimental studies.

This workshop aims to explore the relation between formal and experimental approaches to the philosophy of science. We invite meta-theoretical papers, but especially papers that fruitfully combine both methods to problems from the philosophy of science. This first Pittsburgh-Tilburg workshop will pay special attention to the philosophy of the social sciences, but a focus on other subfields of philosophy of science is also welcome.

For more information, see http://www.tilburguniversity.edu/research/institutes-and-research-groups/tilps/