Recent work in the philosophy of knowledge has lead to a rediscovery -or a rethinking--- of the relationships between knowledge and action. What is the role of knowledge in the explanation of action and in practical reasoning? To what extent do knowers have to be agents and can knowledge be defined in relation to what the knower does? Are beliefs and judgements in some sense actions? Are there connexions between epistemic reasons and practical reasons, and if there are, what are they? Is there a difference between knowledge and the activity of inquiry? These are, in a sense, traditional questions, which have also a long record within the pragmatist tradition, from Peirce and Ramsey to Isaac Levi, and which can be examined from many angles, from epistemology to philosophy of mind and issues about practical reasoning or meta-ethics. The aim of this conference, which is to examine these issues from a number of aspects, starting from the question: can there be epistemic agency ?

More details at: http://www.unige.ch/lettres/philo/evenements/2008/EpistemicAgency.html.

This is the eighth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making, with a focus on papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information, see https://www.illc.uva.nl/LOFT2008/

PHIBOOK is an annual volume devoted to philosophical logic and its relation to philosophy and science with particular emphasis on multi- agent and modal systems, active agency and social software. The yearbook is intended to inform the community of current and future directions of research and activity in philosophical logic, major events, books and important papers of the past year but also leaves extensive room for discussion in terms of columns, opinion pieces, and critical reports.

The yearbook will be published by Automatic Press / VIP, around 250 pages coming out in November every year - $25-7 a copy. The first yearbook covering 2007 will be coming out in May 2008 and the 2008 volume will appear in December 2008.

SUBMISSIONS

For more information, see http://www.formalphilosophy.com/phibook

This special issue has its origin in the International Workshop on Hybrid Logic (HyLo 2007), which was held 6-10 August in Dublin, Ireland as part of the European Summer School in Logic, Language, and Information (ESSLLI 2007). Topics of interest include not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.

Deadline for paper submission is March 1, 2008. For more information, see here or http://www.springer.com/west/home/philosophy/logic?SGWID=4-40392-70-35503189-0

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '08 is the thirteenth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for applications (and submission of abstracts for the student session) is 18 January 2008.

For more information, see http://cs.ioc.ee/ewscs/2008/ or contact ewscs08 at cs.ioc.ee.

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '08 is the thirteenth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for applications (and submission of abstracts for the student session) is 18 January 2008.

For more information, see http://cs.ioc.ee/ewscs/2008/ or contact ewscs08 at cs.ioc.ee.

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '08 is the thirteenth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for applications (and submission of abstracts for the student session) is 18 January 2008.

For more information, see http://cs.ioc.ee/ewscs/2008/ or contact ewscs08 at cs.ioc.ee.

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '08 is the thirteenth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for applications (and submission of abstracts for the student session) is 18 January 2008.

For more information, see http://cs.ioc.ee/ewscs/2008/ or contact ewscs08 at cs.ioc.ee.

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '08 is the thirteenth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for applications (and submission of abstracts for the student session) is 18 January 2008.

For more information, see http://cs.ioc.ee/ewscs/2008/ or contact ewscs08 at cs.ioc.ee.

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '08 is the thirteenth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for applications (and submission of abstracts for the student session) is 18 January 2008.

For more information, see http://cs.ioc.ee/ewscs/2008/ or contact ewscs08 at cs.ioc.ee.

There is a fast-growing interest in logics that deal with intelligent interaction in communities of agents. There is also a fast-growing jungle of formal systems. The workshop is dedicated to promising recent convergences, trying to foster a common sense of what is going on.

For more information, see http://ai.stanford.edu/~epacuit/LaII/.

The workshop is on approaches with explicit dynamic operators in the language, i.e., as in dynamic epistemics, temporal epistemics and approaches to belief revision with explicit dynamic operators in the logical language. Tradional and independently well-established approaches to dynamics such as PDL and the many variants and extensions of dynamic logic in general, mu-calculus, and pi-calculus, are also in the focus of the workshop. New frontiers for dynamics in logic include: description logics and decidable fragments of FOL, semantic-web approaches, BDI-type logics, deontic logics, relations between knowability, ability, and the dynamics of knowledge, and cognitively motivated approaches. The workshop also welcomes work on information change as the result of deliberation, i.e., on the dynamics of reasoning.

For more information, see http://home.hib.no/ansatte/tag/dil08

