The Munich Center for Mathematical Philosophy is organising the sixth edition of the Summer School on Mathematical Philosophy for Female Students. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.

This year, we will have the following lecture streams:
1. "Formal epistemology", led by Anna-Maria Asunta Eder (University of Cologne)
2. "Barriers to Entailment", led by Gillian Russell (UNC Chapel Hill)
3. "Philosophy of Algorithms and Simulations", led by Lena Zuchowski (University of Bristol)

This is the eighth installment of a series of workshops organized by BA LOGIC, aiming to bring together researchers to discuss different topics in philosophical logic, mainly connected with semantic paradoxes, theories of truth, and non-classical logics.

Gender and other demographic biases in machine-learned models are of increasing interest to the scientific community and industry. Models of natural language are highly affected by such perceived biases, present in widely used products, can lead to poor user experiences. This workshop will be the first dedicated to the issue of gender bias in NLP techniques and it includes a shared task on coreference resolution. In order to make progress as a field, this workshop will specially focus on discussing and proposing standard tasks which quantify bias.

Keynote Speaker: Pascale Fung, Hong Kong University of Science and Technology

The Munich Center for Mathematical Philosophy is organising the sixth edition of the Summer School on Mathematical Philosophy for Female Students. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.

This year, we will have the following lecture streams:
1. "Formal epistemology", led by Anna-Maria Asunta Eder (University of Cologne)
2. "Barriers to Entailment", led by Gillian Russell (UNC Chapel Hill)
3. "Philosophy of Algorithms and Simulations", led by Lena Zuchowski (University of Bristol)

This is the eighth installment of a series of workshops organized by BA LOGIC, aiming to bring together researchers to discuss different topics in philosophical logic, mainly connected with semantic paradoxes, theories of truth, and non-classical logics.

Gender and other demographic biases in machine-learned models are of increasing interest to the scientific community and industry. Models of natural language are highly affected by such perceived biases, present in widely used products, can lead to poor user experiences. This workshop will be the first dedicated to the issue of gender bias in NLP techniques and it includes a shared task on coreference resolution. In order to make progress as a field, this workshop will specially focus on discussing and proposing standard tasks which quantify bias.

Keynote Speaker: Pascale Fung, Hong Kong University of Science and Technology

The Munich Center for Mathematical Philosophy is organising the sixth edition of the Summer School on Mathematical Philosophy for Female Students. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.

This year, we will have the following lecture streams:
1. "Formal epistemology", led by Anna-Maria Asunta Eder (University of Cologne)
2. "Barriers to Entailment", led by Gillian Russell (UNC Chapel Hill)
3. "Philosophy of Algorithms and Simulations", led by Lena Zuchowski (University of Bristol)

The summer school aims at broadening the logical arsenal of formal philosophers and PhD students in philosophy. The courses will present some serious post-WWII logic for non-specialists. The event is inspired W. Hart's book "The evolution of Logic" and his presentation of what he called the four pillars of mathematical logic to a broad philosophical audience: constructibility, forcing, the priority method and Morley's theorem.

The school takes place over a period of 3 days August 5-7 at the University of Geneva. There will be two 2-hours lectures per day, in the morning. There will be a facultative discussion session on one of the afternoons. The titles of the minicourses are:
1) The priority method (Denis Hirschfeldt, University of Chicago)
2) Definable sets and ramified-types: a thread through the foundations of mathematics (Harold Hodes, Cornell University)

Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics.

Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas.

The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research.

The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.

The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) by the Institute of Philosophy of the Czech Academy of Sciences.

The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The summer school aims at broadening the logical arsenal of formal philosophers and PhD students in philosophy. The courses will present some serious post-WWII logic for non-specialists. The event is inspired W. Hart's book "The evolution of Logic" and his presentation of what he called the four pillars of mathematical logic to a broad philosophical audience: constructibility, forcing, the priority method and Morley's theorem.

The school takes place over a period of 3 days August 5-7 at the University of Geneva. There will be two 2-hours lectures per day, in the morning. There will be a facultative discussion session on one of the afternoons. The titles of the minicourses are:
1) The priority method (Denis Hirschfeldt, University of Chicago)
2) Definable sets and ramified-types: a thread through the foundations of mathematics (Harold Hodes, Cornell University)

Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics.

Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas.

