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 annual conference of the Australasian Association of Logic will be held in Wellington, New Zealand, on 14-15 December 2011. It will be held jointly with the Twelfth Asian Logic Conference (15-20 of December)/

Invited speakers include Hiroakira Ono and Michael Detlefsen. There will be a Special Session on Modal Logic on 15 December, the second day of the AAL meeting (=first day of the Asian Logic meeting).

There is a webpage at http://www.victoria.ac.nz/hppi/about/events-philosophy.aspx#AAL2011. More information will be added to it as it becomes available.

CADE-23 is the 23rd International Conference on Automated Deduction, the major forum for the presentation of research in all aspects of automated deduction.

Topics of interest range from theoretical foundations to high-performance implementations in a wide variety of logics and logical theories, methods, and applications.

For more information, see http://cade23.ii.uni.wroc.pl/.

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

This is an interdisciplinary summer school, consisting of four days of mini-courses (August 1-4) and a subsequent two-day conference (August 5-6), all hosted at the Institute of Philosophy in London. The goal of this summer school is to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- can interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. Topics to be represented at the summer school include but are not limited to: the semantics for higher-order logics, Omega-Logic, groundedness, set-theoretic geology, interpretability and incompleteness, predicativity, and formal theories of truth.

For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school or contact Sean Walsh (Birkbeck) at swalsh108 at gmail.com.

CADE-23 is the 23rd International Conference on Automated Deduction, the major forum for the presentation of research in all aspects of automated deduction.

Topics of interest range from theoretical foundations to high-performance implementations in a wide variety of logics and logical theories, methods, and applications.

For more information, see http://cade23.ii.uni.wroc.pl/.

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

This is an interdisciplinary summer school, consisting of four days of mini-courses (August 1-4) and a subsequent two-day conference (August 5-6), all hosted at the Institute of Philosophy in London. The goal of this summer school is to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- can interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. Topics to be represented at the summer school include but are not limited to: the semantics for higher-order logics, Omega-Logic, groundedness, set-theoretic geology, interpretability and incompleteness, predicativity, and formal theories of truth.

For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school or contact Sean Walsh (Birkbeck) at swalsh108 at gmail.com.

This conference is devoted to the development of the axiomatic method, with particular attention for the period from Leibniz to Tarski. In particular, we aim to achieve a better historical and philosophical understanding of the way the axiomatic method in the sense of an ideal of scientific knowledge as "cognitio ex principiis" has influenced the development of modern science. The overarching framework for this will be the so-called "Classical Model of Science".

Abstracts (maximum 500 words) must be sent in electronic form to axiom.erc at gmail.com. Deadline for submission: April 15th, 2011. Authors will be notified of the acceptance of their submission by May 1st, 2011.

For more information, see here.

CADE-23 is the 23rd International Conference on Automated Deduction, the major forum for the presentation of research in all aspects of automated deduction.

Topics of interest range from theoretical foundations to high-performance implementations in a wide variety of logics and logical theories, methods, and applications.

For more information, see http://cade23.ii.uni.wroc.pl/.

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

This is an interdisciplinary summer school, consisting of four days of mini-courses (August 1-4) and a subsequent two-day conference (August 5-6), all hosted at the Institute of Philosophy in London. The goal of this summer school is to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- can interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. Topics to be represented at the summer school include but are not limited to: the semantics for higher-order logics, Omega-Logic, groundedness, set-theoretic geology, interpretability and incompleteness, predicativity, and formal theories of truth.

For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school or contact Sean Walsh (Birkbeck) at swalsh108 at gmail.com.

This conference is devoted to the development of the axiomatic method, with particular attention for the period from Leibniz to Tarski. In particular, we aim to achieve a better historical and philosophical understanding of the way the axiomatic method in the sense of an ideal of scientific knowledge as "cognitio ex principiis" has influenced the development of modern science. The overarching framework for this will be the so-called "Classical Model of Science".

Abstracts (maximum 500 words) must be sent in electronic form to axiom.erc at gmail.com. Deadline for submission: April 15th, 2011. Authors will be notified of the acceptance of their submission by May 1st, 2011.

For more information, see here.

CADE-23 is the 23rd International Conference on Automated Deduction, the major forum for the presentation of research in all aspects of automated deduction.

Topics of interest range from theoretical foundations to high-performance implementations in a wide variety of logics and logical theories, methods, and applications.

For more information, see http://cade23.ii.uni.wroc.pl/.

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

