In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr10/.

At the workshop there will be sessions on algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). The workshop will conclude with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, (http://www.ams.org/amsmtgs/2161_program.html).

For more information, see http://math.fau.edu/Richman/Worshop/ or contact the organizers (Robert Lubarsky, Fred Richman, and Marty Solomon) at Robert.Lubarsky at comcast.net.

For more information, see http://www.ams.org/amsmtgs/2161_program.html or contact Bob Lubarsky Robert.Lubarsky at comast.net or Fred Richman richman at fau.edu.

The NWO programme committee for Cognition organizes both an internet discussion and an afternoon symposium on " FADS AND FALLACIES in the name of COGNITIVE SCIENCE"

The symposium is organized to discuss exaggerated and conceptually confused claims concerning results of Cognitive Science and Neuroscience. This discussion was initiated by Prof. Pieter Adriaans in a letter. Both the internet discussion and the afternoon symposium are intended as a partial fulfillment of Pieter's request for more attention to these methodological and conceptual issues. Keynote speakers are Prof. Ruth Millikan (University of Connecticut) and Dr. Peter Hacker (St Johns College Oxford). The symposium will be chaired by Prof. dr. Herman Philipse.

For more information and registration, see http://www.nwo.nl/philosophy. To take part in the internet discussion, see http://www.cognitie.nl/discussion.

Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface as well as with the wider socio-technical system.

The aim of this workshop is to bring together researchers in computer science, cognitive psychology, and other areas of HCI, from both academia and industry, who are interested in both formal methods and interactive system design.

For more information, see http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/. The workshop will be held in conjunction with FM2009 <http://www.win.tue.nl/fm2009/>

A 1-day workshop on Indian logic, bringing together researches from Lille and Amsterdam in the working group DDAHL (Dynamic and Dialogical Approaches to Historical Logic.

For more information, see https://www.illc.uva.nl/medlogic/DDAHL/nov2.html

The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. The workshop is a satellite event of the 16th International Symposium on Formal Methods, FM2009.

For more information, see http://www.aha.cs.ru.nl/fopara/

The conference is designed to provide a biennial, international forum for new work in logic, epistemology, and philosophy of science. The format of the conference will provide an opportunity for speakers to receive constructive feedback from interested colleagues from Colombia and abroad, and for other participants to become acquainted with new work in the field. Invited speakers are Susan Haack (University of Miami), Arnold Koslow (CUNY Graduate Center) and Michael Bishop (Florida State University).

For further details, please visit http://filosofia.uniandes.edu.co/filociencia/eng.htm or contact apaez at uniandes.edu.co

FM2009 is the sixteenth international symposium of the Formal Methods Europe association. Ten years after the world congress in Toulouse in 1999, FM2009 will be organized as a world congress again, a global platform for researchers and practitioners from a diversity of countries, backgrounds and schools to exchange ideas and share experiences. Several conferences are colocating with FM2009 within FMweek. As is tradition, the symposium will go together with an Industry Day, a Doctoral Symposium, a Tool Exhibition, an event on Teaching Formal Methods, as well as a wide range of workshops.

For more information, see http://www.win.tue.nl/fm2009/.

The conference is designed to provide a biennial, international forum for new work in logic, epistemology, and philosophy of science. The format of the conference will provide an opportunity for speakers to receive constructive feedback from interested colleagues from Colombia and abroad, and for other participants to become acquainted with new work in the field. Invited speakers are Susan Haack (University of Miami), Arnold Koslow (CUNY Graduate Center) and Michael Bishop (Florida State University).

For further details, please visit http://filosofia.uniandes.edu.co/filociencia/eng.htm or contact apaez at uniandes.edu.co

FM2009 is the sixteenth international symposium of the Formal Methods Europe association. Ten years after the world congress in Toulouse in 1999, FM2009 will be organized as a world congress again, a global platform for researchers and practitioners from a diversity of countries, backgrounds and schools to exchange ideas and share experiences. Several conferences are colocating with FM2009 within FMweek. As is tradition, the symposium will go together with an Industry Day, a Doctoral Symposium, a Tool Exhibition, an event on Teaching Formal Methods, as well as a wide range of workshops.

For more information, see http://www.win.tue.nl/fm2009/.

On December 14-16, 2009 the Tinbergen Workshop on Cooperative Game Theory and Economics, and the Fourth Dutch-Russian Symposium will be held in Amsterdam, The Netherlands.

There is no registration fee, but because of capacity restrictions, participation into the workshop and symposium is limited to about 35 participants. For more information, see http://staff.feweb.vu.nl/mestevez/WebPage_TIGAEC/default.php

The conference is designed to provide a biennial, international forum for new work in logic, epistemology, and philosophy of science. The format of the conference will provide an opportunity for speakers to receive constructive feedback from interested colleagues from Colombia and abroad, and for other participants to become acquainted with new work in the field. Invited speakers are Susan Haack (University of Miami), Arnold Koslow (CUNY Graduate Center) and Michael Bishop (Florida State University).

For further details, please visit http://filosofia.uniandes.edu.co/filociencia/eng.htm or contact apaez at uniandes.edu.co

FM2009 is the sixteenth international symposium of the Formal Methods Europe association. Ten years after the world congress in Toulouse in 1999, FM2009 will be organized as a world congress again, a global platform for researchers and practitioners from a diversity of countries, backgrounds and schools to exchange ideas and share experiences. Several conferences are colocating with FM2009 within FMweek. As is tradition, the symposium will go together with an Industry Day, a Doctoral Symposium, a Tool Exhibition, an event on Teaching Formal Methods, as well as a wide range of workshops.

For more information, see http://www.win.tue.nl/fm2009/.

The Semantics in the Netherlands Day (SiN-dag) is a series of annual conferences which provide the opportunity for graduate students working on natural language semantics in the Netherlands to present the results of their current research. This year SiN-dag (SiN VII) will take place on Friday, 6 November, at the University of Amsterdam, being hosted by the Amsterdam Center for Language and Communication (ACLC). It will be an all-day event including coffee breaks, lunch and drinks afterwards.

If you would like to attend (parts of) the SiN VII please register before 30 October by sending an e-mail to the organisers (J.Sweep at uva.nl & M.O.vanSchaik-Radulescu at uva.nl). Registration is free. For more information, see http://www.hum.uva.nl/sin7.

This workshop aims to provide an opportunity to discuss and further develop the current research directions on the topic of Dependence Logic, Dependence Friendly Logic, and Independence Friendly Logic, such as the investigation of their proof- and model-theoretic properties, their extensions and their relations to each other and to other formalisms.

The workshop organizers are Jouko Väänänen and Dag Westerståhl. If you intend to come to the workshop, please send Jouko a message, preferably no later than November 1. For more information, see https://www.illc.uva.nl/lint/deplog01.php

This workshop aims to provide an opportunity to discuss and further develop the current research directions on the topic of Dependence Logic, Dependence Friendly Logic, and Independence Friendly Logic, such as the investigation of their proof- and model-theoretic properties, their extensions and their relations to each other and to other formalisms.

The workshop organizers are Jouko Väänänen and Dag Westerståhl. If you intend to come to the workshop, please send Jouko a message, preferably no later than November 1. For more information, see https://www.illc.uva.nl/lint/deplog01.php

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

The Dutch-Flemish Association for Analytic Philosophy organizes its Fourth Conference from wendesday January 20 (1.30 p.m) till Friday January 22 (4 p.m) 2010 at the Institute of Philosophy (University of Leuven, Belgium). This year's topic will be Epistemology and Philosophy of Mind at The Crossroads.

For more information, see http://drcwww.uvt.nl/~buekens/vaf/vaf2010.htm or contact Filip Buekens at f.a.i.buekens at uvt.nl

The goal of the Autumn School on Modal Logic is to prepare PhD students and other researchers for participation in the sixth workshop Methods for Modalities (M4M-6) which takes place November 12-14 2009 in Copenhagen. The workshop Methods for Modalities aims to bring together researchers interested in developing proof tools and decision methods based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. The first M4M workshop took place in Amsterdam in 1999. Since then, M4M workshops have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and 2007 (Paris).

The Autumn School on Modal Logic is open to anyone interested. The intended participants will have a general background in theoretical computer science, but wish to obtain more concrete knowledge on modal logic and its computational aspects. Besides a working knowledge of English, prerequisites are a basic knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics.

The registration deadline for the Autumn school is Friday, October 23 2009. For more information, see http://hylocore.ruc.dk/m4m6school.html. See http://m4m.loria.fr/ for more information on the workshop series.

The goal of the Autumn School on Modal Logic is to prepare PhD students and other researchers for participation in the sixth workshop Methods for Modalities (M4M-6) which takes place November 12-14 2009 in Copenhagen. The workshop Methods for Modalities aims to bring together researchers interested in developing proof tools and decision methods based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. The first M4M workshop took place in Amsterdam in 1999. Since then, M4M workshops have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and 2007 (Paris).

The Autumn School on Modal Logic is open to anyone interested. The intended participants will have a general background in theoretical computer science, but wish to obtain more concrete knowledge on modal logic and its computational aspects. Besides a working knowledge of English, prerequisites are a basic knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics.

The registration deadline for the Autumn school is Friday, October 23 2009. For more information, see http://hylocore.ruc.dk/m4m6school.html. See http://m4m.loria.fr/ for more information on the workshop series.

Continuing the mission of the highly successful First and Second AGI Conferences, AGI-10 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://agi-conf.org/2010/

The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk).

For more information, see http://m4m.loria.fr/M4M6

The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk).

