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

This is an interdisciplinary conference on the philosophy of arithmetic, featuring speakers who represent a variety of historically, empirically, and logically informed perspectives on this central topic in the philosophy of mathematics. The keynote speaker is Charles Parsons (Department of Philosophy, Harvard University).

Information about the other speakers and the other particulars of the conference can be found at http://poincare.univ-nancy2.fr/Activites/?contentId=7073 and http://www.univ-nancy2.fr/poincare/idealsofproof/events.html. For more information, please contact the organizers at Walsh.108 at nd.edu.

This Workshop seeks to examine and explore issues concerning the logical and philosophical aspects of knowledge, communication and action in an integrated view. Perspectives are sought from those engaged in the fields of logic, history and philosophy of logic, logic applied to artificial intelligence and cognitive systems, general epistemology, social epistemology, belief theory, communication theory, discourse theory, formal semantics, pragmatics, philosophy of action, and history of philosophy connected with those topics. These disciplines are indicative only, as papers are welcomed from any area in which logic and philosophy of KCA play a part.

For more information, see http://www.ilcli.ehu.es/p287-content/en/contenidos/evento/ or contact Dr. María Ponte (e-mail: maria.deponte at ehu.es) or Dr. Xabier Arrazola (e-mail: josebaxabier.arrazola at ehu.es).

The 43rd ACM Symposium on Theory of Computing (STOC 2011), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Jose, California, from Monday June 6 to Wednesday June 8, 2011, as part of the Federated Computing Research Conference (FCRC).

For more information, see http://www2.research.att.com/~dsj/stoc11/stoc11.html

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

This is an interdisciplinary conference on the philosophy of arithmetic, featuring speakers who represent a variety of historically, empirically, and logically informed perspectives on this central topic in the philosophy of mathematics. The keynote speaker is Charles Parsons (Department of Philosophy, Harvard University).

Information about the other speakers and the other particulars of the conference can be found at http://poincare.univ-nancy2.fr/Activites/?contentId=7073 and http://www.univ-nancy2.fr/poincare/idealsofproof/events.html. For more information, please contact the organizers at Walsh.108 at nd.edu.

This Workshop seeks to examine and explore issues concerning the logical and philosophical aspects of knowledge, communication and action in an integrated view. Perspectives are sought from those engaged in the fields of logic, history and philosophy of logic, logic applied to artificial intelligence and cognitive systems, general epistemology, social epistemology, belief theory, communication theory, discourse theory, formal semantics, pragmatics, philosophy of action, and history of philosophy connected with those topics. These disciplines are indicative only, as papers are welcomed from any area in which logic and philosophy of KCA play a part.

For more information, see http://www.ilcli.ehu.es/p287-content/en/contenidos/evento/ or contact Dr. María Ponte (e-mail: maria.deponte at ehu.es) or Dr. Xabier Arrazola (e-mail: josebaxabier.arrazola at ehu.es).

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

This is an interdisciplinary conference on the philosophy of arithmetic, featuring speakers who represent a variety of historically, empirically, and logically informed perspectives on this central topic in the philosophy of mathematics. The keynote speaker is Charles Parsons (Department of Philosophy, Harvard University).

Information about the other speakers and the other particulars of the conference can be found at http://poincare.univ-nancy2.fr/Activites/?contentId=7073 and http://www.univ-nancy2.fr/poincare/idealsofproof/events.html. For more information, please contact the organizers at Walsh.108 at nd.edu.

This Workshop seeks to examine and explore issues concerning the logical and philosophical aspects of knowledge, communication and action in an integrated view. Perspectives are sought from those engaged in the fields of logic, history and philosophy of logic, logic applied to artificial intelligence and cognitive systems, general epistemology, social epistemology, belief theory, communication theory, discourse theory, formal semantics, pragmatics, philosophy of action, and history of philosophy connected with those topics. These disciplines are indicative only, as papers are welcomed from any area in which logic and philosophy of KCA play a part.

For more information, see http://www.ilcli.ehu.es/p287-content/en/contenidos/evento/ or contact Dr. María Ponte (e-mail: maria.deponte at ehu.es) or Dr. Xabier Arrazola (e-mail: josebaxabier.arrazola at ehu.es).

