The 6th International Conference on Computational Intelligence in Music, Sound, Art and Design (EvoMusArt) will be held in Amsterdam in 19-21 April 2017, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

This workshop is entirely devoted to the LogiCIC Research Project on “The Logical Structure of Correlated Information Change”. In this interdisciplinary project we focus in particular on correlations that arise in situations in which the very act of learning new information may directly change the reality that is being learnt. We will combine insights and techniques from a range of research domains, including logic, game theory, philosophy of science, network theory, quantum theory, belief revision theory, truth approximation and formal learning theory.

Eris: VU journal for humanities is seeking papers for its first issue. We are looking for articles, essays and book reviews concerning ‘War and Peace’. All contributions from humanity students and employees are considered for publication. Articles should be between 2000 and 5000 words in English or Dutch. Creative interpretations of the theme ‘War and Peace’ are encouraged.

The Eighth French Philosophy of Mathematics Workshop is the eighth edition of a yearly conference in Philosophy of Mathematics organized by a group of French and International researchers, both philosophers and mathematicians, and sponsored by a Research Group on Philosophy of mathematics (GDR 3719 ) funded by the French National Center for Scientific Research (CNRS). This research group has the objective of promoting and federating French researches in philosophy of mathematics.

The forthcoming workshop will be held at the Center for Comparative Epistemology and Ergology (CEPERC) at the University of Aix-Marseille. It will consist, as the previous workshops, in a three-day meeting, and will feature both invited and contributed talks.

For more information, see https://fpmw8-2016.sciencesconf.org/ or contact fpmw8-2016 at sciencesconf.org.

This year marks the 100th anniversary of the birth of Adriaan van Wijngaarden (1916-1987), founder of computer science in the Netherlands and former director of CWI. 2016 is also the 70th founding anniversary of CWI.

We will celebrate these occasions with a special programme in honour of Adriaan van Wijngaarden and his legacy. Several internationally renowned speakers will explore the legacy of Van Wijngaarden in both mathematics and computer science.

The Eighth French Philosophy of Mathematics Workshop is the eighth edition of a yearly conference in Philosophy of Mathematics organized by a group of French and International researchers, both philosophers and mathematicians, and sponsored by a Research Group on Philosophy of mathematics (GDR 3719 ) funded by the French National Center for Scientific Research (CNRS). This research group has the objective of promoting and federating French researches in philosophy of mathematics.

The forthcoming workshop will be held at the Center for Comparative Epistemology and Ergology (CEPERC) at the University of Aix-Marseille. It will consist, as the previous workshops, in a three-day meeting, and will feature both invited and contributed talks.

For more information, see https://fpmw8-2016.sciencesconf.org/ or contact fpmw8-2016 at sciencesconf.org.

The Eighth French Philosophy of Mathematics Workshop is the eighth edition of a yearly conference in Philosophy of Mathematics organized by a group of French and International researchers, both philosophers and mathematicians, and sponsored by a Research Group on Philosophy of mathematics (GDR 3719 ) funded by the French National Center for Scientific Research (CNRS). This research group has the objective of promoting and federating French researches in philosophy of mathematics.

The forthcoming workshop will be held at the Center for Comparative Epistemology and Ergology (CEPERC) at the University of Aix-Marseille. It will consist, as the previous workshops, in a three-day meeting, and will feature both invited and contributed talks.

For more information, see https://fpmw8-2016.sciencesconf.org/ or contact fpmw8-2016 at sciencesconf.org.

JéTou (Journées d'études Toulousaines) is an international conference for young researchers bringing together Master's and PhD students, as well as young researchers having defended their thesis less than 3 years ago, working in different areas of Linguistics. The 6th edition will be devoted to the topic "Interfaces in Linguistics".

The main focus of the conference will be on the works at the interface of 1) linguistics and computer science, 2) linguistics, psychology, and neuroscience, and 3) linguistics, language acquisition, language learning and language teaching. However, any work that is interdisciplinary in nature will be given full consideration. Proposals combining theoretical considerations with work on linguistic data are particularly encouraged.

