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.

TriCoLore 2018 consists of 2 days of joint workshops focusing on creativity, cognition, and computation: C3GI, on computational creativity, ISD4, the 4th Image Schema Day, together with the Bremen-Bolzano research collaboration SCORE on cognitive robotics. Three exciting interconnected events for the price of one!

C3GI 2018 is the 7th International Workshop on Computational Creativity, Concept Invention, and General Intelligence. Workshop topics include the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation to general intelligence.

The image schema day is dedicated to the interdisciplinary study of conceptual primitives such as image schemas, conceptual dependency, semantic primes and affordances.

SCORE is a research cooperation between the University of Bremen, Germany, and the Free University of Bozen-Bolzano, Italy, covering topics related to integrating cognitively inspired knowledge representation, embodied simulations, as well as ontology, into cognitive robotics. Interactions with image schema research and creativity are particularly encouraged.

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.

KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.

This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.

Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.

KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.

This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.

This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.

This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.

This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.

AixDial will be the 22nd edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2018 the workshop will be hosted by Aix Marseille University, and organized by the Language and Speech Lab (LPL) as well as the Computer Science Lab (LIS). It will be collocated with the Workshop on Prosody and Meaning: Information Structure and Beyond.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series.

Main conferences:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP).

A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis.

AixDial will be the 22nd edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2018 the workshop will be hosted by Aix Marseille University, and organized by the Language and Speech Lab (LPL) as well as the Computer Science Lab (LIS). It will be collocated with the Workshop on Prosody and Meaning: Information Structure and Beyond.

AixDial will be the 22nd edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2018 the workshop will be hosted by Aix Marseille University, and organized by the Language and Speech Lab (LPL) as well as the Computer Science Lab (LIS). It will be collocated with the Workshop on Prosody and Meaning: Information Structure and Beyond.

The Philosophy Department at the University of Pittsburgh will host a one day conference at the University Club in honor of Ken Manders's contributions to the History and Philosophy of Mathematics on November 10, 2018.

The scheduled list of speakers is: Karine Chemla (Paris), Marco Panza (Paris), Josh Hunt (Ann Arbor), Paolo Mancosu (Berkeley), Becky Morris (Stanford), Mary Domski (New Mexico) and Jeremy Heis (Irvine).

Details to follow. All events are open to the public, but please notify Kathleen Labuda if you plan to attend.

Current political, social and even scientific debates all hinge upon whether data, inferences and/or belief forming processes are reliable. We are calling for philosophical/methodological contributions which help us through these difficult circumstances.

Given the variety of intertwined problems we are calling for contributions addressing the notion of reliability [broadly construed]. Submissions should be prepared like any other submission to Synthese prepared to under-go double-blind peer-review.

LATA is a conference series on theoretical computer science and its applications. LATA 2019 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

LATA 2019 will consist of invited talks and peer-reviewed contributions. Invited speakers: Henning Fernau (University of Trier), Edward A. Lee (University of California, Berkeley), Vadim Lozin (University of Warwick), From Words to Graphs, and Esko Ukkonen (University of Helsinki).

EKAW 2018 concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The special theme of EKAW 2018 is "Knowledge and AI". We have papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 puts a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI.

EKAW 2018 concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The special theme of EKAW 2018 is "Knowledge and AI". We have papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 puts a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI.

EKAW 2018 concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The special theme of EKAW 2018 is "Knowledge and AI". We have papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 puts a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI.

TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”.  TAMC 2011 was held in Tokyo, Japan.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition and historical research on logic.

EKAW 2018 concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The special theme of EKAW 2018 is "Knowledge and AI". We have papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 puts a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI.

The Making of the Humanities conference returns to Amsterdam! This is where the conference series started in 2008, ten years ago. Following successful meetings in Amsterdam in 2010, in Rome in 2012 and 2014, in Baltimore in 2016, and in Oxford in 2017, the seventh conference on the history of the humanities returns to the University of Amsterdam, November 15–17, 2018. The seventh conference is the largest in the series: over 140 papers have been accepted for presentation by speakers from over thirty different countries.