For more information, see http://m4m.loria.fr/M4M6

The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk).

For more information, see http://m4m.loria.fr/M4M6

Philosophy of science deals with the foundations and the methods of science. While the scope of philosophy of science is rather uncontroversial, there is considerable disagreement about its methodology. A look into the relevant journals reveals that there is a plurality of approaches. In spite of this, there also seem to be undeniable trends in our discipline, such as the increasing specialization, and the increasing co-operation with empirical scientists. This conference will explore the future of philosophy of science. In particular, we are interested in how the different methods philosophers of science use relate to each other, whether they can fruitfully complement each other, and whether current trends allow predictions about the development of our field.

For more information, see http://www.uvt.nl/tilps/FPS2010

In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. Invited speakers include Johan van Benthem (University of Amsterdam and Stanford University) and Fenrong Liu (Tsinghua University, China).

For more information, see http://ethics.let.hokudai.ac.jp/en/events.html or contact Shunzo Majima (caep at let.hokudai.ac.jp).

Liesbeth de Mol (Gent), Maarten Bullynck (Paris) Janet Martin-Nielsen (Toronto) & Karel van Oudheusden (Amsterdam) will appear in the Colloquium on the History of Computing and amongst them connect such diverging historical subjects as Von Neumann, Lehmer, Chomsky and Dijkstra.