The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research.

The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.

The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) by the Institute of Philosophy of the Czech Academy of Sciences.

The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The summer school aims at broadening the logical arsenal of formal philosophers and PhD students in philosophy. The courses will present some serious post-WWII logic for non-specialists. The event is inspired W. Hart's book "The evolution of Logic" and his presentation of what he called the four pillars of mathematical logic to a broad philosophical audience: constructibility, forcing, the priority method and Morley's theorem.

The school takes place over a period of 3 days August 5-7 at the University of Geneva. There will be two 2-hours lectures per day, in the morning. There will be a facultative discussion session on one of the afternoons. The titles of the minicourses are:
1) The priority method (Denis Hirschfeldt, University of Chicago)
2) Definable sets and ramified-types: a thread through the foundations of mathematics (Harold Hodes, Cornell University)

Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics.

Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas.

The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research.

The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.

The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) by the Institute of Philosophy of the Czech Academy of Sciences.

The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The aim of the workshop is to bring together some of the leading scholars of Buddhist (and Indian) logic and contemporary philosophers of logic in order to foster interdisciplinary interactions between them. Each session will consist of a presentation by an internationally renowned Buddhist or Indian scholar followed by a presentation by a philosopher of an international research profile who will not just comment on the previous presentation but develop or challenge the ideas presented by the previous presentation. The workshop will be a real interaction between the scholars of Buddhist (and Indian) logic and philosophers of logic who are not familiar with Buddhist material.

Speakers: Szymon Bogacz (ANU), Brendan Gillon (McGill), Marie-Hélène Gorisse (Ghent), Bryce Huebner (Georgetown), Carrie Jenkins (UBC), Ed Mares (Wellington), Danielle Macbeth (Haverford), Parimal Patil (Harvard), Graham Priest (CUNY Graduate Center), Gila Sher (UC San Diego), Koji Tanaka (ANU), Audrey Yap (Victoria).

Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics.

Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas.

The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research.

The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.

The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) by the Institute of Philosophy of the Czech Academy of Sciences.

The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The aim of the workshop is to bring together some of the leading scholars of Buddhist (and Indian) logic and contemporary philosophers of logic in order to foster interdisciplinary interactions between them. Each session will consist of a presentation by an internationally renowned Buddhist or Indian scholar followed by a presentation by a philosopher of an international research profile who will not just comment on the previous presentation but develop or challenge the ideas presented by the previous presentation. The workshop will be a real interaction between the scholars of Buddhist (and Indian) logic and philosophers of logic who are not familiar with Buddhist material.

Speakers: Szymon Bogacz (ANU), Brendan Gillon (McGill), Marie-Hélène Gorisse (Ghent), Bryce Huebner (Georgetown), Carrie Jenkins (UBC), Ed Mares (Wellington), Danielle Macbeth (Haverford), Parimal Patil (Harvard), Graham Priest (CUNY Graduate Center), Gila Sher (UC San Diego), Koji Tanaka (ANU), Audrey Yap (Victoria).

Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics.

Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas.

The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research.

The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.

The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) by the Institute of Philosophy of the Czech Academy of Sciences.

The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The aim of the workshop is to bring together some of the leading scholars of Buddhist (and Indian) logic and contemporary philosophers of logic in order to foster interdisciplinary interactions between them. Each session will consist of a presentation by an internationally renowned Buddhist or Indian scholar followed by a presentation by a philosopher of an international research profile who will not just comment on the previous presentation but develop or challenge the ideas presented by the previous presentation. The workshop will be a real interaction between the scholars of Buddhist (and Indian) logic and philosophers of logic who are not familiar with Buddhist material.

Speakers: Szymon Bogacz (ANU), Brendan Gillon (McGill), Marie-Hélène Gorisse (Ghent), Bryce Huebner (Georgetown), Carrie Jenkins (UBC), Ed Mares (Wellington), Danielle Macbeth (Haverford), Parimal Patil (Harvard), Graham Priest (CUNY Graduate Center), Gila Sher (UC San Diego), Koji Tanaka (ANU), Audrey Yap (Victoria).

The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) by the Institute of Philosophy of the Czech Academy of Sciences.

