The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic "Deontic modalities in natural language".

This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue.

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

The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.

For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.

Kazan Federal University and Tatarstan Republic Academy of Science organize an International Conference "Algebra and Mathematical Logic: Theory and Applications" dedicated to 80-th anniversary of Department of Algebra of Kazan University and to 70-th anniversary of Professor M.M. Arslanov.

The main topics of the conference include (but are not limited to) Lie Algebras, Group Theory, Ring Theory, Algebraic Geometry, Universal Algebra, Model Theory, Mathematical Logic, Computability Theory, Algebraic and Logic Methods in Computer Science.

For more information, see http://www.kpfu.ru/main_page?p_sub=25931

The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI.

As well as a full programme of technical papers, ECAI'14 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), the International Web Rule Symposium (RuleML) and an extensive programme of workshops, tutorials, and invited speakers. (Separate calls are issued for PAIS, STAIRS, tutorials, and workshops.) ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference.

For more information, see http://www.ecai2014.org/ or email ecai2014 at guarant.cz.

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

For more information, see http://folk.uib.no/nmita/LOFT11

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

PCC 2014 is organised as a satellite event of TYPES 2014. Registration for PCC 2014 will be through the TYPES 2014 site, with details to be announced later on. The workshop is scheduled for the full day of Friday, May 16. The participants are encouraged to attend the Thursday sessions of TYPES 2014. If the number and quality of submissions justifies this, then PCC 2014 will start in the afternoon of Thursday, May 15. This will be known by the notification date.

For more information, see http://www.irit.fr/PCC2014/

The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance.

ISMIS'14 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas.

For more information, see http://isl.ruc.dk/ismis2014/

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 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 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.

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 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.

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.

The purpose of the 6th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

