The tenth annual Midwest PhilMath Workshop (MWPMW 10) will be held at Notre Dame the weekend of Saturday, October 10th and Sunday, October 11th. There will be a full day of talks and discussions for Saturday and a half day for Sunday, as well as a workshop dinner Saturday evening, with all participants invited to attend as guests of the university. Some special events are planned to mark the tenth anniversary of the workshop. Some of these will occur as part of the workshop. Hugh Woodin and Tony Martin will be joining us and giving talks as part of a special session on set theory and philosophical questions concerning it. There will also be a special meeting of the Notre Dame weekly Logic Seminar in connection with this.

For more information, see the website at http://philosophy.nd.edu/news/events/philosophy-math-conference/.

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, and CSMN, Centre for the Study of Mind in Nature, are pleased to announce the sixth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy, especially in the areas of Philosophy of Language, Philosophy of Mind, Epistemology, and Metaphysics.

For more information, see http://www.st-andrews.ac.uk/~arche/acgc/

The Seventeenth Amsterdam Colloquium will be held December 16 - 18 2009 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians 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).

Details about the symposium, and about the submission of abstracts, can be found at: https://www.illc.uva.nl/AC2009/

The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk).

For more information, see http://m4m.loria.fr/M4M6

Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.

For more information, see http://www.alear.eu/events/cortona2009/Home.html.

Traditionally, the philosophy of logic pays little attention to the actual practices of logicians. This is somewhat surprising, as the works of several influential authors have shown the relevancy of attending to actual scientific practices within the philosophy of the empirical sciences as well as the philosophy of mathematics. But there is no hint of a similar 'practical' turn in the philosophy of logic.

The workshop is intended to enable philosophers, logicians and mathematicians to discuss the fruitfulness and viability of a practice-based approach to logic. Within the philosophy of mathematics this approach already has a certain standing, so practice-based philosophy of mathematics can serve as a starting point for the development of a practice-based philosophy of logic. We hope to offer a novel vantage point into what is after all an essentially human and social activity, the practice of logic. What do logicians do? How do they conduct their researches, individually and within the scientific community? How do they communicate with each other? Answers to these questions may offer new insights into the most fundamental issues that the philosophy of logic must address.

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

EASSS is the annual European summer school for PhD and Master's students working in multiagent systems and related fields. Courses include "Game Theory and Mechanism Design", "Coalitional Games", "Negotiation and Auctions", "Fair Division", "Multiagent Planning", "Agents and Arguments", and "Normative Multiagent Systems". This year's edition is colocated with several international workshops (MALLOW-2009).

For more information, see http://agents009.di.unito.it/EASSS.html.

Trends in Logic is the conference series of Studia Logica. This year's conference will focus entirely on the philosophy of mathematics. We have invited scholars who pursue the subject at the currently most advanced level. In addition, we invite papers that contribute to and try to advance current debates in the field.

For more information, see http://web.uni-frankfurt.de/trends

The Department of Logic at the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the Formal Epistemology Research Group at the University of Konstanz are jointly organizing a colloquium on philosophical issues concerning uncertainty calculi, in particular interpretations of the probability calclulus. Invited speakers include: Colin Howson, Jim Joyce, Peter Milne, Jeff Paris, and Glenn Shafer.

For further information please see the conference website http://www.flu.cas.cz/colloquium/. The conference mail address is colloquium at flu.cas.cz

Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.

For more information, see http://www.alear.eu/events/cortona2009/Home.html.

Traditionally, the philosophy of logic pays little attention to the actual practices of logicians. This is somewhat surprising, as the works of several influential authors have shown the relevancy of attending to actual scientific practices within the philosophy of the empirical sciences as well as the philosophy of mathematics. But there is no hint of a similar 'practical' turn in the philosophy of logic.

The workshop is intended to enable philosophers, logicians and mathematicians to discuss the fruitfulness and viability of a practice-based approach to logic. Within the philosophy of mathematics this approach already has a certain standing, so practice-based philosophy of mathematics can serve as a starting point for the development of a practice-based philosophy of logic. We hope to offer a novel vantage point into what is after all an essentially human and social activity, the practice of logic. What do logicians do? How do they conduct their researches, individually and within the scientific community? How do they communicate with each other? Answers to these questions may offer new insights into the most fundamental issues that the philosophy of logic must address.

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

