The purpose of the Semantics and Philosophy in Europe colloquia is provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology, etc.). Previous SPE meetings have taken place in Paris (SPE1, 2008 and SPE3, 2010), London (SPE2, 2009), Bochum (SPE4, 2011), Turin (SPE5, 2012) and St.Peterburg (SPE6, 2013).

In addition to the general theme, SPE 7 will feature two special topics
- Conceptual structures and truth-conditional semantics
- Questions

For more information, see http://www.zas.gwz-berlin.de/fileadmin/spe7/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. The 2014 Winter School will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic. Tutorial speakers for this year are: Antonio Aviles, Jaroslav Nesetril, Dilip Raghavan and Matteo Viale.

Deadline for registration: December 31st (December 11th to apply for financial support). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Established in 2004, the ICDCIT conference series has become a a primary international forum for the presentation of state-of-the-art results in distributed computing and internet technologies, and their application in society, economy and governance; with proceedings published by Springer in the LNCS volumes.

For more information, see http://www.icdcit.ac.in/.

The 3rd Lund Conference on 'Games, Interaction, Reasoning, Learning and Semantics' (GIRLS14@LUND) welcomes researchers in philosophy, cognitive science, economics & linguistics, using agent based models with bounded rationality, models of evolutionary dynamics, and other naturalistic approaches. The primary conference aims are to foster cooperation between these groups and help establish common ground. G.I.R.L.S.14@LUND will be themed around Evolution and Cooperation.

For more information, see the GIRLS14@LUND website at http://girls.loriweb.org/.

Invited speakers are Leslie Valiant (Harvard University) and Michael Jordan (UC Berkeley). COLT 2014 will take place within a larger research program on the Mathematics of Machine Learning organized at the Centre de Recerca Matemática in Barcelona.

For more information, see the conference website at http://orfe.princeton.edu/conferences/colt2014/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Established in 2004, the ICDCIT conference series has become a a primary international forum for the presentation of state-of-the-art results in distributed computing and internet technologies, and their application in society, economy and governance; with proceedings published by Springer in the LNCS volumes.

For more information, see http://www.icdcit.ac.in/.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Established in 2004, the ICDCIT conference series has become a a primary international forum for the presentation of state-of-the-art results in distributed computing and internet technologies, and their application in society, economy and governance; with proceedings published by Springer in the LNCS volumes.

For more information, see http://www.icdcit.ac.in/.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

Established in 2004, the ICDCIT conference series has become a a primary international forum for the presentation of state-of-the-art results in distributed computing and internet technologies, and their application in society, economy and governance; with proceedings published by Springer in the LNCS volumes.

For more information, see http://www.icdcit.ac.in/.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The Hamburg Set Theory Workshop 2014 is part of the ML Colloquium of the Arbeitsbereich Mathematische Logik und interdisziplinäre Anwendungen der Logik. Everyone is cordially invited to attend. There will be an informal lunch in the student restaurant (Mensa) and an informal dinner.

Speakers include Andrew Brooke-Taylor (Bristol), Merlin Carl (Konstanz), Yurii Khomskii (Vienna) and Wolfgang Wohofsky (Vienna).

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

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The conference is a biennial forum for new work in all areas of analytic philosophy, with special emphasis on logic, epistemology, and the philosophy of science.

For more information, please visit our website: http://filosofia.uniandes.edu.co/ms/philogicaIII/index.php?ac=en&id=call

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The conference is a biennial forum for new work in all areas of analytic philosophy, with special emphasis on logic, epistemology, and the philosophy of science.

For more information, please visit our website: http://filosofia.uniandes.edu.co/ms/philogicaIII/index.php?ac=en&id=call

This is the 5th world congress on paraconsistent logic, gathering top researchers from all over the world.

All aspects of paraconsistency are under examination: studies of various systems of paraconsistent logic, general tools and frameworks for these systems, philosophical discussion and historical investigations as well as challenging applications. The WCP5 is emphasizing an interdisciplinary perspective ranging from mathematics to arts, through computer science, artificial intelligence, philosophy and linguistics.

For more information, see http://www.paraconsistency.org/wcp5.html

The goal of this Academy Colloquium is to establish a basic theory of dependence and independence underlying seemingly unrelated subjects such as bound variables in logic, database theory, the theory of social choice, random variables, Mendelian genetics, causality, and even parts of quantum physics. There is an abundance of new results in this field demonstrating remarkable convergence. The concepts of (in)dependence in the different fields of humanities and sciences have surprisingly much in common and a common logic is starting to emerge.

For more information, see https://www.knaw.nl/en/news/calendar/dependence-logic or https://www.knaw.nl/shared/resources/actueel/bestanden/.

