News and Events: Conferences

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

The calender view is not available on the mobile version of the website. You can view this information as a list.

You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

<< October 2008 >>
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Click on an event to view details.

22-23 January 2009, 3rd Bi-Annual Conference of the Dutch-Flemish Association for Analytic Philosophy (VAF 2009), Tilburg, The Netherlands

Date: 22-23 January 2009
Location: Tilburg, The Netherlands
Deadline: 1 October 2008

Analytic philosophy has a prominent place in Dutch and Flemish philosophy departments. In order to promote analytic philosophy in the Dutch and Flemish communities, the Vereniging voor Analytische Filosofie (VAF) was founded in 2006. The third bi-annual organised event of the VAF will be a two-day conference on recent trends in philosophy of language.

For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/VAF2009/

The Programme Committee cordially invites all researchers to submit their papers for presentation. We especially invite contributions on
1. minimalism and contextualism in semantics
2. Interactions between philosophy of language and (social) epistemology
3. Philosophical and psychological theories of Conditionals
Submission deadline is 1 October 2008.

Special Issue of Dialectica "The Metaphysics of Vectors"

Deadline: 1 October 2008

Philosophical theorizing about the nature of properties has usually focussed on examples that are all-or-nothing (red, square), and scalar valued (mass, temperature). Properties with more complex values, such as vectorial properties (velocity, field strength) have not received much attention. To redress this imbalance, dialectica invites submissions for publication in a special issue on the metaphysics of vectors in the first half of 2009. Guest editors: Philipp Keller, Stephan Leuenberger.

Please send a pdf prepared for blind reviewing to and . Deadline for Submissions: October 1, 2008 (Notification of Acceptance: January 1, 2009, Final version due: March 1, 2009).

28 September - 1 October 2008, JELIA 2008 (11th European Conference on Logics in Artificial Intelligence), , Dresden, Germany

Date: 28 September - 1 October 2008
Location: Dresden, Germany
Deadline: 2 June 2008

The JELIA conference series is the main European forum devoted to logics in Artificial Intelligence (AI). As the latest edition of this biannual series, JELIA 2008 aims at bringing together researchers interested in all aspects of logics in AI, including their theory, applications of both theoretical and practical nature, and systems. As its predecessors, JELIA 2008 strives to foster links and facilitate cross-fertilisation of ideas between researchers from various disciplines, between researchers from academia and industry, and between theoreticians and practitioners.

Further information about JELIA 2008 is available at http://www.jelia.eu/.

3-4 October 2008, Philosophy's Relevance in Information Science, Conference, Paderborn, Germany

Date: 3-4 October 2008
Location: Paderborn, Germany
Deadline: 15 August 2008

The conference aims to present the multilayered reciprocal effects between philosophical basic reflection and applied research in the context of Philosophy and Information Science. It adresses a larger public and offers a forum of discussion between experts from different specialist areas.

For more information, see http://www.uni-paderborn.de/philosophy-information-science

3-4 October 2008, Philosophy's Relevance in Information Science, Conference, Paderborn, Germany

Date: 3-4 October 2008
Location: Paderborn, Germany
Deadline: 15 August 2008

The conference aims to present the multilayered reciprocal effects between philosophical basic reflection and applied research in the context of Philosophy and Information Science. It adresses a larger public and offers a forum of discussion between experts from different specialist areas.

For more information, see http://www.uni-paderborn.de/philosophy-information-science

8-11 October 2008, Workshop "Advances in Constructive Topology and Logical Foundations", Padua, Italy

Date: 8-11 October 2008
Location: Padua, Italy

The workshop is held in honor of the 60th birthday of Giovanni Sambin. The list of speakers includes outstanding scholars such as Per Martin-Löf and many followers of Giovanni Sambin.

For more information, see http://www.math.unipd.it/60thsambin/

8-11 October 2008, Workshop "Advances in Constructive Topology and Logical Foundations", Padua, Italy

Date: 8-11 October 2008
Location: Padua, Italy

