The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, despite remarkable progress in recent years. Many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.

For this year's meeting, there will be a particular focus on effectively closed sets and on algorithmic randomness.

For more information, see http://cca-net.de/cca2006/

The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, despite remarkable progress in recent years. Many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.

For this year's meeting, there will be a particular focus on effectively closed sets and on algorithmic randomness.

For more information, see http://cca-net.de/cca2006/

The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, despite remarkable progress in recent years. Many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.

For this year's meeting, there will be a particular focus on effectively closed sets and on algorithmic randomness.

For more information, see http://cca-net.de/cca2006/

The 17th Novembertagung on the History and Philosophy of Mathematics will take place from Friday 3rd to Sunday 5th November 2006 at the Science Studies Unit in the University of Edinburgh.

The "Novembertagung" is an annual international event, started in 1990, which brings together young historians and philosophers of mathematics. The conference provides an opportunity to give a presentation in a relaxed and friendly atmosphere. It is open to PhD students, post-doctoral fellows, and others who are at an early stage in their research careers.

For more information, and to register for the conference or apply to give a paper, please go to http://www.17th-novembertagung.net/ or email contact at 17th-novembertagung.net

The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, despite remarkable progress in recent years. Many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.

For this year's meeting, there will be a particular focus on effectively closed sets and on algorithmic randomness.

For more information, see http://cca-net.de/cca2006/

The 17th Novembertagung on the History and Philosophy of Mathematics will take place from Friday 3rd to Sunday 5th November 2006 at the Science Studies Unit in the University of Edinburgh.

The "Novembertagung" is an annual international event, started in 1990, which brings together young historians and philosophers of mathematics. The conference provides an opportunity to give a presentation in a relaxed and friendly atmosphere. It is open to PhD students, post-doctoral fellows, and others who are at an early stage in their research careers.

For more information, and to register for the conference or apply to give a paper, please go to http://www.17th-novembertagung.net/ or email contact at 17th-novembertagung.net

The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, despite remarkable progress in recent years. Many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.

For this year's meeting, there will be a particular focus on effectively closed sets and on algorithmic randomness.

For more information, see http://cca-net.de/cca2006/

The 17th Novembertagung on the History and Philosophy of Mathematics will take place from Friday 3rd to Sunday 5th November 2006 at the Science Studies Unit in the University of Edinburgh.

The "Novembertagung" is an annual international event, started in 1990, which brings together young historians and philosophers of mathematics. The conference provides an opportunity to give a presentation in a relaxed and friendly atmosphere. It is open to PhD students, post-doctoral fellows, and others who are at an early stage in their research careers.

For more information, and to register for the conference or apply to give a paper, please go to http://www.17th-novembertagung.net/ or email contact at 17th-novembertagung.net

