Over the past twenty years, the RelMiCS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. At the last of these conferences it was decided that the two series should be united under the new title "Relational and Algebraic Methods in Computer Science (RAMiCS)". This year, special attention will be paid to the fact that the meetings started 20 years ago at the Banach Center in Warsaw.

Relational and algebraic methods and software tools like RELVIEW turn out to be useful for solving problems in social choice and game theory. For that reason this conference includes a special track on computational social choice and social software, organized by the CFSC (Computational Foundations of Social Choice) and SSEAC (Social Software for Elections, the Allocation of tenders and Coalition formation) projects of the ESF LogICCC programme.

For more information, see http://www.eur.nl/fw/english/ramics12/ or contact Harrie de Swart at deswart at fwb.eur.nl.

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

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

The invited speakers include: S. Aaronson, A. Antonelli, L. Bienvenu, L. van den Dries, D. Haskell, J. Moore, C. Rosendal, N. Thapen, and S. Thomas. Penelope Maddy will deliver a retiring presidential address. The following special sessions (with organizers in parentheses) are planned: Definability throughout Mathematical Logic, in honor of Leo Harrington (T. Slaman and J. Steel), Hilbert (W. Sieg), Model Theory (D. Marker), Philosophy of Mathematics (J. Burgess), and Set Theory (E. Schimmerling). The Shoenfield Prizes for outstanding expository writing will be awarded also.

For more information, see http://logic.berkeley.edu/ASL/.

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

The following speakers will give a lecture:

- Dimitris Achlioptas (University of California at Santa Cruz and
National and Kapodistrian University of Athens)
- Roberto Fernández (Universiteit Utrecht)
- Willem Haemers (Universiteit van Tilburg)
- Raphael Hauser (University of Oxford)
- Leen Stougie (Vrije Universiteit Amsterdam),
- Juan Vera (Universiteit van Tilburg)

There is no conference fee, but registration is required. For more information, see http://homepages.cwi.nl/~mueller/workshop.html

The Nijmegen Lectures committee is pleased to announce that the Nijmegen Lectures 2010 will take place on December 6th, 7th and 8th.
This year's lectures will be given by Aniruddh D. Patel (Esther J. Burnham Senior Fellow, The Neurosciences Institute). The title of the lecture series is: Music, language, and the brain.

For more information, see http://www.mpi.nl/events/nijmegen-lectures-2010/

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

The Nijmegen Lectures committee is pleased to announce that the Nijmegen Lectures 2010 will take place on December 6th, 7th and 8th.
This year's lectures will be given by Aniruddh D. Patel (Esther J. Burnham Senior Fellow, The Neurosciences Institute). The title of the lecture series is: Music, language, and the brain.

For more information, see http://www.mpi.nl/events/nijmegen-lectures-2010/

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

A fundamental challenge in software model-checking is to deal with rich data, residing in variables or on the heap. The aim of this workshop is to bring together researchers from both practical and theoretical sides, and to investigate how the recently developed tools in automata theory and logic, such as register and higher-order pushdown automata and logics on data words, can be used to model and verify programs with both rich data structures and operating on unbounded data values.

For details, a preliminary programme and list of invited speakers see http://www.liafa.jussieu.fr/~serre/Data/. Registration deadline: December 1st 2010 There will be no registration fee for the workshop. We will cover lunches for all participants and may be able to cover travel and accommodation costs for a limited number of students.

The workshop will bring together logicians, philosophers, psychologists and cognitive scientists to discuss the interface between cognitive science and psychology, on the one hand, and the philosophy of logic on the other hand. More specifically, we wish to investigate the extent to which (if at all), and in what ways, experimental results from these fields may contribute to the formulation of an empirically-informed philosophy of logic, taking into account how human agents, logicians and non-logicians alike, in fact reason.

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

The Third International Congress on Tools for Teaching Logic (TICTTL), in Salamanca, Spain, will focus on logic teaching software, teaching formal methods, dissemination of logic courseware, logic games, etc. Previously, these events have also been organized in Salamanca, in 2000 and in 2006. Invited speakers include David Gries, known as the author of The Science of Programming, and Jim Henle, known as an author of Sweet Reason. The organizing committee is: Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, and Fernando Soler.

