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

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

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

The Ershov Informatics Conference (the PSI Conference Series, the 8th edition) is the premier international forum in Russia for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area.

For more information, see http://psi.nsc.ru or contact Denis Denis Ponomaryov at ponom at iis.nsk.su.

To support humans in demanding circumstances it is often required that an intelligent system application has some form of human-awareness. This means that the system has a form of intelligence that enables it to analyze and tune itself to the human's cognitive and affective states and processes, such as attention, level of stress, or exhaustion. To design such intelligent applications in the first place the system needs knowledge of the relevant human processes, and possesses methods to use this knowledge to become human-aware: to estimate and analyze the human's states and processes. Furthermore, based on such human-awareness the system is able to tune its actions and interactions with the human.

In this track we are looking for research papers that explore building blocks or full applications for such intelligent systems. All kinds of aspects of cognitive and affective human processes in all areas of life and/or work may be relevant. For example, the papers can address the analysis and modeling of such human processes, or models, architecture, or interfaces to support human cognitive and/or affective processes. Hereby, the (intended) application system does not necessarily need to incorporate an explicit model of human processes, but can also be based on heuristics developed by using formalized models of human functioning.

For more information, see http://www.cs.vu.nl/~mhoogen/iea-aie-2011/ or contact the session organizers via mhoogen at cs.vu.nl.

LACL'2011 is the 6th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at the LIRMM, Montpellier, France. It will be co-located with TALN, the conference of the French association for NLP (ATALA).

For more information, see http://lacl.gforge.inria.fr/

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

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

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

DCM 2011 is the seventh in a series of international workshops focusing on new computational models. It aims to bring together researchers who are currently developing new computational models or new features of a traditional one. The goal of DCM is to foster interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2011 will be a one-day satellite event of ICALP 2011 in Zurich, Switzerland.

For more information, see http://www.pps.jussieu.fr/~jkrivine/conferences/DCM2011/DCM_2011.html

Set Theory as was quickly recognized by David Hilbert more than 100 years ago, plays a fundamental foundational role in the intellectual underpinning of pure mathematics. Cantor's work on cardinality and wellorderings was seen to establish several basic areas of research whose threads we discern today and indeed will be emphasized in this conference: on the arithmetic of cardinal numbers themselves, and on the `descriptive set theory' that seeks to analyse the logical complexity of sets definable within mathematical language. Cantor's work derived from his study of trigonometric series, and modern set theory goes back to classical analysis as well as to modern Banach space theory, abstract algebra, ergodic theory, and dynamical systems to find fruitful applications.

For more information, see http://www.esf.org/conferences/11368.

Set Theory as was quickly recognized by David Hilbert more than 100 years ago, plays a fundamental foundational role in the intellectual underpinning of pure mathematics. Cantor's work on cardinality and wellorderings was seen to establish several basic areas of research whose threads we discern today and indeed will be emphasized in this conference: on the arithmetic of cardinal numbers themselves, and on the `descriptive set theory' that seeks to analyse the logical complexity of sets definable within mathematical language. Cantor's work derived from his study of trigonometric series, and modern set theory goes back to classical analysis as well as to modern Banach space theory, abstract algebra, ergodic theory, and dynamical systems to find fruitful applications.

For more information, see http://www.esf.org/conferences/11368.

The conference theme is "The Computational Turn: Past, Presents, Futures?" In part, the phrase "the computational turn" refers to the multiple ways in which the increasing availability and usability of computers allowed philosophers to explore a range of traditional philosophical interests in new ways, often shedding significant new light on traditional issues and arguments. Simultaneously, computer scientists, mathematicians, and others whose work focused on computation and computational devices often found their work to evoke (if not force) reflection and debate precisely on the philosophical assumptions and potential implications of their research. These two large streams of development inspired what became the first of the Computing and Philosophy (CAP) conferences in 1986 (devoted to Computer-Assisted Instruction in philosophy). Since 1986, CAP conferences have grown in scope and range, to include a bewildering array of intersections between computation and philosophy as explored across a global range of cultures and traditions.