The Nijmegen Centre for Language Studies (CLS, Radboud University Nijmegen) presents the Eighth Semantics in the Netherlands Day (SiN VIII). SiN provides a possibility for graduate students (PhD, MA, MSc, MPhil) working in various theoretical frameworks to present their ongoing research on semantics. The keynote speaker this year will be Henk Zeevat (Department of Computational Linguistics/ ILLC University of Amsterdam).

For more information, see here or contact Erwin Komen at sin8nijmegen at gmail.com

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

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology (University of St Andrews), and CSMN, Centre for the Study of Mind in Nature (University of Oslo), are pleased to announce the fourth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy.

For more information, please visit the conference website: http://www.st-andrews.ac.uk/~arche/acgc/ or contact the conference organizers at archecsmngc4 at googlemail.com.

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

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology (University of St Andrews), and CSMN, Centre for the Study of Mind in Nature (University of Oslo), are pleased to announce the fourth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy.

For more information, please visit the conference website: http://www.st-andrews.ac.uk/~arche/acgc/ or contact the conference organizers at archecsmngc4 at googlemail.com.

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

The problem of modelling rational decisions is as central to our understanding of human behaviour as ever. The past few decades, however, witnessed a dramatic change in the way the problem has been approached. The mathematical core of the field is now steadily coupled with empirical and computational methods and techniques. As a result, current models move towards increasingly more accurate predictive capabilities.

Unfortunately, however, the problem can hardly said to be solved, as we all witnessed in recent years. Yet there is a tangible feeling that the present situation is favourable to the development of new, groundbreaking ideas, which will perhaps give the discipline its most significant turn in decades. The purpose of this workshop is to bring leading scholars and practitioners to share their view and vision on the current trends in rational decision theory, with a particular emphasis on its application to economics and finan>e.

For more information, see http://homepage.sns.it/hosni/lori/events/rhm/.

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

The problem of modelling rational decisions is as central to our understanding of human behaviour as ever. The past few decades, however, witnessed a dramatic change in the way the problem has been approached. The mathematical core of the field is now steadily coupled with empirical and computational methods and techniques. As a result, current models move towards increasingly more accurate predictive capabilities.

Unfortunately, however, the problem can hardly said to be solved, as we all witnessed in recent years. Yet there is a tangible feeling that the present situation is favourable to the development of new, groundbreaking ideas, which will perhaps give the discipline its most significant turn in decades. The purpose of this workshop is to bring leading scholars and practitioners to share their view and vision on the current trends in rational decision theory, with a particular emphasis on its application to economics and finan>e.

For more information, see http://homepage.sns.it/hosni/lori/events/rhm/.

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

The problem of modelling rational decisions is as central to our understanding of human behaviour as ever. The past few decades, however, witnessed a dramatic change in the way the problem has been approached. The mathematical core of the field is now steadily coupled with empirical and computational methods and techniques. As a result, current models move towards increasingly more accurate predictive capabilities.

Unfortunately, however, the problem can hardly said to be solved, as we all witnessed in recent years. Yet there is a tangible feeling that the present situation is favourable to the development of new, groundbreaking ideas, which will perhaps give the discipline its most significant turn in decades. The purpose of this workshop is to bring leading scholars and practitioners to share their view and vision on the current trends in rational decision theory, with a particular emphasis on its application to economics and finan>e.

For more information, see http://homepage.sns.it/hosni/lori/events/rhm/.

Optimization problems arising from applications such as medical imaging, radiation therapy, machine learning, shape design of mechanical structures and more, pose severe challenges due to the large dimensionality of the design space and the uncertainty affecting the problems' parameters. The four talks in this symposium present some current methodologies and computational schemes addressing the above challenges.

For more information, see http://homepages.cwi.nl/~monique/Optimization-Symposium-Day/

The Leonardo-Kolleg Workshop 2010 "Intelligence, Reflection and the Good Life" is organized by a multi-disciplinary committee of former scholars of the Leonardo-Kolleg of the University of Erlangen-Nuremberg, supported by the Leonardo-Kolleg, the Zentralinstitut für Angewandte Ethik und Wissenschaftskommunikation (ZIEW), and the University of Erlangen-Nuremberg.

Advanced students and young researchers from all academic areas are invited to submit contributions addressing the workshop's topic "Intelligence, Reflection and the Good Life". Both, submissions addressing one of the aforementioned subtopics, as well as submissions addressing the entire complex, are equally welcome.