EASSS is the annual European summer school for PhD and Master's students working in multiagent systems and related fields. Courses include "Game Theory and Mechanism Design", "Coalitional Games", "Negotiation and Auctions", "Fair Division", "Multiagent Planning", "Agents and Arguments", and "Normative Multiagent Systems". This year's edition is colocated with several international workshops (MALLOW-2009).

For more information, see http://agents009.di.unito.it/EASSS.html.

Trends in Logic is the conference series of Studia Logica. This year's conference will focus entirely on the philosophy of mathematics. We have invited scholars who pursue the subject at the currently most advanced level. In addition, we invite papers that contribute to and try to advance current debates in the field.

For more information, see http://web.uni-frankfurt.de/trends

The Department of Logic at the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the Formal Epistemology Research Group at the University of Konstanz are jointly organizing a colloquium on philosophical issues concerning uncertainty calculi, in particular interpretations of the probability calclulus. Invited speakers include: Colin Howson, Jim Joyce, Peter Milne, Jeff Paris, and Glenn Shafer.

For further information please see the conference website http://www.flu.cas.cz/colloquium/. The conference mail address is colloquium at flu.cas.cz

Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.

For more information, see http://www.alear.eu/events/cortona2009/Home.html.

EASSS is the annual European summer school for PhD and Master's students working in multiagent systems and related fields. Courses include "Game Theory and Mechanism Design", "Coalitional Games", "Negotiation and Auctions", "Fair Division", "Multiagent Planning", "Agents and Arguments", and "Normative Multiagent Systems". This year's edition is colocated with several international workshops (MALLOW-2009).

For more information, see http://agents009.di.unito.it/EASSS.html.

Trends in Logic is the conference series of Studia Logica. This year's conference will focus entirely on the philosophy of mathematics. We have invited scholars who pursue the subject at the currently most advanced level. In addition, we invite papers that contribute to and try to advance current debates in the field.

For more information, see http://web.uni-frankfurt.de/trends

The Department of Logic at the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the Formal Epistemology Research Group at the University of Konstanz are jointly organizing a colloquium on philosophical issues concerning uncertainty calculi, in particular interpretations of the probability calclulus. Invited speakers include: Colin Howson, Jim Joyce, Peter Milne, Jeff Paris, and Glenn Shafer.

For further information please see the conference website http://www.flu.cas.cz/colloquium/. The conference mail address is colloquium at flu.cas.cz

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University.

For more information, see http://www.cs.swan.ac.uk/blc09/ or contact Ulrich Berger at u.berger at swansea.ac.uk. We have reserved a limited number of on campus accommodation, which are on hold until Monday, August 10, 2009.

Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.

For more information, see http://www.alear.eu/events/cortona2009/Home.html.

EASSS is the annual European summer school for PhD and Master's students working in multiagent systems and related fields. Courses include "Game Theory and Mechanism Design", "Coalitional Games", "Negotiation and Auctions", "Fair Division", "Multiagent Planning", "Agents and Arguments", and "Normative Multiagent Systems". This year's edition is colocated with several international workshops (MALLOW-2009).

For more information, see http://agents009.di.unito.it/EASSS.html.

Trends in Logic is the conference series of Studia Logica. This year's conference will focus entirely on the philosophy of mathematics. We have invited scholars who pursue the subject at the currently most advanced level. In addition, we invite papers that contribute to and try to advance current debates in the field.

For more information, see http://web.uni-frankfurt.de/trends

The Department of Logic at the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the Formal Epistemology Research Group at the University of Konstanz are jointly organizing a colloquium on philosophical issues concerning uncertainty calculi, in particular interpretations of the probability calclulus. Invited speakers include: Colin Howson, Jim Joyce, Peter Milne, Jeff Paris, and Glenn Shafer.

For further information please see the conference website http://www.flu.cas.cz/colloquium/. The conference mail address is colloquium at flu.cas.cz

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University.

For more information, see http://www.cs.swan.ac.uk/blc09/ or contact Ulrich Berger at u.berger at swansea.ac.uk. We have reserved a limited number of on campus accommodation, which are on hold until Monday, August 10, 2009.