For more information, see http://logicae.usal.es/TICTTL/

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

The Nijmegen Lectures committee is pleased to announce that the Nijmegen Lectures 2010 will take place on December 6th, 7th and 8th.
This year's lectures will be given by Aniruddh D. Patel (Esther J. Burnham Senior Fellow, The Neurosciences Institute). The title of the lecture series is: Music, language, and the brain.

For more information, see http://www.mpi.nl/events/nijmegen-lectures-2010/

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

A fundamental challenge in software model-checking is to deal with rich data, residing in variables or on the heap. The aim of this workshop is to bring together researchers from both practical and theoretical sides, and to investigate how the recently developed tools in automata theory and logic, such as register and higher-order pushdown automata and logics on data words, can be used to model and verify programs with both rich data structures and operating on unbounded data values.

For details, a preliminary programme and list of invited speakers see http://www.liafa.jussieu.fr/~serre/Data/. Registration deadline: December 1st 2010 There will be no registration fee for the workshop. We will cover lunches for all participants and may be able to cover travel and accommodation costs for a limited number of students.

The workshop will bring together logicians, philosophers, psychologists and cognitive scientists to discuss the interface between cognitive science and psychology, on the one hand, and the philosophy of logic on the other hand. More specifically, we wish to investigate the extent to which (if at all), and in what ways, experimental results from these fields may contribute to the formulation of an empirically-informed philosophy of logic, taking into account how human agents, logicians and non-logicians alike, in fact reason.

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

The FLiRT workshop will coincide with the public PhD defenses of Gaëlle Fontaine and Amélie Gheerbrant which will both take place on the 9th of December. The workshop will gather young researchers and world top experts in various areas of theoretical computer science related to fixed-point logics. These areas include automata theory, game theory, web languages and coalgebras.

The event will be hosted by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam (UvA) and will take place in the Euclides building (Plantage Muidergracht 24).

For more information, see http://homepages.inf.ed.ac.uk/agheerbr/flirt.html

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

On December 9-10, 2010, SERG will be organizing a two-day workshop on rational trust. The workshop will feature talks by Paul Faulkner (Sheffield), Gloria Origgi (Jean Nicod), David Owens (Sheffield), Erik Olsson (Lund), Klemens Kappel (SERG), Nikolaj Jang Lee Linding Pedersen (SERG), and Kristoffer Ahlstrom (SERG).

For more information, see http://epistemology.ku.dk/calendar/dec9-10-2010/

The Association for the Philosophy of Mathematical Practice (APMP) aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics which engages with mathematics in practice ? including issues in history of mathematics, the applications of mathematics, cognitive science, etc. The Association was launched in 2009. The First International Meeting of the APMP will be held next December 9-11 in Brussels.

For more information, see http://www.vub.ac.be/CLWF/APMP2010/ or here.

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

On December 9-10, 2010, SERG will be organizing a two-day workshop on rational trust. The workshop will feature talks by Paul Faulkner (Sheffield), Gloria Origgi (Jean Nicod), David Owens (Sheffield), Erik Olsson (Lund), Klemens Kappel (SERG), Nikolaj Jang Lee Linding Pedersen (SERG), and Kristoffer Ahlstrom (SERG).

For more information, see http://epistemology.ku.dk/calendar/dec9-10-2010/

The Association for the Philosophy of Mathematical Practice (APMP) aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics which engages with mathematics in practice ? including issues in history of mathematics, the applications of mathematics, cognitive science, etc. The Association was launched in 2009. The First International Meeting of the APMP will be held next December 9-11 in Brussels.

For more information, see http://www.vub.ac.be/CLWF/APMP2010/ or here.

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

The Association for the Philosophy of Mathematical Practice (APMP) aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics which engages with mathematics in practice ? including issues in history of mathematics, the applications of mathematics, cognitive science, etc. The Association was launched in 2009. The First International Meeting of the APMP will be held next December 9-11 in Brussels.

For more information, see http://www.vub.ac.be/CLWF/APMP2010/ or here.

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

This workshop aims to bring together researchers working in modal logic, duality theory, algebra, point-free topology, domain theory and coalgebraic logic; fields which are all connected through logic and Stone duality.

