The Center for Logic and Philosophy of Science (CLWF) at Free University Brussels (VUB) will hold an international workshop on Logic and Philosophy of Mathematical Practices.

Invited keynote speakers are: Danielle Macbeth (Haverford College, Haverford, PA), Rik Pinxten (Ghent University) and Suzanne Prediger (Technische Universität Dortmund)

For more information, see http://www.vub.ac.be/CLWF/LPMP2014/

This is the seventh in the progic series of conferences, which seeks to address the questions of whether, and if so, how, probability and logic should be combined. The 2015 conference will also be interested in connections between formal epistemology and inductive logic. Can inductive logic shed light on epistemological questions to do with belief, judgement etc.? Can epistemological considerations lead to a viable notion of inductive logic?

Invited speakers include: Richard Bradley, Dorothy Edgington, John Norton, Jeanne Peijnenburg. The conference will be preceded by a two-day Spring School, where introductory lectures on the themes of the conference will be given by Juergen Landes, Jeff Paris, Niki Pfeifer, Gregory Wheeler, Jon Williamson.

A limited number of bursaries are available to postgraduate students attending the Spring School and the conference: these will cover 50% of accommodation and registration costs. For further details please see the conference website http://www.kent.ac.uk/secl/philosophy/jw/2015/progic/.

The Amsterdam Set Theory Workshop 2014 is organized by the Institute for Logic, Language and Computation (ILLC) and the logic group of the University of Hamburg with the aim to provide the platform for exchange for the researchers active in the field of the set theory of the generalized Baire space. The two days of the workshop will consist of three tutorials, several contributed talks and discussion sessions. One of the outputs of this meeting is a planned paper consisting of the open problems in the generalized Baire space.

The workshop includes tutorals by Jouko Väänänen (Helsinki & Amsterdam), Philipp Schlicht (Bonn) and Andrew Brooke-Taylor (Bristol).

For more information, see http://www.math.uni-hamburg.de/spag/ml/AST2014/

Social intelligence is a general term at the intersection between different disciplines including philosophy, social science - sociology, economics, legal science, etc. - and computer science. Broadly speaking, social intelligence is the capacity to understand others and to act rationally and emotionally in relations with others. This is an ability that not only human but also artificial agents have, as modelled in artificial intelligence and agent-based research in particular.

The aim of the European Network for Social Intelligence (SINTELNET, 2011-2014) is to help build a shared perspective at the intersection of the above fields, to identify challenges and opportunities for cross-disciplinary collaboration, to provide guidelines for research and policy-making and to kindle partnerships among participants. The aim of the European Conference on Social Intelligence is to provide a productive meeting ground for researchers from the above fields

For more information, see http://ecsi.sintelnet.eu

The Amsterdam Set Theory Workshop 2014 is organized by the Institute for Logic, Language and Computation (ILLC) and the logic group of the University of Hamburg with the aim to provide the platform for exchange for the researchers active in the field of the set theory of the generalized Baire space. The two days of the workshop will consist of three tutorials, several contributed talks and discussion sessions. One of the outputs of this meeting is a planned paper consisting of the open problems in the generalized Baire space.

The workshop includes tutorals by Jouko Väänänen (Helsinki & Amsterdam), Philipp Schlicht (Bonn) and Andrew Brooke-Taylor (Bristol).

For more information, see http://www.math.uni-hamburg.de/spag/ml/AST2014/

Social intelligence is a general term at the intersection between different disciplines including philosophy, social science - sociology, economics, legal science, etc. - and computer science. Broadly speaking, social intelligence is the capacity to understand others and to act rationally and emotionally in relations with others. This is an ability that not only human but also artificial agents have, as modelled in artificial intelligence and agent-based research in particular.

The aim of the European Network for Social Intelligence (SINTELNET, 2011-2014) is to help build a shared perspective at the intersection of the above fields, to identify challenges and opportunities for cross-disciplinary collaboration, to provide guidelines for research and policy-making and to kindle partnerships among participants. The aim of the European Conference on Social Intelligence is to provide a productive meeting ground for researchers from the above fields

For more information, see http://ecsi.sintelnet.eu