The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. The six preceding editions of the FCA4AI Workshop (since ECAI 2012 until IJCAI 2018) showed that many researchers working in Artificial Intelligence are interested in FCA as a powerful method for classification and mining. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis.

This year, we still have the chance to organize a new edition of the workshop in Macao co-located with the IJCAI 2019 Conference. The workshop will be dedicated to discuss issues such as
- How can FCA support AI activities such as knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing...
- How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain.

FG 2019 is the 24th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2019, will take place at University of Latvia, Riga, Latvia. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12.

Reasoning is a core ability in human cognition. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, inspiring a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. A core goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

FG 2019 is the 24th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2019, will take place at University of Latvia, Riga, Latvia. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12.

Reasoning is a core ability in human cognition. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, inspiring a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. A core goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields.

Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation.

The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

The Logic Colloquium 2019 is the annual European summer meeting of the Association of Symbolic Logic (ASL) ,  an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.

The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12.

Reasoning is a core ability in human cognition. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, inspiring a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. A core goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields.

Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation.

The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

The Logic Colloquium 2019 is the annual European summer meeting of the Association of Symbolic Logic (ASL) ,  an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.

The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.

Invited Speakers: Ulrik Buchholtz (TU Darmstadt, Germany), Dan Licata (Wesleyan University, USA), Andrew Pitts (University of Cambridge, UK), Emily Riehl (Johns Hopkins University, USA), Christian Sattler (University of Gothenburg, Sweden) and Karol Szumilo (University of Leeds, UK),

There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th.

For more information, see hott.github.io slash HoTT-2019 or contact hott2019conference at gmail.com

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The Logic Colloquium 2019 is the annual European summer meeting of the Association of Symbolic Logic (ASL) ,  an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.

The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.

Invited Speakers: Ulrik Buchholtz (TU Darmstadt, Germany), Dan Licata (Wesleyan University, USA), Andrew Pitts (University of Cambridge, UK), Emily Riehl (Johns Hopkins University, USA), Christian Sattler (University of Gothenburg, Sweden) and Karol Szumilo (University of Leeds, UK),

There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th.

For more information, see hott.github.io slash HoTT-2019 or contact hott2019conference at gmail.com

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The Logic Colloquium 2019 is the annual European summer meeting of the Association of Symbolic Logic (ASL) ,  an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.

The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.

Invited Speakers: Ulrik Buchholtz (TU Darmstadt, Germany), Dan Licata (Wesleyan University, USA), Andrew Pitts (University of Cambridge, UK), Emily Riehl (Johns Hopkins University, USA), Christian Sattler (University of Gothenburg, Sweden) and Karol Szumilo (University of Leeds, UK),

There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th.

For more information, see hott.github.io slash HoTT-2019 or contact hott2019conference at gmail.com

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The Logic Colloquium 2019 is the annual European summer meeting of the Association of Symbolic Logic (ASL) ,  an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.

The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.

Invited Speakers: Ulrik Buchholtz (TU Darmstadt, Germany), Dan Licata (Wesleyan University, USA), Andrew Pitts (University of Cambridge, UK), Emily Riehl (Johns Hopkins University, USA), Christian Sattler (University of Gothenburg, Sweden) and Karol Szumilo (University of Leeds, UK),

There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th.

For more information, see hott.github.io slash HoTT-2019 or contact hott2019conference at gmail.com

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The Logic Colloquium 2019 is the annual European summer meeting of the Association of Symbolic Logic (ASL) ,  an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.

The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.

Invited Speakers: Ulrik Buchholtz (TU Darmstadt, Germany), Dan Licata (Wesleyan University, USA), Andrew Pitts (University of Cambridge, UK), Emily Riehl (Johns Hopkins University, USA), Christian Sattler (University of Gothenburg, Sweden) and Karol Szumilo (University of Leeds, UK),

There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th.

For more information, see hott.github.io slash HoTT-2019 or contact hott2019conference at gmail.com

Invited Speakers: Ulrik Buchholtz (TU Darmstadt, Germany), Dan Licata (Wesleyan University, USA), Andrew Pitts (University of Cambridge, UK), Emily Riehl (Johns Hopkins University, USA), Christian Sattler (University of Gothenburg, Sweden) and Karol Szumilo (University of Leeds, UK),

There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th.

For more information, see hott.github.io slash HoTT-2019 or contact hott2019conference at gmail.com