Program
14 - 15 uur: Stephen Read (St. Andrews): Why is Bradwardine so Good?
15 - 16 uur: Sara Uckelman (UvA): The Changing Scope of Logic: Recasting the *logica vetus*/*logica nova* distinction
16 - 17 uur: Göran Sundholm: The Propositio per se nota and Formal Consequentia. Two Strands in the Validity of Logical Inference.
17 - 18 uur: Borrel.

All lectures are 30 minutes, followed by 15 minutes of discussion and a break.

Address: Room 007, Witte Singel-Doelen complex, Matthias de Vrieshof 4, Leiden

For more information, contact: Bert Bos at c.e.bos at hetnet.nl.

The process of voting can be seen as the aggregation of individual preferences (i.e., that of the voters for candidates) to produce a collectively preferred alternative (the result of the election). This problem is extensively studied by social choice theory. On the other hand, belief revision investigates the dynamics of the process of belief change: when an agent is faced with new information which contradicts his/her current beliefs, he/she will have to retract some of the old beliefs in order to accommodate the new belief consistently. The main concern here is how to make a fair decision on what old beliefs to retract. There is a vaste literature on the subject. Similarly, belief merging investigates ways to aggregate a number of individual belief bases into a collective one. Here again, the aggregation procedure in belief merging faces problems similar to those addressed in voting theory and belief revision. Although there are clear connections and sharing of principles between the areas, the investigation of the similarities between the three of them is quite new. The main motivation for this workshop is to promote interaction between researchers of the areas and generate cross-fertilisation of ideas.

For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/.

The process of voting can be seen as the aggregation of individual preferences (i.e., that of the voters for candidates) to produce a collectively preferred alternative (the result of the election). This problem is extensively studied by social choice theory. On the other hand, belief revision investigates the dynamics of the process of belief change: when an agent is faced with new information which contradicts his/her current beliefs, he/she will have to retract some of the old beliefs in order to accommodate the new belief consistently. The main concern here is how to make a fair decision on what old beliefs to retract. There is a vaste literature on the subject. Similarly, belief merging investigates ways to aggregate a number of individual belief bases into a collective one. Here again, the aggregation procedure in belief merging faces problems similar to those addressed in voting theory and belief revision. Although there are clear connections and sharing of principles between the areas, the investigation of the similarities between the three of them is quite new. The main motivation for this workshop is to promote interaction between researchers of the areas and generate cross-fertilisation of ideas.

For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/.

Researchers in such areas as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. As the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications.

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

The process of voting can be seen as the aggregation of individual preferences (i.e., that of the voters for candidates) to produce a collectively preferred alternative (the result of the election). This problem is extensively studied by social choice theory. On the other hand, belief revision investigates the dynamics of the process of belief change: when an agent is faced with new information which contradicts his/her current beliefs, he/she will have to retract some of the old beliefs in order to accommodate the new belief consistently. The main concern here is how to make a fair decision on what old beliefs to retract. There is a vaste literature on the subject. Similarly, belief merging investigates ways to aggregate a number of individual belief bases into a collective one. Here again, the aggregation procedure in belief merging faces problems similar to those addressed in voting theory and belief revision. Although there are clear connections and sharing of principles between the areas, the investigation of the similarities between the three of them is quite new. The main motivation for this workshop is to promote interaction between researchers of the areas and generate cross-fertilisation of ideas.

For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/.

Researchers in such areas as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. As the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications.

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

Researchers in such areas as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. As the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications.

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

The workshop will be held at Notre Dame the weekend of Saturday, November 11th and Sunday, November 12th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

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

Oxford's graduate philosophy conferences are unique in that faculty members lead the replies to student papers, thus providing student participants with the opportunity to engage in direct discussion of their papers with leading philosophers.

For more information, see website: http://www.philosophy.ox.ac.uk/gradconf/ E-mail: gradconf at philosophy.ox.ac.uk

The workshop will be held at Notre Dame the weekend of Saturday, November 11th and Sunday, November 12th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

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

Oxford's graduate philosophy conferences are unique in that faculty members lead the replies to student papers, thus providing student participants with the opportunity to engage in direct discussion of their papers with leading philosophers.

For more information, see website: http://www.philosophy.ox.ac.uk/gradconf/ E-mail: gradconf at philosophy.ox.ac.uk

The 6th International Workshop on the Implementation of Logics (IWIL-6) will be held 12th November 2006, as part of LPAR-13 in Phnom Penh, Cambodia. The IWIL workshop series brings together developers and users of systems that implement reasoning in logic, to share information about successful implementation techniques for automated reasoning systems and similar programs.

For more information, see http://www.cs.miami.edu/~geoff/Conferences/IWIL-6/

Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop, part of LPAR-13, is primarily intended to enhance awareness for this topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues.

For more information, see http://www.logic.at/staff/chrisf/ws/AS-2.html

The IADIS Applied Computing 2007 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects.

For more information, see http://www.computing-conf.org/ or contact the organizers at ac_sec at iadis.org.

For more information, see http://www.lix.polytechnique.fr/~hermann/LPAR2006/

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

The general philosophical theme of this meeting will be that of why and how philosophers and historians of mathematics need each other. This takes for granted the thesis, ventilated by Lakatos, that they do so. One is here referring, of course, to his famous paraphrase of Kantian dictum: "The history of mathematics, lacking the guidance of philosophy, has become blind, while the philosophy of mathematics, turning its back on the most intruiging phenomena in the history of mathematics, has become empty".

Any serious attempt at remedying this, and thus approaching the history and philosophy of mathematics, will either have to "bring to" philosophers the historian's expertise of conducting meticulous diachronical case-studies, or else "bring to" historians the philosopher's concern with epistemological depth; preferably both. Moreover, a focus on the historical dimension of mathematical practices is not to the exclusion of contemporary themes. To the contrary: Lakatos's point pertains to the historicity of mathematical knowledge, past and present.

For more and detailed information, visit http://www.vub.ac.be/CLWF/PMP2007/.

The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

WMSCI 2007 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking.

For more information, see http://www.iiis-cyber.org/wmsci2007/.

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

Speakers: Fabian Dorsch, Lucy O'Brien, Susanna Siegel, A. David Smith, Stephen White

Open to all those interested; but please, if possible, notify us of your participation.

For more information, see http://www.unifr.ch/philo/fr/news/events_display.php?id=1

Dear Colleagues,

The Joint Session of the two Divisions of the International Union for History and Philosophy of Science is planned in Paris, November 17-18, at the École Normale Supérieure. The thema of the conference is: "Calculability and Constructivity: Historical and Philosophical Aspects".

More information on the website of the conference at http://www-ihpst.univ-paris1.fr/dlmps/jointsession06/.

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

Speakers: Fabian Dorsch, Lucy O'Brien, Susanna Siegel, A. David Smith, Stephen White

Open to all those interested; but please, if possible, notify us of your participation.

For more information, see http://www.unifr.ch/philo/fr/news/events_display.php?id=1

Dear Colleagues,

The Joint Session of the two Divisions of the International Union for History and Philosophy of Science is planned in Paris, November 17-18, at the École Normale Supérieure. The thema of the conference is: "Calculability and Constructivity: Historical and Philosophical Aspects".

More information on the website of the conference at http://www-ihpst.univ-paris1.fr/dlmps/jointsession06/.

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

The 39th ACM Symposium on Theory of Computing (STOC 2007), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Diego, CA, June 11 to 13, 2007, as part of the FCRC. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, algorithmic graph theory and combinatorics, randomness in computing, parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational game theory, quantum computing and other alternative models of computation, and theoretical aspects of areas such as databases, information retrieval, and networks.

For more information, see http://research.microsoft.com/research/theory/feige/homepagefiles/stoc07.htm

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

A one-day conference in the series "Set theory and its neighbours", which will take place on Wednesday 22nd November 2006 at the Department of Mathematics, University College London. The speakers at the meeting will be Riccardo Camerlo (Turin), Greg Piper (tbc), Shingo Saito (University College London) and Philip Welch (Bristol)

As ever, we hope to keep the meeting fairly relaxed, allowing plenty of opportunity for informal discussion. We welcome and encourage anyone to participate. Please do tell anyone about the meeting who you think may be interested in it. We are happy for you to email us to let us know if you intend to come, but you are also very welcome simply to turn up on the day if you make a late decision.

For more information, see http://www.ucl.ac.uk/~ucahcjm/stn.html

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

Friday, November 24
14.00 Marietje van der Schaar (Leiden): Bolzano on Judgement and Error.
16.00 Igor Douven (Leuven): Antirealist Truth.

Saturday, November 25
9.00 Leon Horsten (Leuven): Inferential Deflationism.
11.00 Gabriel Sandu (Helsinki/Paris): The Van Heijenoort-Hintikka Dichotomy.
14.00 Paolo Casalegno (Milan): Margin for Error Principles and Williamson's Antiluminosity Thesis.
16.00 Kevin Mulligan (Geneva): Reasons, Rightness and Knowledge.

Sunday, November 26
10.00 Per Martin-Löf (Stockholm): Evidence and Coherence.

Participation is free, but participants are requested to register via email to Prof B.G.Sundholm at b.g.sundholm at let.leidenuniv.nl. For more information, see http://www.filosofie.leidenuniv.nl/index.php3?m=&c=268

Papers are invited to a special issue of the Journal on Satisfiability, Boolean Modeling and Computation (JSAT) on the subject of Satisfiability Modulo Theories (SMT). Deadline for paper submission: November 25th, 2006.

For more information, see http://dit.unitn.it/~rseba/jsat_smt06/.

Friday, November 24
14.00 Marietje van der Schaar (Leiden): Bolzano on Judgement and Error.
16.00 Igor Douven (Leuven): Antirealist Truth.

Saturday, November 25
9.00 Leon Horsten (Leuven): Inferential Deflationism.
11.00 Gabriel Sandu (Helsinki/Paris): The Van Heijenoort-Hintikka Dichotomy.
14.00 Paolo Casalegno (Milan): Margin for Error Principles and Williamson's Antiluminosity Thesis.
16.00 Kevin Mulligan (Geneva): Reasons, Rightness and Knowledge.

Sunday, November 26
10.00 Per Martin-Löf (Stockholm): Evidence and Coherence.

Participation is free, but participants are requested to register via email to Prof B.G.Sundholm at b.g.sundholm at let.leidenuniv.nl. For more information, see http://www.filosofie.leidenuniv.nl/index.php3?m=&c=268

Friday, November 24
14.00 Marietje van der Schaar (Leiden): Bolzano on Judgement and Error.
16.00 Igor Douven (Leuven): Antirealist Truth.

Saturday, November 25
9.00 Leon Horsten (Leuven): Inferential Deflationism.
11.00 Gabriel Sandu (Helsinki/Paris): The Van Heijenoort-Hintikka Dichotomy.
14.00 Paolo Casalegno (Milan): Margin for Error Principles and Williamson's Antiluminosity Thesis.
16.00 Kevin Mulligan (Geneva): Reasons, Rightness and Knowledge.

Sunday, November 26
10.00 Per Martin-Löf (Stockholm): Evidence and Coherence.

Participation is free, but participants are requested to register via email to Prof B.G.Sundholm at b.g.sundholm at let.leidenuniv.nl. For more information, see http://www.filosofie.leidenuniv.nl/index.php3?m=&c=268

One of the most striking developments in recent epistemological theorizing is the use of linguistic data and arguments to defend epistemological positions. Famous epistemological positions that are motivated and disputed in this way are contextualism, subject sensitive invariantism, and contrastivism. The overall aim of this conference is to bring together outstanding researchers working in this area of epistemology to both discuss the validity of the 'linguistic method' and bring this method into actual practice.

For more information, see http://www.abdn.ac.uk/philosophy/events/lingepist/ or contact Martijn Blaauw at m.blaauw at abdn.ac.uk.

Recently, the dynamic and interactive aspects of logical reasoning, communication, and information processing have become central in logic, linguistics and computer science. It is the interplay of many actors with goals and preferences, whether human or computational, which underlies their core tasks. To account for these interactive aspects, the notion of a 'game' as a mathematical model of strategic interaction between players with their own preferences on the possible outcomes has proved to be important in all those disciplines.

The purpose of this colloquium is to encourage these incipient interactions between the various disciplines thinking about games and interaction, and clarify their common concerns and potential for fruitful collaboration. The colloquium will be organized as an Academie Colloquium of the Royal Acedemy of the Netherlands (KNAW) and will consist of fifteen invited talks by international speakers that cover various aspects of games in logic, computer science, economics, and linguistics. Each talk will be followed by a commentary and discussion.

For more information, see https://www.illc.uva.nl/KNAW-AC/

LATA 2007 intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://www.grlmc.com/