Social intelligence is a general term at the intersection between different disciplines including philosophy, social science - sociology, economics, legal science, etc. - and computer science. Broadly speaking, social intelligence is the capacity to understand others and to act rationally and emotionally in relations with others. This is an ability that not only human but also artificial agents have, as modelled in artificial intelligence and agent-based research in particular.

The aim of the European Network for Social Intelligence (SINTELNET, 2011-2014) is to help build a shared perspective at the intersection of the above fields, to identify challenges and opportunities for cross-disciplinary collaboration, to provide guidelines for research and policy-making and to kindle partnerships among participants. The aim of the European Conference on Social Intelligence is to provide a productive meeting ground for researchers from the above fields

For more information, see http://ecsi.sintelnet.eu

Speakers:
* David Liggins (Manchester), "Propositions and "that"-clauses".
* Jessica Leech (Sheffield), "Absolute necessity".
* Jonathan Payne (Institute of Philosophy), "Quantification and the neo-Fregean conception of object".

For more information, see http://philevents.org/event/show/15596

On Wednesday 5 November 2014 at 17:00 a group of students from the UvA's three Bachelor's programmes in the Information Sciences (Computer Science, Artificial Intelligence, and Information Studies) will visit the ILLC. The event will include three short talks on research in AI at the ILLC: Jelle Zuidema will speak about AI and Cognitive Science, Ivan Titov will speak about Natural Language Processing, and Ulle Endriss will speak about Knowledge Representation and Multiagent Systems. The scientific part of the event will take roughly one hour and be followed by a small borrel.

For more information, contact Raquel Fernández (raquel.fernandez at uva.nl).

Epistemic reasons ground belief: in a factual sense they are actual grounds for belief, and in a normative sense they are good grounds for belief. This year's symposium will be devoted to exploring the concept of epistemic reasons, whether factual or normative. Specific topics of presentation may include the relevance of practical interests and affective states to epistemic reasons, psychologism about epistemic reasons and its competitors, epistemic reasons in foundationalist, coherentist, and externalist frameworks, a priori epistemic reasons, epistemic reasons and testimonial knowledge, and the role of epistemic reasons in automatic vs. deliberative cognitive processes.

For more information, visit the Symposium's website at http://sce-cse.recherche.usherbrooke.ca or write to Yves Bouchard (yves.bouchard at usherbrooke.ca) or David Matheson (david_matheson at carleton.ca).

Epistemic reasons ground belief: in a factual sense they are actual grounds for belief, and in a normative sense they are good grounds for belief. This year's symposium will be devoted to exploring the concept of epistemic reasons, whether factual or normative. Specific topics of presentation may include the relevance of practical interests and affective states to epistemic reasons, psychologism about epistemic reasons and its competitors, epistemic reasons in foundationalist, coherentist, and externalist frameworks, a priori epistemic reasons, epistemic reasons and testimonial knowledge, and the role of epistemic reasons in automatic vs. deliberative cognitive processes.

For more information, visit the Symposium's website at http://sce-cse.recherche.usherbrooke.ca or write to Yves Bouchard (yves.bouchard at usherbrooke.ca) or David Matheson (david_matheson at carleton.ca).

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, is hosting the 8th Annual Arché Graduate Conference at the University of St Andrews in November 2014. The conference will feature Keynote Speakers Penelope Mackie (Nottingham) and Ian Rumfitt (Birmingham), as well as a Symposium on Conceptual Engineering by Herman Cappelen and Patrick Greenough (Arché, St Andrews).

For any further enquiries, email archegradconf at gmail.com or visit http://www.st-andrews.ac.uk/arche/acgc/.

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, is hosting the 8th Annual Arché Graduate Conference at the University of St Andrews in November 2014. The conference will feature Keynote Speakers Penelope Mackie (Nottingham) and Ian Rumfitt (Birmingham), as well as a Symposium on Conceptual Engineering by Herman Cappelen and Patrick Greenough (Arché, St Andrews).

For any further enquiries, email archegradconf at gmail.com or visit http://www.st-andrews.ac.uk/arche/acgc/.

This workshop is aimed at starting new scientific collaborations between (a) mathematical logicians using algebraic, topological and category-theoretic methods for nonclassical logics, and (b) researchers in social choice and judgment aggregation interested in applying logical methods.