Knowledge has attracted the attention of philosophers since their earliest speculations. And in the second half of 20th century English language philosophy witnessed the revival of careful investigation on classical questions as to the nature, structure, and limits of knowledge, as well as its distribution in social groups. The 11th Principia International Symposium has as its main theme the contemporary discussions in Theory of Knowledge, under the heading The Quest for Knowledge.

Knowledge has attracted the attention of philosophers since their earliest speculations. And in the second half of 20th century English language philosophy witnessed the revival of careful investigation on classical questions as to the nature, structure, and limits of knowledge, as well as its distribution in social groups. The 11th Principia International Symposium has as its main theme the contemporary discussions in Theory of Knowledge, under the heading The Quest for Knowledge.

This workshop aims to focus on the scope and limits of neutral constructivism. With Errett Bishop's seminal work Foundations of Constructive Analysis 1967, a neutral position in the foundations of constructive mathematics emerged. It avoided Brouwer's assumptions about choice-sequences and continuity, and it did not assume that every total function on the natural numbers is computable. Successful full-fledged formal logical foundations for neutral constructivism exists, among the most well-known are Aczel-Myhill set theory and Martin-Löf type theory. The study of neutral constructivism paves the way for further developments of interactive proof systems, which is of strategic importance for verification of software, and in particular, correctness-by-construction software.  Neutral constructive mathematics may also be studied for systems that make fewer ontological assumptions, which is important for reverse mathematics.

Knowledge has attracted the attention of philosophers since their earliest speculations. And in the second half of 20th century English language philosophy witnessed the revival of careful investigation on classical questions as to the nature, structure, and limits of knowledge, as well as its distribution in social groups. The 11th Principia International Symposium has as its main theme the contemporary discussions in Theory of Knowledge, under the heading The Quest for Knowledge.

This workshop aims to focus on the scope and limits of neutral constructivism. With Errett Bishop's seminal work Foundations of Constructive Analysis 1967, a neutral position in the foundations of constructive mathematics emerged. It avoided Brouwer's assumptions about choice-sequences and continuity, and it did not assume that every total function on the natural numbers is computable. Successful full-fledged formal logical foundations for neutral constructivism exists, among the most well-known are Aczel-Myhill set theory and Martin-Löf type theory. The study of neutral constructivism paves the way for further developments of interactive proof systems, which is of strategic importance for verification of software, and in particular, correctness-by-construction software.  Neutral constructive mathematics may also be studied for systems that make fewer ontological assumptions, which is important for reverse mathematics.

Knowledge has attracted the attention of philosophers since their earliest speculations. And in the second half of 20th century English language philosophy witnessed the revival of careful investigation on classical questions as to the nature, structure, and limits of knowledge, as well as its distribution in social groups. The 11th Principia International Symposium has as its main theme the contemporary discussions in Theory of Knowledge, under the heading The Quest for Knowledge.

This workshop aims to focus on the scope and limits of neutral constructivism. With Errett Bishop's seminal work Foundations of Constructive Analysis 1967, a neutral position in the foundations of constructive mathematics emerged. It avoided Brouwer's assumptions about choice-sequences and continuity, and it did not assume that every total function on the natural numbers is computable. Successful full-fledged formal logical foundations for neutral constructivism exists, among the most well-known are Aczel-Myhill set theory and Martin-Löf type theory. The study of neutral constructivism paves the way for further developments of interactive proof systems, which is of strategic importance for verification of software, and in particular, correctness-by-construction software.  Neutral constructive mathematics may also be studied for systems that make fewer ontological assumptions, which is important for reverse mathematics.

This workshop aims to focus on the scope and limits of neutral constructivism. With Errett Bishop's seminal work Foundations of Constructive Analysis 1967, a neutral position in the foundations of constructive mathematics emerged. It avoided Brouwer's assumptions about choice-sequences and continuity, and it did not assume that every total function on the natural numbers is computable. Successful full-fledged formal logical foundations for neutral constructivism exists, among the most well-known are Aczel-Myhill set theory and Martin-Löf type theory. The study of neutral constructivism paves the way for further developments of interactive proof systems, which is of strategic importance for verification of software, and in particular, correctness-by-construction software.  Neutral constructive mathematics may also be studied for systems that make fewer ontological assumptions, which is important for reverse mathematics.

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

