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

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

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

Julius-Richard Büchi (1924-1984) was a Swiss logician and a mathematician who received his Dr. sc. nat. in 1950 at the ETH Zürich under the supervision of Paul Bernays. Almost half a century ago, in 1962, he invented what is now called the Büchi automaton. In the recent years there has been tremendous efforts devoted to extending Büchi?s results. I The aim of this workshop is to bring together some among the best specialists from this new trend of automata theory and discuss the existing results and the ones to come.

For more information, see http://www.hec.unil.ch/logique/recent_news/SSLPS/

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

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

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

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

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

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

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

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

The Oxford contingent of the ESF Eurocores LogICCC program "Logic for Interaction - LINT" organises a workshop at the Oxford University Computing Laboratory on the weekend of April 2-3, 2011.

The main themes will be Dependence and Independence (DEP) and Dynamics of Interaction (DYN).

For more information, see http://sites.google.com/site/oxfordlint/

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

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

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

The Oxford contingent of the ESF Eurocores LogICCC program "Logic for Interaction - LINT" organises a workshop at the Oxford University Computing Laboratory on the weekend of April 2-3, 2011.

The main themes will be Dependence and Independence (DEP) and Dynamics of Interaction (DYN).

For more information, see http://sites.google.com/site/oxfordlint/

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/.

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

In conjunction with the 2011 AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour) Convention.

As a subject for philosophical investigation computing has a long history. With the rapid technological progress of electronic computing since the mid-20th century we have seen the emergence of much deeper and broader interactions between computing and philosophy. Both philosophy and computing stand to benefit from this continuing dialogue. The purpose of the symposium is to further strengthen communication between these disciplines, thereby to advance the philosophical study of computing in general in relation to a number of key issues. These include traditional philosophical problems and the philosophical issues surrounding computational modelling. We therefore welcome papers exploring any of these issues. Papers that engage with cognitive science are particularly encouraged.

For more information, see the symposium website at http://www.doc.gold.ac.uk/seminars/AISB/Philosophy+Computing.html

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

In conjunction with the 2011 AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour) Convention.

As a subject for philosophical investigation computing has a long history. With the rapid technological progress of electronic computing since the mid-20th century we have seen the emergence of much deeper and broader interactions between computing and philosophy. Both philosophy and computing stand to benefit from this continuing dialogue. The purpose of the symposium is to further strengthen communication between these disciplines, thereby to advance the philosophical study of computing in general in relation to a number of key issues. These include traditional philosophical problems and the philosophical issues surrounding computational modelling. We therefore welcome papers exploring any of these issues. Papers that engage with cognitive science are particularly encouraged.

For more information, see the symposium website at http://www.doc.gold.ac.uk/seminars/AISB/Philosophy+Computing.html

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

In conjunction with the 2011 AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour) Convention.

As a subject for philosophical investigation computing has a long history. With the rapid technological progress of electronic computing since the mid-20th century we have seen the emergence of much deeper and broader interactions between computing and philosophy. Both philosophy and computing stand to benefit from this continuing dialogue. The purpose of the symposium is to further strengthen communication between these disciplines, thereby to advance the philosophical study of computing in general in relation to a number of key issues. These include traditional philosophical problems and the philosophical issues surrounding computational modelling. We therefore welcome papers exploring any of these issues. Papers that engage with cognitive science are particularly encouraged.

For more information, see the symposium website at http://www.doc.gold.ac.uk/seminars/AISB/Philosophy+Computing.html

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

In conjunction with the 2011 AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour) Convention.

As a subject for philosophical investigation computing has a long history. With the rapid technological progress of electronic computing since the mid-20th century we have seen the emergence of much deeper and broader interactions between computing and philosophy. Both philosophy and computing stand to benefit from this continuing dialogue. The purpose of the symposium is to further strengthen communication between these disciplines, thereby to advance the philosophical study of computing in general in relation to a number of key issues. These include traditional philosophical problems and the philosophical issues surrounding computational modelling. We therefore welcome papers exploring any of these issues. Papers that engage with cognitive science are particularly encouraged.

For more information, see the symposium website at http://www.doc.gold.ac.uk/seminars/AISB/Philosophy+Computing.html

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/

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

We are happy to invite you for the Symposium Logic and Culture organized by the Nederlandse Vereniging voor Logica and Wijsbegeerte der Exacte Wetenschappen (VVL), on Friday April 8, 2011, 11.00--17.00, in Hoog Brabant, Utrecht.

The programme consists of talks by Dov Gabbay, Sara Uckelman, Michiel Leezenberg, Henk Barendregt, and the general meeting of the VVL.

For more information, see http://www.cs.vu.nl/~femke/lc2011.html.

We cordially invite you to participate in the kick off workshop of the project 'What is really possible?'. In science and in practical life, we continuously deal with real possibilities: outcomes of experiments, calculated risks, consequences of actions, fearing or craving something before us. The workshop explores the notion of real possibility from different angles, varying from philosophical logic to metaphysics and the philosophy of action.

At the workshop, nine international speakers will be presenting their work in a variety of areas, ranging from logic to the philosophy of action, metaphysics, and more. The workshop will end with a round table discussion, in which the various ideas relating to the project will be collected, discussed, and connected.