While it strikes most as obvious that there exist close conceptual connections between conditionals and conditionalization, it is far less obvious what these connections precisely are. The aim of the workshop is to investigate these connections from an interdisciplinary perspective, drawing on recent work in philosophy and experimental psychology. The time is ripe for such an approach, given that both linguists and psychologists working on conditionals are increasingly turning to the probabilistic theories of conditionals that philosophers have been developing over the past forty years or so. On the other hand, various philosophical claims have been made about conditionals - in particular concerning their semantics and pragmatics - apparently on no other basis than the linguistic intuitions of the philosophers making these claims. It would be interesting, and from a methodological perspective desirable, to subject these claims to more rigorous testing, which is where experimental psychologists could help (and, to some extent, have already helped).

Deadline for registrations: August 15th (no registration fee). For more information, see: http://formalphilosophy.org/node/333 or contact Richard Diets at richard.dietz at hiw.kuleuven.be.

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University.

For more information, see http://www.cs.swan.ac.uk/blc09/ or contact Ulrich Berger at u.berger at swansea.ac.uk. We have reserved a limited number of on campus accommodation, which are on hold until Monday, August 10, 2009.

While it strikes most as obvious that there exist close conceptual connections between conditionals and conditionalization, it is far less obvious what these connections precisely are. The aim of the workshop is to investigate these connections from an interdisciplinary perspective, drawing on recent work in philosophy and experimental psychology. The time is ripe for such an approach, given that both linguists and psychologists working on conditionals are increasingly turning to the probabilistic theories of conditionals that philosophers have been developing over the past forty years or so. On the other hand, various philosophical claims have been made about conditionals - in particular concerning their semantics and pragmatics - apparently on no other basis than the linguistic intuitions of the philosophers making these claims. It would be interesting, and from a methodological perspective desirable, to subject these claims to more rigorous testing, which is where experimental psychologists could help (and, to some extent, have already helped).

Deadline for registrations: August 15th (no registration fee). For more information, see: http://formalphilosophy.org/node/333 or contact Richard Diets at richard.dietz at hiw.kuleuven.be.

While it strikes most as obvious that there exist close conceptual connections between conditionals and conditionalization, it is far less obvious what these connections precisely are. The aim of the workshop is to investigate these connections from an interdisciplinary perspective, drawing on recent work in philosophy and experimental psychology. The time is ripe for such an approach, given that both linguists and psychologists working on conditionals are increasingly turning to the probabilistic theories of conditionals that philosophers have been developing over the past forty years or so. On the other hand, various philosophical claims have been made about conditionals - in particular concerning their semantics and pragmatics - apparently on no other basis than the linguistic intuitions of the philosophers making these claims. It would be interesting, and from a methodological perspective desirable, to subject these claims to more rigorous testing, which is where experimental psychologists could help (and, to some extent, have already helped).

Deadline for registrations: August 15th (no registration fee). For more information, see: http://formalphilosophy.org/node/333 or contact Richard Diets at richard.dietz at hiw.kuleuven.be.

CALCO 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). The conference brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science.

CALCO 2009 will be preceded by two events on September 6, 2009:
* CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years.

* CALCO Tools Day - providing the opportunity to give system demonstrations of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques.

For more information, see http://www.dimi.uniud.it/calco09/

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 computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three 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 full Call for Proposals at here or the website (forthcoming) at http://www.hum.ku.dk/esslli2010/.

CALCO 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). The conference brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science.

CALCO 2009 will be preceded by two events on September 6, 2009:
* CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years.

* CALCO Tools Day - providing the opportunity to give system demonstrations of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques.

For more information, see http://www.dimi.uniud.it/calco09/

In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra.

The invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth.

For more information, see http://www.mat.uc.pt/~csl/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra

The Ackermann Award for 2009 will be presented to the recipients at CSL'09.

Early registration deadline is 31 July, 2009. For more information, see http://www.mat.uc.pt/CSL09 or contact csl at mat.uc.pt

CALCO 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). The conference brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science.

CALCO 2009 will be preceded by two events on September 6, 2009:
* CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years.

* CALCO Tools Day - providing the opportunity to give system demonstrations of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques.

For more information, see http://www.dimi.uniud.it/calco09/

In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra.

The invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth.

For more information, see http://www.mat.uc.pt/~csl/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra

The Ackermann Award for 2009 will be presented to the recipients at CSL'09.

Early registration deadline is 31 July, 2009. For more information, see http://www.mat.uc.pt/CSL09 or contact csl at mat.uc.pt