While researchers in group (a) are mostly unfamiliar with social choice as a potential field of application of their specific results and techniques, researchers in group (b) have mostly been exposed to only a fragment of the available logical formalisms and techniques, namely to those pertaining to classical logic and model theory, and have largely not been exposed to the results and techniques in the area of group (a). The many possibilities for applying nonclassical logics and their surrounding mathematical theory (duality theory, algebraic, topological, and category-theoretic methods) to social choice and judgment aggregation form an uncharted research territory which the workshop aims at exploring.

Towards this goal, rather than displaying the standard organization, the present workshop is structured around three types of activities: tutorial sessions, discussion sessions and work sessions.

There is a limited number of places still available. If you are interested in participating in the workshop, please contact one of the organizers preferably no later than June 10, 2014. For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650&venue=Oort.

This workshop is aimed at starting new scientific collaborations between (a) mathematical logicians using algebraic, topological and category-theoretic methods for nonclassical logics, and (b) researchers in social choice and judgment aggregation interested in applying logical methods.

While researchers in group (a) are mostly unfamiliar with social choice as a potential field of application of their specific results and techniques, researchers in group (b) have mostly been exposed to only a fragment of the available logical formalisms and techniques, namely to those pertaining to classical logic and model theory, and have largely not been exposed to the results and techniques in the area of group (a). The many possibilities for applying nonclassical logics and their surrounding mathematical theory (duality theory, algebraic, topological, and category-theoretic methods) to social choice and judgment aggregation form an uncharted research territory which the workshop aims at exploring.

Towards this goal, rather than displaying the standard organization, the present workshop is structured around three types of activities: tutorial sessions, discussion sessions and work sessions.

There is a limited number of places still available. If you are interested in participating in the workshop, please contact one of the organizers preferably no later than June 10, 2014. For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650&venue=Oort.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://www.aamas2015.com/

This workshop is aimed at starting new scientific collaborations between (a) mathematical logicians using algebraic, topological and category-theoretic methods for nonclassical logics, and (b) researchers in social choice and judgment aggregation interested in applying logical methods.

While researchers in group (a) are mostly unfamiliar with social choice as a potential field of application of their specific results and techniques, researchers in group (b) have mostly been exposed to only a fragment of the available logical formalisms and techniques, namely to those pertaining to classical logic and model theory, and have largely not been exposed to the results and techniques in the area of group (a). The many possibilities for applying nonclassical logics and their surrounding mathematical theory (duality theory, algebraic, topological, and category-theoretic methods) to social choice and judgment aggregation form an uncharted research territory which the workshop aims at exploring.

Towards this goal, rather than displaying the standard organization, the present workshop is structured around three types of activities: tutorial sessions, discussion sessions and work sessions.

There is a limited number of places still available. If you are interested in participating in the workshop, please contact one of the organizers preferably no later than June 10, 2014. For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650&venue=Oort.

This workshop is aimed at starting new scientific collaborations between (a) mathematical logicians using algebraic, topological and category-theoretic methods for nonclassical logics, and (b) researchers in social choice and judgment aggregation interested in applying logical methods.

While researchers in group (a) are mostly unfamiliar with social choice as a potential field of application of their specific results and techniques, researchers in group (b) have mostly been exposed to only a fragment of the available logical formalisms and techniques, namely to those pertaining to classical logic and model theory, and have largely not been exposed to the results and techniques in the area of group (a). The many possibilities for applying nonclassical logics and their surrounding mathematical theory (duality theory, algebraic, topological, and category-theoretic methods) to social choice and judgment aggregation form an uncharted research territory which the workshop aims at exploring.

Towards this goal, rather than displaying the standard organization, the present workshop is structured around three types of activities: tutorial sessions, discussion sessions and work sessions.

There is a limited number of places still available. If you are interested in participating in the workshop, please contact one of the organizers preferably no later than June 10, 2014. For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650&venue=Oort.

This conference will feature keynote speakers Hans J. Briegel (Innsbruck), Leah Henderson (Carnegie Mellon) and Christopher Timpson (Brasenose/Oxford). It will also include submissions from both philosophers and scientists exploring the connections between the philosophy and foundations of quantum computation and quantum information theory (QCIT), and more traditional philosophical and foundational questions in physics, computer science, information theory, and mathematics.