For more information, see http://jetou2017.free.fr/index-en.htm or contact contact.jetou2017 at gmail.com.

The goal of the school is to give a structured introduction to the main concepts and results in linear logic. It will assume as prerequisites only basic knowledge of classical logic and of formal proof systems (sequent calculus or natural deduction). Its aim is to allow the attendees to understand for example: motivations and origins of linear logic; linear logic connectives; sequent calculus; proof-nets; semantics; relationships with intuitionistic and classical logic...

This school is mainly directed towards master's students, with a background in logic and philosophy, computer science or mathematics. It is also opened to PhD students and researchers who would like to learn about linear logic. The school is part of a more general four-day event, 'Linear Logic: interaction, proofs and computation' which will also include a workshop 'Linear logic and philosophy' (8 nov, afternoon, at University Lyon 3) and a workshop 'Linear logic, mathematics and computer science' (9-10 nov, at ENS Lyon).

The lectures will be given in english. More detailed information about the programme and the lecturers will be given on the web site. Deadline for registration: sept 30, 2016. For more information, see https://ll2016.sciencesconf.org/resource/page/id/1

Linear logic was introduced 30 years ago and has rapidly become a pivot point between mathematical logic and computer science. The present event aims to gather mathematicians, computer scientists and philosophers in order to foster interaction in research on linear logic.

Linear Logic 2016 will be a four-day meeting in Lyon, including three events:
- Autumn school on linear logic (Nov 7-8)
- Workshop 'Linear logic and philosophy' (Nov 8, afternoon)
- Workshop 'Linear logic, mathematics and computer science' (Nov 9-10).

The goal of the school is to give a structured introduction to the main concepts and results in linear logic. It will assume as prerequisites only basic knowledge of classical logic and of formal proof systems (sequent calculus or natural deduction). Its aim is to allow the attendees to understand for example: motivations and origins of linear logic; linear logic connectives; sequent calculus; proof-nets; semantics; relationships with intuitionistic and classical logic...

This school is mainly directed towards master's students, with a background in logic and philosophy, computer science or mathematics. It is also opened to PhD students and researchers who would like to learn about linear logic. The school is part of a more general four-day event, 'Linear Logic: interaction, proofs and computation' which will also include a workshop 'Linear logic and philosophy' (8 nov, afternoon, at University Lyon 3) and a workshop 'Linear logic, mathematics and computer science' (9-10 nov, at ENS Lyon).

The lectures will be given in english. More detailed information about the programme and the lecturers will be given on the web site. Deadline for registration: sept 30, 2016. For more information, see https://ll2016.sciencesconf.org/resource/page/id/1

Linear logic was introduced 30 years ago and has rapidly become a pivot point between mathematical logic and computer science. The present event aims to gather mathematicians, computer scientists and philosophers in order to foster interaction in research on linear logic.

Linear Logic 2016 will be a four-day meeting in Lyon, including three events:
- Autumn school on linear logic (Nov 7-8)
- Workshop 'Linear logic and philosophy' (Nov 8, afternoon)
- Workshop 'Linear logic, mathematics and computer science' (Nov 9-10).

Linear logic was introduced 30 years ago and has rapidly become a pivot point between mathematical logic and computer science. The present event aims to gather mathematicians, computer scientists and philosophers in order to foster interaction in research on linear logic.

Linear Logic 2016 will be a four-day meeting in Lyon, including three events:
- Autumn school on linear logic (Nov 7-8)
- Workshop 'Linear logic and philosophy' (Nov 8, afternoon)
- Workshop 'Linear logic, mathematics and computer science' (Nov 9-10).