The workshop is held in honor of the 60th birthday of Giovanni Sambin. The list of speakers includes outstanding scholars such as Per Martin-Löf and many followers of Giovanni Sambin.

For more information, see http://www.math.unipd.it/60thsambin/

9-10 October 2008, Formal Modeling in Social Epistemology, Tilburg, Netherlands

Date: 9-10 October 2008
Location: Tilburg, Netherlands
Deadline: 15 August 2008

Social epistemology is a relatively new and booming field of research. It studies the social dimension of the pursuit of acquiring true beliefs and requires philosophical as well as sociological and economical expertise. The insights gained in social epistemology are not only of theoretical interest -- they also improve our understanding of social and political processes as the field includes the analysis of group deliberation and group decision making. Surprisingly, little work has yet been done on the epistemic properties of group deliberation, belief aggregation and decision-making procedures. This workshop aims at closing this gap with the help of formal models that ideally combine representational adequacy with instructive analytical results. To this end, we welcome contributions from all relevant fields of research.

For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/FMP2008/

10-15 May 2009, AAMAS-09: Autonomous Agents and Multi-Agent Systems, Budapest, Hungary

Date: 10-15 May 2009
Location: Budapest, Hungary
Deadline: 10 October 2008

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and AA. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.

Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline

For more information, see http://www.conferences.hu/AAMAS2009/

AAMAS-09 encourages the submission of *original* papers covering theoretical, experimental, methodological, and application issues in autonomous agents and multiagent systems. Submission deadline is Oct 10, 2008.

10-13 November 2008, 7th International Conference on Logic and Cognition (ICLC-2008), Guangzhou, China

Date: 10-13 November 2008
Location: Guangzhou, China
Deadline: 10 October 2008

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 () or Fenrong Liu ().

The Programme Committee invites abstract/short papers on a broad range on topics relating to the overall theme of the conference - logic and cognition. Deadline for submission: October 10, 2008.

8-11 October 2008, Workshop "Advances in Constructive Topology and Logical Foundations", Padua, Italy

Date: 8-11 October 2008
Location: Padua, Italy

The workshop is held in honor of the 60th birthday of Giovanni Sambin. The list of speakers includes outstanding scholars such as Per Martin-Löf and many followers of Giovanni Sambin.

For more information, see http://www.math.unipd.it/60thsambin/

9-10 October 2008, Formal Modeling in Social Epistemology, Tilburg, Netherlands

Date: 9-10 October 2008
Location: Tilburg, Netherlands
Deadline: 15 August 2008

Social epistemology is a relatively new and booming field of research. It studies the social dimension of the pursuit of acquiring true beliefs and requires philosophical as well as sociological and economical expertise. The insights gained in social epistemology are not only of theoretical interest -- they also improve our understanding of social and political processes as the field includes the analysis of group deliberation and group decision making. Surprisingly, little work has yet been done on the epistemic properties of group deliberation, belief aggregation and decision-making procedures. This workshop aims at closing this gap with the help of formal models that ideally combine representational adequacy with instructive analytical results. To this end, we welcome contributions from all relevant fields of research.

For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/FMP2008/

8-11 October 2008, Workshop "Advances in Constructive Topology and Logical Foundations", Padua, Italy

Date: 8-11 October 2008
Location: Padua, Italy

The workshop is held in honor of the 60th birthday of Giovanni Sambin. The list of speakers includes outstanding scholars such as Per Martin-Löf and many followers of Giovanni Sambin.

For more information, see http://www.math.unipd.it/60thsambin/

17-18 January 2009, CfP Second Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, Cambridge, U.K.

Date: 17-18 January 2009
Location: Cambridge, U.K.
Deadline: 17 October 2008

The Philosophy Faculty of Cambridge University is pleased to announce its second graduate conference on the Philosophy of Logic and Mathematics. The conference will be held in The Fisher Building of St. John's College, Cambridge (CB2 1TP). Keynote speakers are Prof. Hannes Leitgeb (Bristol) and Prof. Timothy Williamson (Oxford).

For more information, see http://www.phil.cam.ac.uk/news_events/camgradphilconf.html or contact the conference organizers, Luca Incurvati & Florian Steinberger, at .