For more information (as e.g. the complete Call for Papers and Participation), see here or email leonardo.kolleg.workshop at gmail.com.

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

The problem of modelling rational decisions is as central to our understanding of human behaviour as ever. The past few decades, however, witnessed a dramatic change in the way the problem has been approached. The mathematical core of the field is now steadily coupled with empirical and computational methods and techniques. As a result, current models move towards increasingly more accurate predictive capabilities.

Unfortunately, however, the problem can hardly said to be solved, as we all witnessed in recent years. Yet there is a tangible feeling that the present situation is favourable to the development of new, groundbreaking ideas, which will perhaps give the discipline its most significant turn in decades. The purpose of this workshop is to bring leading scholars and practitioners to share their view and vision on the current trends in rational decision theory, with a particular emphasis on its application to economics and finan>e.

For more information, see http://homepage.sns.it/hosni/lori/events/rhm/.

The Leonardo-Kolleg Workshop 2010 "Intelligence, Reflection and the Good Life" is organized by a multi-disciplinary committee of former scholars of the Leonardo-Kolleg of the University of Erlangen-Nuremberg, supported by the Leonardo-Kolleg, the Zentralinstitut für Angewandte Ethik und Wissenschaftskommunikation (ZIEW), and the University of Erlangen-Nuremberg.

Advanced students and young researchers from all academic areas are invited to submit contributions addressing the workshop's topic "Intelligence, Reflection and the Good Life". Both, submissions addressing one of the aforementioned subtopics, as well as submissions addressing the entire complex, are equally welcome.

For more information (as e.g. the complete Call for Papers and Participation), see here or email leonardo.kolleg.workshop at gmail.com.

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

The problem of modelling rational decisions is as central to our understanding of human behaviour as ever. The past few decades, however, witnessed a dramatic change in the way the problem has been approached. The mathematical core of the field is now steadily coupled with empirical and computational methods and techniques. As a result, current models move towards increasingly more accurate predictive capabilities.

Unfortunately, however, the problem can hardly said to be solved, as we all witnessed in recent years. Yet there is a tangible feeling that the present situation is favourable to the development of new, groundbreaking ideas, which will perhaps give the discipline its most significant turn in decades. The purpose of this workshop is to bring leading scholars and practitioners to share their view and vision on the current trends in rational decision theory, with a particular emphasis on its application to economics and finan>e.

For more information, see http://homepage.sns.it/hosni/lori/events/rhm/.

*PhDs in Logic* is an annual two-day graduate conference and winter school in logic. Each year we invite four established professors to do a tutorial on their work in two one-hour sessions. We also give about ten PhD students the opportunity to do a thirty-minute presentation on (a) their own work or (b) an overview of some topic in their field.

The current conference will feature the tutorials by Eric Pacuit (*Epistemic Logic*), Sonja Smets (*Quantum Logic*), Mai Gehrke (*Algebraic Logic*) and Peter Koepke (*Set Theory*). PhD students in logic with a background in philosophy, computer science, or mathematics are the intended audience for these tutorials. They are also the type of students we have in mind for our thirty-minute student sessions.

For more information, visit our website at http://www.vub.ac.be/phdsinlogic2011/.

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

Many tasks in computer science, such as design, synthesis, verification, etc. can be formulated in game-theoretic terms. Game playing is thus a powerful paradigm that fits many situations in which interaction between autonomous agents plays a central role. Abstracting security problems as games reveals the underlying theoretical and algorithmic questions, and helps to clarify the relationships between different domains. As an organizational principle, the concept of game offers a fresh and intuitive way of thinking through complex issues. There is now ample evidence that the diverse applications mentioned above can benefit from common analytical techniques and insights offered by algorithmic game theory, automata theory and logic.

The main goal of this workshop is to gather researchers interested in games, logic and security (in a broad sense), and to offer a privileged forum to present their work and exchange ideas on these topics.

The registration is free but mandatory. Deadline for registration: 4th November 2010.

All important details are available at http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy10.html

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

Many tasks in computer science, such as design, synthesis, verification, etc. can be formulated in game-theoretic terms. Game playing is thus a powerful paradigm that fits many situations in which interaction between autonomous agents plays a central role. Abstracting security problems as games reveals the underlying theoretical and algorithmic questions, and helps to clarify the relationships between different domains. As an organizational principle, the concept of game offers a fresh and intuitive way of thinking through complex issues. There is now ample evidence that the diverse applications mentioned above can benefit from common analytical techniques and insights offered by algorithmic game theory, automata theory and logic.