Simulation is proposed as a mechanism for a vast spectrum of cognitions, ranging from learning motoric skills to understanding other's intentions and emotions. Within cognitive neuroscience, simulation-based accounts of cognitive abilities have become hugely popular following the discovery of mirror neurons in the mid-nineties. These neurons are activated both by the observation and production of a particular action, suggesting that the observer implicitly simulates the action with his/her own motor system in order to understand it.

In this symposium we will investigate how far we can take the simulation account for understanding the mind. To this end, several leading figures from complementary fields of cognitive science will address issues like: 'What do we simulate when we observe others?' 'Do we simulate to understand or to predict?' 'How do we understand actions that we cannot simulate?'

For more information, see http://oase.uci.ru.nl/~florisdl/simulation/

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

Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email carlos.martin at urv.cat

Simulation is proposed as a mechanism for a vast spectrum of cognitions, ranging from learning motoric skills to understanding other's intentions and emotions. Within cognitive neuroscience, simulation-based accounts of cognitive abilities have become hugely popular following the discovery of mirror neurons in the mid-nineties. These neurons are activated both by the observation and production of a particular action, suggesting that the observer implicitly simulates the action with his/her own motor system in order to understand it.

In this symposium we will investigate how far we can take the simulation account for understanding the mind. To this end, several leading figures from complementary fields of cognitive science will address issues like: 'What do we simulate when we observe others?' 'Do we simulate to understand or to predict?' 'How do we understand actions that we cannot simulate?'

For more information, see http://oase.uci.ru.nl/~florisdl/simulation/

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

Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email carlos.martin at urv.cat

Quite a few researchers from Utrecht and Amsterdam will present their work at Semantics and Linguistic Theory (SALT) this year. There will be a joint try-out session this Friday March 14th.

For more information, see http://www.let.uu.nl/~Rick.Nouwen/personal/minisalt.html and http://www.umass.edu/linguist/events/salt18/program.shtml

Friday March 14, 2008 we will have the next national Dutch NVTI Theory day. NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". The symposium will be held in Hoog Brabant at Utrecht Central station.

We are proud that we can announce the following scientific speakers from The Netherlands and abroad:
Christos Papadimitriou (Berkeley)
Colin Stirling (University of Edinburgh)
Marielle Stoelinga (University of Twente)
Ronald de Wolf (Centrum voor Wiskunde en Informatica)

For more information and abstracts, see http://www.nvti.nl/ or contact Jaco van de Pol. at vdpol at cs.utwente.nl.

The 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. The Proceedings of TSD will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

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

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

Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email carlos.martin at urv.cat

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

Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email carlos.martin at urv.cat

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

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

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

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

Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email carlos.martin at urv.cat

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

Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email carlos.martin at urv.cat

In recent years, fresh encounters have taken place between analytic philosophy and Asian thought. Contemporary analytic and logical tools have been applied to interpret Asian philosophies, while the rich variety of traditional ideas in the latter gives new perspectives in analytic philosophy. This conference is organized to enhance this trend, as well as to assess its status quo. Any tradition of Asian philosophy is included, though the emphasis of the conference is likely to be in areas related to Buddhism, such as Zen and other Mahayana schools, and Japanese philosophy such as Kyoto.

For more information, see http://homepage2.nifty.com/ydeguchi/apat2008/

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

Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email carlos.martin at urv.cat

In recent years, fresh encounters have taken place between analytic philosophy and Asian thought. Contemporary analytic and logical tools have been applied to interpret Asian philosophies, while the rich variety of traditional ideas in the latter gives new perspectives in analytic philosophy. This conference is organized to enhance this trend, as well as to assess its status quo. Any tradition of Asian philosophy is included, though the emphasis of the conference is likely to be in areas related to Buddhism, such as Zen and other Mahayana schools, and Japanese philosophy such as Kyoto.

For more information, see http://homepage2.nifty.com/ydeguchi/apat2008/

Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams.

Recent technological advances have enabled the large-scale adoption of diagrams in a diverse range of areas. Increasingly sophisticated visual representations are emerging and, to enable effective communication, insight is required into how diagrams are used and when they are appropriate for use. The pervasive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the field of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualisations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams.

The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour. Diagrams 2008 is the fifth event in this conference series, which was launched in Edinburgh during September 2000. Diagrams attracts a large number of researchers from virtually all related fields, placing the conference as a major international event in the area.

For more information, see http://www.cmis.brighton.ac.uk/diagrams2008/