Website where more information on the conference will be posted soon: http://www.mcmp.philosophie.uni-muenchen.de/events/workshops/index.html

This workshop is aimed at starting new scientific collaborations between (a) mathematical logicians using algebraic, topological and category-theoretic methods for nonclassical logics, and (b) researchers in social choice and judgment aggregation interested in applying logical methods.

While researchers in group (a) are mostly unfamiliar with social choice as a potential field of application of their specific results and techniques, researchers in group (b) have mostly been exposed to only a fragment of the available logical formalisms and techniques, namely to those pertaining to classical logic and model theory, and have largely not been exposed to the results and techniques in the area of group (a). The many possibilities for applying nonclassical logics and their surrounding mathematical theory (duality theory, algebraic, topological, and category-theoretic methods) to social choice and judgment aggregation form an uncharted research territory which the workshop aims at exploring.

Towards this goal, rather than displaying the standard organization, the present workshop is structured around three types of activities: tutorial sessions, discussion sessions and work sessions.

There is a limited number of places still available. If you are interested in participating in the workshop, please contact one of the organizers preferably no later than June 10, 2014. For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650&venue=Oort.

There is an ongoing philosophical and logical debate about motivations in accepting or rejecting the principle (law) of (non-)contradiction and the principle (law) of excluded middle. A logic rejecting the principle of non-contradiction is called *paraconsistent* and a logic rejecting the principle of excluded middle is called *paracomplete*. But what does it really mean to reject a classical principle (law)? And what are the philosophical consequences for this refusal? In which sense would it still be possible to defend nowadays that there is just one true logic?

This workshop, held at the 5th World Congress on Universal Logic in Istanbul, shall represent a privileged platform to evaluate proposals for a more integrated and general approach to philosophical motivations and consequences in the emergence of non-classical logics. Keynote speaker: Graham Priest (CUNY).

For more information, see http://www.uni-log.org/wk5-PNC.html

Logic can be understood in different ways. The word "logic" has four basic meanings: reasoning, science, language and relation. Religion is also "relational", it can be viewed as the connection between human beings with life, reality, divinity. Logic, symbol of rationality, may appear as opposed to religion belief-oriented.

But logic and religion are intertwinned in many ways. Theo-logy is the science of god. It includes some proofs of the existence of god ranging from Anselm to Gödel. Moreover in the Bible the logos is assimilated to God and this has been repercuted in occidental philosophy in different ways by philosophers such as Leibniz or Hegel. A religion like Buddhism is also strongly connected to reasoning as well as Islam and many others.

This will be the first world congress on logic and religion. Relations between logic in all its dimensions - philosophical, mathematical, computational, linguistical - and the the different religions will be examined.

For more information, see http://www.uni-log.org/logic-and-religion.html

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

For more information, see http://www.uni-log.org/enter-istanbul

The next History of Humanities and Science meeting will be on Monday 17 November with two talks that aim to bridge several disciplines at our university. Next we will give an update on the future of our Center (funding, courses, new journal).

For more information, please contact rens.bod at gmail.com. Or see here.

The 'StUTS' is a biannually held Conference organized by and for students at different universities. Every semester, there are about 150 participants from various universities and colleges from all over Europe - anyone interested in linguistics can join.

The programme consists mainly of student talks - anyone (who wants to) is given the possibility to present their own project, research or paper, or give a language tutorial. Usually, a variety of different linguistic disciplines are present. Furthermore, there will be intriguing keynote presentations by professors from Hamburg University, and of course there will be time for some fun free-time activities, to get to know each other and also the beautiful city.

First and foremost, the conference offers the possibility to gather some experience in giving a scientific talk, to present and discuss your own ideas with interested peers, to get to know other related fields of linguistic research and to develop creative new approaches for the future.

For more information, see http://stuts56.wordpress.com and http://www.stuts.de/stuts/international.

The 'StUTS' is a biannually held Conference organized by and for students at different universities. Every semester, there are about 150 participants from various universities and colleges from all over Europe - anyone interested in linguistics can join.