The fast growth of digital material is challenging for research in many disciplines. The EU has funded many projects to advance research in this field and facilitate end-user access to cultural and scientific heritage. The ENRICH, Europeana, CACAO, GAMA, NEEO and TELplus projects, funded by the eContentplus programme, have joined forces to organise a workshop as a satellite event of ICSD 2009 (http://www.icsd-conference.org/).

The workshop aims to bring together stakeholders in order to present an overview of state-of-the-art systems in the field and identify open research problems that require further work.

For more information, see http://www.cacaoproject.eu/at4dl

CALCO 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). The conference brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science.

CALCO 2009 will be preceded by two events on September 6, 2009:
* CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years.

* CALCO Tools Day - providing the opportunity to give system demonstrations of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques.

For more information, see http://www.dimi.uniud.it/calco09/

In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra.

The invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth.

For more information, see http://www.mat.uc.pt/~csl/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra

The Ackermann Award for 2009 will be presented to the recipients at CSL'09.

Early registration deadline is 31 July, 2009. For more information, see http://www.mat.uc.pt/CSL09 or contact csl at mat.uc.pt

The German conference on Multi-Agent System Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers, to present and discuss latest advances in research work, as well as prototyped or fielded systems of intelligent agents and multi-agent systems.

MATES 2009 will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on Modeling of Objects, Components, and Agents (MOCA'09). The participants of MATES 2009 will also have full access to the concurrently running programs of these events.

For more information, see http://jadex.informatik.uni-hamburg.de/mates

The research group phlox organizes a workshop on modality with Dorothy Edgington and Keith Hossack as keynote speakers. The workshop will focus on counterfactual reasoning, modal knowledge, and modal idioms in natural language.

Questions that may be addressed include, but are not limited to, the following:
- What strength or kind of modality is expressed in different sorts of everyday modal idioms?
- What role does metaphysical possibility play for non-philosophical reasoning?
- Is knowledge of counterfactuals prior to knowledge of possibilities and necessities?
- Can modal knowledge be grounded in knowledge of some non-modal facts?

For more information, see http://phloxshop2.wordpress.com/ or write to justbecause at gmx.de.

CALCO 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). The conference brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science.

CALCO 2009 will be preceded by two events on September 6, 2009:
* CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years.

* CALCO Tools Day - providing the opportunity to give system demonstrations of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques.

For more information, see http://www.dimi.uniud.it/calco09/

In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra.

The invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth.

For more information, see http://www.mat.uc.pt/~csl/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra

The Ackermann Award for 2009 will be presented to the recipients at CSL'09.

Early registration deadline is 31 July, 2009. For more information, see http://www.mat.uc.pt/CSL09 or contact csl at mat.uc.pt

The German conference on Multi-Agent System Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers, to present and discuss latest advances in research work, as well as prototyped or fielded systems of intelligent agents and multi-agent systems.