For more information, see http://www.imv.au.dk/en/iacap/ and http://www.ia-cap.org/conferences.php.

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

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

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

The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina.

The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress.

For more information, see the conference website at http://www.cs.uoi.gr/~pls8/.

The ILLC Midsummernight Colloquium will start off with three invited (25 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Catarina Dutilh Novaes (LoLa, from July 1st at Univ. Groningen), Aline Honingh (LaCo) and Ronald de Wolf (LoCo) have accepted to give presentations.

For more information contact rens.bod at uva.nl.

Set Theory as was quickly recognized by David Hilbert more than 100 years ago, plays a fundamental foundational role in the intellectual underpinning of pure mathematics. Cantor's work on cardinality and wellorderings was seen to establish several basic areas of research whose threads we discern today and indeed will be emphasized in this conference: on the arithmetic of cardinal numbers themselves, and on the `descriptive set theory' that seeks to analyse the logical complexity of sets definable within mathematical language. Cantor's work derived from his study of trigonometric series, and modern set theory goes back to classical analysis as well as to modern Banach space theory, abstract algebra, ergodic theory, and dynamical systems to find fruitful applications.

For more information, see http://www.esf.org/conferences/11368.

The conference theme is "The Computational Turn: Past, Presents, Futures?" In part, the phrase "the computational turn" refers to the multiple ways in which the increasing availability and usability of computers allowed philosophers to explore a range of traditional philosophical interests in new ways, often shedding significant new light on traditional issues and arguments. Simultaneously, computer scientists, mathematicians, and others whose work focused on computation and computational devices often found their work to evoke (if not force) reflection and debate precisely on the philosophical assumptions and potential implications of their research. These two large streams of development inspired what became the first of the Computing and Philosophy (CAP) conferences in 1986 (devoted to Computer-Assisted Instruction in philosophy). Since 1986, CAP conferences have grown in scope and range, to include a bewildering array of intersections between computation and philosophy as explored across a global range of cultures and traditions.

For more information, see http://www.imv.au.dk/en/iacap/ and http://www.ia-cap.org/conferences.php.

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

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

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

The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina.

The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress.

For more information, see the conference website at http://www.cs.uoi.gr/~pls8/.

Set Theory as was quickly recognized by David Hilbert more than 100 years ago, plays a fundamental foundational role in the intellectual underpinning of pure mathematics. Cantor's work on cardinality and wellorderings was seen to establish several basic areas of research whose threads we discern today and indeed will be emphasized in this conference: on the arithmetic of cardinal numbers themselves, and on the `descriptive set theory' that seeks to analyse the logical complexity of sets definable within mathematical language. Cantor's work derived from his study of trigonometric series, and modern set theory goes back to classical analysis as well as to modern Banach space theory, abstract algebra, ergodic theory, and dynamical systems to find fruitful applications.

For more information, see http://www.esf.org/conferences/11368.

The conference theme is "The Computational Turn: Past, Presents, Futures?" In part, the phrase "the computational turn" refers to the multiple ways in which the increasing availability and usability of computers allowed philosophers to explore a range of traditional philosophical interests in new ways, often shedding significant new light on traditional issues and arguments. Simultaneously, computer scientists, mathematicians, and others whose work focused on computation and computational devices often found their work to evoke (if not force) reflection and debate precisely on the philosophical assumptions and potential implications of their research. These two large streams of development inspired what became the first of the Computing and Philosophy (CAP) conferences in 1986 (devoted to Computer-Assisted Instruction in philosophy). Since 1986, CAP conferences have grown in scope and range, to include a bewildering array of intersections between computation and philosophy as explored across a global range of cultures and traditions.

For more information, see http://www.imv.au.dk/en/iacap/ and http://www.ia-cap.org/conferences.php.

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

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

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

The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina.

The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress.

For more information, see the conference website at http://www.cs.uoi.gr/~pls8/.

Set Theory as was quickly recognized by David Hilbert more than 100 years ago, plays a fundamental foundational role in the intellectual underpinning of pure mathematics. Cantor's work on cardinality and wellorderings was seen to establish several basic areas of research whose threads we discern today and indeed will be emphasized in this conference: on the arithmetic of cardinal numbers themselves, and on the `descriptive set theory' that seeks to analyse the logical complexity of sets definable within mathematical language. Cantor's work derived from his study of trigonometric series, and modern set theory goes back to classical analysis as well as to modern Banach space theory, abstract algebra, ergodic theory, and dynamical systems to find fruitful applications.

For more information, see http://www.esf.org/conferences/11368.

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

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

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

The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina.

The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress.

For more information, see the conference website at http://www.cs.uoi.gr/~pls8/.

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. This year's workshop, the fifth in the series, will take place at the Department of Quantitative Economics at the University of Maastricht, in July 2011.

For more information, see http://www.meansandends.com/workshop11/

Set Theory as was quickly recognized by David Hilbert more than 100 years ago, plays a fundamental foundational role in the intellectual underpinning of pure mathematics. Cantor's work on cardinality and wellorderings was seen to establish several basic areas of research whose threads we discern today and indeed will be emphasized in this conference: on the arithmetic of cardinal numbers themselves, and on the `descriptive set theory' that seeks to analyse the logical complexity of sets definable within mathematical language. Cantor's work derived from his study of trigonometric series, and modern set theory goes back to classical analysis as well as to modern Banach space theory, abstract algebra, ergodic theory, and dynamical systems to find fruitful applications.

For more information, see http://www.esf.org/conferences/11368.

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

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

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

The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina.

The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress.

For more information, see the conference website at http://www.cs.uoi.gr/~pls8/.

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. This year's workshop, the fifth in the series, will take place at the Department of Quantitative Economics at the University of Maastricht, in July 2011.

For more information, see http://www.meansandends.com/workshop11/

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. This year's workshop, the fifth in the series, will take place at the Department of Quantitative Economics at the University of Maastricht, in July 2011.

For more information, see http://www.meansandends.com/workshop11/

EvoDyn builds on the success of the previous editions of the Ontology Dynamics workshop formerly known as IWOD (organised as a part of the ESWC'07, ISWC'08, ISWC'09 and ISWC'10 conferences). EvoDyn continues in the tradition of IWOD in being the core annual event to discuss advances in the broad area of ontology dynamics, and to track recent work directly or indirectly related to the problem of evolving ontologies. This year, however, the scope of the workshop is broadened by a special focus on the knowledge evolution. As ontologies are formal representations of knowledge, the study of their dynamics is an inherent part of investigating the knowledge evolution phenomena, yet it is only one of many relevant aspects this workshop aims to cover in an integral manner.

In particular, the workshop focuses on analysis of trends and change in formal descriptions (i.e., ontologies), but also in associated raw sources of knowledge (scientific publications, unstructured or semi-structured web content, traditional data stores, e-mail or on-line discussion threads, etc.). We are especially interested in research targeted on various states of knowledge evolution, such as (a) conflicts, (b) consolidation, (c) discovery, (d) paradigm shifts, and (e) breakthroughs. One crucial objective of better understanding these different states may be to study directly the underlying causes and dynamics needed to generate discoveries and breakthroughs. We will only be able to facilitate and possibly also generate such desirable situations if we can understand the process of how knowledge evolves. The process of how knowledge in a field grows and changes, crystallizes, and fractures are all areas of interest of this workshop.

Further information and relevant updates can be found at the workshop web page: http://www.ontologydynamics.org/od/index.php/evodyn2011/

Logic Colloquium 2011, organized under the auspices of the Association for Symbolic Logic, will be held in Barcelona, Catalonia, Spain, on July 11-16, 2011.

For more information, see http://www.logic2011.org/ or contact lc2011 at lsi.upc.edu.

This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as 'theory of mind'. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics and by epistemic game theory. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels.

The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds.

For more information, see http://www.ai.rug.nl/conf/reasoningminds/

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss. Two full-day workshops (included in the registration fee) will precede and follow the conference: "Reasoning about other minds: logical and cognitive perspectives" and "Quantum physics meets TARK".

Early registration deadline: May 31, 2011. For registration, a list of accepted papers and a schedule, see the TARK website at http://TARK2011.org/. For more information, see the website or contact S.J.L.Smets at rug.nl.

Logic Colloquium 2011, organized under the auspices of the Association for Symbolic Logic, will be held in Barcelona, Catalonia, Spain, on July 11-16, 2011.

For more information, see http://www.logic2011.org/ or contact lc2011 at lsi.upc.edu.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss. Two full-day workshops (included in the registration fee) will precede and follow the conference: "Reasoning about other minds: logical and cognitive perspectives" and "Quantum physics meets TARK".

Early registration deadline: May 31, 2011. For registration, a list of accepted papers and a schedule, see the TARK website at http://TARK2011.org/. For more information, see the website or contact S.J.L.Smets at rug.nl.

Logic Colloquium 2011, organized under the auspices of the Association for Symbolic Logic, will be held in Barcelona, Catalonia, Spain, on July 11-16, 2011.

For more information, see http://www.logic2011.org/ or contact lc2011 at lsi.upc.edu.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss. Two full-day workshops (included in the registration fee) will precede and follow the conference: "Reasoning about other minds: logical and cognitive perspectives" and "Quantum physics meets TARK".

Early registration deadline: May 31, 2011. For registration, a list of accepted papers and a schedule, see the TARK website at http://TARK2011.org/. For more information, see the website or contact S.J.L.Smets at rug.nl.

RPPW13 will be held at the Max Planck Institute for Human Cognitive and Brain Sciences in Leipzig, Germany. This event continues the tradition of workshops catering for those engaged in the scientific study of rhythm perception and production. The three-day workshop will include invited spoken presentations and posters. Spoken presentations will be held in a single stream, and posters will be displayed during two poster sessions. As with past RPPWs, the number of participants will be limited in order to facilitate lively interaction and discussion. We plan to have around 80 presenters (30 spoken presentations and 40-50 posters).

Previous meetings have been held in France, Ireland, Belgium, England, the Netherlands, and Germany. The last workshop to be held in Germany took place at Ohlstadt in 1996. We are delighted to welcome the RPPW community to Leipzig in 2011.

For more information, see http://www.cbs.mpg.de/news/events/workshops/ws-rpp.

Logic Colloquium 2011, organized under the auspices of the Association for Symbolic Logic, will be held in Barcelona, Catalonia, Spain, on July 11-16, 2011.

For more information, see http://www.logic2011.org/ or contact lc2011 at lsi.upc.edu.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss. Two full-day workshops (included in the registration fee) will precede and follow the conference: "Reasoning about other minds: logical and cognitive perspectives" and "Quantum physics meets TARK".

Early registration deadline: May 31, 2011. For registration, a list of accepted papers and a schedule, see the TARK website at http://TARK2011.org/. For more information, see the website or contact S.J.L.Smets at rug.nl.

RPPW13 will be held at the Max Planck Institute for Human Cognitive and Brain Sciences in Leipzig, Germany. This event continues the tradition of workshops catering for those engaged in the scientific study of rhythm perception and production. The three-day workshop will include invited spoken presentations and posters. Spoken presentations will be held in a single stream, and posters will be displayed during two poster sessions. As with past RPPWs, the number of participants will be limited in order to facilitate lively interaction and discussion. We plan to have around 80 presenters (30 spoken presentations and 40-50 posters).

Previous meetings have been held in France, Ireland, Belgium, England, the Netherlands, and Germany. The last workshop to be held in Germany took place at Ohlstadt in 1996. We are delighted to welcome the RPPW community to Leipzig in 2011.

For more information, see http://www.cbs.mpg.de/news/events/workshops/ws-rpp.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. This year, LAMAS will be held as a part of the 7th Methods for Modalities conference (M4M-7).

The workshop is intended to cover the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Deductive systems for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS.

For more information, see the LAMAS-2011 webpage at http://icr.uni.lu/lamas2011/.

The 7th Methods for Modalities workshop will take place in Osuna, Spain. M4M will be preceded by a one-day graduate course on 9 November 2011. M4M aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. The proceedings will appear as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series.

Confirmed invited speakers for the workshop are Melving Fitting (CU New York), David Gabelaia (AS Georgia), Andreas Herzig (IRIT Toulouse) and Thomas Schwentick (TU Dortmund).

For more information, see http://personal.us.es/hvd/m4m/.

Logic Colloquium 2011, organized under the auspices of the Association for Symbolic Logic, will be held in Barcelona, Catalonia, Spain, on July 11-16, 2011.

For more information, see http://www.logic2011.org/ or contact lc2011 at lsi.upc.edu.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss. Two full-day workshops (included in the registration fee) will precede and follow the conference: "Reasoning about other minds: logical and cognitive perspectives" and "Quantum physics meets TARK".

Early registration deadline: May 31, 2011. For registration, a list of accepted papers and a schedule, see the TARK website at http://TARK2011.org/. For more information, see the website or contact S.J.L.Smets at rug.nl.

RPPW13 will be held at the Max Planck Institute for Human Cognitive and Brain Sciences in Leipzig, Germany. This event continues the tradition of workshops catering for those engaged in the scientific study of rhythm perception and production. The three-day workshop will include invited spoken presentations and posters. Spoken presentations will be held in a single stream, and posters will be displayed during two poster sessions. As with past RPPWs, the number of participants will be limited in order to facilitate lively interaction and discussion. We plan to have around 80 presenters (30 spoken presentations and 40-50 posters).

Previous meetings have been held in France, Ireland, Belgium, England, the Netherlands, and Germany. The last workshop to be held in Germany took place at Ohlstadt in 1996. We are delighted to welcome the RPPW community to Leipzig in 2011.

For more information, see http://www.cbs.mpg.de/news/events/workshops/ws-rpp.

The aim of this workshop is to explore the connections between traditional TARK topics and Quantum Physics. While TARK traditionally focuses on the theoretical aspects of rationality and knowledge, quantum mechanics and quantum computation focus on the fundamental link between physical reality and informational (knowledge-acquiring) actions, such as observations and measurements. We think one can gain new insights from combining methods and concepts coming from these two lines of research. On the one hand, we are interested in how techniques from quantum physics can help us reason about knowledge or rational decision making. On the other hand, we are interested in how the logical and game-theoretical techniques traditionally associated with TARK (coming from epistemic logic, belief revision, dynamic logic, temporal logic, probabilistic learning, resource-sensitive logics, epistemic game theory, decision-theoretic methods etc.) can be used to formalize physical theories, reason about their concepts or their applications, and provide some principled understanding of their foundations.

Topics of interest include but are not limited to:
classical correlations versus quantum correlations;
classical games versus quantum games;
classical information flow versus quantum information flow;
logical methods for quantum computation;
quantum logic and its relation to logics of knowledge and action;
the use of quantum methods and concepts in decision theory, game theory and logic;
game-theoretical logical semantics and foundations of quantum mechanics.

Main Website: http://www.ai.rug.nl/conf/quantumTARK/

Logic Colloquium 2011, organized under the auspices of the Association for Symbolic Logic, will be held in Barcelona, Catalonia, Spain, on July 11-16, 2011.

For more information, see http://www.logic2011.org/ or contact lc2011 at lsi.upc.edu.

The IJCAI Workshop on Social Choice and Artificial Intelligence is part of the workshop programme of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011) to be held in Barcelona in July 2011.

