There is a traditional picture of logic that may be spelled out as follows: Logic is concerned with the principles for correct reasoning and valid arguments; its principles are universal, necessary, apriori and formal; logically valid arguments are necessarily truth-preserving and have a fundamental epistemic significance; and finally, logic is in some sense a normative discipline.

This traditional picture gives rise to many questions. The notions of universality, logical necessity,apriority, and formality are difficult to analyze. In what sense, if any, is logic normative? Is there a principled way of distinguishing between logical and non-logical concepts? While continuing to face these foundational questions, logic has developed into an advanced mathematical discipline - mathematical logic - where the informal notions of logical proof, validity and logical consequence are given mathematical explications.

For more information, see http://web.me.com/stenlindstrom/Webbplats/workshop.html

In 1964, in one of the six Messenger lectures he delivered at Cornell University, Richard Feynman said: "It always bothers me that, according to the laws as we understand them today, it takes a computing machine an infinite number of logical operations to figure out what goes on in no matter how tiny a region of space, and no matter how tiny a region of time ... So I have often made the hypothesis that ultimately physics will not require a mathematical statement, that in the end the machinery will be revealed, and the laws will turn out to be simple, like the chequer board with all its apparent complexities."

The topic of the conference has been chosen with this quote in mind. The conference will host a most distinguished group of scientists supporting different views of a computable universe, from those supporting the thesis that Nature performs (only) digital computation and does it up to a maximal level, to those supporting the thesis of nature as a quantum computer. Some strongly suggest however that the true nature of Nature can be only explained by the study of randomness. Randomness however preserves its mysterious reputation, for some of these authors it seems that randomness can be generated deterministically in the classical sense, while others claim the existence of "true" randomness from the principles underlying quantum mechanics necessarily to explain the complexity seen around. This event will become the place of confluence in which all these views will be presented, discussed and analyzed by the guests and the conference participants themselves. After presenting their views during the first three days of the conference, the keynote speakers will then participate in a round table discussion on the topic.

For more information, see http://www.cs.indiana.edu/~dgerman/2008midwestNKSconference/.

There is a traditional picture of logic that may be spelled out as follows: Logic is concerned with the principles for correct reasoning and valid arguments; its principles are universal, necessary, apriori and formal; logically valid arguments are necessarily truth-preserving and have a fundamental epistemic significance; and finally, logic is in some sense a normative discipline.

This traditional picture gives rise to many questions. The notions of universality, logical necessity,apriority, and formality are difficult to analyze. In what sense, if any, is logic normative? Is there a principled way of distinguishing between logical and non-logical concepts? While continuing to face these foundational questions, logic has developed into an advanced mathematical discipline - mathematical logic - where the informal notions of logical proof, validity and logical consequence are given mathematical explications.

For more information, see http://web.me.com/stenlindstrom/Webbplats/workshop.html

In 1964, in one of the six Messenger lectures he delivered at Cornell University, Richard Feynman said: "It always bothers me that, according to the laws as we understand them today, it takes a computing machine an infinite number of logical operations to figure out what goes on in no matter how tiny a region of space, and no matter how tiny a region of time ... So I have often made the hypothesis that ultimately physics will not require a mathematical statement, that in the end the machinery will be revealed, and the laws will turn out to be simple, like the chequer board with all its apparent complexities."

The topic of the conference has been chosen with this quote in mind. The conference will host a most distinguished group of scientists supporting different views of a computable universe, from those supporting the thesis that Nature performs (only) digital computation and does it up to a maximal level, to those supporting the thesis of nature as a quantum computer. Some strongly suggest however that the true nature of Nature can be only explained by the study of randomness. Randomness however preserves its mysterious reputation, for some of these authors it seems that randomness can be generated deterministically in the classical sense, while others claim the existence of "true" randomness from the principles underlying quantum mechanics necessarily to explain the complexity seen around. This event will become the place of confluence in which all these views will be presented, discussed and analyzed by the guests and the conference participants themselves. After presenting their views during the first three days of the conference, the keynote speakers will then participate in a round table discussion on the topic.

For more information, see http://www.cs.indiana.edu/~dgerman/2008midwestNKSconference/.

The Center for Research in Syntax, Semantics and Phonology (CRISSP) in Brussels is pleased to announce the first Brussels Conference on Natural Logic. The theme of this year's conference is Logic Now and Then.

For more information, see http://www.crissp.be/lnat.html

The Center for Research in Syntax, Semantics and Phonology (CRISSP) in Brussels is pleased to announce the first Brussels Conference on Natural Logic. The theme of this year's conference is Logic Now and Then.

For more information, see http://www.crissp.be/lnat.html

The Center for Research in Syntax, Semantics and Phonology (CRISSP) in Brussels is pleased to announce the first Brussels Conference on Natural Logic. The theme of this year's conference is Logic Now and Then.

For more information, see http://www.crissp.be/lnat.html

The academic conference on Logic and Cognition is an annual meeting since the year 2001. It is a continuous effort to share insights on the interaction between different logics and cognition. The 7th international conference on Logic and Cognition sponsored by the Institute of Logic and Cognition (ILC) and the Institute of Logic, Language and Computation (ILLC) aims to bring together researchers from philosophy, psychology, and linguistics to discuss the issues of common interest, and to serve as a platform for future research. For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/

For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/Index.asp or contact Minghui Xiong (hssxmh at mail.sysu.edu.cn) or Fenrong Liu (fenrong at mail.tsinghua.edu.cn).