Speakers include: Johan van Benthem (Amsterdam), Dick de Jongh (Amsterdam), Georges Hansoul (Liège), Achim Jung (Birmingham), Alexander Kurz (Leicester), Alessandra Palmigiano (Amsterdam), Steve Vickers (University of Birmingham), Jacob Vosmaer (Amsterdam).

This workshop will coincide with the PhD defense of Jacob Vosmaer at the University of Amsterdam on 14 December 2010.

For more information, see http://www.jacobvosmaer.nl/MLSD/ .

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

Truth be Told, a Workshop on Philosophical and Formal Theories of Truth, is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The workshop will be held between Wednesday the 23rd and Friday the 25th of March 2011.

The aim of the workshop is to bring together experts in the field in order to assess the current state of the art of theories of truth, as well as to facilitate discussion between philosophers of truth and those more interested in formal methods and results in the study of truth.

The workshop will contain 11 invited and 5 contributed talks. Invited talks will be followed by a short commentary.

For more information and an online registration form, see https://www.illc.uva.nl/truth/truth11/

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

The conference has six different sections, as follows:
1. Logic and Applications
2. Philosophy of Mathematical and Physical Sciences
3. Philosophy of Life Sciences and of Cognitive Sciences
4. Methodology and Philosophy of Science
5. Philosophy and Methodology of the Social Sciences
6. Epistemology and History of Sciences

For details of the Association (SILFS) and the Conference (SILFS2010) see the SILFS website at http://www.unibg.it/silfs or the conference website at http://dinamico2.unibg.it/silfs/convegno2010.htm

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

The conference has six different sections, as follows:
1. Logic and Applications
2. Philosophy of Mathematical and Physical Sciences
3. Philosophy of Life Sciences and of Cognitive Sciences
4. Methodology and Philosophy of Science
5. Philosophy and Methodology of the Social Sciences
6. Epistemology and History of Sciences

For details of the Association (SILFS) and the Conference (SILFS2010) see the SILFS website at http://www.unibg.it/silfs or the conference website at http://dinamico2.unibg.it/silfs/convegno2010.htm

The 19th edition of Workshop Series "Games, Logic, Language and Computation" (GLLC, funded by NWO) will bring together researchers interested in the topic of learning and epistemic change. The workshop will be hosted by the ILLC, on the occasion of the PhD defense of Nina Gierasimczuk.

For more information see: http://staff.science.uva.nl/~ngierasi/gllc-19

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.

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

The conference has six different sections, as follows:
1. Logic and Applications
2. Philosophy of Mathematical and Physical Sciences
3. Philosophy of Life Sciences and of Cognitive Sciences
4. Methodology and Philosophy of Science
5. Philosophy and Methodology of the Social Sciences
6. Epistemology and History of Sciences

For details of the Association (SILFS) and the Conference (SILFS2010) see the SILFS website at http://www.unibg.it/silfs or the conference website at http://dinamico2.unibg.it/silfs/convegno2010.htm

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

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

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

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

In the week December 13-20, 1919, Ludwig Wittgenstein and Bertrand Russell met at The Hague in order to discuss - line by line - the manuscript of the Tractatus so that Russell could write his preface. Now 91 years later, the Philosophical Institute at Leiden, with support from the Nederlandse Vereniging voor Logica en de Grondslagen van de Exacte Wetenschappen, devotes a day to the careful study of Wittgenstein’s classical book.

The speakers at this Tagung will be Harm Boukema (Nijmegen), Jaap van der Does (Amsterdam), Martin Stokhof (Amsterdam), Göran Sundholm (Leiden), and Albert Visser (Utrecht).

Please find programme and abstracts at http://sites.google.com/site/tractatusday/

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

On the occasion of the PhD defense of Alexandra Silva, we are organizing a workshop around the theme "Kleene Coalgebra", which is the subject of Alexandra's thesis.

The programme will consist of talks by Dexter Kozen (Cornell), Luis Barbosa (Minho) and Alexandra Silva (CWI).

For more details, on the programme and location, check the workshop's webpage at http://homepages.cwi.nl/~ams/kc/ or contact ams at cwi.nl.

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

For more information, see http://www.bslps.be/YRD2.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