The programme consists mainly of student talks - anyone (who wants to) is given the possibility to present their own project, research or paper, or give a language tutorial. Usually, a variety of different linguistic disciplines are present. Furthermore, there will be intriguing keynote presentations by professors from Hamburg University, and of course there will be time for some fun free-time activities, to get to know each other and also the beautiful city.

First and foremost, the conference offers the possibility to gather some experience in giving a scientific talk, to present and discuss your own ideas with interested peers, to get to know other related fields of linguistic research and to develop creative new approaches for the future.

For more information, see http://stuts56.wordpress.com and http://www.stuts.de/stuts/international.

The goal of this meeting is to bring together researchers using formal methods in epistemology, methods ranging from logic to probability theory. We create a forum to present new developments, exchange ideas, explore and establish new connections between the use of qualitative and quantitative methods in formal philosophy.

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

Semantics is a divided discipline. On one side we have Formal Semantics, which has its roots in logic and analytical philosophy (Frege, Montague). Meaning here is viewed as a relation between language and external reality, formalized in terms of reference, truth, possible worlds, etc. On the other side we have Cognitive Semantics, a central part of the Cognitive Linguistics movement, which grew out of dissatisfaction with formal linguistics (in particular, formal semantics and generative syntax) in the seventies (Fauconnier, Lakoff, Talmy). In this framework meaning is primarily a relation between language and the mind, described in terms of mental spaces, conceptual schemata, frames, etc.

For more information, see: https://sites.google.com/site/formcogsem/

The 'StUTS' is a biannually held Conference organized by and for students at different universities. Every semester, there are about 150 participants from various universities and colleges from all over Europe - anyone interested in linguistics can join.

The programme consists mainly of student talks - anyone (who wants to) is given the possibility to present their own project, research or paper, or give a language tutorial. Usually, a variety of different linguistic disciplines are present. Furthermore, there will be intriguing keynote presentations by professors from Hamburg University, and of course there will be time for some fun free-time activities, to get to know each other and also the beautiful city.

First and foremost, the conference offers the possibility to gather some experience in giving a scientific talk, to present and discuss your own ideas with interested peers, to get to know other related fields of linguistic research and to develop creative new approaches for the future.

For more information, see http://stuts56.wordpress.com and http://www.stuts.de/stuts/international.

The goal of this meeting is to bring together researchers using formal methods in epistemology, methods ranging from logic to probability theory. We create a forum to present new developments, exchange ideas, explore and establish new connections between the use of qualitative and quantitative methods in formal philosophy.

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

The 'StUTS' is a biannually held Conference organized by and for students at different universities. Every semester, there are about 150 participants from various universities and colleges from all over Europe - anyone interested in linguistics can join.

The programme consists mainly of student talks - anyone (who wants to) is given the possibility to present their own project, research or paper, or give a language tutorial. Usually, a variety of different linguistic disciplines are present. Furthermore, there will be intriguing keynote presentations by professors from Hamburg University, and of course there will be time for some fun free-time activities, to get to know each other and also the beautiful city.

First and foremost, the conference offers the possibility to gather some experience in giving a scientific talk, to present and discuss your own ideas with interested peers, to get to know other related fields of linguistic research and to develop creative new approaches for the future.

For more information, see http://stuts56.wordpress.com and http://www.stuts.de/stuts/international.

The University of Leeds will be hosting a workshop focused on recent linguistic and philosophical work on modality.

The list of speakers includes:
Simona Aimar (UCL/Columbia)
Fabrizio Cariani (Northwestern U)
Paul Egre (IJN, Paris)
Valentine Hacquard (U of Maryland)
Daniel Rothschild (UCL)
Malte Willer (U of Chicago)

More information is available at: http://www.personal.leeds.ac.uk/~phlps/modals/. Registration is free, but places are limited. If you're interested, please email the organizer at paolosantorio at gmail.com.

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) sponsored by the Japan Society for Artificial Intelligence (JSAI).

Invited Speaker(s): Chris Barker (New York University), Kimiko Nakanishi (Ochanomizu University) Christopher Tancredi (Keio University) and Matthew Stone (Rutgers University) (TBC). This year the workshop will include a student session.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/

The 'StUTS' is a biannually held Conference organized by and for students at different universities. Every semester, there are about 150 participants from various universities and colleges from all over Europe - anyone interested in linguistics can join.