The program committee invites papers from graduate students, or those who have recently completed their PhD, on any topic in the Philosophy of Logic and Mathematics, broadly construed. The deadline for receipt of submissions is 17th October 2008.

7-8 January 2009, Workshop on Logic and Social Interaction, Institute of Mathematical Sciences, Chennai, India

Date: 7-8 January 2009
Location: Institute of Mathematical Sciences, Chennai, India
Deadline: 20 October 2008

The Association for Logic in India (ALI) announces a pre-conference workshop on logic and social interaction to be held during January 7-8, 2009, in the Institute of Mathematical Sciences, Chennai prior to the 3rd Indian Conference on Logic and its applications (ICLA 2009).

For more information, see http://ali.cmi.ac.in/icla2009/social.html

We plan to include a few short presentations of on-going research in areas related to the workshop theme. Those who wish to present their work in this category can send in a 2-page abstract of their proposed presentation (as a PDF file) to . Abstracts received by October 20 will be considered, and decision on them will be sent by October 25.

20 October 2008, Game Theory in Communication Networks (GameComm 2008), Athens, Greece

Date: 20 October 2008
Location: Athens, Greece
Deadline: 10 June 2008

The Workshop on Game theory in Communication networks (GameComm) is a one-day meeting held in conjunction with the 3rd International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'08, http://www.valuetools.org/).

The distributed nature of wireline and wireless communication networks gives rise to many challenges related to their analysis, control, and management. The selfish nature of users, development of decentralized control mechanisms, and fair allocation of system resources are among major issues in networks research. Consequently, game theoretic methods are increasingly utilized to gain a deeper understanding of these complex problems and systems. Specifically, game theoretic models have been used in the context of Internet pricing, flow and congestion control, routing, power control, and recently security, among many other topics. The application of game theory to communication networks has attracted researchers from a variety of disciplines, including computer science, operations research, control theory, and economics.

This workshop aims to bring together researchers who are interested in all aspects of the application game theory to the analysis and design of communication networks. The goal is to display the state-of-the-art in this evolving field, as well as stir discussion and outline possible directions for further progress.

For more information, see http://www.game-comm.org/

21-24 October 2008, Foundations of the Formal Sciences VII (FotFS VII): Bringing Together Philosophy and Sociology of Science, Vrije Universiteit Brussel, Belgium

Date: 21-24 October 2008
Speaker: S. Fuller (Warwick), Ch. Greiffenhagen (Manchester), H. Kalthoff (Friedrichshafen), J. McAllister (Leiden), R. Tobies (Braunschweig)
Location: Vrije Universiteit Brussel, Belgium
Deadline: 15 July 2008

Both philosophy and sociology of science aim at understanding the workings of scientific endeavour. Despite their different emphasis and possibly methodology, they deal with the same subject matter. And yet, they seem to be worlds apart. The study of sociology of science is strongly influenced by the continental tradition, whereas the philosophy of science has been the near exclusive playground for analytic approaches. There is also the central issue of the so-called "science wars": the question of the the proper relationship between humanities and natural sciences. In the early days, the sociology of science explicitly set its task as being complementary to that of philosophy, but current sociology of science focuses on social organization, epistemic content and cultural aspects of science, breaking down the barrier respected by their ancestors, resulting in an approach seemingly incompatible and openly at odds with that of philosophy of science.

The good news is that, in the course of the last few decades, steps have been taken towards a (partial) reconciliation. We see our conference FotFS VII as part of this process, bringing sociological aspects into philosophy of science and philosophical aspects into sociology of science, by bringing together researchers from both areas.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VII/. The conference is co-located with the workshop PhiMSAMP-4 (25-26 october 2008).

21-24 October 2008, Foundations of the Formal Sciences VII (FotFS VII): Bringing Together Philosophy and Sociology of Science, Vrije Universiteit Brussel, Belgium

