The conference will be devoted to the relationship between the semantics and pragmatics of logical constants (connectives, quantifiers, modal operators). Its aim is to critically assess and contribute to semantic and pragmatic theories developed for constructions containing such operators in natural language. On the one hand, we hope to bring together cutting edge contributions to debates that are currently in full swing, but at the same time, we very much invite contributions of a more historical nature, which shed light on antecedents of current views and issues, thereby placing them in a wider diachronic perspective. In short, the semantics and pragmatics of logical constants now and then.

Invited speakers:
* Rick Nouwen (Utrecht University)
* Daniel Rothschild (University College London)
* Johan van der Auwera (University of Antwerp)

For more information, see http://www.crissp.be/lnat3

Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.

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

The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Munich Graduate Workshop in Mathematical Philosophy, 9 - 11 April 2015. The workshop is intended for masters and doctoral students with interests in the philosophical foundations of physics. The program will feature student presentations, keynote lectures, and `working groups? on advanced material at the forefront of contemporary research.

Keynote Lectures: Harvey Brown (Oxford), Rüdiger Schack (London), Charlotte Werndl (Salzburg). Internal Lectures: Erik Curiel, Michael Cuffaro, Radin Dardashti, Samuel Fletcher, Paula Reichert, Karim Thébault

For more information, see http://www.lmu.de/graduateworkshop2015/

It is a common thought that mathematics can be not only true but also beautiful, and some of the greatest mathematicians have attached central importance to the aesthetic merit of their work. Many have derived aesthetic pleasure from mathematical research, pointing out the incomparable beauty and elegance of particular theorems, proofs and theories. As the French mathematician and theoretical physicist Henri Poincaré put it, mathematical beauty is a "real aesthetic feeling that all true mathematicians recognise". Others have gone further, recognising mathematical beauty not only as a well-known phenomenon, but as one of the key motivations behind the formulation of mathematical proofs and as a criterion for choosing one mathematical theorem over another. Thus, Hermann Weyl famously declared: "My work always tried to unite the true with the beautiful, but when I had to choose one or the other, I usually chose the beautiful".

This conference seeks to address questions that arise out of this tendency, prevalent among mathematicians, to call theories, proofs and definitions ~beautiful~ or ~ugly~ and to judge them on the basis of aesthetic standards.

For more information, see http://aesthetics-in-mathematics.weebly.com/ or contact the organizers at: bsam14 at easychair.org.

It is a common thought that mathematics can be not only true but also beautiful, and some of the greatest mathematicians have attached central importance to the aesthetic merit of their work. Many have derived aesthetic pleasure from mathematical research, pointing out the incomparable beauty and elegance of particular theorems, proofs and theories. As the French mathematician and theoretical physicist Henri Poincaré put it, mathematical beauty is a "real aesthetic feeling that all true mathematicians recognise". Others have gone further, recognising mathematical beauty not only as a well-known phenomenon, but as one of the key motivations behind the formulation of mathematical proofs and as a criterion for choosing one mathematical theorem over another. Thus, Hermann Weyl famously declared: "My work always tried to unite the true with the beautiful, but when I had to choose one or the other, I usually chose the beautiful".

This conference seeks to address questions that arise out of this tendency, prevalent among mathematicians, to call theories, proofs and definitions ~beautiful~ or ~ugly~ and to judge them on the basis of aesthetic standards.

For more information, see http://aesthetics-in-mathematics.weebly.com/ or contact the organizers at: bsam14 at easychair.org.

A research community that could be described with the phrase "Practice and Cultures of Mathematics" has studied mathematics as a human subject with different practices and cultures in recent years. This research has been closely linked to the Philosophy of Mathematical Practice community and its Association for the Philosophy of Mathematical Practice, but is broader in the sense that it is interested in the study of mathematical practices and cultures independently of whether there is an interaction with traditional philosophical questions (such as epistemology or ontology).

In addition to many other meetings associated to the research community, there has been a series of meetings dealing specifically with the phenomenon of diversity of research cultures in mathematics: the traditional view claims that all of the differences between mathematical research cultures are superficial and do not touch the nature of mathematics; it is the goal of this research community to evaluate that claim by studying concrete examples. Here, culture should be understood very widely, and cultural differences can be found distinguishing mathematical subdisciplines, national cultures, cultures imposed by university or institute structures, etc.

The meeting will focus on case studies from mathematical research that highlight cultural differences, methodological discussions of the use of empirical data from the study of mathematical practice for gaining insight in the phenomenon of mathematics, and fundamental questions about mathematics that require a view towards mathematics as a human discipline to be discussed.

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

It is a common thought that mathematics can be not only true but also beautiful, and some of the greatest mathematicians have attached central importance to the aesthetic merit of their work. Many have derived aesthetic pleasure from mathematical research, pointing out the incomparable beauty and elegance of particular theorems, proofs and theories. As the French mathematician and theoretical physicist Henri Poincaré put it, mathematical beauty is a "real aesthetic feeling that all true mathematicians recognise". Others have gone further, recognising mathematical beauty not only as a well-known phenomenon, but as one of the key motivations behind the formulation of mathematical proofs and as a criterion for choosing one mathematical theorem over another. Thus, Hermann Weyl famously declared: "My work always tried to unite the true with the beautiful, but when I had to choose one or the other, I usually chose the beautiful".

This conference seeks to address questions that arise out of this tendency, prevalent among mathematicians, to call theories, proofs and definitions ~beautiful~ or ~ugly~ and to judge them on the basis of aesthetic standards.

For more information, see http://aesthetics-in-mathematics.weebly.com/ or contact the organizers at: bsam14 at easychair.org.

The aim of the workshop is to provide a space for exchange of methodological ideas concerning the research on legal argumentation from three perspectives: AI and Law, argumentation theory and legal theory. Since a thorough discussion of scientific aims and adopted methodologies is needed in this field, our main motivation is to discuss some perspectives of cooperation and mutual inspiration between these three research areas in order to develop more effective, accurate and scientifically adequate theories and models of legal argumentation. This may lead to establishing of interdisciplinary research projects related to legal argumentation.

MET-ARG is held in conjunction with the CMNA 14 workshop and is organized under auspices of the ArgDiaP organisation. At the workshop eight position papers will be presented by key specialists in the fields of AI and Law, argumentation theory and legal theory, which will be followed by a panel discussion "Force of Legal Arguments: Contemporary Perspectives and Methods" to which all the workshop's participants will be invited.

For more details, please visit the website: http://argdiap.pl/

The series of workshops on Computational Models of Natural Argument acts to nurture and provide succor to the ever growing community working on Argument and Computation, a field developed in recent years overlapping Argumentation Theory and Artificial Intelligence.

The workshop focuses on the issue of modelling "natural" argumentation. Naturalness may involve the use of means which are more visual than linguistic to illustrate a point, such as graphics or multimedia. Or to the use of more sophisticated rhetorical devices, interacting at various layers of abstraction. Or the exploitation of "extra-rational" characteristics of the audience, taking into account emotions and affective factors.

For more information, see http://www.cmna.info/CMNA14/

The symposium of the Italian Association for Artificial Intelligence (AI*IA) is a traditional two-yearly meeting of researchers working on theory and applications in Artificial Intelligence. The XIII symposium will be hosted by the Department of Computer Science at the University of Pisa.

AI*IA 2014 will be centred on thematic workshops, tutorials, panels, doctoral consortium, demo session, plenary sessions with invited speaker seminars, and a special track on the theme Artificial Intelligence for Society and Economy. We hope that the 2014 meeting will strengthen awareness that AI is assuming a central role in the competitive strategies of the present scenario of rapid changes.

The AI*IA Doctoral Consortium on December 11th is a full-immersion occasion, for Ph.D. students, to discuss their ongoing research work, establish research connections with peer researchers, and receive first-class mentorship from domain experts.

For more information, see http://aiia2014.di.unipi.it/

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/

In the past two decades, agent-based models (ABMs) have become ubiquitous in philosophy and various sciences. In contrast with classical economic models or population-level models in biology, ABMs are praised for their lack of assumptions and their flexibility. Nonetheless, many of the methodological and epistemological questions raised by ABMs have yet to be fully articulated and answered. This conference aims to bring together an interdisciplinary group of researchers aimed at understanding the foundations of agent-based modeling and how the practice can inform and be informed by philosophy.

For more information, see http://www.lmu.de/abmp2014

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/

In the past two decades, agent-based models (ABMs) have become ubiquitous in philosophy and various sciences. In contrast with classical economic models or population-level models in biology, ABMs are praised for their lack of assumptions and their flexibility. Nonetheless, many of the methodological and epistemological questions raised by ABMs have yet to be fully articulated and answered. This conference aims to bring together an interdisciplinary group of researchers aimed at understanding the foundations of agent-based modeling and how the practice can inform and be informed by philosophy.

For more information, see http://www.lmu.de/abmp2014

In the past two decades, agent-based models (ABMs) have become ubiquitous in philosophy and various sciences. In contrast with classical economic models or population-level models in biology, ABMs are praised for their lack of assumptions and their flexibility. Nonetheless, many of the methodological and epistemological questions raised by ABMs have yet to be fully articulated and answered. This conference aims to bring together an interdisciplinary group of researchers aimed at understanding the foundations of agent-based modeling and how the practice can inform and be informed by philosophy.

For more information, see http://www.lmu.de/abmp2014

Language serves as a cornerstone for human cognition, yet much about its evolution remains puzzling. Recent research on this question parallels Darwin's attempt to explain both the unity of all species as well as their diversity. What has emerged is that the unified nature of human language arises from a shared, species-specific computational ability, one with identifiable correlates in the brain, that has remained fixed since the origin of language about 100 thousand years ago. At the same time, the nature of variation from language to language arises historically in ways similar to biological variation, and can be modelled as such.

For more information, see http://biologyoflanguage.wp.hum.uu.nl/registration/

CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg

Distinguished opening lecture: Moshe Y. Vardi (Rice U.). Invited Speakers include Samuel R. Buss (UCSD), Phokion Kolaitis (UCSC and IBM Research/Almaden) and Vladimir Podolskii (Steklov Inst./Moscow).

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2015
Email: csr2015 "at" googlegroups.com

The 25th International Symposium on Algorithms and Computation (ISAAC 2014) will be held in Jeonju, Korea during December 15-17, 2014. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied areas are also welcomed.

For more information, see http://tcs.postech.ac.kr/isaac2014/

The 25th International Symposium on Algorithms and Computation (ISAAC 2014) will be held in Jeonju, Korea during December 15-17, 2014. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied areas are also welcomed.

For more information, see http://tcs.postech.ac.kr/isaac2014/

Speakers will be Stewart Shapiro (Ohio State University), Göran Sundholm, Maria van der Schaar, and Ansten Klev.

For more information, see http://www.hum.leidenuniv.nl/filosofie/nieuws-agenda/

The 25th International Symposium on Algorithms and Computation (ISAAC 2014) will be held in Jeonju, Korea during December 15-17, 2014. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied areas are also welcomed.

For more information, see http://tcs.postech.ac.kr/isaac2014/

There is widespread agreement that adequate models of the semantics of vague language and of reasoning with vague information cannot be developed within the confines of classical logic. There is less agreement over which nonclassical logic is best suited for handling vagueness and indeed over whether just one logical framework is sufficient to accommodate all vagueness related phenomena. This workshop will bring together researchers working on these issues in philosophy, logic, mathematics and computer science~with special (but not exclusive) focus on approaches that appeal to degrees of truth and fuzzy logics.

Further information can be found at http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness

There is widespread agreement that adequate models of the semantics of vague language and of reasoning with vague information cannot be developed within the confines of classical logic. There is less agreement over which nonclassical logic is best suited for handling vagueness and indeed over whether just one logical framework is sufficient to accommodate all vagueness related phenomena. This workshop will bring together researchers working on these issues in philosophy, logic, mathematics and computer science~with special (but not exclusive) focus on approaches that appeal to degrees of truth and fuzzy logics.

Further information can be found at http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness

In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. The aim of this 12th European Conference on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This conference is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS). To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and formal proceedings as well as post-proceedings in form of a journal special issue are planned.

For more information, see http://agents.fel.cvut.cz/eumas2014/, or email the organizers, Jiri Vokrinek (jiri.vokrinek at fel.cvut.cz) and Michal Jakob (jakob at agents.fel.cvut.cz).

Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning.

The topics of interest for the special issue of the Kuenstliche Intelligenz journal, appearing in autumn 2015, include, but are not limited to: analogical reasoning, common sense and defeasible reasoning, deductive calculi for higher-level cognition * inductive reasoning and cognition, preferred mental models and their formalization, and probabilistic approaches of reasoning.

The Kuenstliche Intelligenz journal, which is published and indexed by Springer, supports the following lists of formats: Technical contributions, research projects, discussions, dissertation abstracts, conference reports and book reviews. If you are interested in contributing to this special issue, please contact one of the guest editors. Submission deadline: 19-Dec-2014 (EXTENDED).

For more information, see http://www.kuenstliche-intelligenz.de/index.php?id=7800

There is widespread agreement that adequate models of the semantics of vague language and of reasoning with vague information cannot be developed within the confines of classical logic. There is less agreement over which nonclassical logic is best suited for handling vagueness and indeed over whether just one logical framework is sufficient to accommodate all vagueness related phenomena. This workshop will bring together researchers working on these issues in philosophy, logic, mathematics and computer science~with special (but not exclusive) focus on approaches that appeal to degrees of truth and fuzzy logics.

Further information can be found at http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness

In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. The aim of this 12th European Conference on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This conference is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS). To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and formal proceedings as well as post-proceedings in form of a journal special issue are planned.

For more information, see http://agents.fel.cvut.cz/eumas2014/, or email the organizers, Jiri Vokrinek (jiri.vokrinek at fel.cvut.cz) and Michal Jakob (jakob at agents.fel.cvut.cz).

"Naming Matters" is a workshop with the world's leading researchers on proper names, the Stuttgart Circle for logic, and the Student Representatives of Philosophy of the University of Stuttgart. Speakers: Hans Kamp, Artemis Alexiadou, Tillmann Pross, Tomoo Ueda, Hazel Pearson, Jonathan Mai. Language: English/ German.

Participation is free of charge and registration is open to anyone. Visit http://www.namingmatters.org for more information (including program and abstracts) or to register (Deadline 17th of December), or contact mail at namingmatters.org.

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

For more information, see https://www.illc.uva.nl/ILLCColloquium/Midwinter2014/ or contact rens.bod at gmail.com.

"Naming Matters" is a workshop with the world's leading researchers on proper names, the Stuttgart Circle for logic, and the Student Representatives of Philosophy of the University of Stuttgart. Speakers: Hans Kamp, Artemis Alexiadou, Tillmann Pross, Tomoo Ueda, Hazel Pearson, Jonathan Mai. Language: English/ German.

Participation is free of charge and registration is open to anyone. Visit http://www.namingmatters.org for more information (including program and abstracts) or to register (Deadline 17th of December), or contact mail at namingmatters.org.

This conference is a forum of young researchers (typically PhD students) for exchanging current research results and broadening their academic network. The scope of the conference ranges over formal and algorithmic methods in computer science, in a broad sense.

The conference consists of invited lectures by Moshe Vardi (Houston), Jean-Francois Raskin (Brussels), Joel Ouaknine (Oxford), Bernd Finkbeiner (Saarbrücken), Azadeh Farzan (Toronto), and Eric Bodden (Darmstadt), and short presentations (talks of 12 minutes duration).

For more information, see http://ffm2015.rwth-aachen.de/

We welcome full paper submissions for a book titled: "Applications of Formal Philosophy: The Road Less Travelled" to be published with Springer, edited by Rafal Urbaniak and Gillman Payette.

Scope:
Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent is to further counter the impression of idleness with respect to philosophy at large. The focus of the volume is on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.

The submission deadline is December 31, 2014. Please make sure that the content of the paper fits the scope of the volume. For more information, see http://entiaetnomina.blogspot.nl/2014/09/