For more information, see https://www.illc.uva.nl/COMSOC/IJCAI-2011/.

The biennial Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success.

NRAC is a well-established forum for researchers interested in sharing their experiences in work in the areas of Nonmonotonic Reasoning, Reasoning about Action, and Belief Revision. An intelligent agent exploring a rich, dynamic world, needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason nonmonotonically, to reason about actions, and to change one's beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established between the three areas and the primary aim of this workshop is to further promote this cross-fertilization.

For more information, see http://www.cs.rmit.edu.au/~ssardina/NRAC2011/

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

The 12th CLIMA will be affiliated with IJCAI'11 and will take place in Barcelona, Spain, on the 17th and 18th of July 2011. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Norms and Normative Multi-Agent Systems' and 'Logics for Games and Social Choice'.

Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/.

The biennial Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success.

NRAC is a well-established forum for researchers interested in sharing their experiences in work in the areas of Nonmonotonic Reasoning, Reasoning about Action, and Belief Revision. An intelligent agent exploring a rich, dynamic world, needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason nonmonotonically, to reason about actions, and to change one's beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established between the three areas and the primary aim of this workshop is to further promote this cross-fertilization.

For more information, see http://www.cs.rmit.edu.au/~ssardina/NRAC2011/

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

The 12th CLIMA will be affiliated with IJCAI'11 and will take place in Barcelona, Spain, on the 17th and 18th of July 2011. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Norms and Normative Multi-Agent Systems' and 'Logics for Games and Social Choice'.

Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/.