The programme consists mainly of student talks - anyone (who wants to) is given the possibility to present their own project, research or paper, or give a language tutorial. Usually, a variety of different linguistic disciplines are present. Furthermore, there will be intriguing keynote presentations by professors from Hamburg University, and of course there will be time for some fun free-time activities, to get to know each other and also the beautiful city.

First and foremost, the conference offers the possibility to gather some experience in giving a scientific talk, to present and discuss your own ideas with interested peers, to get to know other related fields of linguistic research and to develop creative new approaches for the future.

For more information, see http://stuts56.wordpress.com and http://www.stuts.de/stuts/international.

The University of Leeds will be hosting a workshop focused on recent linguistic and philosophical work on modality.

The list of speakers includes:
Simona Aimar (UCL/Columbia)
Fabrizio Cariani (Northwestern U)
Paul Egre (IJN, Paris)
Valentine Hacquard (U of Maryland)
Daniel Rothschild (UCL)
Malte Willer (U of Chicago)

More information is available at: http://www.personal.leeds.ac.uk/~phlps/modals/. Registration is free, but places are limited. If you're interested, please email the organizer at paolosantorio at gmail.com.

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) sponsored by the Japan Society for Artificial Intelligence (JSAI).

Invited Speaker(s): Chris Barker (New York University), Kimiko Nakanishi (Ochanomizu University) Christopher Tancredi (Keio University) and Matthew Stone (Rutgers University) (TBC). This year the workshop will include a student session.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) sponsored by the Japan Society for Artificial Intelligence (JSAI).

Invited Speaker(s): Chris Barker (New York University), Kimiko Nakanishi (Ochanomizu University) Christopher Tancredi (Keio University) and Matthew Stone (Rutgers University) (TBC). This year the workshop will include a student session.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/

AREW is a two-day workshop aimed at bringing together people working in the area of analogical reasoning, broadly speaking. The invited speakers are two people working on formal aspects of analogical reasoning, including issues of the logical representation of analogical reasoning and formal models of the same, and applications of analogical reasoning, particularly with reference to such applications in history.

Further information about the workshop can be found at https://analogicalreasoning.wordpress.com.

In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. Amounts of data of ever increasing scale are now handled and processed. The ARCOE-Logic workshop aims to provide a dedicated forum for the researchers to discuss recent developments, important open issues and future directions in the area of contextual knowledge representation and knowledge management.

ARCOE-Logic 2014 is held in conjunction with The 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014).

For more information, see http://www.arcoe.org/2014/.

Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.

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

AREW is a two-day workshop aimed at bringing together people working in the area of analogical reasoning, broadly speaking. The invited speakers are two people working on formal aspects of analogical reasoning, including issues of the logical representation of analogical reasoning and formal models of the same, and applications of analogical reasoning, particularly with reference to such applications in history.

Further information about the workshop can be found at https://analogicalreasoning.wordpress.com.

In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. Amounts of data of ever increasing scale are now handled and processed. The ARCOE-Logic workshop aims to provide a dedicated forum for the researchers to discuss recent developments, important open issues and future directions in the area of contextual knowledge representation and knowledge management.

ARCOE-Logic 2014 is held in conjunction with The 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014).

For more information, see http://www.arcoe.org/2014/.

Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.

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

Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.

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

We cordially invite you to attend this event organized on the occasion of the retirement of Krzysztof R. Apt. All the speakers will be under the age of 30.

The details can be found at https://www.cwi.nl/events/krzysztof-apt. To attend this event please register at https://www.cwi.nl/node/4720 in connection with reception planning.

No matter how chaotic the world may seem, some of us think that structure is all there is. We are not going to determine whether this view is correct, but we will focus on the requirements for a mathematical foundation that enables us to talk in the most direct way about structure and relations.

Program:
10:00-11:00 F.A. Muller (Erasmus University Rotterdam, Utrecht University), Axiomatising Structure: Why? What? How?
11:00-12:00 Benno van den Berg (University of Amsterdam), Univalent Foundation
12:00-13:00 Lunch
13:00-14:00 Joop Leo (Utrecht University), A new logic of relations
14:00-14:30 Discussion

For more information, contact Joop Leo at joop.leo at uu.nl.