The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics.

NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014).

For more information, see http://www.kr.tuwien.ac.at/nmr14/ or email nmr14 at kr.tuwien.ac.at.

The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.

Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/

The conference is a biennial forum for new work in all areas of analytic philosophy, with special emphasis on logic, epistemology, and the philosophy of science.

For more information, please visit our website: http://filosofia.uniandes.edu.co/ms/philogicaIII/index.php?ac=en&id=call

This is the 5th world congress on paraconsistent logic, gathering top researchers from all over the world.

All aspects of paraconsistency are under examination: studies of various systems of paraconsistent logic, general tools and frameworks for these systems, philosophical discussion and historical investigations as well as challenging applications. The WCP5 is emphasizing an interdisciplinary perspective ranging from mathematics to arts, through computer science, artificial intelligence, philosophy and linguistics.

For more information, see http://www.paraconsistency.org/wcp5.html

As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.

For more information, contact illc at uva.nl.

The 10th Symposium for Cognition, Logic and Communication, to be held at the University of Latvia in Riga on September 12-13, 2014, will focus on the cognitive processing of space, its cognitive and formal representation, and its linguistic encoding. We will explore the content and the scope of spatial cognition and how universal it is. The impact of non-spatial factors on spatial cognition and transformations of spatial cognition into non-spatial domains will be discussed. Scale-dependency of spatial cognition and differences between small-scale and large-scale spatial cognition will be explored. The syntax and semantics of locative and other spatial expressions will be examined, along with their relations to cognitive structures of spatial representation.

For more information, see http://cognition.lu.lv/symp/10-call.html or contact jurgis.skilters at lu.lv or jurgisskilters at gmail.com.

This combined summer school and workshop aims to take stock of the abstractionist programme after three decades of intensive philosophical and technical study, as well as to make progress on some questions that have recently received much attention, such as the metaontology of abstraction and the variety of responses to the bad company problem, including the possibility of a more 'dynamic' approach to abstraction (recently advocated by Øystein Linnebo, James Studd, and others), which sees abstraction as a process whereby ever greater domains of abstracta are 'generated'.

For more information, see http://philevents.org/event/show/12908. For any questions, please contact Salvatore Florio at florio at ksu.edu

The field of natural-language semantics and pragmatics has undergone a shift away from defining or even mentioning models. Indeed, some scholars find their use redundant at best, harmful at worst. A generation of young semanticists got their first encounters with the formal theory through Heim and Kratzer's textbook, which does not mention models at all. There is little open discussion on these developments, but much anecdotal evidence that people have strong opinions about them. This ESSLII-2014 workshop will give the debate a public forum.

For more information, see http://homepages.uconn.edu/~stk12004/Models_ESSLLI2014/.

There is a long tradition of work in the history and philosophy of science on Kant's philosophy of mathematics, but more recently, philosophers have been considering the implications of this work for the Critical philosophy itself. In particular, scholars have begun to examine the role of Kant's reflections on mathematics in his philosophy more generally, and in its development. This volume, to be co-edited by Lisa Shabel and Emily Carson, will collect together papers which illustrate the centrality of mathematics to Kant's philosophy as a whole. To understand this fully also requires a proper appreciation of Kant's understanding of 18th century mathematics, so we welcome papers on this topic which shed light on our more general theme.

For more information, see http://www.tandfonline.com/action/

The concept of object is one of the most general concepts in philosophy. On the one hand, we may be interested in the general question of what it is to be an object. On the other hand, we face the problem of delineating the criteria of objecthood in connection with specialized topics, giving rise to specific questions on what it is to be an object of a certain kind (such as concrete, abstract, indeterminate, mathematical, etc.). Accepting or refusing things of a certain kind as legitimate objects (of that particular kind) when developing a scientific theory or a philosophical position is likely to have important general repercussions.

In our workshop we wish to investigate the notion of object, both generally and in relation to particular fields of research. The emphasis is on the grounds and consequences of specific views on objects.

For more information, see http://evenements.univ-lille3.fr/oak/ or contact ronzitti at gmail.com or tero.tulenheimo at univ-lille3.fr (for information concerning the workshop) or matthieu.gallais at univ-lille3.fr (for practical information).

Logica 2014 is the 28th in the series of annual international symposia devoted to logic.

For more information, see http://www.flu.cas.cz/cz/logica2014 or contact logica at flu.cas.cz

This is the 5th world congress on paraconsistent logic, gathering top researchers from all over the world.

All aspects of paraconsistency are under examination: studies of various systems of paraconsistent logic, general tools and frameworks for these systems, philosophical discussion and historical investigations as well as challenging applications. The WCP5 is emphasizing an interdisciplinary perspective ranging from mathematics to arts, through computer science, artificial intelligence, philosophy and linguistics.