SING 7 is the seventh in the series of Spain-Italy-Netherlands Meetings on Game Theory, and the first one organized in France. Presentations will focus on new research directions in Game Theory. The meeting provides an avenue where new research collaborations can be forged.

All information can be found on http://ces.univ-paris1.fr/SING_7.htm. Participants have to register, submit abstract, and pay registration fees through this web site. For inquiries, please send a message to sing7 at univ-paris1.fr.

The Infinity Conference will take place at the Centre de Recerca Matematica in Bellaterra (near Barcelona, Spain), July 18-22, 2011. This conference is focused on interdisciplinary work in mathematical logic, with connections to theoretical computer science and the philosophy/history of set theory. It will serve as the culmination of the Infinity Project, an interdisciplinary project in logic hosted at the CRM and funded by the John Templeton Foundation during 2009-2011.

For further information about the meeting, including how to register and apply for financial support, see http://www.crm.cat/cinfinity/.

SING 7 is the seventh in the series of Spain-Italy-Netherlands Meetings on Game Theory, and the first one organized in France. Presentations will focus on new research directions in Game Theory. The meeting provides an avenue where new research collaborations can be forged.

All information can be found on http://ces.univ-paris1.fr/SING_7.htm. Participants have to register, submit abstract, and pay registration fees through this web site. For inquiries, please send a message to sing7 at univ-paris1.fr.