The main goal of this workshop is to gather researchers interested in games, logic and security (in a broad sense), and to offer a privileged forum to present their work and exchange ideas on these topics.

The registration is free but mandatory. Deadline for registration: 4th November 2010.

All important details are available at http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy10.html

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

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

For more information, see here. or contact marco.panza at univ-paris1.fr.

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

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

For more information, see here. or contact marco.panza at univ-paris1.fr.

An ambitious project like the philosophy of information cannot operate in isolation. Not only does it have to rely on input from the sciences of information and computation, it also needs to convince those who are sympathetic to the project (including those who had been philosophers of information without realising it) to contribute actively, and encourage the sceptics to challenge the basic assumptions of the philosophy of information. The series of workshops in the philosophy of information provide a platform for this kind of interaction.

For the third workshop on the philosophy of information, we bring together researchers who have been working in the philosophy of information, with researchers working in related areas.

Admission is free, but registration is required. Please send an email to patrick.allo at vub.ac.be with your name and affiliation. For more information, see http://www.vub.ac.be/CLWF/3WPI/

LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of workshops of JSAI isAI 2010, sponsored by JSAI.

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

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

An ambitious project like the philosophy of information cannot operate in isolation. Not only does it have to rely on input from the sciences of information and computation, it also needs to convince those who are sympathetic to the project (including those who had been philosophers of information without realising it) to contribute actively, and encourage the sceptics to challenge the basic assumptions of the philosophy of information. The series of workshops in the philosophy of information provide a platform for this kind of interaction.

For the third workshop on the philosophy of information, we bring together researchers who have been working in the philosophy of information, with researchers working in related areas.

Admission is free, but registration is required. Please send an email to patrick.allo at vub.ac.be with your name and affiliation. For more information, see http://www.vub.ac.be/CLWF/3WPI/

LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of workshops of JSAI isAI 2010, sponsored by JSAI.

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

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

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

The conference "Highlights of AutoMathA" is the culmination of the activities of the Research Network "Automata: From Mathematics to Applications", joining top research teams from 14 countries and funded by the European Science Foundation (ESF).

In 18 survey lectures by leading experts, the current state-of-the-art of automata theory will be presented, with a focus on progress obtained during the past decade, both in foundations and applications, and addressing also the challenges that will guide future research. The conference is an ideal and unique venue for all who are interested in an up-to-date overview of this rich and fastly developing area.

For younger researchers the conference will serve as an "Advanced Winter School of Automata Theory". Limited travel support for young researchers (up to 30 year old) is available (up to 300 Euro per person). Applications should be sent to Werner Kuich, the head of the organizing committee (kuich at pop.tuwien.ac.at).

For more information, registration (free but mandatory) and a program, see the conference website at http://dmg.tuwien.ac.at/automata

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

The conference "Highlights of AutoMathA" is the culmination of the activities of the Research Network "Automata: From Mathematics to Applications", joining top research teams from 14 countries and funded by the European Science Foundation (ESF).

In 18 survey lectures by leading experts, the current state-of-the-art of automata theory will be presented, with a focus on progress obtained during the past decade, both in foundations and applications, and addressing also the challenges that will guide future research. The conference is an ideal and unique venue for all who are interested in an up-to-date overview of this rich and fastly developing area.

For younger researchers the conference will serve as an "Advanced Winter School of Automata Theory". Limited travel support for young researchers (up to 30 year old) is available (up to 300 Euro per person). Applications should be sent to Werner Kuich, the head of the organizing committee (kuich at pop.tuwien.ac.at).

For more information, registration (free but mandatory) and a program, see the conference website at http://dmg.tuwien.ac.at/automata

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

The conference "Highlights of AutoMathA" is the culmination of the activities of the Research Network "Automata: From Mathematics to Applications", joining top research teams from 14 countries and funded by the European Science Foundation (ESF).

In 18 survey lectures by leading experts, the current state-of-the-art of automata theory will be presented, with a focus on progress obtained during the past decade, both in foundations and applications, and addressing also the challenges that will guide future research. The conference is an ideal and unique venue for all who are interested in an up-to-date overview of this rich and fastly developing area.