In recent years, fresh encounters have taken place between analytic philosophy and Asian thought. Contemporary analytic and logical tools have been applied to interpret Asian philosophies, while the rich variety of traditional ideas in the latter gives new perspectives in analytic philosophy. This conference is organized to enhance this trend, as well as to assess its status quo. Any tradition of Asian philosophy is included, though the emphasis of the conference is likely to be in areas related to Buddhism, such as Zen and other Mahayana schools, and Japanese philosophy such as Kyoto.

For more information, see http://homepage2.nifty.com/ydeguchi/apat2008/

A representative international conference on algebra will be held at Moscow State University from May 28 to June 3, 2008, that is, shortly before CSR 2008. This creates a very convenient opportunity to bring together researchers interested in various aspects of the interaction between algebra, combinatorics and complexity. As such, WACC 2008 takes the form of a satellite workshop to CSR 2008. Invited Speakers include Eric Allender and Boris Plotkin.

For more information, see http://csseminar.kadm.usu.ru/WACC.htm

Modal fixpoint logics constitute a research field of considerable interest, not only because of their many applications, but also because of their rich logical/mathematical theory. Systems such as LTL, PDL, CTL, and the modal mu-calculus, originate from computer science, and are for instance applied in the theory of program specification and verification. The richness of their theory stems from the deep connections with various fields in logic, mathematics, and theoretical computer science, such as lattices and universal (co-)algebra, modal logic, automata, and game theory.

The aim of the workshop is to bring together researchers from various backgrounds, in particular, computer scientists and pure logicians, who share an interest in the area. The invited talks together will represent an overview of the richness of the theory of modal fixpoint logics.

For more information, see http://staff.science.uva.nl/~yde/mfl

Modal fixpoint logics constitute a research field of considerable interest, not only because of their many applications, but also because of their rich logical/mathematical theory. Systems such as LTL, PDL, CTL, and the modal mu-calculus, originate from computer science, and are for instance applied in the theory of program specification and verification. The richness of their theory stems from the deep connections with various fields in logic, mathematics, and theoretical computer science, such as lattices and universal (co-)algebra, modal logic, automata, and game theory.

The aim of the workshop is to bring together researchers from various backgrounds, in particular, computer scientists and pure logicians, who share an interest in the area. The invited talks together will represent an overview of the richness of the theory of modal fixpoint logics.

For more information, see http://staff.science.uva.nl/~yde/mfl

The proportion of Web pages written in English keeps decreasing, but a majority of text-handling tools and techniques have been developed for English and tested on English resources. Many languages have been reasonably well served by the existing systems, but large typological differences (complex morphology, rich inflection, freer-order syntax, not to mention cultural biases) tend to make those tools and resources less than fully adequate. This may be particularly true of deeper processing, including the acquisition of natural language semantics from text.

The workshop seeks to explore methodologies developed from scratch for a variety of languages, and perhaps their reapplication to the processing of English texts. We target the problem of automatic extraction of some form of natural language semantics from corpora and application of the knowledge extracted in that way in systems that deal with natural language.

The workshop is affiliated with the 6th International Conference on Multimedia and Network Information Systems

For more information, see http://www.zsi.pwr.wroc.pl/MISSI2008/LDALSK/

Modal fixpoint logics constitute a research field of considerable interest, not only because of their many applications, but also because of their rich logical/mathematical theory. Systems such as LTL, PDL, CTL, and the modal mu-calculus, originate from computer science, and are for instance applied in the theory of program specification and verification. The richness of their theory stems from the deep connections with various fields in logic, mathematics, and theoretical computer science, such as lattices and universal (co-)algebra, modal logic, automata, and game theory.

The aim of the workshop is to bring together researchers from various backgrounds, in particular, computer scientists and pure logicians, who share an interest in the area. The invited talks together will represent an overview of the richness of the theory of modal fixpoint logics.

For more information, see http://staff.science.uva.nl/~yde/mfl

The Centre for Philosophy of Natural and Social Science announces a Graduate Conference in the Philosophy of Probability to be held at the London School of Economics. Keynote speaker will be Professor Donald Gillies (UCL).

For more information, see http://www.lse.ac.uk/collections/CPNSS/events/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2008.cs.unibo.it/

The international Congress "ULTRAMATH 2008" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals are:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

For more information, visit the web site below: http://www.dm.unipi.it/~ultramath/