This is an interdisciplinary summer school, consisting of four days of mini-courses (August 1-4) and a subsequent two-day conference (August 5-6), all hosted at the Institute of Philosophy in London. The goal of this summer school is to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- can interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. Topics to be represented at the summer school include but are not limited to: the semantics for higher-order logics, Omega-Logic, groundedness, set-theoretic geology, interpretability and incompleteness, predicativity, and formal theories of truth.

For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school or contact Sean Walsh (Birkbeck) at swalsh108 at gmail.com.

This conference is devoted to the development of the axiomatic method, with particular attention for the period from Leibniz to Tarski. In particular, we aim to achieve a better historical and philosophical understanding of the way the axiomatic method in the sense of an ideal of scientific knowledge as "cognitio ex principiis" has influenced the development of modern science. The overarching framework for this will be the so-called "Classical Model of Science".

Abstracts (maximum 500 words) must be sent in electronic form to axiom.erc at gmail.com. Deadline for submission: April 15th, 2011. Authors will be notified of the acceptance of their submission by May 1st, 2011.

For more information, see here.

CADE-23 is the 23rd International Conference on Automated Deduction, the major forum for the presentation of research in all aspects of automated deduction.

Topics of interest range from theoretical foundations to high-performance implementations in a wide variety of logics and logical theories, methods, and applications.

For more information, see http://cade23.ii.uni.wroc.pl/.

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

This is an interdisciplinary summer school, consisting of four days of mini-courses (August 1-4) and a subsequent two-day conference (August 5-6), all hosted at the Institute of Philosophy in London. The goal of this summer school is to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- can interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. Topics to be represented at the summer school include but are not limited to: the semantics for higher-order logics, Omega-Logic, groundedness, set-theoretic geology, interpretability and incompleteness, predicativity, and formal theories of truth.

For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school or contact Sean Walsh (Birkbeck) at swalsh108 at gmail.com.

This conference is devoted to the development of the axiomatic method, with particular attention for the period from Leibniz to Tarski. In particular, we aim to achieve a better historical and philosophical understanding of the way the axiomatic method in the sense of an ideal of scientific knowledge as "cognitio ex principiis" has influenced the development of modern science. The overarching framework for this will be the so-called "Classical Model of Science".

Abstracts (maximum 500 words) must be sent in electronic form to axiom.erc at gmail.com. Deadline for submission: April 15th, 2011. Authors will be notified of the acceptance of their submission by May 1st, 2011.

For more information, see here.

This is an interdisciplinary summer school, consisting of four days of mini-courses (August 1-4) and a subsequent two-day conference (August 5-6), all hosted at the Institute of Philosophy in London. The goal of this summer school is to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- can interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. Topics to be represented at the summer school include but are not limited to: the semantics for higher-order logics, Omega-Logic, groundedness, set-theoretic geology, interpretability and incompleteness, predicativity, and formal theories of truth.

For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school or contact Sean Walsh (Birkbeck) at swalsh108 at gmail.com.

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 theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This conference intends to set the foundations for an international association "PT-AI" that will further work in the field, organize events, etc. We welcome experts in the field from philosophy and from AI as well as new and upcoming scholars who will shape the field in the decades to come.

Invited Keynote Speakers: Hubert Dreyfus (Berkeley), James H. Moor (Dartmouth), Rolf Pfeifer (Zurich) and Michael Wheeler (Stirling).

For more information, see http://www.pt-ai.org/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

In Generalized Quantifier Theory (GQT) and Discourse Representation Theory (DRT), many quantifiers are semantically identical to one another: most and more than half; at least three, more than two and three; and about 100 and some 100. Even when there is no identity, the meanings of quantifiers overlap, and many quantifiers could be used truthfully to describe the same situation. Nevertheless, the choice of a specific quantifier by a speaker has semantic and pragmatic consequences, and listeners are sensitive to the subtleties of a speaker's choice. The goal of a theory of quantifier use is an account of how speakers choose one of the many true quantifiers and how listeners interpret a speaker's choice. The PUQOL workshop aims to bring together current research within semantics, logic, pragmatics, and cognitive science that addresses quantifier use within the perspective of model theoretic semantics and pragmatics.

PUQOL will take place as part of the 23rd European Summer School in Logic, Language and Information (ESSLLI 2011).

For more information, see http://www.zas.gwz-berlin.de/workshop_puqol.html

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

In Generalized Quantifier Theory (GQT) and Discourse Representation Theory (DRT), many quantifiers are semantically identical to one another: most and more than half; at least three, more than two and three; and about 100 and some 100. Even when there is no identity, the meanings of quantifiers overlap, and many quantifiers could be used truthfully to describe the same situation. Nevertheless, the choice of a specific quantifier by a speaker has semantic and pragmatic consequences, and listeners are sensitive to the subtleties of a speaker's choice. The goal of a theory of quantifier use is an account of how speakers choose one of the many true quantifiers and how listeners interpret a speaker's choice. The PUQOL workshop aims to bring together current research within semantics, logic, pragmatics, and cognitive science that addresses quantifier use within the perspective of model theoretic semantics and pragmatics.