LSFA 2019 will be a satellite event of CADE-27. Invited speakers: Pascal Fontaine (LORIA), Achim Jung (University of Birmingham), Vivek Nigam (Fortiss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qatar).

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

LSFA 2019 will be a satellite event of CADE-27. Invited speakers: Pascal Fontaine (LORIA), Achim Jung (University of Birmingham), Vivek Nigam (Fortiss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qatar).

The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning---such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. The structure of the workshop will be informal.

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.

Contemporary analytic philosophy makes heavy use of formal methods. However, most of the time people engaged in such a formal endeavour are highly specialised, for which reason they quite often focus on one particular branch of formal philosophy. This is also reflected in contemporary philosophical curricula, which typically offer highly specialised courses on particular formal methods, but only rarely cover a broad range of them. This summer school aims at providing an introductory overview of the main methods applied in formal philosophy or philosophical engineering: logical devising, model building, programming and simulating, and employing digital resources in the broader realm of digital humanities.

By bringing together international experts in these fields, participants will gain competencies in applying a broad range of formal methods in their field of interest; for this purpose, each of the mentioned topics is covered by professional instructions, exercises, interactive group work, and the discussion of results by the participants. Furthermore, participants will be provided with opportunities to independently deepen their competencies in a particular topic of interest following completion of the course.The summer school is suitable for anyone with some basic knowledge in logic (as is gained, e.g., by completing an elementary university course on logic). The main target audience is MA and PhD students, however, this is not an exclusive criterion, for which reason the summer school is also open for BA students.

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

LSFA 2019 will be a satellite event of CADE-27. Invited speakers: Pascal Fontaine (LORIA), Achim Jung (University of Birmingham), Vivek Nigam (Fortiss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qatar).

The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning---such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. The structure of the workshop will be informal.

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.

Contemporary analytic philosophy makes heavy use of formal methods. However, most of the time people engaged in such a formal endeavour are highly specialised, for which reason they quite often focus on one particular branch of formal philosophy. This is also reflected in contemporary philosophical curricula, which typically offer highly specialised courses on particular formal methods, but only rarely cover a broad range of them. This summer school aims at providing an introductory overview of the main methods applied in formal philosophy or philosophical engineering: logical devising, model building, programming and simulating, and employing digital resources in the broader realm of digital humanities.

By bringing together international experts in these fields, participants will gain competencies in applying a broad range of formal methods in their field of interest; for this purpose, each of the mentioned topics is covered by professional instructions, exercises, interactive group work, and the discussion of results by the participants. Furthermore, participants will be provided with opportunities to independently deepen their competencies in a particular topic of interest following completion of the course.The summer school is suitable for anyone with some basic knowledge in logic (as is gained, e.g., by completing an elementary university course on logic). The main target audience is MA and PhD students, however, this is not an exclusive criterion, for which reason the summer school is also open for BA students.

The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

Invited speakers: Yuxin Deng (East China Normal University, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Berlin, Germany).

Concurrency and Logics are two of the most active research areas in the theoretical computer science domain. The literature in these fields is extensive and provides a plethora of logics and models for reasoning about intelligent and distributed systems. More recently, the interplay of concurrency and logic with other research areas has received much attention, as witnessed by recent editions of AI conferences. All these examples share the challenge of developing novel theories and tools for automated reasoning that take into account the behaviour of concurrent and multi-agent entities.

The workshop aims to bring together researchers working on different aspects of logic and concurrency in AI, multi-agent systems, and computer science, both from a theoretical and a practical point of view. Besides, it aims to promote research on Foundation of AI in other research communities that are traditionally Theoretical Computer Science-oriented.

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.

Contemporary analytic philosophy makes heavy use of formal methods. However, most of the time people engaged in such a formal endeavour are highly specialised, for which reason they quite often focus on one particular branch of formal philosophy. This is also reflected in contemporary philosophical curricula, which typically offer highly specialised courses on particular formal methods, but only rarely cover a broad range of them. This summer school aims at providing an introductory overview of the main methods applied in formal philosophy or philosophical engineering: logical devising, model building, programming and simulating, and employing digital resources in the broader realm of digital humanities.