The Infinity Conference will take place at the Centre de Recerca Matematica in Bellaterra (near Barcelona, Spain), July 18-22, 2011. This conference is focused on interdisciplinary work in mathematical logic, with connections to theoretical computer science and the philosophy/history of set theory. It will serve as the culmination of the Infinity Project, an interdisciplinary project in logic hosted at the CRM and funded by the John Templeton Foundation during 2009-2011.

For further information about the meeting, including how to register and apply for financial support, see http://www.crm.cat/cinfinity/.

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

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

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

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

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

SING 7 is the seventh in the series of Spain-Italy-Netherlands Meetings on Game Theory, and the first one organized in France. Presentations will focus on new research directions in Game Theory. The meeting provides an avenue where new research collaborations can be forged.

All information can be found on http://ces.univ-paris1.fr/SING_7.htm. Participants have to register, submit abstract, and pay registration fees through this web site. For inquiries, please send a message to sing7 at univ-paris1.fr.

The Infinity Conference will take place at the Centre de Recerca Matematica in Bellaterra (near Barcelona, Spain), July 18-22, 2011. This conference is focused on interdisciplinary work in mathematical logic, with connections to theoretical computer science and the philosophy/history of set theory. It will serve as the culmination of the Infinity Project, an interdisciplinary project in logic hosted at the CRM and funded by the John Templeton Foundation during 2009-2011.