The academic conference on Logic and Cognition is an annual meeting since the year 2001. It is a continuous effort to share insights on the interaction between different logics and cognition. The 7th international conference on Logic and Cognition sponsored by the Institute of Logic and Cognition (ILC) and the Institute of Logic, Language and Computation (ILLC) aims to bring together researchers from philosophy, psychology, and linguistics to discuss the issues of common interest, and to serve as a platform for future research. For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/

For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/Index.asp or contact Minghui Xiong (hssxmh at mail.sysu.edu.cn) or Fenrong Liu (fenrong at mail.tsinghua.edu.cn).

Continuing the mission of the highly successful first AGI conference (AGI-08), AGI-09 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

For more information, see http://www.agi-09.org/

The academic conference on Logic and Cognition is an annual meeting since the year 2001. It is a continuous effort to share insights on the interaction between different logics and cognition. The 7th international conference on Logic and Cognition sponsored by the Institute of Logic and Cognition (ILC) and the Institute of Logic, Language and Computation (ILLC) aims to bring together researchers from philosophy, psychology, and linguistics to discuss the issues of common interest, and to serve as a platform for future research. For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/

For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/Index.asp or contact Minghui Xiong (hssxmh at mail.sysu.edu.cn) or Fenrong Liu (fenrong at mail.tsinghua.edu.cn).

The academic conference on Logic and Cognition is an annual meeting since the year 2001. It is a continuous effort to share insights on the interaction between different logics and cognition. The 7th international conference on Logic and Cognition sponsored by the Institute of Logic and Cognition (ILC) and the Institute of Logic, Language and Computation (ILLC) aims to bring together researchers from philosophy, psychology, and linguistics to discuss the issues of common interest, and to serve as a platform for future research. For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/

For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/Index.asp or contact Minghui Xiong (hssxmh at mail.sysu.edu.cn) or Fenrong Liu (fenrong at mail.tsinghua.edu.cn).

Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. This workshop is dedicated to discussing the similarities and differences of existing controlled natural languages of the second type (those that enable reliable automatic semantic analysis of the language), possible improvements to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2009/

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, and CSMN, Centre for the Study of Mind in Nature, are pleased to announce the fifth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy, especially in the areas of Philosophy of Language, Philosophy of Mind, Epistemology, and Metaphysics.

For more information, see http://www.st-andrews.ac.uk/~arche/acgc/

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, and CSMN, Centre for the Study of Mind in Nature, are pleased to announce the fifth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy, especially in the areas of Philosophy of Language, Philosophy of Mind, Epistemology, and Metaphysics.

For more information, see http://www.st-andrews.ac.uk/~arche/acgc/

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, and CSMN, Centre for the Study of Mind in Nature, are pleased to announce the fifth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy, especially in the areas of Philosophy of Language, Philosophy of Mind, Epistemology, and Metaphysics.

For more information, see http://www.st-andrews.ac.uk/~arche/acgc/

CLIN 19 is the Nineteenth Meeting of Computational Linguistics in The Netherlands (Deadline for abstract submission: Monday 17 November 2008). The meeting will take place in Groningen, The Netherlands. It will be held on Thursday 22 January 2009 in conjunction with the Treebanks and Linguistic Theory (TLT) conference.

For more information, see http://www.let.rug.nl/clin/

On Wednesday 19th November there will be the 17th meeting in the series "Set Theory and its Neighbours" in the Mathematics Dept. at the University of Bristol. The theme will be "Set Theory and Its Neighbours: Set Theory, Games, and Bounded Arithmetic".

Further information and a program can be found at http://www.logic.univie.ac.at/~welch/.

Capturing common sense knowledge often involves uncovering the implicit, unstated assumptions behind communication, often best expressed through stories. Work in story representations dates back to Schank-style scripts and other efforts in the 80s, but recent developments have unleashed new potential in this area. The maturity of common sense knowledge bases such as Cyc, Open Mind and ThoughtTreasure; statistical and corpora-based natural language understanding techniques; the explosion of participatory knowledge collection over the Web; progress in cognitive science; the popularity of Web-based storytelling media such as blogs; and new common sense reasoning techniques are all enablers of the new generation of work on common sense stories.

We are accepting both papers and demos to our workshop. Submission deadline is November 20th. For more information, see http://csc.media.mit.edu/iuiStories/.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University.

For more information, see http://www.qatar.cmu.edu/lpar08/.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University.

For more information, see http://www.qatar.cmu.edu/lpar08/.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University.

For more information, see http://www.qatar.cmu.edu/lpar08/.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University.

For more information, see http://www.qatar.cmu.edu/lpar08/.

The "Moscow-Utrecht meeting" will cover a variety of topics in theoretical and applied logic. Speakers: Adian, De Jongh, Van Oostrom, Vaporis, Plisko, Shapirovsky, Beklemishev, Van Oosten, Broersen, Shatrov, Shehtman.

The first edition has been held in Steklov Mathematical Institute, Moscow (May 5-8, 2008). For more information, see http://people.cs.uu.nl/paolo/LMRC/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University.

For more information, see http://www.qatar.cmu.edu/lpar08/.

The "Moscow-Utrecht meeting" will cover a variety of topics in theoretical and applied logic. Speakers: Adian, De Jongh, Van Oostrom, Vaporis, Plisko, Shapirovsky, Beklemishev, Van Oosten, Broersen, Shatrov, Shehtman.

The first edition has been held in Steklov Mathematical Institute, Moscow (May 5-8, 2008). For more information, see http://people.cs.uu.nl/paolo/LMRC/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University.

For more information, see http://www.qatar.cmu.edu/lpar08/.

On November 28 2008 the Donders Institute for Brain, Cognition and Behaviour will organize a symposium on the occasion of the opening with internationally-renowned speakers from world-class research institutes.

For more information, see http://www.ru.nl/neuroimaging/general/news/