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

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

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

Formal models of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong assumptions about reasoners. For example, traditional epistemic logic says that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded.

The Third Workshop on Logics for Resource-Bounded Agents (LRBA) (with special emphasis on awareness and limited reasoning) aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents. We are particularly interested in formal models of agents' limited reasoning and (un)awareness.

The workshop will be held as part of Multi-Agent Logics, Languages, and Organisations - Federated Workshops (MALLOW 2010) (see http://mallow2010.emse.fr/).

For more information, see http://www.agents.cs.nott.ac.uk/events/lrba10

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

Formal models of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong assumptions about reasoners. For example, traditional epistemic logic says that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded.

The Third Workshop on Logics for Resource-Bounded Agents (LRBA) (with special emphasis on awareness and limited reasoning) aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents. We are particularly interested in formal models of agents' limited reasoning and (un)awareness.

The workshop will be held as part of Multi-Agent Logics, Languages, and Organisations - Federated Workshops (MALLOW 2010) (see http://mallow2010.emse.fr/).

For more information, see http://www.agents.cs.nott.ac.uk/events/lrba10

Algorithmic game theory is a rather recent research field that lies at the intersection of economics, computer science and mathematics. Its origins in the early 1990's were largely motivated by the wealth of new applications that came into existence with the emergence of the Internet. The field pursues mathematical studies of games with a particular focus on computational and algorithmic issues. These studies are interdisciplinary in flavor and often demand for a combination of methodologies and techniques from the areas of optimization, algorithms and game theory. Algorithmic game theory contributed successfully to the understanding of many fundamental games in recent years and has become a highly active research field.

The two-day workshop will be hosted at the Center for Mathematics and Computer Science (CWI) in Amsterdam and will take place September 2-3, 2010. There will be four keynote talks and about 12 contributed talks.

Please register before August 16, 2010. For more information, see http://www.cwi.nl/~schaefer/agt10/

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The annual meeting of The British Logic Colloquium will take place from 2-4 September 2010 in Birmingham. The aim of this meeting is to present current topics in all areas of logic. BLC 2010 is supported financially by the London Mathematical Society and by the British Logic Colloquium.

For further details see the webpage http://events.cs.bham.ac.uk/BLC2010.

Studia Logica invites contributions to a special issue on "Logic and Natural Language", edited by Nissim Francez (Technion, Haifa) and Ian Pratt-Hartmann (University of Manchester). It is envisaged that the issue will comprise papers in two broad areas: (i) the use of logical techniques in the presentation and analysis of grammar formalisms; (ii) investigation of the logical characteristics (expressiveness, complexity, proof-theory) of natural language.

Deadline for submission of manuscripts to the issue editors: 3.9.2010.

For more information, see http://www.studialogica.org/ or http://www.ifispan.waw.pl/studialogica/si-Logic-and-Natural-Language.html, or the PDF of the full CFP at http://www.studialogica.org/CfP-Pratt-Hatmann.pdf

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

Formal models of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong assumptions about reasoners. For example, traditional epistemic logic says that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded.

The Third Workshop on Logics for Resource-Bounded Agents (LRBA) (with special emphasis on awareness and limited reasoning) aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents. We are particularly interested in formal models of agents' limited reasoning and (un)awareness.

The workshop will be held as part of Multi-Agent Logics, Languages, and Organisations - Federated Workshops (MALLOW 2010) (see http://mallow2010.emse.fr/).

For more information, see http://www.agents.cs.nott.ac.uk/events/lrba10

Algorithmic game theory is a rather recent research field that lies at the intersection of economics, computer science and mathematics. Its origins in the early 1990's were largely motivated by the wealth of new applications that came into existence with the emergence of the Internet. The field pursues mathematical studies of games with a particular focus on computational and algorithmic issues. These studies are interdisciplinary in flavor and often demand for a combination of methodologies and techniques from the areas of optimization, algorithms and game theory. Algorithmic game theory contributed successfully to the understanding of many fundamental games in recent years and has become a highly active research field.

The two-day workshop will be hosted at the Center for Mathematics and Computer Science (CWI) in Amsterdam and will take place September 2-3, 2010. There will be four keynote talks and about 12 contributed talks.

Please register before August 16, 2010. For more information, see http://www.cwi.nl/~schaefer/agt10/

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The annual meeting of The British Logic Colloquium will take place from 2-4 September 2010 in Birmingham. The aim of this meeting is to present current topics in all areas of logic. BLC 2010 is supported financially by the London Mathematical Society and by the British Logic Colloquium.

For further details see the webpage http://events.cs.bham.ac.uk/BLC2010.

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The annual meeting of The British Logic Colloquium will take place from 2-4 September 2010 in Birmingham. The aim of this meeting is to present current topics in all areas of logic. BLC 2010 is supported financially by the London Mathematical Society and by the British Logic Colloquium.

For further details see the webpage http://events.cs.bham.ac.uk/BLC2010.

This meeting, the fourth in a series, will focus on descriptive set theory and model theory and their connections to other parts of mathematics.

Application deadline for student and postdoc travel support: July 4, 2010. For more information, see the meeting web page at http://www.math.uiuc.edu/Logic2010/.

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

This meeting, the fourth in a series, will focus on descriptive set theory and model theory and their connections to other parts of mathematics.

Application deadline for student and postdoc travel support: July 4, 2010. For more information, see the meeting web page at http://www.math.uiuc.edu/Logic2010/.

The workshop consists of main lecture courses and contributed talks across a range of logic as well as informal discussion groups in the evenings. It is intended particularly for PhD students and postdoctoral researchers working in or around mathematical logic and applications. It is primarily aimed at members of the involved research centres of the MALOA network, but participants from external sites are welcome as well.

The workshop is being held at the Hotel Aurachhof in Fischbachau, a picturesque small village outside of Munich. Full board accommodation is available from € 50 to € 80 per person and day, depending on the room type and includes the workshop costs.

For more information, including a full timetable of lecture courses and talks, please see the website at http://www.mathematik.uni-muenchen.de/~jberger/fisch.html. If interested in participating, please email Emma Jones at e.j.jones at leeds.ac.uk as soon as possible, and by Monday May 3 at absolute latest, as we need to make the accommodation booking in Fischbachau.

For more information on MALOA, see http://www.logique.jussieu.fr/MALOA/.

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

The workshop consists of main lecture courses and contributed talks across a range of logic as well as informal discussion groups in the evenings. It is intended particularly for PhD students and postdoctoral researchers working in or around mathematical logic and applications. It is primarily aimed at members of the involved research centres of the MALOA network, but participants from external sites are welcome as well.

The workshop is being held at the Hotel Aurachhof in Fischbachau, a picturesque small village outside of Munich. Full board accommodation is available from € 50 to € 80 per person and day, depending on the room type and includes the workshop costs.

For more information, including a full timetable of lecture courses and talks, please see the website at http://www.mathematik.uni-muenchen.de/~jberger/fisch.html. If interested in participating, please email Emma Jones at e.j.jones at leeds.ac.uk as soon as possible, and by Monday May 3 at absolute latest, as we need to make the accommodation booking in Fischbachau.

For more information on MALOA, see http://www.logique.jussieu.fr/MALOA/.

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

Workshop on concrete incompleteness.
Talks by Harvey Friedman (main speaker), Michael Rathjen, Alan Woods and Konrad Zdanowski. Organised by Andrey Bovykin, Lorenzo Carlucci, Michiel De Smet, Florian Pelupessy, Sam Sanders and Andreas Weiermann.

Venue: Conference centre "Het Pand", Onderbergen 1, 9000 Gent (Belgium). Conference centre "Het Pand" is located in the beautiful city centre of Ghent and is easy to reach by public transport.

For more information, registration, or enquiries regarding student grants, please send an e-mail to pelupessy at cage.ugent.be.

This annual event brings together researchers from all areas of computer science that involve temporal representation and reasoning. The program includes three tracks: temporal representation and reasoning in AI, temporal database management, and temporal logic and verification in computer science. The invited speakers include: I. Hodkinson, B. Kuijpers, and M. Leucker.

For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/.

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. Springer publications are regularly indexed by all major citation databases.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote speakers: John Carroll (University of Sussex, UK) and Christiane Fellbaum (Princeton University, USA).

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2010 at tsdconference.org.

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

The workshop consists of main lecture courses and contributed talks across a range of logic as well as informal discussion groups in the evenings. It is intended particularly for PhD students and postdoctoral researchers working in or around mathematical logic and applications. It is primarily aimed at members of the involved research centres of the MALOA network, but participants from external sites are welcome as well.

The workshop is being held at the Hotel Aurachhof in Fischbachau, a picturesque small village outside of Munich. Full board accommodation is available from € 50 to € 80 per person and day, depending on the room type and includes the workshop costs.

For more information, including a full timetable of lecture courses and talks, please see the website at http://www.mathematik.uni-muenchen.de/~jberger/fisch.html. If interested in participating, please email Emma Jones at e.j.jones at leeds.ac.uk as soon as possible, and by Monday May 3 at absolute latest, as we need to make the accommodation booking in Fischbachau.

For more information on MALOA, see http://www.logique.jussieu.fr/MALOA/.

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

Workshop on concrete incompleteness.
Talks by Harvey Friedman (main speaker), Michael Rathjen, Alan Woods and Konrad Zdanowski. Organised by Andrey Bovykin, Lorenzo Carlucci, Michiel De Smet, Florian Pelupessy, Sam Sanders and Andreas Weiermann.

Venue: Conference centre "Het Pand", Onderbergen 1, 9000 Gent (Belgium). Conference centre "Het Pand" is located in the beautiful city centre of Ghent and is easy to reach by public transport.

For more information, registration, or enquiries regarding student grants, please send an e-mail to pelupessy at cage.ugent.be.

This annual event brings together researchers from all areas of computer science that involve temporal representation and reasoning. The program includes three tracks: temporal representation and reasoning in AI, temporal database management, and temporal logic and verification in computer science. The invited speakers include: I. Hodkinson, B. Kuijpers, and M. Leucker.

For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/.

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. Springer publications are regularly indexed by all major citation databases.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote speakers: John Carroll (University of Sussex, UK) and Christiane Fellbaum (Princeton University, USA).

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2010 at tsdconference.org.

The application of formal tools from logic and rational choice theory to the analysis of ethical concepts and theories is a rapidly growing field of research. It has proved its mettle by shedding new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions.

Due to the volcanic eruption in Iceland last April, the Formal Ethics Week has been rescheduled. The event will be hosted by the Faculty of Philosophy of the University of Groningen (the Netherlands) on *September 7-10, 2010*. A joint venture of the Faculty of Philosophy of the University of Groningen and the Department of Philosophy of Uppsala University, the workshop aims to bring together researchers at the crossroads of ethical theory and formal methods. The event will feature four tutorials by leading scholars, and eight working sessions, where researchers from Groningen and from Uppsala will present and discuss each other's work.

Attendance to the Formal Ethics Week is open to everyone, but registration is required. For more information, and to register, please visit the website of the workshop: http://www.philos.rug.nl/FEW.

The meeting, which alternately takes place in Italy and in Spain, aims to promote the cooperation between Italian and Spanish topologists. The participation of researchers from other countries is warmly encouraged. Traditionally, it is emphasized on the relation between the general or set-theoretic topology, and other areas of mathematics or sciences. Thus, topics like, for example, topological methods in functional analysis or in dynamical systems, hyperspaces, applied topology for computer sciences or economy, algebraic methods in spaces of continuous functions, etc, are usually considered.

Deadline for registrations: August 12, 2010. For more information, see http://ites2010.unex.es or email ites2010 at unex.es.

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

The workshop consists of main lecture courses and contributed talks across a range of logic as well as informal discussion groups in the evenings. It is intended particularly for PhD students and postdoctoral researchers working in or around mathematical logic and applications. It is primarily aimed at members of the involved research centres of the MALOA network, but participants from external sites are welcome as well.

The workshop is being held at the Hotel Aurachhof in Fischbachau, a picturesque small village outside of Munich. Full board accommodation is available from € 50 to € 80 per person and day, depending on the room type and includes the workshop costs.

For more information, including a full timetable of lecture courses and talks, please see the website at http://www.mathematik.uni-muenchen.de/~jberger/fisch.html. If interested in participating, please email Emma Jones at e.j.jones at leeds.ac.uk as soon as possible, and by Monday May 3 at absolute latest, as we need to make the accommodation booking in Fischbachau.

For more information on MALOA, see http://www.logique.jussieu.fr/MALOA/.

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

Workshop on concrete incompleteness.
Talks by Harvey Friedman (main speaker), Michael Rathjen, Alan Woods and Konrad Zdanowski. Organised by Andrey Bovykin, Lorenzo Carlucci, Michiel De Smet, Florian Pelupessy, Sam Sanders and Andreas Weiermann.

Venue: Conference centre "Het Pand", Onderbergen 1, 9000 Gent (Belgium). Conference centre "Het Pand" is located in the beautiful city centre of Ghent and is easy to reach by public transport.

For more information, registration, or enquiries regarding student grants, please send an e-mail to pelupessy at cage.ugent.be.

This annual event brings together researchers from all areas of computer science that involve temporal representation and reasoning. The program includes three tracks: temporal representation and reasoning in AI, temporal database management, and temporal logic and verification in computer science. The invited speakers include: I. Hodkinson, B. Kuijpers, and M. Leucker.

For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/.

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. Springer publications are regularly indexed by all major citation databases.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote speakers: John Carroll (University of Sussex, UK) and Christiane Fellbaum (Princeton University, USA).

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2010 at tsdconference.org.

The application of formal tools from logic and rational choice theory to the analysis of ethical concepts and theories is a rapidly growing field of research. It has proved its mettle by shedding new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions.

Due to the volcanic eruption in Iceland last April, the Formal Ethics Week has been rescheduled. The event will be hosted by the Faculty of Philosophy of the University of Groningen (the Netherlands) on *September 7-10, 2010*. A joint venture of the Faculty of Philosophy of the University of Groningen and the Department of Philosophy of Uppsala University, the workshop aims to bring together researchers at the crossroads of ethical theory and formal methods. The event will feature four tutorials by leading scholars, and eight working sessions, where researchers from Groningen and from Uppsala will present and discuss each other's work.

Attendance to the Formal Ethics Week is open to everyone, but registration is required. For more information, and to register, please visit the website of the workshop: http://www.philos.rug.nl/FEW.

The meeting, which alternately takes place in Italy and in Spain, aims to promote the cooperation between Italian and Spanish topologists. The participation of researchers from other countries is warmly encouraged. Traditionally, it is emphasized on the relation between the general or set-theoretic topology, and other areas of mathematics or sciences. Thus, topics like, for example, topological methods in functional analysis or in dynamical systems, hyperspaces, applied topology for computer sciences or economy, algebraic methods in spaces of continuous functions, etc, are usually considered.

Deadline for registrations: August 12, 2010. For more information, see http://ites2010.unex.es or email ites2010 at unex.es.

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

The workshop consists of main lecture courses and contributed talks across a range of logic as well as informal discussion groups in the evenings. It is intended particularly for PhD students and postdoctoral researchers working in or around mathematical logic and applications. It is primarily aimed at members of the involved research centres of the MALOA network, but participants from external sites are welcome as well.

The workshop is being held at the Hotel Aurachhof in Fischbachau, a picturesque small village outside of Munich. Full board accommodation is available from € 50 to € 80 per person and day, depending on the room type and includes the workshop costs.

For more information, including a full timetable of lecture courses and talks, please see the website at http://www.mathematik.uni-muenchen.de/~jberger/fisch.html. If interested in participating, please email Emma Jones at e.j.jones at leeds.ac.uk as soon as possible, and by Monday May 3 at absolute latest, as we need to make the accommodation booking in Fischbachau.

For more information on MALOA, see http://www.logique.jussieu.fr/MALOA/.

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

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. Springer publications are regularly indexed by all major citation databases.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote speakers: John Carroll (University of Sussex, UK) and Christiane Fellbaum (Princeton University, USA).

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2010 at tsdconference.org.

The application of formal tools from logic and rational choice theory to the analysis of ethical concepts and theories is a rapidly growing field of research. It has proved its mettle by shedding new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions.

Due to the volcanic eruption in Iceland last April, the Formal Ethics Week has been rescheduled. The event will be hosted by the Faculty of Philosophy of the University of Groningen (the Netherlands) on *September 7-10, 2010*. A joint venture of the Faculty of Philosophy of the University of Groningen and the Department of Philosophy of Uppsala University, the workshop aims to bring together researchers at the crossroads of ethical theory and formal methods. The event will feature four tutorials by leading scholars, and eight working sessions, where researchers from Groningen and from Uppsala will present and discuss each other's work.

Attendance to the Formal Ethics Week is open to everyone, but registration is required. For more information, and to register, please visit the website of the workshop: http://www.philos.rug.nl/FEW.

The meeting, which alternately takes place in Italy and in Spain, aims to promote the cooperation between Italian and Spanish topologists. The participation of researchers from other countries is warmly encouraged. Traditionally, it is emphasized on the relation between the general or set-theoretic topology, and other areas of mathematics or sciences. Thus, topics like, for example, topological methods in functional analysis or in dynamical systems, hyperspaces, applied topology for computer sciences or economy, algebraic methods in spaces of continuous functions, etc, are usually considered.

Deadline for registrations: August 12, 2010. For more information, see http://ites2010.unex.es or email ites2010 at unex.es.

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

The workshop consists of main lecture courses and contributed talks across a range of logic as well as informal discussion groups in the evenings. It is intended particularly for PhD students and postdoctoral researchers working in or around mathematical logic and applications. It is primarily aimed at members of the involved research centres of the MALOA network, but participants from external sites are welcome as well.

The workshop is being held at the Hotel Aurachhof in Fischbachau, a picturesque small village outside of Munich. Full board accommodation is available from € 50 to € 80 per person and day, depending on the room type and includes the workshop costs.

For more information, including a full timetable of lecture courses and talks, please see the website at http://www.mathematik.uni-muenchen.de/~jberger/fisch.html. If interested in participating, please email Emma Jones at e.j.jones at leeds.ac.uk as soon as possible, and by Monday May 3 at absolute latest, as we need to make the accommodation booking in Fischbachau.

For more information on MALOA, see http://www.logique.jussieu.fr/MALOA/.

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

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. Springer publications are regularly indexed by all major citation databases.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote speakers: John Carroll (University of Sussex, UK) and Christiane Fellbaum (Princeton University, USA).

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2010 at tsdconference.org.

The application of formal tools from logic and rational choice theory to the analysis of ethical concepts and theories is a rapidly growing field of research. It has proved its mettle by shedding new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions.

Due to the volcanic eruption in Iceland last April, the Formal Ethics Week has been rescheduled. The event will be hosted by the Faculty of Philosophy of the University of Groningen (the Netherlands) on *September 7-10, 2010*. A joint venture of the Faculty of Philosophy of the University of Groningen and the Department of Philosophy of Uppsala University, the workshop aims to bring together researchers at the crossroads of ethical theory and formal methods. The event will feature four tutorials by leading scholars, and eight working sessions, where researchers from Groningen and from Uppsala will present and discuss each other's work.

Attendance to the Formal Ethics Week is open to everyone, but registration is required. For more information, and to register, please visit the website of the workshop: http://www.philos.rug.nl/FEW.

The meeting, which alternately takes place in Italy and in Spain, aims to promote the cooperation between Italian and Spanish topologists. The participation of researchers from other countries is warmly encouraged. Traditionally, it is emphasized on the relation between the general or set-theoretic topology, and other areas of mathematics or sciences. Thus, topics like, for example, topological methods in functional analysis or in dynamical systems, hyperspaces, applied topology for computer sciences or economy, algebraic methods in spaces of continuous functions, etc, are usually considered.

Deadline for registrations: August 12, 2010. For more information, see http://ites2010.unex.es or email ites2010 at unex.es.

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

The workshop consists of main lecture courses and contributed talks across a range of logic as well as informal discussion groups in the evenings. It is intended particularly for PhD students and postdoctoral researchers working in or around mathematical logic and applications. It is primarily aimed at members of the involved research centres of the MALOA network, but participants from external sites are welcome as well.

The workshop is being held at the Hotel Aurachhof in Fischbachau, a picturesque small village outside of Munich. Full board accommodation is available from € 50 to € 80 per person and day, depending on the room type and includes the workshop costs.

For more information, including a full timetable of lecture courses and talks, please see the website at http://www.mathematik.uni-muenchen.de/~jberger/fisch.html. If interested in participating, please email Emma Jones at e.j.jones at leeds.ac.uk as soon as possible, and by Monday May 3 at absolute latest, as we need to make the accommodation booking in Fischbachau.

For more information on MALOA, see http://www.logique.jussieu.fr/MALOA/.

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

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

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

The European Conference on Logics in Artificial Intelligence (JELIA) is a biannual forum bringing together researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature.

For more information, see http://jelia2010.tkk.fi/.

The Institute of Philosophy of the Academy of Sciences of the Czech Republic in cooperation with the Technical University of Vienna is organizing a colloquium broadly dedicated to the role of uncertainty calculi in epistemology.

Tentatively invited speakers and participants include Colin Howson, Peter Milne and Nick Smith.

For more information, see http://www.flu.cas.cz/colloquium or contact the organizers at colloquium at flu.cas.cz.

Computational social choice is a new discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

COMSOC-2010, the third in a series of biannual international workshops, will be held in association with the COST Action on Algorithmic Decision Theory and be accompanied by a LogICCC Tutorial Day with general introductory talks. Registration fees will cover both the workshop and the tutorial day and will be kept very low.

For more information, see http://ccc.cs.uni-duesseldorf.de/COMSOC-2010/.

ICGI-2010 is the tenth in a series of successful biennial international conferences in the area of grammatical inference. The conference seeks to provide a forum for presentation and discussion of original research papers on all aspects of grammatical inference,

For more information, see http://users.dsic.upv.es/workshops/icgi2010/

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

The European Conference on Logics in Artificial Intelligence (JELIA) is a biannual forum bringing together researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature.

For more information, see http://jelia2010.tkk.fi/.

The Institute of Philosophy of the Academy of Sciences of the Czech Republic in cooperation with the Technical University of Vienna is organizing a colloquium broadly dedicated to the role of uncertainty calculi in epistemology.

Tentatively invited speakers and participants include Colin Howson, Peter Milne and Nick Smith.

For more information, see http://www.flu.cas.cz/colloquium or contact the organizers at colloquium at flu.cas.cz.

Computational social choice is a new discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

COMSOC-2010, the third in a series of biannual international workshops, will be held in association with the COST Action on Algorithmic Decision Theory and be accompanied by a LogICCC Tutorial Day with general introductory talks. Registration fees will cover both the workshop and the tutorial day and will be kept very low.

For more information, see http://ccc.cs.uni-duesseldorf.de/COMSOC-2010/.

ICGI-2010 is the tenth in a series of successful biennial international conferences in the area of grammatical inference. The conference seeks to provide a forum for presentation and discussion of original research papers on all aspects of grammatical inference,

For more information, see http://users.dsic.upv.es/workshops/icgi2010/

Research in the area of cognition is very well represented within several faculties of the University of Amsterdam (FMG, FNWI, FGW, AMC, FEB) in research teams that include psychologists, neurobiologists, neurologists, psychiatrists, behavioral economists, logicians, and linguists. They study cognition at the level of the neurons and neural systems involved, as well as at the level of the regulation of behavior, the theoretical modeling of behavior, and cognitive disorders. The Executive Board of the UvA has decided to designate Brain & Cognition as the university’s first research priority program, a decision motivated by the fact that, on the one hand, several UvA faculties house excellent cognitive scientists and, on the other hand, by the consideration that a strengthening of the mutual interdisciplinary collaboration would not only mean a significant step ahead, but would also increase the international visibility of the cognitive research at the UvA.

For more information, see http://www.csca.nl/csca/symposia/kickoff-brain-amp-cognition-sep-14/

Positional games are a class in the wide spectrum of combinatorial games. Their main characteristic is a simple basic concept, but at the same time, in contrast to most of the other combinatorial games, a non-trivial theory supporting them. The scientific community working in positional games has witnessed a rapid expansion lately, and there are plenty of new topics in the area.

For more information, contact Tobias Mueller at T.Mueller at cwi.nl.

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

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

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

The present workshop is devoted to different understandings of the notion of form in the context of logic- and scientifically-oriented philosophy in the 19th and early 20th century, i.e. (roughly) the period from Bolzano over Brentano to Husserl, Frege and early analytic philosophy.

Against this historical background, we aim at bringing together masters of the field with graduate students whose work is connected (but not restricted) to this subject. Invited speakers: Michael Beaney (York), Danielle Macbeth (Haverford)

For more information, see here or contact Stefan Roski (stefan.roski at gmail.com).

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

The European Conference on Logics in Artificial Intelligence (JELIA) is a biannual forum bringing together researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature.

For more information, see http://jelia2010.tkk.fi/.

The Institute of Philosophy of the Academy of Sciences of the Czech Republic in cooperation with the Technical University of Vienna is organizing a colloquium broadly dedicated to the role of uncertainty calculi in epistemology.

Tentatively invited speakers and participants include Colin Howson, Peter Milne and Nick Smith.

For more information, see http://www.flu.cas.cz/colloquium or contact the organizers at colloquium at flu.cas.cz.

Computational social choice is a new discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

COMSOC-2010, the third in a series of biannual international workshops, will be held in association with the COST Action on Algorithmic Decision Theory and be accompanied by a LogICCC Tutorial Day with general introductory talks. Registration fees will cover both the workshop and the tutorial day and will be kept very low.

For more information, see http://ccc.cs.uni-duesseldorf.de/COMSOC-2010/.

ICGI-2010 is the tenth in a series of successful biennial international conferences in the area of grammatical inference. The conference seeks to provide a forum for presentation and discussion of original research papers on all aspects of grammatical inference,

For more information, see http://users.dsic.upv.es/workshops/icgi2010/

Positional games are a class in the wide spectrum of combinatorial games. Their main characteristic is a simple basic concept, but at the same time, in contrast to most of the other combinatorial games, a non-trivial theory supporting them. The scientific community working in positional games has witnessed a rapid expansion lately, and there are plenty of new topics in the area.

For more information, contact Tobias Mueller at T.Mueller at cwi.nl.

We are pleased to announce that the annual meeting of the Swiss Graduate Society in Logic will take place in collaboration with the ESF Scientific Network Infty between 15-17 September 2010 in Lausanne. The topic of this year is The Infinite in Mathematical Logic and the invited tutorials will be given by Matteo Viale (Torino) on Infinite Combinatorics, Gerhard Jaeger (Bern) on Operational Set Theory and Large Cardinals, and Jean-Louis Krivine (Paris) on Realizability in Classical Logic. We organize the meeting to bring together graduate, postgraduates and postdocs in order to learn from senior researchers in the field but also from each other by discussing research issues during presentation sessions.

For more information, see http://www2.unil.ch/logique/VCS/VCS_Next_Events.html.

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

The Institute of Philosophy of the Academy of Sciences of the Czech Republic in cooperation with the Technical University of Vienna is organizing a colloquium broadly dedicated to the role of uncertainty calculi in epistemology.

Tentatively invited speakers and participants include Colin Howson, Peter Milne and Nick Smith.

For more information, see http://www.flu.cas.cz/colloquium or contact the organizers at colloquium at flu.cas.cz.

Computational social choice is a new discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

COMSOC-2010, the third in a series of biannual international workshops, will be held in association with the COST Action on Algorithmic Decision Theory and be accompanied by a LogICCC Tutorial Day with general introductory talks. Registration fees will cover both the workshop and the tutorial day and will be kept very low.

For more information, see http://ccc.cs.uni-duesseldorf.de/COMSOC-2010/.

ICGI-2010 is the tenth in a series of successful biennial international conferences in the area of grammatical inference. The conference seeks to provide a forum for presentation and discussion of original research papers on all aspects of grammatical inference,

For more information, see http://users.dsic.upv.es/workshops/icgi2010/

We are pleased to announce that the annual meeting of the Swiss Graduate Society in Logic will take place in collaboration with the ESF Scientific Network Infty between 15-17 September 2010 in Lausanne. The topic of this year is The Infinite in Mathematical Logic and the invited tutorials will be given by Matteo Viale (Torino) on Infinite Combinatorics, Gerhard Jaeger (Bern) on Operational Set Theory and Large Cardinals, and Jean-Louis Krivine (Paris) on Realizability in Classical Logic. We organize the meeting to bring together graduate, postgraduates and postdocs in order to learn from senior researchers in the field but also from each other by discussing research issues during presentation sessions.

For more information, see http://www2.unil.ch/logique/VCS/VCS_Next_Events.html.

Nonclassical logics form one of the most important branches of modern logic. In last decades a great variety of formal systems was developed especially in the context of computer science, artificial intelligence, formal linguistics, cognitive studies, as well as for the deeper analysis of traditional philosophical problems.

The diversification of systems and solutions calls for stricter cooperation between researchers from different fields of investigation. The main aim of conference is to provide a forum for better transfer of results.

This is the third edition of "Non-Classical Logic. Theory and Applications". Two times the conference was organized by Departament of Logic and Methodology at Lodz University. This year's edition is organized in Torun by Department of Logic at Nicolaus Copernicus University (http://www.logika.umk.pl/index_en.html)

Deadline for registration and payment: August 31, 2010. For more information, see http://www.logika.umk.pl/LNK10/index_en.html

This meeting, organized by the Helsinki Logic Group, is in honour of professor Jouko Väänänen's sixtieth birthday. Topics include model theory, set theory, foundations of mathematics, logic in computer science, semantics of natural language, games, generalized quantifiers, infinitary languages, and abstract logic.

There will be two tutorials 13-15th September by Andres Villaveces (Model Theory of Sheaves) and by Boban Velickovic (Transfinite Games).

For more information, see http://www.helsinki.fi/~kulikov/jouko/

As part of the interdisciplinary research project on "Knowing how and knowing that" sponsored by the Volkswagen Foundation we organize a three-day international workshop on the Foundations of Social Cognition.

This interdisciplinary meeting starts with philosophical investigations of different levels of processing realized in cognitive and social abilities. These methodological considerations will then be used to develop and discuss a new research framework of investigating social cognition. The workshop will be organized in four Symposia on (1) Levels of Processing, (2) Understanding Other Minds, (3) Social Cognition, and (4) Cultural Cognition/Neuroscience. In addition there will be a Session with Graduate Student presentations and a Poster Session. The conference language will be English.

For more information, see http://www.wuk.uni-bonn.de/workshop2010/topic2010_e.htm

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

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

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

We are pleased to announce that the annual meeting of the Swiss Graduate Society in Logic will take place in collaboration with the ESF Scientific Network Infty between 15-17 September 2010 in Lausanne. The topic of this year is The Infinite in Mathematical Logic and the invited tutorials will be given by Matteo Viale (Torino) on Infinite Combinatorics, Gerhard Jaeger (Bern) on Operational Set Theory and Large Cardinals, and Jean-Louis Krivine (Paris) on Realizability in Classical Logic. We organize the meeting to bring together graduate, postgraduates and postdocs in order to learn from senior researchers in the field but also from each other by discussing research issues during presentation sessions.

For more information, see http://www2.unil.ch/logique/VCS/VCS_Next_Events.html.

Nonclassical logics form one of the most important branches of modern logic. In last decades a great variety of formal systems was developed especially in the context of computer science, artificial intelligence, formal linguistics, cognitive studies, as well as for the deeper analysis of traditional philosophical problems.

The diversification of systems and solutions calls for stricter cooperation between researchers from different fields of investigation. The main aim of conference is to provide a forum for better transfer of results.

This is the third edition of "Non-Classical Logic. Theory and Applications". Two times the conference was organized by Departament of Logic and Methodology at Lodz University. This year's edition is organized in Torun by Department of Logic at Nicolaus Copernicus University (http://www.logika.umk.pl/index_en.html)

Deadline for registration and payment: August 31, 2010. For more information, see http://www.logika.umk.pl/LNK10/index_en.html

This meeting, organized by the Helsinki Logic Group, is in honour of professor Jouko Väänänen's sixtieth birthday. Topics include model theory, set theory, foundations of mathematics, logic in computer science, semantics of natural language, games, generalized quantifiers, infinitary languages, and abstract logic.

There will be two tutorials 13-15th September by Andres Villaveces (Model Theory of Sheaves) and by Boban Velickovic (Transfinite Games).

For more information, see http://www.helsinki.fi/~kulikov/jouko/

As part of the interdisciplinary research project on "Knowing how and knowing that" sponsored by the Volkswagen Foundation we organize a three-day international workshop on the Foundations of Social Cognition.

This interdisciplinary meeting starts with philosophical investigations of different levels of processing realized in cognitive and social abilities. These methodological considerations will then be used to develop and discuss a new research framework of investigating social cognition. The workshop will be organized in four Symposia on (1) Levels of Processing, (2) Understanding Other Minds, (3) Social Cognition, and (4) Cultural Cognition/Neuroscience. In addition there will be a Session with Graduate Student presentations and a Poster Session. The conference language will be English.

For more information, see http://www.wuk.uni-bonn.de/workshop2010/topic2010_e.htm

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

Nonclassical logics form one of the most important branches of modern logic. In last decades a great variety of formal systems was developed especially in the context of computer science, artificial intelligence, formal linguistics, cognitive studies, as well as for the deeper analysis of traditional philosophical problems.

The diversification of systems and solutions calls for stricter cooperation between researchers from different fields of investigation. The main aim of conference is to provide a forum for better transfer of results.

This is the third edition of "Non-Classical Logic. Theory and Applications". Two times the conference was organized by Departament of Logic and Methodology at Lodz University. This year's edition is organized in Torun by Department of Logic at Nicolaus Copernicus University (http://www.logika.umk.pl/index_en.html)

Deadline for registration and payment: August 31, 2010. For more information, see http://www.logika.umk.pl/LNK10/index_en.html

This meeting, organized by the Helsinki Logic Group, is in honour of professor Jouko Väänänen's sixtieth birthday. Topics include model theory, set theory, foundations of mathematics, logic in computer science, semantics of natural language, games, generalized quantifiers, infinitary languages, and abstract logic.

There will be two tutorials 13-15th September by Andres Villaveces (Model Theory of Sheaves) and by Boban Velickovic (Transfinite Games).

For more information, see http://www.helsinki.fi/~kulikov/jouko/

As part of the interdisciplinary research project on "Knowing how and knowing that" sponsored by the Volkswagen Foundation we organize a three-day international workshop on the Foundations of Social Cognition.

This interdisciplinary meeting starts with philosophical investigations of different levels of processing realized in cognitive and social abilities. These methodological considerations will then be used to develop and discuss a new research framework of investigating social cognition. The workshop will be organized in four Symposia on (1) Levels of Processing, (2) Understanding Other Minds, (3) Social Cognition, and (4) Cultural Cognition/Neuroscience. In addition there will be a Session with Graduate Student presentations and a Poster Session. The conference language will be English.

For more information, see http://www.wuk.uni-bonn.de/workshop2010/topic2010_e.htm

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

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2010 will be an informal workshop, without proceedings. Its programme consists of six invited tutorials, contributed talks (30 min) and short presentations (15 min). GAMES 2010 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

More information about the games workshop can be found at http://www.comlab.ox.ac.uk/games2010.

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

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2010 will be an informal workshop, without proceedings. Its programme consists of six invited tutorials, contributed talks (30 min) and short presentations (15 min). GAMES 2010 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

More information about the games workshop can be found at http://www.comlab.ox.ac.uk/games2010.

The idea that there is a strong connection between logic, reasoning, and rationality, which was very popular among the philosophers of the Wiener Kreis, has long been out of fashion. Findings from history and philosophy of science and from cognitive psychology have revealed that the traditional logician's tool, Classical Logic, is not fit for explicating human reasoning either in the sciences or in everyday life. Times have changed, however. Today, a multiplicity of formal frameworks (ranging from non-classical logics over probability theory to Bayesian networks) is available in addition to Classical Logic. Also, historians and philosophers of science as well as psychologists have described a rich variety of patterns in both scientific and common sense reasoning.

The aim of LRR10 is to stimulate the use of formal frameworks to explicate concrete examples of human reasoning and, conversely, to challenge scholars in formal studies by presenting them with interesting new examples of actual reasoning. Therefore, we welcome papers in all areas related to non-classical logics and non-classical formal frameworks. We also welcome case studies from history and philosophy of science, as well as from psychology, that enhance our apprehension of concrete reasoning patterns that occur in the sciences and in everyday life. Finally, we welcome contributions that deal with the philosophical implications of the present-day insights for our understanding of rationality.

For more information, see http://www.lrr10.ugent.be/.

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

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2010 will be an informal workshop, without proceedings. Its programme consists of six invited tutorials, contributed talks (30 min) and short presentations (15 min). GAMES 2010 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

More information about the games workshop can be found at http://www.comlab.ox.ac.uk/games2010.

The idea that there is a strong connection between logic, reasoning, and rationality, which was very popular among the philosophers of the Wiener Kreis, has long been out of fashion. Findings from history and philosophy of science and from cognitive psychology have revealed that the traditional logician's tool, Classical Logic, is not fit for explicating human reasoning either in the sciences or in everyday life. Times have changed, however. Today, a multiplicity of formal frameworks (ranging from non-classical logics over probability theory to Bayesian networks) is available in addition to Classical Logic. Also, historians and philosophers of science as well as psychologists have described a rich variety of patterns in both scientific and common sense reasoning.

The aim of LRR10 is to stimulate the use of formal frameworks to explicate concrete examples of human reasoning and, conversely, to challenge scholars in formal studies by presenting them with interesting new examples of actual reasoning. Therefore, we welcome papers in all areas related to non-classical logics and non-classical formal frameworks. We also welcome case studies from history and philosophy of science, as well as from psychology, that enhance our apprehension of concrete reasoning patterns that occur in the sciences and in everyday life. Finally, we welcome contributions that deal with the philosophical implications of the present-day insights for our understanding of rationality.

For more information, see http://www.lrr10.ugent.be/.

The aim of the workshop is to draw together new research, conducted in various countries, under the broad heading of lattices with additional operations. A particular focus will be on lattices of binary relations expanded with relational operations. Examples of such lattice expansions include various fragments/variants of relation algebra, Kleene algebra, domain algebra, residuated algebras, etc. Particular research topics include
- (finite) axiomatisability of classes of algebras
- computational aspects e.g. decidability and complexity of the equational theory, representation problem for abstract algebras, finite representation property
- duality theory, completions and canonical extensions
- applications to substructural logics and program semantics.

The workshop is aimed at postgraduate research students with a background in mathematics and advanced researchers in the field.

For more information, see http://www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html

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

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2010 will be an informal workshop, without proceedings. Its programme consists of six invited tutorials, contributed talks (30 min) and short presentations (15 min). GAMES 2010 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

More information about the games workshop can be found at http://www.comlab.ox.ac.uk/games2010.

The idea that there is a strong connection between logic, reasoning, and rationality, which was very popular among the philosophers of the Wiener Kreis, has long been out of fashion. Findings from history and philosophy of science and from cognitive psychology have revealed that the traditional logician's tool, Classical Logic, is not fit for explicating human reasoning either in the sciences or in everyday life. Times have changed, however. Today, a multiplicity of formal frameworks (ranging from non-classical logics over probability theory to Bayesian networks) is available in addition to Classical Logic. Also, historians and philosophers of science as well as psychologists have described a rich variety of patterns in both scientific and common sense reasoning.

The aim of LRR10 is to stimulate the use of formal frameworks to explicate concrete examples of human reasoning and, conversely, to challenge scholars in formal studies by presenting them with interesting new examples of actual reasoning. Therefore, we welcome papers in all areas related to non-classical logics and non-classical formal frameworks. We also welcome case studies from history and philosophy of science, as well as from psychology, that enhance our apprehension of concrete reasoning patterns that occur in the sciences and in everyday life. Finally, we welcome contributions that deal with the philosophical implications of the present-day insights for our understanding of rationality.

For more information, see http://www.lrr10.ugent.be/.

The aim of the workshop is to draw together new research, conducted in various countries, under the broad heading of lattices with additional operations. A particular focus will be on lattices of binary relations expanded with relational operations. Examples of such lattice expansions include various fragments/variants of relation algebra, Kleene algebra, domain algebra, residuated algebras, etc. Particular research topics include
- (finite) axiomatisability of classes of algebras
- computational aspects e.g. decidability and complexity of the equational theory, representation problem for abstract algebras, finite representation property
- duality theory, completions and canonical extensions
- applications to substructural logics and program semantics.

The workshop is aimed at postgraduate research students with a background in mathematics and advanced researchers in the field.

For more information, see http://www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html

Biannual meeting of the DVMLG (Deutsche Vereinigung für Mathematische Logik).

For more information, see http://wwwmath.uni-muenster.de/logik/Veranstaltungen/cl2010/

The Young Researchers' Roundtable on Spoken Dialogue Systems (YRRSDS) is an annual workshop designed for post-graduate students, post-docs and junior researchers working in research related to spoken dialogue systems in both academia and industry. The roundtable provides an open forum where participants can discuss their research interests, current work and future plans. The workshop is meant to provide an interdisciplinary forum for creative thinking about current issues in spoken dialogue systems research, and help create a stronger international network of young researchers working in the field.

Participants will be asked to submit a 2-page position paper. Submissions will be accepted on a rolling basis until the maximum number of participants for the workshop (50) is reached, or until the submission deadline 23 July 2010.

For more information, see http://www.yrrsds.org/ or contact Raquel Fernandez.

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

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2010 will be an informal workshop, without proceedings. Its programme consists of six invited tutorials, contributed talks (30 min) and short presentations (15 min). GAMES 2010 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

More information about the games workshop can be found at http://www.comlab.ox.ac.uk/games2010.

The aim of the workshop is to draw together new research, conducted in various countries, under the broad heading of lattices with additional operations. A particular focus will be on lattices of binary relations expanded with relational operations. Examples of such lattice expansions include various fragments/variants of relation algebra, Kleene algebra, domain algebra, residuated algebras, etc. Particular research topics include
- (finite) axiomatisability of classes of algebras
- computational aspects e.g. decidability and complexity of the equational theory, representation problem for abstract algebras, finite representation property
- duality theory, completions and canonical extensions
- applications to substructural logics and program semantics.

The workshop is aimed at postgraduate research students with a background in mathematics and advanced researchers in the field.

For more information, see http://www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html

Biannual meeting of the DVMLG (Deutsche Vereinigung für Mathematische Logik).

For more information, see http://wwwmath.uni-muenster.de/logik/Veranstaltungen/cl2010/

The Young Researchers' Roundtable on Spoken Dialogue Systems (YRRSDS) is an annual workshop designed for post-graduate students, post-docs and junior researchers working in research related to spoken dialogue systems in both academia and industry. The roundtable provides an open forum where participants can discuss their research interests, current work and future plans. The workshop is meant to provide an interdisciplinary forum for creative thinking about current issues in spoken dialogue systems research, and help create a stronger international network of young researchers working in the field.

Participants will be asked to submit a 2-page position paper. Submissions will be accepted on a rolling basis until the maximum number of participants for the workshop (50) is reached, or until the submission deadline 23 July 2010.

For more information, see http://www.yrrsds.org/ or contact Raquel Fernandez.

he Symposium on Theoretical Aspects of Computer Science (STACS) takes place each year since 1984, alternately in Germany and France.

Typical topics of the conference include:
* Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory;
* Automata and formal languages;
* Computational and structural complexity
* Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction;
* Current challenges, for example: biological computing, quantum computing, mobile and net computing.

For more information, see http://stacs2011.de/

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

Biannual meeting of the DVMLG (Deutsche Vereinigung für Mathematische Logik).

For more information, see http://wwwmath.uni-muenster.de/logik/Veranstaltungen/cl2010/

The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialogue to both academic and industry researchers. Continuing with a series of successful ten previous meetings, this conference spans the research interest area of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group in discourse and dialogue for both ACL and ISCA. SIGDIAL 2010 will be co-located with Interspeech 2010 as a satellite event.

For more information, see http://www.sigdial.org/workshops/workshop11/

The 2010 Logic and Language Conference is the first of a series of conferences co-organized by the Northern Institute of Philosophy at the University of Aberdeen, and by the Centre for Logic and Language of the Institute of Philosophy at the School of Advanced Study, University of London. Staged every two years, alternating location between Aberdeen and London, this workshop aims at resurrecting the traditional UK Logic and Language conference series and at becoming a prominent feature in the British philosophical calendar.

The Conference is meant primarily as a showcase for young philosophers to present and discuss their best work, but will host keynote speakers as well. For this first edition, the topic for the invited contributions is 'Fiction and Fictionalism'.

For any other enquiries or further information please contact f.berto at abdn.ac.uk or see the conference website at http://www.abdn.ac.uk/philosophy/nip/ll2010/.

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

The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialogue to both academic and industry researchers. Continuing with a series of successful ten previous meetings, this conference spans the research interest area of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group in discourse and dialogue for both ACL and ISCA. SIGDIAL 2010 will be co-located with Interspeech 2010 as a satellite event.

For more information, see http://www.sigdial.org/workshops/workshop11/

The 2010 Logic and Language Conference is the first of a series of conferences co-organized by the Northern Institute of Philosophy at the University of Aberdeen, and by the Centre for Logic and Language of the Institute of Philosophy at the School of Advanced Study, University of London. Staged every two years, alternating location between Aberdeen and London, this workshop aims at resurrecting the traditional UK Logic and Language conference series and at becoming a prominent feature in the British philosophical calendar.

The Conference is meant primarily as a showcase for young philosophers to present and discuss their best work, but will host keynote speakers as well. For this first edition, the topic for the invited contributions is 'Fiction and Fictionalism'.

For any other enquiries or further information please contact f.berto at abdn.ac.uk or see the conference website at http://www.abdn.ac.uk/philosophy/nip/ll2010/.

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

The 2010 Logic and Language Conference is the first of a series of conferences co-organized by the Northern Institute of Philosophy at the University of Aberdeen, and by the Centre for Logic and Language of the Institute of Philosophy at the School of Advanced Study, University of London. Staged every two years, alternating location between Aberdeen and London, this workshop aims at resurrecting the traditional UK Logic and Language conference series and at becoming a prominent feature in the British philosophical calendar.

The Conference is meant primarily as a showcase for young philosophers to present and discuss their best work, but will host keynote speakers as well. For this first edition, the topic for the invited contributions is 'Fiction and Fictionalism'.

For any other enquiries or further information please contact f.berto at abdn.ac.uk or see the conference website at http://www.abdn.ac.uk/philosophy/nip/ll2010/.

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

The Arché "Logic or Logics?" Mini-course and Workshop are organised by the members of the AHRCé funded Foundations of Logical Consequence project. The Mini-Course is intended for graduate students and younger researchers (postdocs and junior faculty) working on related topics. The aim is to provide intensive graduate-level instruction on the latest thinking about pluralism and revision in logic. Topics will include the revision of logic debate, logical pluralism vs. absolutism (or monism), and combining logics. The week will conclude with a Workshop dedicated to contemporary research on the same theme.

For more information see the event website here: http://www.st-andrews.ac.uk/~arche/events/event?id=398 Any further inquiries should be directed to arche at st-andrews.ac.uk

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

The Arché "Logic or Logics?" Mini-course and Workshop are organised by the members of the AHRCé funded Foundations of Logical Consequence project. The Mini-Course is intended for graduate students and younger researchers (postdocs and junior faculty) working on related topics. The aim is to provide intensive graduate-level instruction on the latest thinking about pluralism and revision in logic. Topics will include the revision of logic debate, logical pluralism vs. absolutism (or monism), and combining logics. The week will conclude with a Workshop dedicated to contemporary research on the same theme.

For more information see the event website here: http://www.st-andrews.ac.uk/~arche/events/event?id=398 Any further inquiries should be directed to arche at st-andrews.ac.uk

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

The Arché "Logic or Logics?" Mini-course and Workshop are organised by the members of the AHRCé funded Foundations of Logical Consequence project. The Mini-Course is intended for graduate students and younger researchers (postdocs and junior faculty) working on related topics. The aim is to provide intensive graduate-level instruction on the latest thinking about pluralism and revision in logic. Topics will include the revision of logic debate, logical pluralism vs. absolutism (or monism), and combining logics. The week will conclude with a Workshop dedicated to contemporary research on the same theme.

For more information see the event website here: http://www.st-andrews.ac.uk/~arche/events/event?id=398 Any further inquiries should be directed to arche at st-andrews.ac.uk

Speakers include James Joyce, David Etlin, Richard Bradley, Jason Alexander, Christian List and Franz Dietrich.

For more information, see http://www2.lse.ac.uk/CPNSS/projects/CoreResearchProjects/ChoiceGroup/

The Association for the Philosophy of Mathematical Practice (APMP) aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics which engages with mathematics in practice ? including issues in history of mathematics, the applications of mathematics, cognitive science, etc. The Association was launched in 2009. The First International Meeting of the APMP will be held next December 9-11 in Brussels.

For more information, see http://www.vub.ac.be/CLWF/APMP2010/ or here.

The University of Oxford will host the Ninth International Conference on Computational Semantics (IWCS-2011), which will take place at the Computing Laboratory on 12-14 January 2011. The aim of the IWCS conference is to bring together researchers interested in any aspects of the computation, annotation, extraction, and representation of meaning in natural language, whether this is from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

Areas of special interest for the conference will be computational aspects of meaning of natural language within written, spoken, or multimodal communication.

For more information, see http://www.meaningfactory.com/iwcs2011/

This special issue of Studia Logica is devoted to recent developments in the field of the structures that incorporate algebraic methods to the study of logic, as the title suggests. We invite submissions of papers presenting new results in the area, that can be of interest to both logicians and algebraists.

The deadline for paper submissions is September 30, 2010, but we ask to inform us as soon as possible of your intention to submit by sending a message to the Guest Editors at imabad at criba.edu.ar.

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

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 logic, 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 17th LPAR will be held in Yogyakarta, Indonesia.

For more information, see http://www.computational-logic.org/lpar-17/

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

The Arché "Logic or Logics?" Mini-course and Workshop are organised by the members of the AHRCé funded Foundations of Logical Consequence project. The Mini-Course is intended for graduate students and younger researchers (postdocs and junior faculty) working on related topics. The aim is to provide intensive graduate-level instruction on the latest thinking about pluralism and revision in logic. Topics will include the revision of logic debate, logical pluralism vs. absolutism (or monism), and combining logics. The week will conclude with a Workshop dedicated to contemporary research on the same theme.

For more information see the event website here: http://www.st-andrews.ac.uk/~arche/events/event?id=398 Any further inquiries should be directed to arche at st-andrews.ac.uk

The Amsterdam Graduate Philosophy Conference 2010 is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The 3rd Amsterdam Graduate Philosophy Conference is devoted to continue the discussions that were raised in the previous two conferences, as well as to lay the ground for new ones. The theme this year is Truth, Meaning, and Normativity.

We invite submissions from graduate researchers conducting novel philosophical research into any of the three conference topics. We also encourage submissions that inform the discussion about truth, meaning, and/or normativity by offering a philosophical interpretation of results from other fields such as logic, cognitive psychology and linguistics (including formal semantics and sociolinguistics).

Since the topics of truth, meaning, and normativity naturally feed into each other, we also welcome contributions whose particular aim is to explore any of the many intricate ways in which these notions relate to one another. Submissions on the role that these notions have played, or play, in the broad (analytic) tradition or, more specifically, within the linguistic turn are also of interest to the conference.

For more information, please visit the conference website at https://www.illc.uva.nl/agpc/agpc10/, or contact agpc at uva.nl.