For further information about the meeting, including how to register and apply for financial support, see http://www.crm.cat/cinfinity/.

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

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

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

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

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

The main objective of the CoSLI-2 workshop is to foster computational formalisms and approaches for interpreting or generating spatial language that take into account cognitive, functional, or embodiment criteria in modeling. In particular, this year's workshop theme is "Function in Spatial Language: From evidence to execution". CoSLI 2011 is held in conjunction with CogSci 2011.

For more information, see http://cosli.org/

Optimality Theory has been a very popular approach to linguistic phenomena, but how does it relate to (higher) cognition in general? Twenty-five years after the publication of Harmony Theory (Smolensky, 1986), and five years after The Harmonic Mind (Smolensky and Legendre, 2006), this half-day workshop at the 33rd annual meeting of the Cognitive Science Society offers an opportunity to discuss the place of OT (and HG, and the ICS Architecture) within the cognitive sciences at large, as well as applications of OT to domains beyond linguistics.

For more information see http://www.birot.hu/events/OTGCA/.

CogSci 2011 is the 33rd annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. Invited speakers this year are Anjan Chatterjee, Barbara Landau, Leonard Talmy, and the winners of the Rumelhart prize for Cognitive Science, Judea Pearl, and Heineken prize for Cognitive Science, Michael Tomasello.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2011/.