By bringing together international experts in these fields, participants will gain competencies in applying a broad range of formal methods in their field of interest; for this purpose, each of the mentioned topics is covered by professional instructions, exercises, interactive group work, and the discussion of results by the participants. Furthermore, participants will be provided with opportunities to independently deepen their competencies in a particular topic of interest following completion of the course.The summer school is suitable for anyone with some basic knowledge in logic (as is gained, e.g., by completing an elementary university course on logic). The main target audience is MA and PhD students, however, this is not an exclusive criterion, for which reason the summer school is also open for BA students.

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

CONCUR is co-located with:
- the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
- the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
- the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
- the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
- the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.

Contemporary analytic philosophy makes heavy use of formal methods. However, most of the time people engaged in such a formal endeavour are highly specialised, for which reason they quite often focus on one particular branch of formal philosophy. This is also reflected in contemporary philosophical curricula, which typically offer highly specialised courses on particular formal methods, but only rarely cover a broad range of them. This summer school aims at providing an introductory overview of the main methods applied in formal philosophy or philosophical engineering: logical devising, model building, programming and simulating, and employing digital resources in the broader realm of digital humanities.

By bringing together international experts in these fields, participants will gain competencies in applying a broad range of formal methods in their field of interest; for this purpose, each of the mentioned topics is covered by professional instructions, exercises, interactive group work, and the discussion of results by the participants. Furthermore, participants will be provided with opportunities to independently deepen their competencies in a particular topic of interest following completion of the course.The summer school is suitable for anyone with some basic knowledge in logic (as is gained, e.g., by completing an elementary university course on logic). The main target audience is MA and PhD students, however, this is not an exclusive criterion, for which reason the summer school is also open for BA students.

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

CONCUR is co-located with:
- the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
- the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
- the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
- the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
- the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.

Contemporary analytic philosophy makes heavy use of formal methods. However, most of the time people engaged in such a formal endeavour are highly specialised, for which reason they quite often focus on one particular branch of formal philosophy. This is also reflected in contemporary philosophical curricula, which typically offer highly specialised courses on particular formal methods, but only rarely cover a broad range of them. This summer school aims at providing an introductory overview of the main methods applied in formal philosophy or philosophical engineering: logical devising, model building, programming and simulating, and employing digital resources in the broader realm of digital humanities.

By bringing together international experts in these fields, participants will gain competencies in applying a broad range of formal methods in their field of interest; for this purpose, each of the mentioned topics is covered by professional instructions, exercises, interactive group work, and the discussion of results by the participants. Furthermore, participants will be provided with opportunities to independently deepen their competencies in a particular topic of interest following completion of the course.The summer school is suitable for anyone with some basic knowledge in logic (as is gained, e.g., by completing an elementary university course on logic). The main target audience is MA and PhD students, however, this is not an exclusive criterion, for which reason the summer school is also open for BA students.

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

CONCUR is co-located with:
- the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
- the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
- the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
- the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
- the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.

Contemporary analytic philosophy makes heavy use of formal methods. However, most of the time people engaged in such a formal endeavour are highly specialised, for which reason they quite often focus on one particular branch of formal philosophy. This is also reflected in contemporary philosophical curricula, which typically offer highly specialised courses on particular formal methods, but only rarely cover a broad range of them. This summer school aims at providing an introductory overview of the main methods applied in formal philosophy or philosophical engineering: logical devising, model building, programming and simulating, and employing digital resources in the broader realm of digital humanities.

By bringing together international experts in these fields, participants will gain competencies in applying a broad range of formal methods in their field of interest; for this purpose, each of the mentioned topics is covered by professional instructions, exercises, interactive group work, and the discussion of results by the participants. Furthermore, participants will be provided with opportunities to independently deepen their competencies in a particular topic of interest following completion of the course.The summer school is suitable for anyone with some basic knowledge in logic (as is gained, e.g., by completing an elementary university course on logic). The main target audience is MA and PhD students, however, this is not an exclusive criterion, for which reason the summer school is also open for BA students.

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

CONCUR is co-located with:
- the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
- the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
- the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
- the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
- the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)