For younger researchers the conference will serve as an "Advanced Winter School of Automata Theory". Limited travel support for young researchers (up to 30 year old) is available (up to 300 Euro per person). Applications should be sent to Werner Kuich, the head of the organizing committee (kuich at pop.tuwien.ac.at).

For more information, registration (free but mandatory) and a program, see the conference website at http://dmg.tuwien.ac.at/automata

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

The conference "Highlights of AutoMathA" is the culmination of the activities of the Research Network "Automata: From Mathematics to Applications", joining top research teams from 14 countries and funded by the European Science Foundation (ESF).

In 18 survey lectures by leading experts, the current state-of-the-art of automata theory will be presented, with a focus on progress obtained during the past decade, both in foundations and applications, and addressing also the challenges that will guide future research. The conference is an ideal and unique venue for all who are interested in an up-to-date overview of this rich and fastly developing area.

For younger researchers the conference will serve as an "Advanced Winter School of Automata Theory". Limited travel support for young researchers (up to 30 year old) is available (up to 300 Euro per person). Applications should be sent to Werner Kuich, the head of the organizing committee (kuich at pop.tuwien.ac.at).

For more information, registration (free but mandatory) and a program, see the conference website at http://dmg.tuwien.ac.at/automata

Do different cultures embody fundamentally different styles of thinking? An emphasis on rigorous explicit logic has often been considered a hallmark of Western culture, dating back to Greek Antiquity. But things are more complex, and cultures sometimes have surprising similarities beyond their standard images.

In fact, logic started independently, roughly around the same time, in Greece, India, and China. What does this tell us about analogies in thinking across human beings and their cultures? How do we or should we perceive it? The aim of this workshop is to get clearer on these issues.

The workshop brings together experts in Chinese logic and Western logic, comparing themes and insights in these two traditions in detail. While focusing on the School of Mohism in the Pre-Qin period, the workshop will also study logical contributions by other schools, for instance, Confucianism. Basic concepts and reasoning patterns will be extensively explored at the workshop, linking up with modern logical notions and theories. We will also discuss how ancient Chinese logic developed, even into the 20th century, and study how this affects current ways of thinking. While the main emphasis of this event is scholarly, it also touches on major scientific and cultural issues today.

For more information, see http://www.sciencehistory.asia/history-logic-china

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

Do different cultures embody fundamentally different styles of thinking? An emphasis on rigorous explicit logic has often been considered a hallmark of Western culture, dating back to Greek Antiquity. But things are more complex, and cultures sometimes have surprising similarities beyond their standard images.

In fact, logic started independently, roughly around the same time, in Greece, India, and China. What does this tell us about analogies in thinking across human beings and their cultures? How do we or should we perceive it? The aim of this workshop is to get clearer on these issues.

The workshop brings together experts in Chinese logic and Western logic, comparing themes and insights in these two traditions in detail. While focusing on the School of Mohism in the Pre-Qin period, the workshop will also study logical contributions by other schools, for instance, Confucianism. Basic concepts and reasoning patterns will be extensively explored at the workshop, linking up with modern logical notions and theories. We will also discuss how ancient Chinese logic developed, even into the 20th century, and study how this affects current ways of thinking. While the main emphasis of this event is scholarly, it also touches on major scientific and cultural issues today.

For more information, see http://www.sciencehistory.asia/history-logic-china

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

Do different cultures embody fundamentally different styles of thinking? An emphasis on rigorous explicit logic has often been considered a hallmark of Western culture, dating back to Greek Antiquity. But things are more complex, and cultures sometimes have surprising similarities beyond their standard images.

In fact, logic started independently, roughly around the same time, in Greece, India, and China. What does this tell us about analogies in thinking across human beings and their cultures? How do we or should we perceive it? The aim of this workshop is to get clearer on these issues.

The workshop brings together experts in Chinese logic and Western logic, comparing themes and insights in these two traditions in detail. While focusing on the School of Mohism in the Pre-Qin period, the workshop will also study logical contributions by other schools, for instance, Confucianism. Basic concepts and reasoning patterns will be extensively explored at the workshop, linking up with modern logical notions and theories. We will also discuss how ancient Chinese logic developed, even into the 20th century, and study how this affects current ways of thinking. While the main emphasis of this event is scholarly, it also touches on major scientific and cultural issues today.

For more information, see http://www.sciencehistory.asia/history-logic-china