For more information, see http://www.science.uva.nl/history-of-computing/object.cfm/

A workshop on "Combinatorial set theory and forcing theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from November 16 (Mon.) till November 19 (Thu.), 2009. The workshop is organized by Teruyuki Yorioka (Shizuoka University). The program will feature minicourses by Sy Friedman and Ilijas Farah, as well as many other talks by participants from Japan and abroad.

See the webpage http://www.ipc.shizuoka.ac.jp/~styorio/rims09/ for details. If you are interested in attending, please contact the organizers at styorio at ipc.shizuoka.ac.jp or brendle at kurt.scitec.kobe-u.ac.jp.

Liesbeth de Mol (Gent), Maarten Bullynck (Paris) Janet Martin-Nielsen (Toronto) & Karel van Oudheusden (Amsterdam) will appear in the Colloquium on the History of Computing and amongst them connect such diverging historical subjects as Von Neumann, Lehmer, Chomsky and Dijkstra.

For more information, see http://www.science.uva.nl/history-of-computing/object.cfm/

A workshop on "Combinatorial set theory and forcing theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from November 16 (Mon.) till November 19 (Thu.), 2009. The workshop is organized by Teruyuki Yorioka (Shizuoka University). The program will feature minicourses by Sy Friedman and Ilijas Farah, as well as many other talks by participants from Japan and abroad.