The „Studentische Tagung Sprachwissenschaft“ (StuTS) is a students conference taking place every semester in a different university in Germany and surrounding countries. The StuTS aims at providing a platform for students of all disciplines of linguistics and related subjects to get to know each other and share their knowledge.

The conference focusses on academic exchange amongst students. Participants have the possibility to conduct a presentation or give a workshop (usually 20 to 40 minutes) by submitting an abstract, where they can present any linguistic project they are working on without the pressure of talking in front of „experts“. Information can be found on our linked website.

EKAW 2018 concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The special theme of EKAW 2018 is "Knowledge and AI". We have papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 puts a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI.

The Making of the Humanities conference returns to Amsterdam! This is where the conference series started in 2008, ten years ago. Following successful meetings in Amsterdam in 2010, in Rome in 2012 and 2014, in Baltimore in 2016, and in Oxford in 2017, the seventh conference on the history of the humanities returns to the University of Amsterdam, November 15–17, 2018. The seventh conference is the largest in the series: over 140 papers have been accepted for presentation by speakers from over thirty different countries.

The set theory conference 'Reflections on Set Theoretic Reflection', in celebration of Joan Bagaria's 60th birthday, will take place from 16-19 November 2018 in Sant Bernat, Montseny, Catalonia. The event is organised by the Institute of Mathematics of the University of Barcelona in partnership with the Clay Mathematics Institute.

Keynote Speakers: Peter Koellner (Harvard), Paul Larson (Miami) Menachem Magidor (Jerusalem), Jouko Väänänen (Helsinki and Amsterdam), and W. Hugh Woodin (Harvard).

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

The Making of the Humanities conference returns to Amsterdam! This is where the conference series started in 2008, ten years ago. Following successful meetings in Amsterdam in 2010, in Rome in 2012 and 2014, in Baltimore in 2016, and in Oxford in 2017, the seventh conference on the history of the humanities returns to the University of Amsterdam, November 15–17, 2018. The seventh conference is the largest in the series: over 140 papers have been accepted for presentation by speakers from over thirty different countries.

The set theory conference 'Reflections on Set Theoretic Reflection', in celebration of Joan Bagaria's 60th birthday, will take place from 16-19 November 2018 in Sant Bernat, Montseny, Catalonia. The event is organised by the Institute of Mathematics of the University of Barcelona in partnership with the Clay Mathematics Institute.

Keynote Speakers: Peter Koellner (Harvard), Paul Larson (Miami) Menachem Magidor (Jerusalem), Jouko Väänänen (Helsinki and Amsterdam), and W. Hugh Woodin (Harvard).

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

The set theory conference 'Reflections on Set Theoretic Reflection', in celebration of Joan Bagaria's 60th birthday, will take place from 16-19 November 2018 in Sant Bernat, Montseny, Catalonia. The event is organised by the Institute of Mathematics of the University of Barcelona in partnership with the Clay Mathematics Institute.

Keynote Speakers: Peter Koellner (Harvard), Paul Larson (Miami) Menachem Magidor (Jerusalem), Jouko Väänänen (Helsinki and Amsterdam), and W. Hugh Woodin (Harvard).

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. The main objective of the conference is to present the latest research and results of scientists related to AI topics. The theme for this year's event is "Intelligent World". MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam.

The set theory conference 'Reflections on Set Theoretic Reflection', in celebration of Joan Bagaria's 60th birthday, will take place from 16-19 November 2018 in Sant Bernat, Montseny, Catalonia. The event is organised by the Institute of Mathematics of the University of Barcelona in partnership with the Clay Mathematics Institute.

Keynote Speakers: Peter Koellner (Harvard), Paul Larson (Miami) Menachem Magidor (Jerusalem), Jouko Väänänen (Helsinki and Amsterdam), and W. Hugh Woodin (Harvard).

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. The main objective of the conference is to present the latest research and results of scientists related to AI topics. The theme for this year's event is "Intelligent World". MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam.