Date: 21-24 October 2008
Speaker: S. Fuller (Warwick), Ch. Greiffenhagen (Manchester), H. Kalthoff (Friedrichshafen), J. McAllister (Leiden), R. Tobies (Braunschweig)
Location: Vrije Universiteit Brussel, Belgium
Deadline: 15 July 2008

Both philosophy and sociology of science aim at understanding the workings of scientific endeavour. Despite their different emphasis and possibly methodology, they deal with the same subject matter. And yet, they seem to be worlds apart. The study of sociology of science is strongly influenced by the continental tradition, whereas the philosophy of science has been the near exclusive playground for analytic approaches. There is also the central issue of the so-called "science wars": the question of the the proper relationship between humanities and natural sciences. In the early days, the sociology of science explicitly set its task as being complementary to that of philosophy, but current sociology of science focuses on social organization, epistemic content and cultural aspects of science, breaking down the barrier respected by their ancestors, resulting in an approach seemingly incompatible and openly at odds with that of philosophy of science.

The good news is that, in the course of the last few decades, steps have been taken towards a (partial) reconciliation. We see our conference FotFS VII as part of this process, bringing sociological aspects into philosophy of science and philosophical aspects into sociology of science, by bringing together researchers from both areas.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VII/. The conference is co-located with the workshop PhiMSAMP-4 (25-26 october 2008).

21-24 October 2008, Foundations of the Formal Sciences VII (FotFS VII): Bringing Together Philosophy and Sociology of Science, Vrije Universiteit Brussel, Belgium

Date: 21-24 October 2008
Speaker: S. Fuller (Warwick), Ch. Greiffenhagen (Manchester), H. Kalthoff (Friedrichshafen), J. McAllister (Leiden), R. Tobies (Braunschweig)
Location: Vrije Universiteit Brussel, Belgium
Deadline: 15 July 2008

Both philosophy and sociology of science aim at understanding the workings of scientific endeavour. Despite their different emphasis and possibly methodology, they deal with the same subject matter. And yet, they seem to be worlds apart. The study of sociology of science is strongly influenced by the continental tradition, whereas the philosophy of science has been the near exclusive playground for analytic approaches. There is also the central issue of the so-called "science wars": the question of the the proper relationship between humanities and natural sciences. In the early days, the sociology of science explicitly set its task as being complementary to that of philosophy, but current sociology of science focuses on social organization, epistemic content and cultural aspects of science, breaking down the barrier respected by their ancestors, resulting in an approach seemingly incompatible and openly at odds with that of philosophy of science.

The good news is that, in the course of the last few decades, steps have been taken towards a (partial) reconciliation. We see our conference FotFS VII as part of this process, bringing sociological aspects into philosophy of science and philosophical aspects into sociology of science, by bringing together researchers from both areas.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VII/. The conference is co-located with the workshop PhiMSAMP-4 (25-26 october 2008).

23-25 October 2008, The Making of the Humanities: First International Conference on the History of the Humanities, Amsterdam

Date: 23-25 October 2008
Location: Amsterdam

This conference brings together scholars and historians of the various humanities disciplines to draw the outlines for a comparative history of the humanities. An edited book is planned, with the provisional title "Another History of Science: The Making of the Humanities".

Organizers: Rens Bod, Jaap Maat and Thijs Weststeijn. For more information, see https://www.illc.uva.nl/MakingHumanities/

21-24 October 2008, Foundations of the Formal Sciences VII (FotFS VII): Bringing Together Philosophy and Sociology of Science, Vrije Universiteit Brussel, Belgium

Date: 21-24 October 2008
Speaker: S. Fuller (Warwick), Ch. Greiffenhagen (Manchester), H. Kalthoff (Friedrichshafen), J. McAllister (Leiden), R. Tobies (Braunschweig)
Location: Vrije Universiteit Brussel, Belgium
Deadline: 15 July 2008