Please check further details at the conference website (http://www.icaart.org/)

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.

The purpose of the 6th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

Please check further details at the conference website (http://www.icaart.org/)

The recently emerging field of experimental pragmatics has painted a complex picture of the interaction between semantic and pragmatic information in phenomena as diverse as implicature, referentiality, figurative meaning, prosody, and presupposition. In parallel, advances in probabilistic and game-theoretic models that treat pragmatic inference as a problem of reasoning under uncertainty have yielded testable quantitative predictions about the outcome of many different kinds of pragmatic inference. Despite this progress, a great deal of work is needed on the mathematical foundations and quantitative empirical grounding of pragmatics, and, most critically, the connection between the two. The aim of this ESSLLI-2014 workshop is to promote dialog and community for these lines of research: strengthening the search for an empirically grounded formal pragmatics.

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

Historically, with its origins in philosophy, epistemic logic promised to illuminate traditional issues of epistemology, the theory of knowledge. In recent years, epistemic logic has been making good on that promise, with important new applications not only to individual epistemology, a traditional focus of philosophers for the last two-and-a-half thousand years, but also in social epistemology, the more recent investigation of the social dimensions of knowledge and information flow, as well as interactive epistemology, the study of knowledge and belief in strategic, game-theoretic situations.

During five 90-minute sessions, the ELISIEM workshop will feature presentations covering the latest applications of epistemic logic to individual, social, and interactive epistemology, putting work at this fascinating intersection on the map of interdisciplinary activities in logic.

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

The purpose of the 6th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

Please check further details at the conference website (http://www.icaart.org/)

The purpose of this workshop is to bring together philosophers, mathematicians, and mathematics educators to study a question which is both relevant and timely for all three groups, namely whether mathematical beauty and mathematical explanation are related.

Our approach is largely empirical- we will develop a set of examples that will help us make necessary distinctions and connections. The central questions of the workshop fall into three classes. One class concerns relations between beauty and visualization in mathematics; the other class concerns relations between explanation and visualization in mathematics. The third, perhaps most intriguing, class deals with the question whether visualization is an essential link between explanation and beauty and mathematics, that is: When some mathematics is both beautiful and explanatory, does the conjunction depend on the presence of a visual element?

In addition to the scientific aims of the workshop, an important goal is to reach across normally rigid disciplinary domains to work on an area of common interest. We have invited top people from respective fields, some of whom know each other, but others (even within the same field) have never read each other s work.

For more information, see the workshop website at http://mathbeauty.wordpress.com/wbem/

LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). LATA 2014 will consist of invited talks, invited tutorials and peer-reviewed contributions

For more information, see http://grammars.grlmc.com/lata2014/ or contact florentinalilica.voicu at urv.cat

The purpose of this workshop is to bring together philosophers, mathematicians, and mathematics educators to study a question which is both relevant and timely for all three groups, namely whether mathematical beauty and mathematical explanation are related.

Our approach is largely empirical- we will develop a set of examples that will help us make necessary distinctions and connections. The central questions of the workshop fall into three classes. One class concerns relations between beauty and visualization in mathematics; the other class concerns relations between explanation and visualization in mathematics. The third, perhaps most intriguing, class deals with the question whether visualization is an essential link between explanation and beauty and mathematics, that is: When some mathematics is both beautiful and explanatory, does the conjunction depend on the presence of a visual element?

In addition to the scientific aims of the workshop, an important goal is to reach across normally rigid disciplinary domains to work on an area of common interest. We have invited top people from respective fields, some of whom know each other, but others (even within the same field) have never read each other s work.

For more information, see the workshop website at http://mathbeauty.wordpress.com/wbem/

LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). LATA 2014 will consist of invited talks, invited tutorials and peer-reviewed contributions

For more information, see http://grammars.grlmc.com/lata2014/ or contact florentinalilica.voicu at urv.cat

The purpose of this workshop is to bring together philosophers, mathematicians, and mathematics educators to study a question which is both relevant and timely for all three groups, namely whether mathematical beauty and mathematical explanation are related.

Our approach is largely empirical- we will develop a set of examples that will help us make necessary distinctions and connections. The central questions of the workshop fall into three classes. One class concerns relations between beauty and visualization in mathematics; the other class concerns relations between explanation and visualization in mathematics. The third, perhaps most intriguing, class deals with the question whether visualization is an essential link between explanation and beauty and mathematics, that is: When some mathematics is both beautiful and explanatory, does the conjunction depend on the presence of a visual element?

In addition to the scientific aims of the workshop, an important goal is to reach across normally rigid disciplinary domains to work on an area of common interest. We have invited top people from respective fields, some of whom know each other, but others (even within the same field) have never read each other s work.

For more information, see the workshop website at http://mathbeauty.wordpress.com/wbem/

LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). LATA 2014 will consist of invited talks, invited tutorials and peer-reviewed contributions

For more information, see http://grammars.grlmc.com/lata2014/ or contact florentinalilica.voicu at urv.cat

4Humanities.org will host a live-streamed event on "Global Humanities?" on March 12, 2014, noon-1:30 pm Pacific Standard Time. The featured participant will be Rens Bod, professor of humanities and digital humanities at University of Amsterdam, who will engage online with Alan Liu, David Marshall (Dean of Humanities & Fine Arts, University of California, Santa Barbara ), and others at UC Santa Barbara on the question of the humanities and global humanities.

The questions are:
How can we think comparatively about what the humanities mean in multiple areas of the world with educational and funding systems not necessarily commensurable with U.S.-style "liberal arts"?
For example, how are the humanities and arts talked about elsewhere?
How are their histories and traditions different?
How are they positioned relative to other disciplines, institutions, and social sectors?
How are their different functions interrelated--memorial, educational, critical, research-oriented, etc.?
In both the past and the contemporary moment, how are humanities and arts differently valued or challenged around the world?