PUQOL will take place as part of the 23rd European Summer School in Logic, Language and Information (ESSLLI 2011).

For more information, see http://www.zas.gwz-berlin.de/workshop_puqol.html

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

In Generalized Quantifier Theory (GQT) and Discourse Representation Theory (DRT), many quantifiers are semantically identical to one another: most and more than half; at least three, more than two and three; and about 100 and some 100. Even when there is no identity, the meanings of quantifiers overlap, and many quantifiers could be used truthfully to describe the same situation. Nevertheless, the choice of a specific quantifier by a speaker has semantic and pragmatic consequences, and listeners are sensitive to the subtleties of a speaker's choice. The goal of a theory of quantifier use is an account of how speakers choose one of the many true quantifiers and how listeners interpret a speaker's choice. The PUQOL workshop aims to bring together current research within semantics, logic, pragmatics, and cognitive science that addresses quantifier use within the perspective of model theoretic semantics and pragmatics.

PUQOL will take place as part of the 23rd European Summer School in Logic, Language and Information (ESSLLI 2011).

For more information, see http://www.zas.gwz-berlin.de/workshop_puqol.html

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

In Generalized Quantifier Theory (GQT) and Discourse Representation Theory (DRT), many quantifiers are semantically identical to one another: most and more than half; at least three, more than two and three; and about 100 and some 100. Even when there is no identity, the meanings of quantifiers overlap, and many quantifiers could be used truthfully to describe the same situation. Nevertheless, the choice of a specific quantifier by a speaker has semantic and pragmatic consequences, and listeners are sensitive to the subtleties of a speaker's choice. The goal of a theory of quantifier use is an account of how speakers choose one of the many true quantifiers and how listeners interpret a speaker's choice. The PUQOL workshop aims to bring together current research within semantics, logic, pragmatics, and cognitive science that addresses quantifier use within the perspective of model theoretic semantics and pragmatics.

PUQOL will take place as part of the 23rd European Summer School in Logic, Language and Information (ESSLLI 2011).

For more information, see http://www.zas.gwz-berlin.de/workshop_puqol.html

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

In Generalized Quantifier Theory (GQT) and Discourse Representation Theory (DRT), many quantifiers are semantically identical to one another: most and more than half; at least three, more than two and three; and about 100 and some 100. Even when there is no identity, the meanings of quantifiers overlap, and many quantifiers could be used truthfully to describe the same situation. Nevertheless, the choice of a specific quantifier by a speaker has semantic and pragmatic consequences, and listeners are sensitive to the subtleties of a speaker's choice. The goal of a theory of quantifier use is an account of how speakers choose one of the many true quantifiers and how listeners interpret a speaker's choice. The PUQOL workshop aims to bring together current research within semantics, logic, pragmatics, and cognitive science that addresses quantifier use within the perspective of model theoretic semantics and pragmatics.

PUQOL will take place as part of the 23rd European Summer School in Logic, Language and Information (ESSLLI 2011).

For more information, see http://www.zas.gwz-berlin.de/workshop_puqol.html

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

Coordination, organizations, institutions and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshop creates a space for lively debate and exploration of these four elements that are central to the design and deployment of open systems. Furthermore, in the last three years there has been much interest from the Service Engineering community to adopt agent-based coordination and organisational approaches in order to bring flexibility and adaptiveness to new generations of Service-Oriented applications. Thus the workshop topics are also very relevant to the broader Service Engineering and Semantic Web communities.

For more information, see http://mmi.tudelft.nl/coin-wi-iat2011/

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/

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/

LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of JSAI isAI 2011, sponsored by The Japan Society for Artificial Intelligence (JSAI).

This year's workshop focuses on the theme of "Where is dynamic semantics now?". Flavours of dynamic semantics (world updating, assignment changing, etc.) have been broadly applied to solve problems in linguistics (notably anything related to anaphora) and philosophy (e.g., foundational issues of context, the role of variables) and have prompted the development of a diverse range of frameworks with replicable formal results. However in recent years direct appeals to the dynamic metaphor have been waning, as has the explicit development of novel systems, or even refinements to or mergings of older systems. Has dynamic semantics been so successful in solving its problems that all that remains for discussion are implementational differences among established parameters, or have debates simply shifted to new issues? Either way now seems an apt time to take stock and question where the decades of research have taken us and where we might hope this legacy to send us in the future.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/.

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/