Both philosophy and sociology of science aim at understanding the workings of scientific endeavour. Despite their different emphasis and possibly methodology, they deal with the same subject matter. And yet, they seem to be worlds apart. The study of sociology of science is strongly influenced by the continental tradition, whereas the philosophy of science has been the near exclusive playground for analytic approaches. There is also the central issue of the so-called "science wars": the question of the the proper relationship between humanities and natural sciences. In the early days, the sociology of science explicitly set its task as being complementary to that of philosophy, but current sociology of science focuses on social organization, epistemic content and cultural aspects of science, breaking down the barrier respected by their ancestors, resulting in an approach seemingly incompatible and openly at odds with that of philosophy of science.

The good news is that, in the course of the last few decades, steps have been taken towards a (partial) reconciliation. We see our conference FotFS VII as part of this process, bringing sociological aspects into philosophy of science and philosophical aspects into sociology of science, by bringing together researchers from both areas.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VII/. The conference is co-located with the workshop PhiMSAMP-4 (25-26 october 2008).

23-25 October 2008, The Making of the Humanities: First International Conference on the History of the Humanities, Amsterdam

Date: 23-25 October 2008
Location: Amsterdam

This conference brings together scholars and historians of the various humanities disciplines to draw the outlines for a comparative history of the humanities. An edited book is planned, with the provisional title "Another History of Science: The Making of the Humanities".

Organizers: Rens Bod, Jaap Maat and Thijs Weststeijn. For more information, see https://www.illc.uva.nl/MakingHumanities/

24 October 2008, 2nd London-Paris-Tilburg Workshop in Logic and Philosophy of Science, Tilburg, The Netherlands

Date: 24 October 2008
Location: Tilburg, The Netherlands

This is the second in a series of workshops, which are jointly organized by Roman Frigg (LSE), Jacques Dubucs (IHPST, Paris) and Stephan Hartmann (Tilburg). There will be two or three workshops per year and their objective is that both members of faculty and research students from all institutions involved as well as guests from outside get together to discuss their recent research. The workshops are open to all and there is no registration fee.

For more information, including the program and abstracts of all talks, visit http://www.tilburguniversity.nl/tilps/LPT/LPT2/

23-25 October 2008, The Making of the Humanities: First International Conference on the History of the Humanities, Amsterdam

Date: 23-25 October 2008
Location: Amsterdam

This conference brings together scholars and historians of the various humanities disciplines to draw the outlines for a comparative history of the humanities. An edited book is planned, with the provisional title "Another History of Science: The Making of the Humanities".

Organizers: Rens Bod, Jaap Maat and Thijs Weststeijn. For more information, see https://www.illc.uva.nl/MakingHumanities/

26-27 October 2008, NatuReS 2008 (Nature Inspired Reasoning for the Semantic Web), Karlsruhe (Germany)

Date: 26-27 October 2008
Location: Karlsruhe (Germany)
Deadline: 25 July 2008

This workshop will be held as part of the 7th International Semantic Web Conference (ISWC 2008). The goal of this workshop is to bring together researchers from the Semantic Web community with more Nature inspired communities, such as the people interested in Computational Intelligence (CI), Neural Networks and to discuss current trends in Semantic Web.

For more information, see http://natures.few.vu.nl/

26-30 October 2008, 19th Brazilian Symposium on Artificial Intelligence (SBIA-2008), Salvador, Brazil

Date: 26-30 October 2008
Location: Salvador, Brazil
Deadline: 17 March 2008

SBIA is the leading conference in Brazil for presentation of research and applications in Artificial Intelligence. Since 1995, SBIA has become an international conference, with papers written in English, international program committee and keynote speakers, and proceedings published in the LNAI series of Springer-Verlag. Since 1996, SBIA is a biennial event.

As has occurred since 2002, the 19th Brazilian Symposium on Artificial Intelligence (SBIA) and the 10th Brazilian Symposium on Artificial Neural Networks (SBRN) will be collocated, this time also with the Brazilian Symposium on Intelligent Robotics (JRI)

For more information, see http://www.sbia2008.ufba.br/sbia2008.html.

26-27 October 2008, NatuReS 2008 (Nature Inspired Reasoning for the Semantic Web), Karlsruhe (Germany)

Date: 26-27 October 2008
Location: Karlsruhe (Germany)
Deadline: 25 July 2008