The event will be livestreamed on YouTube from the event page at http://4humanities.org/2014/02/. Suggested readings from Rens Bod's book and Geoffrey Galt Harpham's *The Humanities and the Dream of America* are available from the event page (request a login to download the readings from Lindsay Thomas: lindsaythomas at umail.ucsb.edu ). For more information, contact rens.bod at gmail.com.

LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). LATA 2014 will consist of invited talks, invited tutorials and peer-reviewed contributions

For more information, see http://grammars.grlmc.com/lata2014/ or contact florentinalilica.voicu at urv.cat

The "experimental philosophy" movement has recently gained some momentum in the philosophical community. The movement's basic idea is to introduce experimental methods (other than thought experiments) or, more broadly conceived, empirical methods to philosophy. This workshop brings together researchers who implement empirical methods from linguistics in philosophical research.

Although the focus of the workshop is on the use of such methods in philosophy, both philosophers and linguists will be involved. Each of the workshop sessions will open with a paper demonstrating the application of a specific linguistic method in philosophy. This paper will be followed by two peer commentaries, one by a linguist, the other by a philosopher. The primary purpose of the workshop is exploratory: The potential applications, the benefits and the limits of linguistic methods in philosophy stand in need of clarification. The secondary purpose is to create a networking opportunity for researchers who employ (and those who intend to employ) empirical methods from linguistics in philosophy.

For more information, see the workshop page at PhilEvents: http://philevents.org/event/show/11885.

There are different ways of reporting what someone else has said. Common forms of speech reports are direct speech (Mary said 'I am sick') and indirect speech (Mary said that she is sick). Pretense and role play are closely related phenomena. Like in direct speech, someone engaging in role play adopts the perspective of another person and produces utterances from that shifted standpoint (I am sick). Another interesting parallel is that children start to use speech reports and to engage in role play at around the same time, namely at two to three years of age. This is well before they pass standard false belief tests (at around four) which are often taken to be the hallmark of Theory of Mind and metarepresentation. Since at least some forms of reported speech exhibit recursion, intensionality, and/or clausal embedding, this developmental gap may shed new light on the debate over the relationship between Theory of Mind and the syntax/semantics of recursive embedding. The aim of the conference is to discuss the cognitive and conceptual relationship of reported speech, pretense and cognitive abilities such as perspective-taking, metarepresentation and Theory of Mind.

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

This workshop on controlled natural language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.

Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2014/

The Student Session of the North American Summer School for Logic, Language and Information (NASSLLI) will provides students an excellent opportunity to present their work to experts in their field as well as to a broader, well-informed interdisciplinary audience.

For more information, see http://web.pacuit.org/files/NASSLLI2014StuS_CFP.pdf or contact qharr at umd.edu

LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). LATA 2014 will consist of invited talks, invited tutorials and peer-reviewed contributions

For more information, see http://grammars.grlmc.com/lata2014/ or contact florentinalilica.voicu at urv.cat

The "experimental philosophy" movement has recently gained some momentum in the philosophical community. The movement's basic idea is to introduce experimental methods (other than thought experiments) or, more broadly conceived, empirical methods to philosophy. This workshop brings together researchers who implement empirical methods from linguistics in philosophical research.

Although the focus of the workshop is on the use of such methods in philosophy, both philosophers and linguists will be involved. Each of the workshop sessions will open with a paper demonstrating the application of a specific linguistic method in philosophy. This paper will be followed by two peer commentaries, one by a linguist, the other by a philosopher. The primary purpose of the workshop is exploratory: The potential applications, the benefits and the limits of linguistic methods in philosophy stand in need of clarification. The secondary purpose is to create a networking opportunity for researchers who employ (and those who intend to employ) empirical methods from linguistics in philosophy.

For more information, see the workshop page at PhilEvents: http://philevents.org/event/show/11885.