For more information, see http://www.paraconsistency.org/wcp5.html

This is the 5th world congress on paraconsistent logic, gathering top researchers from all over the world.

All aspects of paraconsistency are under examination: studies of various systems of paraconsistent logic, general tools and frameworks for these systems, philosophical discussion and historical investigations as well as challenging applications. The WCP5 is emphasizing an interdisciplinary perspective ranging from mathematics to arts, through computer science, artificial intelligence, philosophy and linguistics.

For more information, see http://www.paraconsistency.org/wcp5.html

The INFTY Final Conference marks the conclusion of the European Science Foundation Research Networking Programme INFTY - New frontiers of infinity: mathematical, philosophical, and computational prospects. The INFTY network is devoted to the study of a wide range of aspects of Infinity. It principally addresses set theory as the mathematical study of infinity, and applications of set theory within pure mathematics.

The scientific program of the conference features invited on set theory and neighbouring areas by internationally leading experts and young researchers as well as contributed talks. A Hausdorff Afternoon will commemorate the publication of Felix Hausdorff's groundbreaking work Grundzüge der Mengenlehre exactly 100 years ago.

Please see http://www.math.uni-bonn.de/ag/logik/events/inftyfinal/ for more information or email inftyfinal at gmail.com.

This is the 5th world congress on paraconsistent logic, gathering top researchers from all over the world.

All aspects of paraconsistency are under examination: studies of various systems of paraconsistent logic, general tools and frameworks for these systems, philosophical discussion and historical investigations as well as challenging applications. The WCP5 is emphasizing an interdisciplinary perspective ranging from mathematics to arts, through computer science, artificial intelligence, philosophy and linguistics.

For more information, see http://www.paraconsistency.org/wcp5.html

The apparent dichotomy between proofs as constituted by inferential steps, and proofs as abstract 'unstructured' entities reflects the duality of the notion of function itself. Should functions be viewed as procedures - piecewise constituted by instructions - or are functions sorts of black boxes to be identified by what they do - giving a value for each input - rather than by how they do it? Are functions primarily given as the denotation of linguistic predicates (in a Fregean manner), or are they rather an already given domain which we disclose through language?

For more information and a full programme please visit http://ls.informatik.uni-tuebingen.de/FPC/.

The apparent dichotomy between proofs as constituted by inferential steps, and proofs as abstract 'unstructured' entities reflects the duality of the notion of function itself. Should functions be viewed as procedures - piecewise constituted by instructions - or are functions sorts of black boxes to be identified by what they do - giving a value for each input - rather than by how they do it? Are functions primarily given as the denotation of linguistic predicates (in a Fregean manner), or are they rather an already given domain which we disclose through language?

For more information and a full programme please visit http://ls.informatik.uni-tuebingen.de/FPC/.

The apparent dichotomy between proofs as constituted by inferential steps, and proofs as abstract 'unstructured' entities reflects the duality of the notion of function itself. Should functions be viewed as procedures - piecewise constituted by instructions - or are functions sorts of black boxes to be identified by what they do - giving a value for each input - rather than by how they do it? Are functions primarily given as the denotation of linguistic predicates (in a Fregean manner), or are they rather an already given domain which we disclose through language?

For more information and a full programme please visit http://ls.informatik.uni-tuebingen.de/FPC/.

Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

For more information, see http://www.coalg.org/cmcs14

The apparent dichotomy between proofs as constituted by inferential steps, and proofs as abstract 'unstructured' entities reflects the duality of the notion of function itself. Should functions be viewed as procedures - piecewise constituted by instructions - or are functions sorts of black boxes to be identified by what they do - giving a value for each input - rather than by how they do it? Are functions primarily given as the denotation of linguistic predicates (in a Fregean manner), or are they rather an already given domain which we disclose through language?

For more information and a full programme please visit http://ls.informatik.uni-tuebingen.de/FPC/.

The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. Doreen Fraser (University of Waterloo) will be giving the keynote address.

Additional information can be found on our website: http://logicmathphysics.ca. Please send questions to the LMP Conference Committee: uwolmp at gmail.com

In this workshop, we aim to bring together philosophers, computer scientists, argumentation scholars, and experts in persuasive communication to discuss the nature and dynamics of argumentation on the Internet, how new technologies change the argumentative practices of users, what skills and expertise become critical in such a new info-ecology, how ICT can be used to foster rather than hamper critical reflection and debate, and what implications this should have for education, societal change and policy making.

For more information, see http://www.sintelnet.eu/content/arguing-web-20-0 or contact Ulle Endriss (ulle.endriss at uva.nl).