This workshop will be held as part of the 7th International Semantic Web Conference (ISWC 2008). The goal of this workshop is to bring together researchers from the Semantic Web community with more Nature inspired communities, such as the people interested in Computational Intelligence (CI), Neural Networks and to discuss current trends in Semantic Web.

For more information, see http://natures.few.vu.nl/

26-30 October 2008, 19th Brazilian Symposium on Artificial Intelligence (SBIA-2008), Salvador, Brazil

Date: 26-30 October 2008
Location: Salvador, Brazil
Deadline: 17 March 2008

SBIA is the leading conference in Brazil for presentation of research and applications in Artificial Intelligence. Since 1995, SBIA has become an international conference, with papers written in English, international program committee and keynote speakers, and proceedings published in the LNAI series of Springer-Verlag. Since 1996, SBIA is a biennial event.

As has occurred since 2002, the 19th Brazilian Symposium on Artificial Intelligence (SBIA) and the 10th Brazilian Symposium on Artificial Neural Networks (SBRN) will be collocated, this time also with the Brazilian Symposium on Intelligent Robotics (JRI)

For more information, see http://www.sbia2008.ufba.br/sbia2008.html.

26-30 October 2008, 19th Brazilian Symposium on Artificial Intelligence (SBIA-2008), Salvador, Brazil

Date: 26-30 October 2008
Location: Salvador, Brazil
Deadline: 17 March 2008

SBIA is the leading conference in Brazil for presentation of research and applications in Artificial Intelligence. Since 1995, SBIA has become an international conference, with papers written in English, international program committee and keynote speakers, and proceedings published in the LNAI series of Springer-Verlag. Since 1996, SBIA is a biennial event.

As has occurred since 2002, the 19th Brazilian Symposium on Artificial Intelligence (SBIA) and the 10th Brazilian Symposium on Artificial Neural Networks (SBRN) will be collocated, this time also with the Brazilian Symposium on Intelligent Robotics (JRI)

For more information, see http://www.sbia2008.ufba.br/sbia2008.html.

26-30 October 2008, 19th Brazilian Symposium on Artificial Intelligence (SBIA-2008), Salvador, Brazil

Date: 26-30 October 2008
Location: Salvador, Brazil
Deadline: 17 March 2008

SBIA is the leading conference in Brazil for presentation of research and applications in Artificial Intelligence. Since 1995, SBIA has become an international conference, with papers written in English, international program committee and keynote speakers, and proceedings published in the LNAI series of Springer-Verlag. Since 1996, SBIA is a biennial event.

As has occurred since 2002, the 19th Brazilian Symposium on Artificial Intelligence (SBIA) and the 10th Brazilian Symposium on Artificial Neural Networks (SBRN) will be collocated, this time also with the Brazilian Symposium on Intelligent Robotics (JRI)

For more information, see http://www.sbia2008.ufba.br/sbia2008.html.

26-30 October 2008, 19th Brazilian Symposium on Artificial Intelligence (SBIA-2008), Salvador, Brazil

Date: 26-30 October 2008
Location: Salvador, Brazil
Deadline: 17 March 2008

SBIA is the leading conference in Brazil for presentation of research and applications in Artificial Intelligence. Since 1995, SBIA has become an international conference, with papers written in English, international program committee and keynote speakers, and proceedings published in the LNAI series of Springer-Verlag. Since 1996, SBIA is a biennial event.

As has occurred since 2002, the 19th Brazilian Symposium on Artificial Intelligence (SBIA) and the 10th Brazilian Symposium on Artificial Neural Networks (SBRN) will be collocated, this time also with the Brazilian Symposium on Intelligent Robotics (JRI)

For more information, see http://www.sbia2008.ufba.br/sbia2008.html.

31 October-2 November 2008, Workshop "philosophy of logical consequence", Uppsala, Sweden

Date: 31 October-2 November 2008
Location: Uppsala, Sweden

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

31 October - 2 November 2008, "What is computation? (How) does nature compute?", 2008 Midwest NKS Conference, Bloomington, USA

Date: 31 October - 2 November 2008
Location: Bloomington, USA

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