The website for the workshop, and the project, can be found at http://possibilities.phil.uu.nl/events/kickoff/. If you wish to attend the workshop, please send an email to rosja.mastop at phil.uu.nl.

(Dutch only)
Vrijdag 8 april is het weer zo ver: Leve de Wiskunde! 2011. Tijdens dit jaarlijks terugkerend congres vertellen vooraanstaande wetenschappers over hun bevindingen in en rondom de wiskunde. van financiële wiskunde tot symmetriepatronen en van forensische statistiek tot de filosofie achter getallen.

Voor meer informatie en aanmelden, zie http://www.science.uva.nl/levedewiskunde

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

We cordially invite you to participate in the kick off workshop of the project 'What is really possible?'. In science and in practical life, we continuously deal with real possibilities: outcomes of experiments, calculated risks, consequences of actions, fearing or craving something before us. The workshop explores the notion of real possibility from different angles, varying from philosophical logic to metaphysics and the philosophy of action.

At the workshop, nine international speakers will be presenting their work in a variety of areas, ranging from logic to the philosophy of action, metaphysics, and more. The workshop will end with a round table discussion, in which the various ideas relating to the project will be collected, discussed, and connected.

The website for the workshop, and the project, can be found at http://possibilities.phil.uu.nl/events/kickoff/. If you wish to attend the workshop, please send an email to rosja.mastop at phil.uu.nl.

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

The International Spring School on Computational Logic (co-located with the DALT Spring School) for MSc students, PhD students, postdocs and other junior researchers will offer a rich programme on different aspects of computational logic, including description logics, constraints, verification, intelligent agents, and multiagent systems.

Students who send an expression of interest by the end of November will receive a discount on their registration fee. For more information, see http://lia.deis.unibo.it/confs/iscl/.

DALT is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems.

Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting.

The DALT School builds on the success of 8 editions of the international AAMAS workshop series, and aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research achieved in this 8-year-long activity with a perspective on the future.

For more information, see http://lia.deis.unibo.it/confs/dalt_school/

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

The International Spring School on Computational Logic (co-located with the DALT Spring School) for MSc students, PhD students, postdocs and other junior researchers will offer a rich programme on different aspects of computational logic, including description logics, constraints, verification, intelligent agents, and multiagent systems.

Students who send an expression of interest by the end of November will receive a discount on their registration fee. For more information, see http://lia.deis.unibo.it/confs/iscl/.

DALT is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems.

Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting.

The DALT School builds on the success of 8 editions of the international AAMAS workshop series, and aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research achieved in this 8-year-long activity with a perspective on the future.

For more information, see http://lia.deis.unibo.it/confs/dalt_school/

The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers.

We invite graduate students in computer science and related fields to participate. Applicants from industry who want to strengthen their theoretical background are also welcome. The deadline for registration is 18 March 2011. More details and information on how to register are on the school web page. at http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto. Invited speakers include Naoki Kobayashi, Andrei Krokhin, Toniann Pitassi and Ashish Tiwari.

For more information, see http://www.informatik.hu-berlin.de/lics/lics11/.

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

The International Spring School on Computational Logic (co-located with the DALT Spring School) for MSc students, PhD students, postdocs and other junior researchers will offer a rich programme on different aspects of computational logic, including description logics, constraints, verification, intelligent agents, and multiagent systems.

Students who send an expression of interest by the end of November will receive a discount on their registration fee. For more information, see http://lia.deis.unibo.it/confs/iscl/.

DALT is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems.

Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting.

The DALT School builds on the success of 8 editions of the international AAMAS workshop series, and aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research achieved in this 8-year-long activity with a perspective on the future.

For more information, see http://lia.deis.unibo.it/confs/dalt_school/

The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers.

We invite graduate students in computer science and related fields to participate. Applicants from industry who want to strengthen their theoretical background are also welcome. The deadline for registration is 18 March 2011. More details and information on how to register are on the school web page. at http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html.

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

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

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

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

The International Spring School on Computational Logic (co-located with the DALT Spring School) for MSc students, PhD students, postdocs and other junior researchers will offer a rich programme on different aspects of computational logic, including description logics, constraints, verification, intelligent agents, and multiagent systems.

Students who send an expression of interest by the end of November will receive a discount on their registration fee. For more information, see http://lia.deis.unibo.it/confs/iscl/.

DALT is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems.

Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting.

The DALT School builds on the success of 8 editions of the international AAMAS workshop series, and aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research achieved in this 8-year-long activity with a perspective on the future.

For more information, see http://lia.deis.unibo.it/confs/dalt_school/

The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers.

We invite graduate students in computer science and related fields to participate. Applicants from industry who want to strengthen their theoretical background are also welcome. The deadline for registration is 18 March 2011. More details and information on how to register are on the school web page. at http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html.

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

The International Spring School on Computational Logic (co-located with the DALT Spring School) for MSc students, PhD students, postdocs and other junior researchers will offer a rich programme on different aspects of computational logic, including description logics, constraints, verification, intelligent agents, and multiagent systems.