The primary aim of the conference is to examine the purpose of the semantics-pragmatics distinction and the arguments referred to in order to defend a particular account of the distinction.

The conference intends to address the following questions: What is the function of the semantics-pragmatics distinction? Are the different participants in the debate trying to account for the same distinction? On which basis, i.e. referring to what kind of arguments, can a particular account of the distinction between semantics and pragmatics be defended?

For more information, see http://www.philosophie.uzh.ch/semprag or contact semprag at philos.uzh.ch.

The primary aim of the conference is to examine the purpose of the semantics-pragmatics distinction and the arguments referred to in order to defend a particular account of the distinction.

The conference intends to address the following questions: What is the function of the semantics-pragmatics distinction? Are the different participants in the debate trying to account for the same distinction? On which basis, i.e. referring to what kind of arguments, can a particular account of the distinction between semantics and pragmatics be defended?

For more information, see http://www.philosophie.uzh.ch/semprag or contact semprag at philos.uzh.ch.

The 2014 annual meeting of the Australasian Association of Logic will be held just prior to the 2014 New Zealand Association of Philosophers Conference.

Please register by November 3. For more information, see http://aal.ltumathstats.com/ or contact zach.weber at otago.ac.nz.

JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. In 2015, JAIST Logic Workshop Series focuses on 'Constructivism and Computability', aiming at interaction and knowledge transfer between constructive mathematics and computability theory.

For more information, see http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/

The Department of English and General Linguistics at University of Lodz announces the Fourth International Conference on Philosophy of Language and Linguistics (PhiLang2015). The principal aim of our Conference is to bring together philosophers, logicians and linguists.

For more information, see http://www.csk.uni.lodz.pl/

- What are the roles of pictures and diagrams in mathematical proofs, in formal reasoning, and in epistemic justification more broadly?
- Can pictures by themselves serve as arguments insofar as they can be persuasive and even convey a sense of demonstrative certainty?
For the most part, these two questions have been discussed separately. We seek to bring them together and thereby take them in new directions. These are philosophical questions that are addressed by many different disciplines: STS, history of science, mathematics, engineering, media studies, and the visual arts. They draw attention to technologies of picturing, the contexts of practice in which proofs and procedures of formal reasoning are employed, and problems and methods of teaching and communication.

Further information will be posted at the conference website http://artsandsciences.sc.edu/phil/content/trip2015

The great tradition of international congresses of LMPS, under the auspices of the Division of Logic, Methodology and Philosophy of Science, was started in 1960 at Stanford University. Every four years these meetings bring together logicians and philosophers of science from all over the world to present and discuss their current work.

The programme covers all systematic and historical aspects of formal logic, general philosophy of science, and philosophical issues of special sciences. The theme of the 15th Congress is "Models and Modelling". A special feature of the LMPS in 2015 is the co-location of the Logic Colloquium, the European Summer Meeting of the Association for Symbolic Logic (ASL), in Helsinki, which allows the participants also to enjoy a rich supply of lectures in mathematical logic.

For more information, see http://www.helsinki.fi/clmps

The Balkan Journal of Philosophy is pleased to announce the topic of the 2015 issue: 'Facets of Rationality: Reasoning, Communication and Decision making'.

"Human actions in all their appearances are evaluated and assessed as rational or irrational. Subject to evaluation are everyday thinking and decision-making, scientific research, economic and political behavior, even love-affaires and sport competitions, as well as communication and speech acts of all kinds. Rationality is a normative concept in the sense that it is supposed to provide a standard or criteria to evaluate a piece of reasoning or an instance of decision-making. Why is this important? Using these criteria we are able to evaluate, control and regulate our own and others actions, thinking and decision-making".

You are kindly invited to submit a paper on any of these topics. Papers should be between 6000 and 8000 words. The deadline for receiving manuscripts is the end of November 2014 but earlier submissions would be appreciated. This special issue will appear in 2015.

For more information, see http://www.issk-bas.org/BJP/call_for_papers.htm

The 2014 annual meeting of the Australasian Association of Logic will be held just prior to the 2014 New Zealand Association of Philosophers Conference.

Please register by November 3. For more information, see http://aal.ltumathstats.com/ or contact zach.weber at otago.ac.nz.