The second edition of the Bayes By the Sea conference: 'Formal Epistemology, Statistics, and Game Theory' aims to bring together philosophers of statistics and of the scientific method, methodologists and metascientists, as well as economists and game-theorists, in order to refresh the debate on the foundations of the sciences from new perspectives, with a special focus on scientific rationality, scientific misconduct, science economics, foundations of statistics and the scientific method, in diverse scientific ecosystems characterized by distinctive practices, structures, and institutions.

A special attention will be devoted this year also to formal/conceptual tools of game theory/rational choice theory in representing and studying the interactions of agents operating in scientific ecosystems as strategic behavior of rational players, whose repeated interactions shape the current scientific practices.

Investigating language and music in the field of cognitive science means studying them as (computational) neurocognitive systems, i.e., information processing systems in the mind/brain. Thus, language and music cognition research deals with the following questions:
- What is computed in the mind/brain and why?
- How is a particular computation realized in terms of algorithms or neural implementation?

Formal-mathematical theory of language and music mainly contributed to the former question, while computer simulations of cognitive and neural processes rather tackled the latter question. The current workshop discusses different computational approaches and aims at clarifying the role of computational modelling to advance mechanistic explanations to language and music cognition. The workshop also aims at fostering computational thinking as a core competence enabling interdisciplinary communication and welcomes students and researchers interested in modelling cognition of music and language.

The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19) of the Polish Association for Logic and Philosophy of Science will take place on December 4-6, 2019 at the University of Gdansk (in cooperation with the University of Warsaw). The conference will feature invited and contributed talks in Mathematical Logic,Philosophy of Mathematics & Philosophy of Science,Philosophical Logic, andFormal Philosophy (including formal epistemology, formal ethics, and applications of formal methods to philosophical issues in general etc.).

Keynote speakers: Hitoshi Omori (Ruhr-Universität Bochum), Oystein Linnebo (University of Oslo), Miriam Schoenfield (MIT), Stanislav Speranski (St. Petersburg State University) and Katya Tentori (University of Trento).

Contemporary analytic philosophy makes heavy use of formal methods. However, most of the time people engaged in such a formal endeavour are highly specialised, for which reason they quite often focus on one particular branch of formal philosophy. This is also reflected in contemporary philosophical curricula, which typically offer highly specialised courses on particular formal methods, but only rarely cover a broad range of them. This summer school aims at providing an introductory overview of the main methods applied in formal philosophy or philosophical engineering: logical devising, model building, programming and simulating, and employing digital resources in the broader realm of digital humanities.

By bringing together international experts in these fields, participants will gain competencies in applying a broad range of formal methods in their field of interest; for this purpose, each of the mentioned topics is covered by professional instructions, exercises, interactive group work, and the discussion of results by the participants. Furthermore, participants will be provided with opportunities to independently deepen their competencies in a particular topic of interest following completion of the course.The summer school is suitable for anyone with some basic knowledge in logic (as is gained, e.g., by completing an elementary university course on logic). The main target audience is MA and PhD students, however, this is not an exclusive criterion, for which reason the summer school is also open for BA students.

The second edition of the Bayes By the Sea conference: 'Formal Epistemology, Statistics, and Game Theory' aims to bring together philosophers of statistics and of the scientific method, methodologists and metascientists, as well as economists and game-theorists, in order to refresh the debate on the foundations of the sciences from new perspectives, with a special focus on scientific rationality, scientific misconduct, science economics, foundations of statistics and the scientific method, in diverse scientific ecosystems characterized by distinctive practices, structures, and institutions.

A special attention will be devoted this year also to formal/conceptual tools of game theory/rational choice theory in representing and studying the interactions of agents operating in scientific ecosystems as strategic behavior of rational players, whose repeated interactions shape the current scientific practices.

Investigating language and music in the field of cognitive science means studying them as (computational) neurocognitive systems, i.e., information processing systems in the mind/brain. Thus, language and music cognition research deals with the following questions:
- What is computed in the mind/brain and why?
- How is a particular computation realized in terms of algorithms or neural implementation?

Formal-mathematical theory of language and music mainly contributed to the former question, while computer simulations of cognitive and neural processes rather tackled the latter question. The current workshop discusses different computational approaches and aims at clarifying the role of computational modelling to advance mechanistic explanations to language and music cognition. The workshop also aims at fostering computational thinking as a core competence enabling interdisciplinary communication and welcomes students and researchers interested in modelling cognition of music and language.