Logical dynamics pursues the central idea that actions and events that produce information and change agents' states are first-class citizens in the domain of logic, with a structure of their own
that fits seamlessly with that of traditional notions such as proposition, proof, or theory. We will discuss some history of this move from statics to dynamics, show how it connects logicwith other disciplines in new ways, give a taste of recent results, and convey some new philosophical, mathematical and computational
issues that arise in this perspective.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. The main objective of the conference is to present the latest research and results of scientists related to AI topics. The theme for this year's event is "Intelligent World". MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam.

Logical dynamics pursues the central idea that actions and events that produce information and change agents' states are first-class citizens in the domain of logic, with a structure of their own
that fits seamlessly with that of traditional notions such as proposition, proof, or theory. We will discuss some history of this move from statics to dynamics, show how it connects logicwith other disciplines in new ways, give a taste of recent results, and convey some new philosophical, mathematical and computational
issues that arise in this perspective.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

The workshop will focus on Scottish natural philosophy and mathematics, and their innovative developments between 1550 and 1750. Traditional Scottish historiography of the period has been framed in terms of religious factions. The question of how scientific innovations flourished in this context has been little addressed.

We are particularly interested in mathematical practices related to measurement both in astronomy and in contexts such as navigation, surveying, cask gauging, grain measuring, and so on. Some apparently paradoxical processes of conceptual change in early modern mathematics, such as of ratio and proportionality, can only be understood by examining the mathematical collective tacit knowledge developed through practices with measuring instruments. Such instruments, and the associated practices, concepts, and books, circulated through networks of exchange.

The workshop will focus on Scottish natural philosophy and mathematics, and their innovative developments between 1550 and 1750. Traditional Scottish historiography of the period has been framed in terms of religious factions. The question of how scientific innovations flourished in this context has been little addressed.

We are particularly interested in mathematical practices related to measurement both in astronomy and in contexts such as navigation, surveying, cask gauging, grain measuring, and so on. Some apparently paradoxical processes of conceptual change in early modern mathematics, such as of ratio and proportionality, can only be understood by examining the mathematical collective tacit knowledge developed through practices with measuring instruments. Such instruments, and the associated practices, concepts, and books, circulated through networks of exchange.

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. JELIA aims at bringing together researchers active in all aspects concerning the use of logics in AI to discuss current research, results, problems, and applications of both a theoretical and a practical nature.

The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history of mathematics. In 2018 the Novembertagung will be held in Spain for the first time, at the Institute of Mathematics of the University of Seville (IMUS). The conference will commence on November 28th with a lunch reception; presentations will then begin after lunch and continue throughout the next two days.

The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history of mathematics. In 2018 the Novembertagung will be held in Spain for the first time, at the Institute of Mathematics of the University of Seville (IMUS). The conference will commence on November 28th with a lunch reception; presentations will then begin after lunch and continue throughout the next two days.

The „Studentische Tagung Sprachwissenschaft“ (StuTS) is a students conference taking place every semester in a different university in Germany and surrounding countries. The StuTS aims at providing a platform for students of all disciplines of linguistics and related subjects to get to know each other and share their knowledge.

The conference focusses on academic exchange amongst students. Participants have the possibility to conduct a presentation or give a workshop (usually 20 to 40 minutes) by submitting an abstract, where they can present any linguistic project they are working on without the pressure of talking in front of „experts“. Information can be found on our linked website.

The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history of mathematics. In 2018 the Novembertagung will be held in Spain for the first time, at the Institute of Mathematics of the University of Seville (IMUS). The conference will commence on November 28th with a lunch reception; presentations will then begin after lunch and continue throughout the next two days.

The „Studentische Tagung Sprachwissenschaft“ (StuTS) is a students conference taking place every semester in a different university in Germany and surrounding countries. The StuTS aims at providing a platform for students of all disciplines of linguistics and related subjects to get to know each other and share their knowledge.

The conference focusses on academic exchange amongst students. Participants have the possibility to conduct a presentation or give a workshop (usually 20 to 40 minutes) by submitting an abstract, where they can present any linguistic project they are working on without the pressure of talking in front of „experts“. Information can be found on our linked website.