Traditional conceptions of logic model correct inference quite abstractly by Tarski style semantics or by reference to formal proof systems without much concern about empirical findings about human reasoning. The fact that logical inference has to be embedded in language use and thus implies communicative interaction between human agents, that is to be addressed also by empirical methods, is often neglected. The three EurocoresLogICCC
projects organising this workshop DiFoS, LcpR, and LoMoReVI address this challenge in various ways. The workshop aims at corresponding cross fertilization, stimulated by invited talks by external experts.

For more information, see http://www.logic.at/lomorevi/dipleap/

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

Traditional conceptions of logic model correct inference quite abstractly by Tarski style semantics or by reference to formal proof systems without much concern about empirical findings about human reasoning. The fact that logical inference has to be embedded in language use and thus implies communicative interaction between human agents, that is to be addressed also by empirical methods, is often neglected. The three EurocoresLogICCC
projects organising this workshop DiFoS, LcpR, and LoMoReVI address this challenge in various ways. The workshop aims at corresponding cross fertilization, stimulated by invited talks by external experts.

For more information, see http://www.logic.at/lomorevi/dipleap/

The Peripatetic Seminar on Sheaves and Logic (PSSL) is one of the oldest and longest lasting periodic seminars in mathematics. The scope of the PSSL is not limited to sheaves and logic; but more to category theory and its applications.

Category theory constitutes a research field of considerable interest, not only for its applications to computer science and physics, but also because of its rich mathematical theory which has unraveled deep connections between algebra, topology, logic and computer science.

For more information, see http://staff.science.uva.nl/~ciancia/PSSL91/

2010 is the hundredth anniversary of Russell-and-Whitehead's Principia, and a symposium to comemmorate it is to be held at the University where the authors were working. Speakers: Robert Constable, Michael Potter, Mohan Ganesingalam, John Harrison, Randall Holmes, Ivor Grattan-Guinness and Fairouz Kamareddine.

As can probably be discerned from the list of speakers, this meeting is intended to address a broad range of interests: history, foundational mathematics, philosophy, type theory and mechanical theorem-proving. The symposium will be valuable to people interested in the intersection of these areas, or in relevant sub-branches of each area. Practitioners and students alike would benefit from attending this meeting.

The URL of the conference is http://www.srcf.ucam.org/principia/ and there is a link thence to a mailing list.

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

Traditional conceptions of logic model correct inference quite abstractly by Tarski style semantics or by reference to formal proof systems without much concern about empirical findings about human reasoning. The fact that logical inference has to be embedded in language use and thus implies communicative interaction between human agents, that is to be addressed also by empirical methods, is often neglected. The three EurocoresLogICCC
projects organising this workshop DiFoS, LcpR, and LoMoReVI address this challenge in various ways. The workshop aims at corresponding cross fertilization, stimulated by invited talks by external experts.

For more information, see http://www.logic.at/lomorevi/dipleap/

The Peripatetic Seminar on Sheaves and Logic (PSSL) is one of the oldest and longest lasting periodic seminars in mathematics. The scope of the PSSL is not limited to sheaves and logic; but more to category theory and its applications.

Category theory constitutes a research field of considerable interest, not only for its applications to computer science and physics, but also because of its rich mathematical theory which has unraveled deep connections between algebra, topology, logic and computer science.

For more information, see http://staff.science.uva.nl/~ciancia/PSSL91/

2010 is the hundredth anniversary of Russell-and-Whitehead's Principia, and a symposium to comemmorate it is to be held at the University where the authors were working. Speakers: Robert Constable, Michael Potter, Mohan Ganesingalam, John Harrison, Randall Holmes, Ivor Grattan-Guinness and Fairouz Kamareddine.

As can probably be discerned from the list of speakers, this meeting is intended to address a broad range of interests: history, foundational mathematics, philosophy, type theory and mechanical theorem-proving. The symposium will be valuable to people interested in the intersection of these areas, or in relevant sub-branches of each area. Practitioners and students alike would benefit from attending this meeting.

The URL of the conference is http://www.srcf.ucam.org/principia/ and there is a link thence to a mailing list.

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

The European Epistemology Network (EEN) provides a platform for cooperation and exchange among epistemologists and those interested in the theory of knowledge in Europe. The 2011 meeting is held in Lund, Sweden, from Thu 17th - Sat 19th of March.

For more information, see http://www.fil.lu.se/conferences/conference.asp?id=44

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