Students who send an expression of interest by the end of November will receive a discount on their registration fee. For more information, see http://lia.deis.unibo.it/confs/iscl/.

DALT is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems.

Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting.

The DALT School builds on the success of 8 editions of the international AAMAS workshop series, and aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research achieved in this 8-year-long activity with a perspective on the future.

For more information, see http://lia.deis.unibo.it/confs/dalt_school/

The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers.

We invite graduate students in computer science and related fields to participate. Applicants from industry who want to strengthen their theoretical background are also welcome. The deadline for registration is 18 March 2011. More details and information on how to register are on the school web page. at http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html.

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

The International Spring School on Computational Logic (co-located with the DALT Spring School) for MSc students, PhD students, postdocs and other junior researchers will offer a rich programme on different aspects of computational logic, including description logics, constraints, verification, intelligent agents, and multiagent systems.

Students who send an expression of interest by the end of November will receive a discount on their registration fee. For more information, see http://lia.deis.unibo.it/confs/iscl/.

DALT is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems.

Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting.

The DALT School builds on the success of 8 editions of the international AAMAS workshop series, and aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research achieved in this 8-year-long activity with a perspective on the future.

For more information, see http://lia.deis.unibo.it/confs/dalt_school/

The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers.

We invite graduate students in computer science and related fields to participate. Applicants from industry who want to strengthen their theoretical background are also welcome. The deadline for registration is 18 March 2011. More details and information on how to register are on the school web page. at http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html.

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

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

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/

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/.

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

This spring school was formerly known as the International PhD School in Formal Languages and Applications. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

Registration has to be done on line. Early registration deadline: November 30, 2010. Fees are variable, depending on the number of courses each student takes.

For more information, see http://grammars.grlmc.com/ssfla2011/ or contact Carlos Martin-Vide: carlos.martin at urv.cat.

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

This spring school was formerly known as the International PhD School in Formal Languages and Applications. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

Registration has to be done on line. Early registration deadline: November 30, 2010. Fees are variable, depending on the number of courses each student takes.

For more information, see http://grammars.grlmc.com/ssfla2011/ or contact Carlos Martin-Vide: carlos.martin at urv.cat.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity, deductive formalisms as they relate to complexity, complexity aspects of finite model theory and databases, complexity-mindful program derivation and verification, computational complexity at higher type, and proof complexity.

LCC'11 will be held as an affiliated meeting of LiCS'11. The LCC'11 program will consist of invited lectures as well as contributed papers selected by the program committee.

For additional information see http://www.cs.swansea.ac.uk/lcc2011/ or contact u.berger at swansea.ac.uk or denis at cs.mcgill.ca.

We are pleased to announce that a special issue of Topics in Cognitive Science (TopiCS) will be devoted to the theme of mathematical pratice and cognition.

Researchers in mathematical practice and cognition are forming increasingly well-established communities with independent approaches and methodologies. The aim of this topiCS issue is to establish and strengthen connections between these and other areas of research, and, where relevant, to relate work carried out in such arenas to the cognitive science mainstream. Thus, this interdisciplinary issue aims to present commonalities and interactions between researchers who investigate how people do mathematics.

Submission deadline: Wednesday: 20th April 2011. Please see http://homepages.inf.ed.ac.uk/apease/aisb10/journal.html for details. Note that this page is under construction and will change.

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

This spring school was formerly known as the International PhD School in Formal Languages and Applications. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

Registration has to be done on line. Early registration deadline: November 30, 2010. Fees are variable, depending on the number of courses each student takes.

For more information, see http://grammars.grlmc.com/ssfla2011/ or contact Carlos Martin-Vide: carlos.martin at urv.cat.

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

This spring school was formerly known as the International PhD School in Formal Languages and Applications. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

Registration has to be done on line. Early registration deadline: November 30, 2010. Fees are variable, depending on the number of courses each student takes.

For more information, see http://grammars.grlmc.com/ssfla2011/ or contact Carlos Martin-Vide: carlos.martin at urv.cat.

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

This spring school was formerly known as the International PhD School in Formal Languages and Applications. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

Registration has to be done on line. Early registration deadline: November 30, 2010. Fees are variable, depending on the number of courses each student takes.

For more information, see http://grammars.grlmc.com/ssfla2011/ or contact Carlos Martin-Vide: carlos.martin at urv.cat.

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

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

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

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

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

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

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

Studia Logica invites contributions to the special issue dedicated to the memory of the great Georgian logician Leo Esakia (1934-2010). Leo was the founder of the logic school in Georgia. He made numerous important contributions to the study of algebraic and topological semantics of modal and intuitionistic logics. Several landmark theorems in the field bear his name. Leo also contributed immensely to establishing a strong research community working on algebraic, topological, and categorical methods in logic.

We specifically invite submissions on the topics closely related to Leo's research. Submitted papers should not exceed 20 pages (including bibliography), formatted according to the Studia Logica LaTeX style. Deadline for submission of manuscripts to the issue editors: 30th April, 2011.

For more information, see http://www.ifispan.waw.pl/studialogica/si-Esakia.html

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