See the webpage http://www.ipc.shizuoka.ac.jp/~styorio/rims09/ for details. If you are interested in attending, please contact the organizers at styorio at ipc.shizuoka.ac.jp or brendle at kurt.scitec.kobe-u.ac.jp.

A workshop on "Combinatorial set theory and forcing theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from November 16 (Mon.) till November 19 (Thu.), 2009. The workshop is organized by Teruyuki Yorioka (Shizuoka University). The program will feature minicourses by Sy Friedman and Ilijas Farah, as well as many other talks by participants from Japan and abroad.

See the webpage http://www.ipc.shizuoka.ac.jp/~styorio/rims09/ for details. If you are interested in attending, please contact the organizers at styorio at ipc.shizuoka.ac.jp or brendle at kurt.scitec.kobe-u.ac.jp.

A workshop on "Combinatorial set theory and forcing theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from November 16 (Mon.) till November 19 (Thu.), 2009. The workshop is organized by Teruyuki Yorioka (Shizuoka University). The program will feature minicourses by Sy Friedman and Ilijas Farah, as well as many other talks by participants from Japan and abroad.

See the webpage http://www.ipc.shizuoka.ac.jp/~styorio/rims09/ for details. If you are interested in attending, please contact the organizers at styorio at ipc.shizuoka.ac.jp or brendle at kurt.scitec.kobe-u.ac.jp.

LENLS is an annual international workshop focusing on formal semantics and pragmatics. In the past it has been a satellite of the Japanese Society for Artificial Intelligence conference; this year it will be part of a special workshop session to be held in November, distinct from the conference though still sponsored by JSAI.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/ or contac lenls6submission at gmail.com.

The IADIS (International Association for Development of the Information Society) Applied Computing 2009 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas (see below). However innovative contributes that don't fit into these areas will also be considered since they might be of benefit to conference attendees.

For more information, see: http://www.computing-conf.org/.

WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference, organized by IADIS (the International Association for Development of the Information Society) aims to cover both technological as well as non-technological issues related to these developments.

For more information, see: http://www.internet-conf.org/.

LENLS is an annual international workshop focusing on formal semantics and pragmatics. In the past it has been a satellite of the Japanese Society for Artificial Intelligence conference; this year it will be part of a special workshop session to be held in November, distinct from the conference though still sponsored by JSAI.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/ or contac lenls6submission at gmail.com.

The IADIS (International Association for Development of the Information Society) Applied Computing 2009 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas (see below). However innovative contributes that don't fit into these areas will also be considered since they might be of benefit to conference attendees.

For more information, see: http://www.computing-conf.org/.

WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference, organized by IADIS (the International Association for Development of the Information Society) aims to cover both technological as well as non-technological issues related to these developments.

For more information, see: http://www.internet-conf.org/.

The IADIS (International Association for Development of the Information Society) Applied Computing 2009 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas (see below). However innovative contributes that don't fit into these areas will also be considered since they might be of benefit to conference attendees.

For more information, see: http://www.computing-conf.org/.

WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference, organized by IADIS (the International Association for Development of the Information Society) aims to cover both technological as well as non-technological issues related to these developments.

For more information, see: http://www.internet-conf.org/.

WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference, organized by IADIS (the International Association for Development of the Information Society) aims to cover both technological as well as non-technological issues related to these developments.

For more information, see: http://www.internet-conf.org/.