There are different ways of reporting what someone else has said. Common forms of speech reports are direct speech (Mary said 'I am sick') and indirect speech (Mary said that she is sick). Pretense and role play are closely related phenomena. Like in direct speech, someone engaging in role play adopts the perspective of another person and produces utterances from that shifted standpoint (I am sick). Another interesting parallel is that children start to use speech reports and to engage in role play at around the same time, namely at two to three years of age. This is well before they pass standard false belief tests (at around four) which are often taken to be the hallmark of Theory of Mind and metarepresentation. Since at least some forms of reported speech exhibit recursion, intensionality, and/or clausal embedding, this developmental gap may shed new light on the debate over the relationship between Theory of Mind and the syntax/semantics of recursive embedding. The aim of the conference is to discuss the cognitive and conceptual relationship of reported speech, pretense and cognitive abilities such as perspective-taking, metarepresentation and Theory of Mind.

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

LACL'2014 is the 8th international conference on logical and formal methods in computational linguistics. This conference addresses the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at IRIT, Toulouse, France, from 18 to 20 June 2014 (with support from IRIT, Université Paul Sabatier et INP de Toulouse), and is co-located with CSLP 2014.

For more information, see http://www.irit.fr/LACL2014/ or contact soloviev at irit.fr and asher at irit.fr (co-chairs of LACL 2014).

CCR 2014 will be held at the Institute for Mathematical Sciences in Singapore as a part of the Algorithmic Randomness Programme, 2-30 June 2014. Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

Please register before 15 March 2014. For more information, see the Conference Web Page at http://www2.ims.nus.edu.sg/Programs/014algo/.

Trends in Logic is the conference series of the journal 'Studia Logica'. The 13th Trends in Logic international conference will be held at the University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 'Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and Sequent Calculi'. It is organized by the Department of Logic and Methodology of Sciences at the Institute of Philosophy of the University of Lodz, in co-operation with >>Studia Logica<<.

For more information, see http://filozof.uni.lodz.pl/trends

Computational social choice is a growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing. Like its predecessors, this 5th edition of COMSOC will bring together theoretical computer scientists, researchers working in artificial intelligence, economicsts, political scientsists, mathematicians, and logicians working on these topics.

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science.

For more information regarding the conference, see the ICTAC 2014 web page at http://fmi.unibuc.ro/ictac2014/ or contact the conference email address: ictac2014 at fmi.unibuc.ro

The "Logic, Grammar, and Language" Conference explores the the multifarious interactions between logic and natural language. We are interested to explore the relation(s) between logic and natural language from empirical (linguistic), philosophical, and logical perspectives.

For more information, see http://www.confhub.net/lola. For additional information, please do not hesitate to contact the organisers at: logogrammar at gmail.com

The Logic and Language Conference is organised every other year by the Institute of Philosophy and the Northern Institute of Philosophy, in turn. The aim of the conference is to showcase cutting edge research in the Philosophy of Logic and Language, and to foster interaction between academics working in these areas both in the UK and abroad. In particular, we aim to give an opportunity to junior philosophers to interact with more senior colleagues working in the same field.

For more information, see http://philosophy.sas.ac.uk/LL2014

Behavioral science strongly indicates that which alternative we prefer depends on circumstances other than the properties of the alternatives themselves. For example, we are influenced by how alternatives are described, even when different descriptions contain the same information.

Issues raised by this context-dependence of preferences will be discussed in a two-day workshop by the following speakers: Richard Arneson (UC San Diego), Luc Bovens (London School of Economics), Sarah Conly (Bowdoin/Chicago), Jason Hanna (Northern Illinois), Sven Ove Hansson (KTH, Stockholm), Kalle Grill (Umeå), Danny Scoccia (New Mexico State), Robert Sugden (East Anglia) and Torbjörn Tännsjö (Stockholm).

Starts 10.00 Friday 21st (coffee 9.30). Ends 18.00 Saturday 22d. (There are flights from Stockholm Friday morning, returns Sunday morning). Registration required. No fee, free coffee. Dinner Friday, possibly subsidised.

For more information, contact kalle.grill at umu.se.

SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.

For more information, see http://smartcs.humanities.uva.nl/.

The Logic and Language Conference is organised every other year by the Institute of Philosophy and the Northern Institute of Philosophy, in turn. The aim of the conference is to showcase cutting edge research in the Philosophy of Logic and Language, and to foster interaction between academics working in these areas both in the UK and abroad. In particular, we aim to give an opportunity to junior philosophers to interact with more senior colleagues working in the same field.

For more information, see http://philosophy.sas.ac.uk/LL2014

Behavioral science strongly indicates that which alternative we prefer depends on circumstances other than the properties of the alternatives themselves. For example, we are influenced by how alternatives are described, even when different descriptions contain the same information.

Issues raised by this context-dependence of preferences will be discussed in a two-day workshop by the following speakers: Richard Arneson (UC San Diego), Luc Bovens (London School of Economics), Sarah Conly (Bowdoin/Chicago), Jason Hanna (Northern Illinois), Sven Ove Hansson (KTH, Stockholm), Kalle Grill (Umeå), Danny Scoccia (New Mexico State), Robert Sugden (East Anglia) and Torbjörn Tännsjö (Stockholm).

Starts 10.00 Friday 21st (coffee 9.30). Ends 18.00 Saturday 22d. (There are flights from Stockholm Friday morning, returns Sunday morning). Registration required. No fee, free coffee. Dinner Friday, possibly subsidised.

For more information, contact kalle.grill at umu.se.

In celebration of Philip Welch's 60th birthday, a conference will take place on 22-23 March 2014 at the University of Bristol.

Confirmed speakers at the conference are: John Steel (Berkeley), Hugh Woodin (Harvard), Menachem Magidor (Jerusalem), David Aspero (UEA), Peter Koellner (Harvard), Volker Halbach (Oxford), Hannes Leitgeb (München) and Peter Koepke (Bonn).

The meeting is supported by the Heilbronn Institute at Bristol, by the School of Mathematics, and the British Logic Colloquium.

For more information, see http://www.bristol.ac.uk/philosophy/events/2014/220314

This is the fourth edition of the LSE Graduate Conferences in Philosophy of Probability. It aims to attract researchers working on any philosophical aspect of probability, including, but not limited to, Bayesian epistemology, the foundations of statistics, decision theory, probabilistic causation, probability logic and applications of probabilities in the natural, social and medical sciences.

For more information see http://www.lse.ac.uk/CPNSS/events/GraduateConferences/pop2014/.

In celebration of Philip Welch's 60th birthday, a conference will take place on 22-23 March 2014 at the University of Bristol.

Confirmed speakers at the conference are: John Steel (Berkeley), Hugh Woodin (Harvard), Menachem Magidor (Jerusalem), David Aspero (UEA), Peter Koellner (Harvard), Volker Halbach (Oxford), Hannes Leitgeb (München) and Peter Koepke (Bonn).

The meeting is supported by the Heilbronn Institute at Bristol, by the School of Mathematics, and the British Logic Colloquium.

For more information, see http://www.bristol.ac.uk/philosophy/events/2014/220314

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-first WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

For more information, see http://wollic.org/wollic2014/.

The purpose of the BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The conference will consist of invited presentations by distinguished researchers and a number of contributed talks.

More information about the meeting including updates are available from the conference webpages at: http://bctcs.lboro.ac.uk/. Queries can be sent to: bctcs at lboro.ac.uk

Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the different approaches that one can take to the phenomenon of incompleteness. These different approaches have wider consequences for the concepts of meaning and truth in mathematics and beyond. The conference will address these foundational issues at the intersection of philosophy and mathematics. The primary goal of the conference is to showcase contemporary philosophical research on different approaches to the incompleteness phenomenon.

For more information, see the conference website at http://sotfom.wordpress.com/.

This three-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.

For more information, see http://www.joshuasack.info/events/workshop2014/.