MATES 2009 will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on Modeling of Objects, Components, and Agents (MOCA'09). The participants of MATES 2009 will also have full access to the concurrently running programs of these events.

For more information, see http://jadex.informatik.uni-hamburg.de/mates

The research group phlox organizes a workshop on modality with Dorothy Edgington and Keith Hossack as keynote speakers. The workshop will focus on counterfactual reasoning, modal knowledge, and modal idioms in natural language.

Questions that may be addressed include, but are not limited to, the following:
- What strength or kind of modality is expressed in different sorts of everyday modal idioms?
- What role does metaphysical possibility play for non-philosophical reasoning?
- Is knowledge of counterfactuals prior to knowledge of possibilities and necessities?
- Can modal knowledge be grounded in knowledge of some non-modal facts?

For more information, see http://phloxshop2.wordpress.com/ or write to justbecause at gmx.de.

In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra.

The invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth.

For more information, see http://www.mat.uc.pt/~csl/

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. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra

The Ackermann Award for 2009 will be presented to the recipients at CSL'09.

Early registration deadline is 31 July, 2009. For more information, see http://www.mat.uc.pt/CSL09 or contact csl at mat.uc.pt

The German conference on Multi-Agent System Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers, to present and discuss latest advances in research work, as well as prototyped or fielded systems of intelligent agents and multi-agent systems.

MATES 2009 will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on Modeling of Objects, Components, and Agents (MOCA'09). The participants of MATES 2009 will also have full access to the concurrently running programs of these events.

For more information, see http://jadex.informatik.uni-hamburg.de/mates

The research group phlox organizes a workshop on modality with Dorothy Edgington and Keith Hossack as keynote speakers. The workshop will focus on counterfactual reasoning, modal knowledge, and modal idioms in natural language.

Questions that may be addressed include, but are not limited to, the following:
- What strength or kind of modality is expressed in different sorts of everyday modal idioms?
- What role does metaphysical possibility play for non-philosophical reasoning?
- Is knowledge of counterfactuals prior to knowledge of possibilities and necessities?
- Can modal knowledge be grounded in knowledge of some non-modal facts?

For more information, see http://phloxshop2.wordpress.com/ or write to justbecause at gmx.de.

Objects, components, and agents are fundamental units to organise models. They are also fundamental concepts of the modelling process. Even though software engineers intensively use models based on these fundamental units, and models are the subjects of theoretical research, the relations and potential mutual enhancements between theoretical and practical models have not been sufficiently investigated. There is still the need for better modelling languages, standards and tools. Important research areas are for example UML, BPEL, Petri nets, process algebras, or different kinds of logics. Application areas like business processes, (Web) services, production processes, organisation of systems, communication, cooperation, cooperation, ubiquity, mobility etc. will support the domain dependent modelling perspectives.

Therefore, the workshop addresses all relations between theoretical foundations of models on the one hand and objects, components, and agents on the other hand with respect to modelling in general. The intention is to gather research and application directions to have a lively mutual exchange of ideas, knowledge, viewpoints, and experiences.

For more information, see http://www.informatik.uni-hamburg.de/TGI/events/moca09/ or contact the programme commitee by email at moca09 at informatik.uni-hamburg.de

The 5th International Symposium on Domain Theory (ISDT2009) will be held in September 12-14, 2009, Software Engineering Institute, East China Normal University, Shanghai, People’s Republic of China.

International Symposium on Domain Theory (ISDT) is a series of conference held in the mainland of China. It aims at providing a forum for researchers in domain theory and its applications. Each meeting includes invited talks and contributed papers. The previous four ISDT events were held in Shanghai (1999), Chengdu (2001), Xi'an (2004) and Changsha (2006).

For more information, see http://sites.sei.ecnu.edu.cn/isdt2009/Conferences/~isdt2009/.

The 5th International Symposium on Domain Theory (ISDT2009) will be held in September 12-14, 2009, Software Engineering Institute, East China Normal University, Shanghai, People’s Republic of China.

International Symposium on Domain Theory (ISDT) is a series of conference held in the mainland of China. It aims at providing a forum for researchers in domain theory and its applications. Each meeting includes invited talks and contributed papers. The previous four ISDT events were held in Shanghai (1999), Chengdu (2001), Xi'an (2004) and Changsha (2006).

For more information, see http://sites.sei.ecnu.edu.cn/isdt2009/Conferences/~isdt2009/.

In the last two decades, we have seen a significant increase of interest in agent-oriented technology. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. The aim of this Seventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

For more information, see http://www.eumas.org/ or http://www.easychair.org/conferences/?conf=eumas09

The 5th International Symposium on Domain Theory (ISDT2009) will be held in September 12-14, 2009, Software Engineering Institute, East China Normal University, Shanghai, People’s Republic of China.

International Symposium on Domain Theory (ISDT) is a series of conference held in the mainland of China. It aims at providing a forum for researchers in domain theory and its applications. Each meeting includes invited talks and contributed papers. The previous four ISDT events were held in Shanghai (1999), Chengdu (2001), Xi'an (2004) and Changsha (2006).

For more information, see http://sites.sei.ecnu.edu.cn/isdt2009/Conferences/~isdt2009/.

Intelligent virtual agents (IVAs) are interactive characters that exhibit human-like qualities and communicate with humans or each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action that allow them to participate in a dynamic social environment.

IVA'09 is an interdisciplinary annual conference and the main forum for presenting research on modeling, developing and evaluating intelligent virtual agents with a focus on communicative abilities and social behavior. In addition to presentations on theoretical issues, the conference encourages the showcasing of working applications. Researchers from the fields of human-human and human-robot interaction are also welcome to share work which has a bearing on intelligent virtual agents. IVA'09 particularly encourages submissions on this year's special topic of games.

IVA'09 will be co-located in Amsterdam with the complementary Affective Computing & Intelligent Interaction International Conference (ACII'09, http://www.acii2009.nl/), held 10-12 September 2009.

For more information, see http://iva09.dfki.de

As in previous years, GAMES 2009 will be an informal workshop, without proceedings, with a programme consisting of introductory and advanced tutorials, contributed talks and short presentations. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

For more information, see http://games2009.dimi.uniud.it/

Intelligent virtual agents (IVAs) are interactive characters that exhibit human-like qualities and communicate with humans or each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action that allow them to participate in a dynamic social environment.

IVA'09 is an interdisciplinary annual conference and the main forum for presenting research on modeling, developing and evaluating intelligent virtual agents with a focus on communicative abilities and social behavior. In addition to presentations on theoretical issues, the conference encourages the showcasing of working applications. Researchers from the fields of human-human and human-robot interaction are also welcome to share work which has a bearing on intelligent virtual agents. IVA'09 particularly encourages submissions on this year's special topic of games.

IVA'09 will be co-located in Amsterdam with the complementary Affective Computing & Intelligent Interaction International Conference (ACII'09, http://www.acii2009.nl/), held 10-12 September 2009.

For more information, see http://iva09.dfki.de

As in previous years, GAMES 2009 will be an informal workshop, without proceedings, with a programme consisting of introductory and advanced tutorials, contributed talks and short presentations. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

For more information, see http://games2009.dimi.uniud.it/

The philosophically relevant track within the KI-Conference "History and Philosophical Foundations of AI" deals with the history of AI, its philosophical basics and conceptual debates on basic principles.

Relevant topics are Artificial intelligence and limits of computability, Multi-Agent-Systems and action theory, Computational functionalism, Philosophical reasoning and AI, and Phenomenology and artificial subject.

For more information, see http://www.uni-paderborn.de/philosophie/personal/hagengruber/ki09/ or contact Prof. Dr. Ruth Hagengruber at Ruth.hagengruber at upb.de

Interdisciplinary conference on evolution theory in natural, social and human sciences.

For more information, see http://www.esf.org/conferences/09309 or contact Ms Zuzana Vercinska, COST Conference Officer (zvercinska at cost.esf.org).

The Journal "Argument and Computation" aims to promote the interaction and cross-fertilisation between the fields of argumentation theory and computer science. It will be of interest to researchers in the fields of artificial intelligence, multi-agent systems, computer science, logic, philosophy, argumentation theory, psychology, cognitive science, game theory and economics.

For more information, see http://www.tandf.co.uk/journals/tarc

Intelligent virtual agents (IVAs) are interactive characters that exhibit human-like qualities and communicate with humans or each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action that allow them to participate in a dynamic social environment.

IVA'09 is an interdisciplinary annual conference and the main forum for presenting research on modeling, developing and evaluating intelligent virtual agents with a focus on communicative abilities and social behavior. In addition to presentations on theoretical issues, the conference encourages the showcasing of working applications. Researchers from the fields of human-human and human-robot interaction are also welcome to share work which has a bearing on intelligent virtual agents. IVA'09 particularly encourages submissions on this year's special topic of games.

IVA'09 will be co-located in Amsterdam with the complementary Affective Computing & Intelligent Interaction International Conference (ACII'09, http://www.acii2009.nl/), held 10-12 September 2009.

For more information, see http://iva09.dfki.de

As in previous years, GAMES 2009 will be an informal workshop, without proceedings, with a programme consisting of introductory and advanced tutorials, contributed talks and short presentations. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

For more information, see http://games2009.dimi.uniud.it/

The philosophically relevant track within the KI-Conference "History and Philosophical Foundations of AI" deals with the history of AI, its philosophical basics and conceptual debates on basic principles.

Relevant topics are Artificial intelligence and limits of computability, Multi-Agent-Systems and action theory, Computational functionalism, Philosophical reasoning and AI, and Phenomenology and artificial subject.

For more information, see http://www.uni-paderborn.de/philosophie/personal/hagengruber/ki09/ or contact Prof. Dr. Ruth Hagengruber at Ruth.hagengruber at upb.de

Interdisciplinary conference on evolution theory in natural, social and human sciences.

For more information, see http://www.esf.org/conferences/09309 or contact Ms Zuzana Vercinska, COST Conference Officer (zvercinska at cost.esf.org).

As in previous years, GAMES 2009 will be an informal workshop, without proceedings, with a programme consisting of introductory and advanced tutorials, contributed talks and short presentations. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

For more information, see http://games2009.dimi.uniud.it/

The philosophically relevant track within the KI-Conference "History and Philosophical Foundations of AI" deals with the history of AI, its philosophical basics and conceptual debates on basic principles.

Relevant topics are Artificial intelligence and limits of computability, Multi-Agent-Systems and action theory, Computational functionalism, Philosophical reasoning and AI, and Phenomenology and artificial subject.

For more information, see http://www.uni-paderborn.de/philosophie/personal/hagengruber/ki09/ or contact Prof. Dr. Ruth Hagengruber at Ruth.hagengruber at upb.de

Interdisciplinary conference on evolution theory in natural, social and human sciences.

For more information, see http://www.esf.org/conferences/09309 or contact Ms Zuzana Vercinska, COST Conference Officer (zvercinska at cost.esf.org).

The conference, part of the annual conference series "LANGUAGE, UNDERSTANDING, INTERPRETATION", is held in memory of Imre Ruzsa (1921-2008), the father of modern philosophical logic in Hungary. His professional interests centered around modal logic, intensional logic, modeling natural language in systems of intensional logic, and the foundations of logic and mathematics. He always thought of his generalization of A. N. Prior's concept of semantic value gaps to quantified, intensional and type-theoretic systems as his most important contribution to logic.

For more information, see http://phil.elte.hu/ruzsaconf/ or contact Prof. Dr. Andras Mate at mate at ludens.elte.hu.

Logic and probability theory are often studied in conjunction to decision making, and for good reason: we want our reasoning to be rational because the reasoning precedes and controls for actions. But the models for rationality in reasoning have seen major changes and additions in recent years: logicians have taken a dynamic turn, and probabilists have discovered network tools and new representations of uncertainty. In this workshop we address the question how these developments in modelling rationality carry over to the science of decision making.

Invited speakers include Johan van Benthem, Luc Bovens, Richard Bradley, Igor Douven, Stephan Hartmann, Jim Joyce, Christian List, Clemens Puppe, Wlodek Rabinowicz, Teddy Seidenfeld, and Jon Williamson.

For more information, see http://www.philos.rug.nl/progic2009/.

The philosophically relevant track within the KI-Conference "History and Philosophical Foundations of AI" deals with the history of AI, its philosophical basics and conceptual debates on basic principles.

Relevant topics are Artificial intelligence and limits of computability, Multi-Agent-Systems and action theory, Computational functionalism, Philosophical reasoning and AI, and Phenomenology and artificial subject.

For more information, see http://www.uni-paderborn.de/philosophie/personal/hagengruber/ki09/ or contact Prof. Dr. Ruth Hagengruber at Ruth.hagengruber at upb.de

Interdisciplinary conference on evolution theory in natural, social and human sciences.

For more information, see http://www.esf.org/conferences/09309 or contact Ms Zuzana Vercinska, COST Conference Officer (zvercinska at cost.esf.org).

The conference, part of the annual conference series "LANGUAGE, UNDERSTANDING, INTERPRETATION", is held in memory of Imre Ruzsa (1921-2008), the father of modern philosophical logic in Hungary. His professional interests centered around modal logic, intensional logic, modeling natural language in systems of intensional logic, and the foundations of logic and mathematics. He always thought of his generalization of A. N. Prior's concept of semantic value gaps to quantified, intensional and type-theoretic systems as his most important contribution to logic.

For more information, see http://phil.elte.hu/ruzsaconf/ or contact Prof. Dr. Andras Mate at mate at ludens.elte.hu.

Logic and probability theory are often studied in conjunction to decision making, and for good reason: we want our reasoning to be rational because the reasoning precedes and controls for actions. But the models for rationality in reasoning have seen major changes and additions in recent years: logicians have taken a dynamic turn, and probabilists have discovered network tools and new representations of uncertainty. In this workshop we address the question how these developments in modelling rationality carry over to the science of decision making.

Invited speakers include Johan van Benthem, Luc Bovens, Richard Bradley, Igor Douven, Stephan Hartmann, Jim Joyce, Christian List, Clemens Puppe, Wlodek Rabinowicz, Teddy Seidenfeld, and Jon Williamson.

For more information, see http://www.philos.rug.nl/progic2009/.

Interdisciplinary conference on evolution theory in natural, social and human sciences.

For more information, see http://www.esf.org/conferences/09309 or contact Ms Zuzana Vercinska, COST Conference Officer (zvercinska at cost.esf.org).

The conference, part of the annual conference series "LANGUAGE, UNDERSTANDING, INTERPRETATION", is held in memory of Imre Ruzsa (1921-2008), the father of modern philosophical logic in Hungary. His professional interests centered around modal logic, intensional logic, modeling natural language in systems of intensional logic, and the foundations of logic and mathematics. He always thought of his generalization of A. N. Prior's concept of semantic value gaps to quantified, intensional and type-theoretic systems as his most important contribution to logic.

For more information, see http://phil.elte.hu/ruzsaconf/ or contact Prof. Dr. Andras Mate at mate at ludens.elte.hu.

Logic and probability theory are often studied in conjunction to decision making, and for good reason: we want our reasoning to be rational because the reasoning precedes and controls for actions. But the models for rationality in reasoning have seen major changes and additions in recent years: logicians have taken a dynamic turn, and probabilists have discovered network tools and new representations of uncertainty. In this workshop we address the question how these developments in modelling rationality carry over to the science of decision making.

Invited speakers include Johan van Benthem, Luc Bovens, Richard Bradley, Igor Douven, Stephan Hartmann, Jim Joyce, Christian List, Clemens Puppe, Wlodek Rabinowicz, Teddy Seidenfeld, and Jon Williamson.

For more information, see http://www.philos.rug.nl/progic2009/.

Interdisciplinary conference on evolution theory in natural, social and human sciences.

For more information, see http://www.esf.org/conferences/09309 or contact Ms Zuzana Vercinska, COST Conference Officer (zvercinska at cost.esf.org).

The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 -- 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

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

The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 -- 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

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

The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 -- 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

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

The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 -- 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

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

On the occasion of Eva van Lier's thesis defence, a small workshop on Recent developments in language typology is organized.

For more information, see http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/

The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 -- 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

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

Although modern logic has neglected the notion of judgement, logic is in need of this notion, because the premises and conclusions in our reasoning are judgements. The notion of judgement brings back to logic and to philosophy in general the notion of judging agent. This focus on the agent is not to be understood in an exclusively subjective sense, because the agent is entitled to judge only if he has grounds for his judgement. Recently, the notion of assertion, the linguistic counterpart to the notion of judgement, has come into focus. The aim of the workshop is to bring together different perspectives on the notion of judgement from the history of philosophy that may have a relevance for a theory of assertion and judgement today.

For more information, see or contact the organizer Maria van der Schaar: m.v.d.schaar at phil.leidenuniv.nl.

The workshop "Focus on Discourse and Context-dependence" will be held in Amsterdam, on Friday, 25 September, 2009. The aim of the workshop is to bring together researchers and discuss the mattersof focus, discourse and context from different perspectives form linguisticsto philosophy.

For more information and abstracts, see http://staff.science.uva.nl/~kbalogh/workshop/.

Although modern logic has neglected the notion of judgement, logic is in need of this notion, because the premises and conclusions in our reasoning are judgements. The notion of judgement brings back to logic and to philosophy in general the notion of judging agent. This focus on the agent is not to be understood in an exclusively subjective sense, because the agent is entitled to judge only if he has grounds for his judgement. Recently, the notion of assertion, the linguistic counterpart to the notion of judgement, has come into focus. The aim of the workshop is to bring together different perspectives on the notion of judgement from the history of philosophy that may have a relevance for a theory of assertion and judgement today.

For more information, see or contact the organizer Maria van der Schaar: m.v.d.schaar at phil.leidenuniv.nl.

Although modern logic has neglected the notion of judgement, logic is in need of this notion, because the premises and conclusions in our reasoning are judgements. The notion of judgement brings back to logic and to philosophy in general the notion of judging agent. This focus on the agent is not to be understood in an exclusively subjective sense, because the agent is entitled to judge only if he has grounds for his judgement. Recently, the notion of assertion, the linguistic counterpart to the notion of judgement, has come into focus. The aim of the workshop is to bring together different perspectives on the notion of judgement from the history of philosophy that may have a relevance for a theory of assertion and judgement today.

For more information, see or contact the organizer Maria van der Schaar: m.v.d.schaar at phil.leidenuniv.nl.