The European Conference on Logics in Artificial Intelligence (or, Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence.

The aim of JELIA 2016 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

For more information, see http://www.cyprusconferences.org/jelia2016/

The International Association for Science and Cultural Diversity (IASCUD) is hosting a symposium titled "The interface between the study of cultural diversity in science and decision-making in science policy" at the 25th International Congress of History of Science and Technology to be held in Rio de Janeiro, 23-29 July 2017. The organisers of the symposium are Nina Atanasova (Toledo OH, U.S.A.) and Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany).

In this symposium, we wish to explore the actual and potential connections between researchers who study the cultural variety of science from historical, sociological, and philosophical perspectives and the deciders and stakeholders in both local and global science policy: Are policy makers informed about the effects of scientific cultural diversity? If so, how does this affect their decisions? If not, what can researchers of cultural diversity in science do in order to connect to the decision makers?

Linear logic was introduced 30 years ago and has rapidly become a pivot point between mathematical logic and computer science. The present event aims to gather mathematicians, computer scientists and philosophers in order to foster interaction in research on linear logic.

Linear Logic 2016 will be a four-day meeting in Lyon, including three events:
- Autumn school on linear logic (Nov 7-8)
- Workshop 'Linear logic and philosophy' (Nov 8, afternoon)
- Workshop 'Linear logic, mathematics and computer science' (Nov 9-10).