The Infinity Conference will take place at the Centre de Recerca Matematica in Bellaterra (near Barcelona, Spain), July 18-22, 2011. This conference is focused on interdisciplinary work in mathematical logic, with connections to theoretical computer science and the philosophy/history of set theory. It will serve as the culmination of the Infinity Project, an interdisciplinary project in logic hosted at the CRM and funded by the John Templeton Foundation during 2009-2011.

For further information about the meeting, including how to register and apply for financial support, see http://www.crm.cat/cinfinity/.

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

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

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

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

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

CogSci 2011 is the 33rd annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. Invited speakers this year are Anjan Chatterjee, Barbara Landau, Leonard Talmy, and the winners of the Rumelhart prize for Cognitive Science, Judea Pearl, and Heineken prize for Cognitive Science, Michael Tomasello.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2011/.

The Infinity Conference will take place at the Centre de Recerca Matematica in Bellaterra (near Barcelona, Spain), July 18-22, 2011. This conference is focused on interdisciplinary work in mathematical logic, with connections to theoretical computer science and the philosophy/history of set theory. It will serve as the culmination of the Infinity Project, an interdisciplinary project in logic hosted at the CRM and funded by the John Templeton Foundation during 2009-2011.

For further information about the meeting, including how to register and apply for financial support, see http://www.crm.cat/cinfinity/.

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

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

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

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

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

CogSci 2011 is the 33rd annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. Invited speakers this year are Anjan Chatterjee, Barbara Landau, Leonard Talmy, and the winners of the Rumelhart prize for Cognitive Science, Judea Pearl, and Heineken prize for Cognitive Science, Michael Tomasello.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2011/.

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

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

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

CogSci 2011 is the 33rd annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. Invited speakers this year are Anjan Chatterjee, Barbara Landau, Leonard Talmy, and the winners of the Rumelhart prize for Cognitive Science, Judea Pearl, and Heineken prize for Cognitive Science, Michael Tomasello.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2011/.

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

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

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

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

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

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

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

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

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

Studying logics via semantics is a well-established and very active branch of mathematical logic. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Registration deadline: Friday 1 July 2011. For more information, see http://www.lif.univ-mrs.fr/tacl2011/.

Studying logics via semantics is a well-established and very active branch of mathematical logic. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Registration deadline: Friday 1 July 2011. For more information, see http://www.lif.univ-mrs.fr/tacl2011/.

Studying logics via semantics is a well-established and very active branch of mathematical logic. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Registration deadline: Friday 1 July 2011. For more information, see http://www.lif.univ-mrs.fr/tacl2011/.

Studying logics via semantics is a well-established and very active branch of mathematical logic. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Registration deadline: Friday 1 July 2011. For more information, see http://www.lif.univ-mrs.fr/tacl2011/.

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

For more information, see here.

Studying logics via semantics is a well-established and very active branch of mathematical logic. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Registration deadline: Friday 1 July 2011. For more information, see http://www.lif.univ-mrs.fr/tacl2011/.

The fifth NASSLLI (after previous editions at Stanford University, Indiana University and UCLA) will be hosted at the University of Texas at Austin, on June 18 - 22, 2012. The summer school, loosely modeled on the long- running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 minutes on each of five days.

For more information, see http://nasslli2012.com/. or contact the co-chairs at carlos.areces at gmail.com and valeria.depaiva 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/.