The European Conference on Logics in Artificial Intelligence (or, Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence.

The aim of JELIA 2016 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

For more information, see http://www.cyprusconferences.org/jelia2016/

BNAIC is the Annual Benelux Conference on Artificial Intelligence. This year, the 28th edition of BNAIC is jointly organized by the University of Amsterdam and the Vrije Universiteit Amsterdam, under the auspices of the Benelux Association for Artificial Intelligence (BNVKI) and the Dutch Research School for Information and Knowledge Systems (SIKS). BNAIC 2016 will include invited speakers, research presentations, posters and demonstrations.

The European Conference on Logics in Artificial Intelligence (or, Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence.

The aim of JELIA 2016 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

For more information, see http://www.cyprusconferences.org/jelia2016/

BNAIC is the Annual Benelux Conference on Artificial Intelligence. This year, the 28th edition of BNAIC is jointly organized by the University of Amsterdam and the Vrije Universiteit Amsterdam, under the auspices of the Benelux Association for Artificial Intelligence (BNVKI) and the Dutch Research School for Information and Knowledge Systems (SIKS). BNAIC 2016 will include invited speakers, research presentations, posters and demonstrations.

This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

This workshop will focus on various logical aspects of branching time structures as a means to represent real possibilities. The workshop takes place on the occasion of the defense of Antje Rumberg's dissertation ,,Transitions toward a Semantics for Real Possibility".

As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. Also as usual, there will be a workshop lunch and a workshop dinner on Saturday, with all participants invited to attend as guests of the university.

We're pleased to announce that we will be having featured talks by Pr. Lydia Patton (Philosophy, Virginia Tech U) and Pr. Michael Rathjen (Mathematics, U of Leeds). Pr. Rathjen will be speaking on ?On Feferman?s Second Conjecture". Pr. Patton will be giving a talk titled "Fishbones, Wheels, Eyes, and Butterflies: Is There a Unified Account of Mathematical and Physical Modeling??.

This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. Also as usual, there will be a workshop lunch and a workshop dinner on Saturday, with all participants invited to attend as guests of the university.

We're pleased to announce that we will be having featured talks by Pr. Lydia Patton (Philosophy, Virginia Tech U) and Pr. Michael Rathjen (Mathematics, U of Leeds). Pr. Rathjen will be speaking on ?On Feferman?s Second Conjecture". Pr. Patton will be giving a talk titled "Fishbones, Wheels, Eyes, and Butterflies: Is There a Unified Account of Mathematical and Physical Modeling??.

This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

The interplay of logic and argumentation has a long history, from (at least) Aristotle to very recent knowledge representation and reasoning and formalization of argumentation in artificial intelligence. This is a highly interdisciplinary research field, involving researchers from several fields including logic, philosophy, computer science, artificial intelligence, and law.

In order to facilitate further cross-fertilization, Journal of Applied Non-Classical Logics invites contributions to a special issue on Logic and Argumentation. We welcome submissions of original research in either area, and particularly encourage submissions in the intersection between the two. The special issue is a follow-up to the First Chinese Conference on Logic and Argumentation that took place at Zhejiang University in May 2016.

Manuscript submission deadline: 15 November, 2016. For more information, see here or http://www.edmgr.com/tncl/.

The Executive Board of the International Association for Computing and Philosophy seeks nominations for the Covey Award to be presented at IACAP 2017, Stanford University, June 26-28.

The Covey Award recognizes senior scholars with a substantial record of innovative research in the field of computing and philosophy broadly conceived. Covey Award candidates may be proposed either by their home institution or by fellow scholars of computing and philosophy who are well-versed in the candidate's work. Submission: November 15th, 2017

This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

This workshop is entirely devoted to the LogiCIC Research Project on “The Logical Structure of Correlated Information Change”. In this interdisciplinary project we focus in particular on correlations that arise in situations in which the very act of learning new information may directly change the reality that is being learnt. We will combine insights and techniques from a range of research domains, including logic, game theory, philosophy of science, network theory, quantum theory, belief revision theory, truth approximation and formal learning theory.

This workshop is entirely devoted to the LogiCIC Research Project on “The Logical Structure of Correlated Information Change”. In this interdisciplinary project we focus in particular on correlations that arise in situations in which the very act of learning new information may directly change the reality that is being learnt. We will combine insights and techniques from a range of research domains, including logic, game theory, philosophy of science, network theory, quantum theory, belief revision theory, truth approximation and formal learning theory.

Much has been discussed lately about the relevance of formal logic (including probability theory) to the normativity of reasoning, as well as to the psychology of reasoning. Is it correct to diagnose human ratiocinative/argumentative performance as rational or irrational on the basis of claims about logical validity or consistency? Does the fact that we sometimes fail to comply to certain logical standards in an apparently rational way show that logic is irrelevant to the norms of thought? Following Harman (1986), one might reach the conclusion that logic is not specially relevant to reasoning after all. Or, maybe, logic is specially relevant to human reasoning -- but not in the way we initially thought. Relatedly, logic and probability theory are extensively used by psychologists to model and make predictions about inferential performances. The workshop is intended to foster investigation about these and related topics.

This workshop is entirely devoted to the LogiCIC Research Project on “The Logical Structure of Correlated Information Change”. In this interdisciplinary project we focus in particular on correlations that arise in situations in which the very act of learning new information may directly change the reality that is being learnt. We will combine insights and techniques from a range of research domains, including logic, game theory, philosophy of science, network theory, quantum theory, belief revision theory, truth approximation and formal learning theory.

Much has been discussed lately about the relevance of formal logic (including probability theory) to the normativity of reasoning, as well as to the psychology of reasoning. Is it correct to diagnose human ratiocinative/argumentative performance as rational or irrational on the basis of claims about logical validity or consistency? Does the fact that we sometimes fail to comply to certain logical standards in an apparently rational way show that logic is irrelevant to the norms of thought? Following Harman (1986), one might reach the conclusion that logic is not specially relevant to reasoning after all. Or, maybe, logic is specially relevant to human reasoning -- but not in the way we initially thought. Relatedly, logic and probability theory are extensively used by psychologists to model and make predictions about inferential performances. The workshop is intended to foster investigation about these and related topics.

This November marks 100 years since the birth of Christopher Strachey. We are holding a symposium to celebrate his life and research in Oxford on Saturday 19th November. There will also be an exhibition of material from the Strachey archive on Friday 18th November, followed by a banquet dinner at Hertford College on the evening of Friday 18th November.

For more information and to register for attendance, please go to http://www.cs.ox.ac.uk/strachey100/.

IEA/AIE 2017 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.

The fifth edition in this series of workshops organized by the Buenos Aires Logic Group aims to discuss different topics in Philosophical Logic, such as paradoxes, theories of truth and non-classical logics.

Confirmed invited speakers: Roy Cook (University of Minnesota), Hitoshi Omori (Kyoto University), Dave Ripley (University of Connecticut) and Zach Weber (University of Otago).

The fifth edition in this series of workshops organized by the Buenos Aires Logic Group aims to discuss different topics in Philosophical Logic, such as paradoxes, theories of truth and non-classical logics.

Confirmed invited speakers: Roy Cook (University of Minnesota), Hitoshi Omori (Kyoto University), Dave Ripley (University of Connecticut) and Zach Weber (University of Otago).

The fifth edition in this series of workshops organized by the Buenos Aires Logic Group aims to discuss different topics in Philosophical Logic, such as paradoxes, theories of truth and non-classical logics.

Confirmed invited speakers: Roy Cook (University of Minnesota), Hitoshi Omori (Kyoto University), Dave Ripley (University of Connecticut) and Zach Weber (University of Otago).

With the recent breakthroughs in hardware development, for many it is no longer a question of if but when the quantum computer will come. But when it comes, what will humanity do with it? The scientific field of quantum software is working on answers to this question. Historically, the Netherlands play an important role in this multidisciplinary field. The symposium will showcase a sample of the diverse topics that quantum software researchers from academia and industry in the Netherlands are working on.

To register for the symposium, please send an email to susanne.van.dam at cwi.nl before November 18. This event is hosted and organized by QuSoft, a joint research institute for quantum software, founded by CWI, UvA and VU. By organizing this event, QuSoft aims to support and stimulate the development of the Dutch quantum software ecosystem.

On Saturday 26 November 2016 we will celebrate the fact that the ILLC was founded 25 years ago by organising a symposium and evening programme.

For more information, see http://events.illc.uva.nl/ILLC/ILLC25.

The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts:
Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming
Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond

Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems.

Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development.

For more information, see http://www.aixia2016.unige.it/ or contact the workshop co-chairs can be contacted by sending an email to rcra2016 at easychair.org.

AI*IA 2016 covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program.

The conference is organized by the Italian Association for Artificial Intelligence (AIIA), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field.

For more information see http://www.aixia2016.unige.it/

The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts:
Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming
Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond

Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems.

Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development.

For more information, see http://www.aixia2016.unige.it/ or contact the workshop co-chairs can be contacted by sending an email to rcra2016 at easychair.org.

AI*IA 2016 covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program.

The conference is organized by the Italian Association for Artificial Intelligence (AIIA), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field.

For more information see http://www.aixia2016.unige.it/

As in previous years, the principal aim of our Conference is to bring together philosophers, linguists and logicians. PhiLang2017 will be concerned with "objects of inquiry" (or on "what there is") in language, philosophy, logic, argumentation theory, and literature.

We also invite contributions investigating the general and more specific relations between philosophy of language, philosophy of literature, and philosophy of mind.

For more information, see http://filologia.uni.lodz.pl/philang/

The symposium will bring together researchers from computer science, engineering, mathematics, and further disciplines to discuss new developments and directions for future research in the area of multi-valued logic and related fields. The symposium committee is planning to hold a special session tribute to Ivan Stojmenovic in the symposium. Invited Speakers: Dmitriy Zhuk (Moscow State University), Branislav Kisacanin (Nvidia Corporation), Tsutomu Sasao (Meiji University).

Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems.

Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development.

For more information, see http://www.aixia2016.unige.it/ or contact the workshop co-chairs can be contacted by sending an email to rcra2016 at easychair.org.

AI*IA 2016 covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program.

The conference is organized by the Italian Association for Artificial Intelligence (AIIA), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field.

For more information see http://www.aixia2016.unige.it/