The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The aim of the summer school is to cover basic and advanced topics in proof theory. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof. Other areas like reverse mathematics, proof mining, and proof complexity will be covered at the workshop, and in follow up summer schools. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy.

The summer school is co-located with a workshop on proof theory in Ghent (6-7 September). The workshop will be the inaugural meeting of The Proof Society. Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop.

The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The aim of the summer school is to cover basic and advanced topics in proof theory. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof. Other areas like reverse mathematics, proof mining, and proof complexity will be covered at the workshop, and in follow up summer schools. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy.

The summer school is co-located with a workshop on proof theory in Ghent (6-7 September). The workshop will be the inaugural meeting of The Proof Society. Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop.

The 18th European Women in Mathematics General Meeting  focuses on female mathematicians and their achievements. As part of this event, the Mini-Symposium on Mathematical Logic concentrates on recent results that demonstrate the fruitfulness of working at the interface between different parts of logic -- that is, model theory, set theory, recursion (or computability) theory and proof theory -- or between logic and other areas of mathematics. Our speakers therefore come from different fields of mathematical logic and are interested in cross-connections between their fields and areas of application such as topology, group theory, real geometry and combinatorics. For the general audience we are planning an introductory lecture on recent developments in model theory and its applications to real geometry.

Invited speakers: Laura Fontanella (Université Aix Marseille), Charlotte Kestner (Imperial College, London) Salma Kuhlmann (University of Konstanz), Heike Mildenberger (Albert-Ludwigs University of Freiburg), Diana Carolina Montoya (Kurt Gödel Research Center, Vienna).

The Loewenheim-Skolem theorem was proven about 100 years ago. It is not only the first theorem of model theory, but also the first theorem of metalogic. In the summer school we will read the fundamental results from Loewenheim and Skolem, as well as works from Goedel and Herbrand, that build on the latter. We will discuss their relations and their impact from both a formal logical and philosophical point of view.

The school is aimed at Master and PhD students of Computer Science, Mathematics, Philosophy and related fields with some knowledge in formal logic. The lecturers at the school include Timothy Bays (University of Notre Dame) and Juliette Kennedy (University of Helsinki).

The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The aim of the summer school is to cover basic and advanced topics in proof theory. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof. Other areas like reverse mathematics, proof mining, and proof complexity will be covered at the workshop, and in follow up summer schools. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy.

The summer school is co-located with a workshop on proof theory in Ghent (6-7 September). The workshop will be the inaugural meeting of The Proof Society. Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop.

The Loewenheim-Skolem theorem was proven about 100 years ago. It is not only the first theorem of model theory, but also the first theorem of metalogic. In the summer school we will read the fundamental results from Loewenheim and Skolem, as well as works from Goedel and Herbrand, that build on the latter. We will discuss their relations and their impact from both a formal logical and philosophical point of view.

The school is aimed at Master and PhD students of Computer Science, Mathematics, Philosophy and related fields with some knowledge in formal logic. The lecturers at the school include Timothy Bays (University of Notre Dame) and Juliette Kennedy (University of Helsinki).

Topics of interest include but are not limited to:
– formal semantics and formal pragmatics
– experimental pragmatics
– formal/experimental pragmatics interface
– semantics/pragmatics distinction and semantics/pragmatics interface
– epistemic foundations of semantics and pragmatics
– semantics/pragmatics and epistemic logic
- speech act theory
– semantics and pragmatics of conventions
– the principles of compositionality and contextuality
– lexical semantics and pragmatics

The Conference Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham.

This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The aim of the summer school is to cover basic and advanced topics in proof theory. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof. Other areas like reverse mathematics, proof mining, and proof complexity will be covered at the workshop, and in follow up summer schools. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy.

The summer school is co-located with a workshop on proof theory in Ghent (6-7 September). The workshop will be the inaugural meeting of The Proof Society. Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop.

The Loewenheim-Skolem theorem was proven about 100 years ago. It is not only the first theorem of model theory, but also the first theorem of metalogic. In the summer school we will read the fundamental results from Loewenheim and Skolem, as well as works from Goedel and Herbrand, that build on the latter. We will discuss their relations and their impact from both a formal logical and philosophical point of view.

The school is aimed at Master and PhD students of Computer Science, Mathematics, Philosophy and related fields with some knowledge in formal logic. The lecturers at the school include Timothy Bays (University of Notre Dame) and Juliette Kennedy (University of Helsinki).

Topics of interest include but are not limited to:
– formal semantics and formal pragmatics
– experimental pragmatics
– formal/experimental pragmatics interface
– semantics/pragmatics distinction and semantics/pragmatics interface
– epistemic foundations of semantics and pragmatics
– semantics/pragmatics and epistemic logic
- speech act theory
– semantics and pragmatics of conventions
– the principles of compositionality and contextuality
– lexical semantics and pragmatics

The Conference Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham.

This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

ICGI, which has been organized bi-annually since early nineties, is the major forum for presentation and discussion of original research papers on all aspects of grammatical inference. The theme of ICGI 2018 will include theoretical and experimental analysis of various models of grammatical inference and algorithms for induction of different classes of languages and automata. This year we especially encourage submissions related to the domain of bioinformatics, which will be presented at a special joint session with the collocated Polish Bionformatics Society symposium.

The confirmed keynote speakers include: Colin de la Higuera (Nantes), Johannes Söding (Goettingen), and Frits Vaandrager (Nijmegen).

The Sinn und Bedeutung (SuB) conference has in recent years emerged as one of the biggest venues for formal semantics and pragmatics representing the full breadth of the field, and we aim to maintain this tradition.

Invited speakers: Berit Gehrke, Wolfram Hinzen, Beth Levin and Judith Tonhauser.

The Loewenheim-Skolem theorem was proven about 100 years ago. It is not only the first theorem of model theory, but also the first theorem of metalogic. In the summer school we will read the fundamental results from Loewenheim and Skolem, as well as works from Goedel and Herbrand, that build on the latter. We will discuss their relations and their impact from both a formal logical and philosophical point of view.

The school is aimed at Master and PhD students of Computer Science, Mathematics, Philosophy and related fields with some knowledge in formal logic. The lecturers at the school include Timothy Bays (University of Notre Dame) and Juliette Kennedy (University of Helsinki).

The Conference Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham.

This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

ICGI, which has been organized bi-annually since early nineties, is the major forum for presentation and discussion of original research papers on all aspects of grammatical inference. The theme of ICGI 2018 will include theoretical and experimental analysis of various models of grammatical inference and algorithms for induction of different classes of languages and automata. This year we especially encourage submissions related to the domain of bioinformatics, which will be presented at a special joint session with the collocated Polish Bionformatics Society symposium.

The confirmed keynote speakers include: Colin de la Higuera (Nantes), Johannes Söding (Goettingen), and Frits Vaandrager (Nijmegen).

The Sinn und Bedeutung (SuB) conference has in recent years emerged as one of the biggest venues for formal semantics and pragmatics representing the full breadth of the field, and we aim to maintain this tradition.

Invited speakers: Berit Gehrke, Wolfram Hinzen, Beth Levin and Judith Tonhauser.

The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion. The intended audience for the workshop is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy with an interest in Proof Theory in a broad sense.

Invited Speakers:
Andrew Arana (Université Paris 1 - Panthéon-Sorbonne)
Rosalie Iemhoff (Utrecht University)
Dale Miller (Inria Saclay and LIX)
Paulo Oliva (Queen Mary University of London)
Pavel Pudlák (Czech Academy of Sciences)
Michael Rathjen (University of Leeds)
Albert Visser (Utrecht University)

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

The Loewenheim-Skolem theorem was proven about 100 years ago. It is not only the first theorem of model theory, but also the first theorem of metalogic. In the summer school we will read the fundamental results from Loewenheim and Skolem, as well as works from Goedel and Herbrand, that build on the latter. We will discuss their relations and their impact from both a formal logical and philosophical point of view.

The school is aimed at Master and PhD students of Computer Science, Mathematics, Philosophy and related fields with some knowledge in formal logic. The lecturers at the school include Timothy Bays (University of Notre Dame) and Juliette Kennedy (University of Helsinki).

The Conference Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham.

This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

ICGI, which has been organized bi-annually since early nineties, is the major forum for presentation and discussion of original research papers on all aspects of grammatical inference. The theme of ICGI 2018 will include theoretical and experimental analysis of various models of grammatical inference and algorithms for induction of different classes of languages and automata. This year we especially encourage submissions related to the domain of bioinformatics, which will be presented at a special joint session with the collocated Polish Bionformatics Society symposium.

The confirmed keynote speakers include: Colin de la Higuera (Nantes), Johannes Söding (Goettingen), and Frits Vaandrager (Nijmegen).

The Sinn und Bedeutung (SuB) conference has in recent years emerged as one of the biggest venues for formal semantics and pragmatics representing the full breadth of the field, and we aim to maintain this tradition.

Invited speakers: Berit Gehrke, Wolfram Hinzen, Beth Levin and Judith Tonhauser.

The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion. The intended audience for the workshop is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy with an interest in Proof Theory in a broad sense.

Invited Speakers:
Andrew Arana (Université Paris 1 - Panthéon-Sorbonne)
Rosalie Iemhoff (Utrecht University)
Dale Miller (Inria Saclay and LIX)
Paulo Oliva (Queen Mary University of London)
Pavel Pudlák (Czech Academy of Sciences)
Michael Rathjen (University of Leeds)
Albert Visser (Utrecht University)

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.

Georg Cantor (1845-1918) is considered by many the father of modern set theory, his notion of cardinality bringing to life a proper class of different infinities! This conference aims to gather leading scientists from various areas of present-day set theory to celebrate his work.

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.

Georg Cantor (1845-1918) is considered by many the father of modern set theory, his notion of cardinality bringing to life a proper class of different infinities! This conference aims to gather leading scientists from various areas of present-day set theory to celebrate his work.

The conference will feature recent research in predicativity. It will bring together mathematicians, computer scientists and philosophers of mathematics working in areas related to the legacy of Hermann Weyl, on this centennial anniversary of the publication of Das Kontinuum.

The conference focuses on all that is new in artificial intelligence such as natural language processing, speech processing and human-computer communication and interaction. In its field, this conference is a special event attracting about 150 experts from 30 countries from around the world every year. The fact that the conference proceedings are published by Springer-Verlag in its series of Lecture Notes in Artificial Intelligence further attests to the international prestige of the conference.

The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. Papers will be presented in plenary or topic oriented sessions. The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee.  Keynote speaker: Kenneth Church, IBM Thomas J. Watson Research Center, USA.

Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
- Games and Reasoning 2018 (11 september)
- Logic and Cognition 2018 (12-13 september)
- Refutation Symposium 2018 (14-15 september)

The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.

Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.

Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods.  Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.

Georg Cantor (1845-1918) is considered by many the father of modern set theory, his notion of cardinality bringing to life a proper class of different infinities! This conference aims to gather leading scientists from various areas of present-day set theory to celebrate his work.

The conference will feature recent research in predicativity. It will bring together mathematicians, computer scientists and philosophers of mathematics working in areas related to the legacy of Hermann Weyl, on this centennial anniversary of the publication of Das Kontinuum.

The conference focuses on all that is new in artificial intelligence such as natural language processing, speech processing and human-computer communication and interaction. In its field, this conference is a special event attracting about 150 experts from 30 countries from around the world every year. The fact that the conference proceedings are published by Springer-Verlag in its series of Lecture Notes in Artificial Intelligence further attests to the international prestige of the conference.

The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. Papers will be presented in plenary or topic oriented sessions. The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee.  Keynote speaker: Kenneth Church, IBM Thomas J. Watson Research Center, USA.

Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
- Games and Reasoning 2018 (11 september)
- Logic and Cognition 2018 (12-13 september)
- Refutation Symposium 2018 (14-15 september)

The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.

Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.

Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods.  Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.

The International Conference on Computational Models of Argument, COMMA, is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation.  COMMA 2018 will be part of a series of events of the Warsaw Argumentation Week, WAW 2018 (6-16 Sept 2018), which will include the next edition of the Summer School on Argumentation (SSA 2018), themed COMMA workshops, the 16th ArgDiap conference, and other cognate meetings and events. In addition to the main conference track, there will be thematically-focused workshops, and a session will be organized for the demonstration of innovative working applications and tools.

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

Georg Cantor (1845-1918) is considered by many the father of modern set theory, his notion of cardinality bringing to life a proper class of different infinities! This conference aims to gather leading scientists from various areas of present-day set theory to celebrate his work.

The conference will feature recent research in predicativity. It will bring together mathematicians, computer scientists and philosophers of mathematics working in areas related to the legacy of Hermann Weyl, on this centennial anniversary of the publication of Das Kontinuum.

The conference focuses on all that is new in artificial intelligence such as natural language processing, speech processing and human-computer communication and interaction. In its field, this conference is a special event attracting about 150 experts from 30 countries from around the world every year. The fact that the conference proceedings are published by Springer-Verlag in its series of Lecture Notes in Artificial Intelligence further attests to the international prestige of the conference.

The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. Papers will be presented in plenary or topic oriented sessions. The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee.  Keynote speaker: Kenneth Church, IBM Thomas J. Watson Research Center, USA.

Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
- Games and Reasoning 2018 (11 september)
- Logic and Cognition 2018 (12-13 september)
- Refutation Symposium 2018 (14-15 september)

The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.

Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.

Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods.  Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.

The International Conference on Computational Models of Argument, COMMA, is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation.  COMMA 2018 will be part of a series of events of the Warsaw Argumentation Week, WAW 2018 (6-16 Sept 2018), which will include the next edition of the Summer School on Argumentation (SSA 2018), themed COMMA workshops, the 16th ArgDiap conference, and other cognate meetings and events. In addition to the main conference track, there will be thematically-focused workshops, and a session will be organized for the demonstration of innovative working applications and tools.

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

Georg Cantor (1845-1918) is considered by many the father of modern set theory, his notion of cardinality bringing to life a proper class of different infinities! This conference aims to gather leading scientists from various areas of present-day set theory to celebrate his work.

The conference will feature recent research in predicativity. It will bring together mathematicians, computer scientists and philosophers of mathematics working in areas related to the legacy of Hermann Weyl, on this centennial anniversary of the publication of Das Kontinuum.

The conference focuses on all that is new in artificial intelligence such as natural language processing, speech processing and human-computer communication and interaction. In its field, this conference is a special event attracting about 150 experts from 30 countries from around the world every year. The fact that the conference proceedings are published by Springer-Verlag in its series of Lecture Notes in Artificial Intelligence further attests to the international prestige of the conference.

The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. Papers will be presented in plenary or topic oriented sessions. The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee.  Keynote speaker: Kenneth Church, IBM Thomas J. Watson Research Center, USA.

Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
- Games and Reasoning 2018 (11 september)
- Logic and Cognition 2018 (12-13 september)
- Refutation Symposium 2018 (14-15 september)

The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.

Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.

Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods.  Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.

The International Conference on Computational Models of Argument, COMMA, is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation.  COMMA 2018 will be part of a series of events of the Warsaw Argumentation Week, WAW 2018 (6-16 Sept 2018), which will include the next edition of the Summer School on Argumentation (SSA 2018), themed COMMA workshops, the 16th ArgDiap conference, and other cognate meetings and events. In addition to the main conference track, there will be thematically-focused workshops, and a session will be organized for the demonstration of innovative working applications and tools.

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). In 2018 the colloquium is jointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence.

Keynote Speakers: Isolde Adler (Leeds, England), Joerg Brendle (Kobe, Japan), Douglas Cenzer (Gainesville FL, U.S.A.), Laura Fontanella (Marseille, France), Benny Kimelfeld (Haifa, Israel), Yang Liu (Cambridge, England), Sara Negri (Helsinki, Finland) and Charlotte Werndl (Salzburg, Austria). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

The conference will feature recent research in predicativity. It will bring together mathematicians, computer scientists and philosophers of mathematics working in areas related to the legacy of Hermann Weyl, on this centennial anniversary of the publication of Das Kontinuum.

Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
- Games and Reasoning 2018 (11 september)
- Logic and Cognition 2018 (12-13 september)
- Refutation Symposium 2018 (14-15 september)

The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.

Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.

Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods.  Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). In 2018 the colloquium is jointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence.

Keynote Speakers: Isolde Adler (Leeds, England), Joerg Brendle (Kobe, Japan), Douglas Cenzer (Gainesville FL, U.S.A.), Laura Fontanella (Marseille, France), Benny Kimelfeld (Haifa, Israel), Yang Liu (Cambridge, England), Sara Negri (Helsinki, Finland) and Charlotte Werndl (Salzburg, Austria). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). In 2018 the colloquium is jointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence.

Keynote Speakers: Isolde Adler (Leeds, England), Joerg Brendle (Kobe, Japan), Douglas Cenzer (Gainesville FL, U.S.A.), Laura Fontanella (Marseille, France), Benny Kimelfeld (Haifa, Israel), Yang Liu (Cambridge, England), Sara Negri (Helsinki, Finland) and Charlotte Werndl (Salzburg, Austria). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

The aim of the international autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

The aim of the international autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

The MIREL 2018 workshop is the start of the Luxembourg Logic for AI Summit. The aim of the workshop is to bridge the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, in line with the objectives of the MIREL (MIning and REasoning with Legal texts) project. The workshop aims at fostering the scientific discussion between approaches based on language technologies applied to the legal domain (representing legal knowledge) and those based on legal reasoning (using the legal knowledge to build specialized services and applications).

We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

Understanding the ontological nature of economic concepts and institutions is crucial for providing principled modelling in many important domains such as enterprise modelling, business processes, and social ontology. A significant number of fundamental concepts that are ubiquitous in economics have only recently been approached from an ontological perspective. For instance: value, risk, preference, utility, capability, good, service, exchange, transaction, competition. This workshop offers a venue to gather the recent contributions to this important topic.

The workshop is part of the Joint Ontology Workshop Programme associated with the 10th International Conference on Formal Ontology in Information Systems (FOIS).

Formal ontologies and knowledge representation mainly focus on characterising how a given domain is structured, i.e., they identify a set of concepts, entities, and relations together with the constraints that hold for this domain. The structure of the characterisation is usually intended to reflect the point of view of significant experts or a realist view of how things about a particular domain are in reality. The aim of this workshop is to explore an epistemological stance in formal ontology and knowledge representation and focus on the assessment of the modelling provided by the ontology designer.

In particular, we are interested in fostering the discussion about two intertwined research directions: epistemology of ontology and and ontology of epistemology. We are interested in formal and ontological approaches to the definitions of the concepts that are relevant to the assessment of the perspective of the ontology designer. Problems related to this direction include: ontology of general epistemological concepts (e.g. proof, argument, explanation, epistemic reliability, trust), ontology of cognitive concepts (perception, reasoning, sensations), ontology of data and measurements.

The first Forcing Project Networking Conference (FPNC2018) is the informal kick-off event of the Forcing Project. The project aims to analyse, from a historical and philosophical point of view, the development of modern set theory since the introduction of the forcing technique. FPNC2018 is devoted to methodological approaches in the study of recent mathematics and focuses on the topics of mathematical philosophy and mathematical practice.

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.

The aim of the international autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

Understanding the ontological nature of economic concepts and institutions is crucial for providing principled modelling in many important domains such as enterprise modelling, business processes, and social ontology. A significant number of fundamental concepts that are ubiquitous in economics have only recently been approached from an ontological perspective. For instance: value, risk, preference, utility, capability, good, service, exchange, transaction, competition. This workshop offers a venue to gather the recent contributions to this important topic.

The workshop is part of the Joint Ontology Workshop Programme associated with the 10th International Conference on Formal Ontology in Information Systems (FOIS).

Formal ontologies and knowledge representation mainly focus on characterising how a given domain is structured, i.e., they identify a set of concepts, entities, and relations together with the constraints that hold for this domain. The structure of the characterisation is usually intended to reflect the point of view of significant experts or a realist view of how things about a particular domain are in reality. The aim of this workshop is to explore an epistemological stance in formal ontology and knowledge representation and focus on the assessment of the modelling provided by the ontology designer.

In particular, we are interested in fostering the discussion about two intertwined research directions: epistemology of ontology and and ontology of epistemology. We are interested in formal and ontological approaches to the definitions of the concepts that are relevant to the assessment of the perspective of the ontology designer. Problems related to this direction include: ontology of general epistemological concepts (e.g. proof, argument, explanation, epistemic reliability, trust), ontology of cognitive concepts (perception, reasoning, sensations), ontology of data and measurements.

The first Forcing Project Networking Conference (FPNC2018) is the informal kick-off event of the Forcing Project. The project aims to analyse, from a historical and philosophical point of view, the development of modern set theory since the introduction of the forcing technique. FPNC2018 is devoted to methodological approaches in the study of recent mathematics and focuses on the topics of mathematical philosophy and mathematical practice.

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2018 will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).

The aim of the international autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

The first Forcing Project Networking Conference (FPNC2018) is the informal kick-off event of the Forcing Project. The project aims to analyse, from a historical and philosophical point of view, the development of modern set theory since the introduction of the forcing technique. FPNC2018 is devoted to methodological approaches in the study of recent mathematics and focuses on the topics of mathematical philosophy and mathematical practice.

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2018 will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).

The aim of the international autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

The first Forcing Project Networking Conference (FPNC2018) is the informal kick-off event of the Forcing Project. The project aims to analyse, from a historical and philosophical point of view, the development of modern set theory since the introduction of the forcing technique. FPNC2018 is devoted to methodological approaches in the study of recent mathematics and focuses on the topics of mathematical philosophy and mathematical practice.

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2018 will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).

Scalarity is a rich field of study in linguistics and logic. Linguistically, it enters into the meaning of a wide range of expressions. The best-known case in degree semantics may well be the gradable adjective (tall, short, likely, good ), but crosscategorially many other cases have been detected and analysed in similar scalar terms. LNAT4 seeks to consider (i) the nature and variation of scalarity in language and logic, (ii) the diagrams proposed for scalar notions, as well as (iii) the nature of possible connections between logico-linguistic scalar concepts and perception scales.

Invited Speakers: Christopher Kennedy (University of Chicago) and Stefanie Solt (Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS).

The aim of the international autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

The first Forcing Project Networking Conference (FPNC2018) is the informal kick-off event of the Forcing Project. The project aims to analyse, from a historical and philosophical point of view, the development of modern set theory since the introduction of the forcing technique. FPNC2018 is devoted to methodological approaches in the study of recent mathematics and focuses on the topics of mathematical philosophy and mathematical practice.

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2018 will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).

Scalarity is a rich field of study in linguistics and logic. Linguistically, it enters into the meaning of a wide range of expressions. The best-known case in degree semantics may well be the gradable adjective (tall, short, likely, good ), but crosscategorially many other cases have been detected and analysed in similar scalar terms. LNAT4 seeks to consider (i) the nature and variation of scalarity in language and logic, (ii) the diagrams proposed for scalar notions, as well as (iii) the nature of possible connections between logico-linguistic scalar concepts and perception scales.

Invited Speakers: Christopher Kennedy (University of Chicago) and Stefanie Solt (Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS).

The aim of the international autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

In the last few decades an impressive amount of foundational research in philosophical logic has been devoted to the development of semantical tools which provide sufficiently fine-grained semantics to deal with important topics of pure and applied modal logic, such as the representation of situations, states of affairs, structured contents, hyperintensional contexts, and agent-related attitudes, like epistemic and prohairetic attitudes. A number of different modal frameworks have emerged to tackle these themes. The aim of this conference is to study the potential of these approaches and to explore new connections between them, by providing a forum to present new ideas and analytical methods.

Invited Speakers: Sergei Artemov (New York), Marta Bilkova (Prague), Hannes Leitgeb (Munich) and Sonja Smets (Amsterdam).

The conference is devoted to non-classical logics: modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic, and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as the deeper analysis of traditional philosophical problems. We will also celebrate the 25th anniversary of the journal Logic and Logical Philosophy published by the Nicolaus Copernicus University in Toruń and edited by the Department of Logic.

The conference is organized by Departament of Logic and Methodology of Sciences of Lodz University and Department of Logic of Nicolaus Copernicus University.

The 1st workshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018). The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).

The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

Invited speakers: Vivek Nigam.

KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers: Vasco Brattka (Munich, Germany), Akitoshi Kawamura (Fukuoka, Japan), Jaap van Oosten (Utrecht, Netherlands), and Warwick Tucker (Uppsala, Sweden). Tutorial Speaker: Martin Ziegler (Daejeon, South Korea).

The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. The 2018 workshop will be part of the 41st German Conference on Artificial Intelligence (KI-2018).

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

In the last few decades an impressive amount of foundational research in philosophical logic has been devoted to the development of semantical tools which provide sufficiently fine-grained semantics to deal with important topics of pure and applied modal logic, such as the representation of situations, states of affairs, structured contents, hyperintensional contexts, and agent-related attitudes, like epistemic and prohairetic attitudes. A number of different modal frameworks have emerged to tackle these themes. The aim of this conference is to study the potential of these approaches and to explore new connections between them, by providing a forum to present new ideas and analytical methods.

Invited Speakers: Sergei Artemov (New York), Marta Bilkova (Prague), Hannes Leitgeb (Munich) and Sonja Smets (Amsterdam).

The conference is devoted to non-classical logics: modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic, and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as the deeper analysis of traditional philosophical problems. We will also celebrate the 25th anniversary of the journal Logic and Logical Philosophy published by the Nicolaus Copernicus University in Toruń and edited by the Department of Logic.

The conference is organized by Departament of Logic and Methodology of Sciences of Lodz University and Department of Logic of Nicolaus Copernicus University.

The 1st workshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018). The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).

The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

Invited speakers: Vivek Nigam.

KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers: Vasco Brattka (Munich, Germany), Akitoshi Kawamura (Fukuoka, Japan), Jaap van Oosten (Utrecht, Netherlands), and Warwick Tucker (Uppsala, Sweden). Tutorial Speaker: Martin Ziegler (Daejeon, South Korea).

The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. The 2018 workshop will be part of the 41st German Conference on Artificial Intelligence (KI-2018).

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

In the last few decades an impressive amount of foundational research in philosophical logic has been devoted to the development of semantical tools which provide sufficiently fine-grained semantics to deal with important topics of pure and applied modal logic, such as the representation of situations, states of affairs, structured contents, hyperintensional contexts, and agent-related attitudes, like epistemic and prohairetic attitudes. A number of different modal frameworks have emerged to tackle these themes. The aim of this conference is to study the potential of these approaches and to explore new connections between them, by providing a forum to present new ideas and analytical methods.

Invited Speakers: Sergei Artemov (New York), Marta Bilkova (Prague), Hannes Leitgeb (Munich) and Sonja Smets (Amsterdam).

The conference is devoted to non-classical logics: modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic, and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as the deeper analysis of traditional philosophical problems. We will also celebrate the 25th anniversary of the journal Logic and Logical Philosophy published by the Nicolaus Copernicus University in Toruń and edited by the Department of Logic.

The conference is organized by Departament of Logic and Methodology of Sciences of Lodz University and Department of Logic of Nicolaus Copernicus University.

The 1st workshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018). The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).

The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

Invited speakers: Vivek Nigam.

KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers: Vasco Brattka (Munich, Germany), Akitoshi Kawamura (Fukuoka, Japan), Jaap van Oosten (Utrecht, Netherlands), and Warwick Tucker (Uppsala, Sweden). Tutorial Speaker: Martin Ziegler (Daejeon, South Korea).

The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. The 2018 workshop will be part of the 41st German Conference on Artificial Intelligence (KI-2018).

The aim of GandALF 2018 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

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.

Invited Speakers: Yiannis Moschovakis (Los Angeles & Athens), Andreas Herzig (CNRS, IRIT, Toulouse), Alessandra Palmigiano (TU Delft) and Amy Felty (Ottawa).

In the last few decades an impressive amount of foundational research in philosophical logic has been devoted to the development of semantical tools which provide sufficiently fine-grained semantics to deal with important topics of pure and applied modal logic, such as the representation of situations, states of affairs, structured contents, hyperintensional contexts, and agent-related attitudes, like epistemic and prohairetic attitudes. A number of different modal frameworks have emerged to tackle these themes. The aim of this conference is to study the potential of these approaches and to explore new connections between them, by providing a forum to present new ideas and analytical methods.

Invited Speakers: Sergei Artemov (New York), Marta Bilkova (Prague), Hannes Leitgeb (Munich) and Sonja Smets (Amsterdam).

The conference is devoted to non-classical logics: modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic, and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as the deeper analysis of traditional philosophical problems. We will also celebrate the 25th anniversary of the journal Logic and Logical Philosophy published by the Nicolaus Copernicus University in Toruń and edited by the Department of Logic.

The conference is organized by Departament of Logic and Methodology of Sciences of Lodz University and Department of Logic of Nicolaus Copernicus University.

The 1st workshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018). The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).

The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

Invited speakers: Vivek Nigam.

KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers: Vasco Brattka (Munich, Germany), Akitoshi Kawamura (Fukuoka, Japan), Jaap van Oosten (Utrecht, Netherlands), and Warwick Tucker (Uppsala, Sweden). Tutorial Speaker: Martin Ziegler (Daejeon, South Korea).

The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. The 2018 workshop will be part of the 41st German Conference on Artificial Intelligence (KI-2018).

The aim of GandALF 2018 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

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.

Invited Speakers: Yiannis Moschovakis (Los Angeles & Athens), Andreas Herzig (CNRS, IRIT, Toulouse), Alessandra Palmigiano (TU Delft) and Amy Felty (Ottawa).

The 1st workshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018). The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).

The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

Invited speakers: Vivek Nigam.

KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers: Vasco Brattka (Munich, Germany), Akitoshi Kawamura (Fukuoka, Japan), Jaap van Oosten (Utrecht, Netherlands), and Warwick Tucker (Uppsala, Sweden). Tutorial Speaker: Martin Ziegler (Daejeon, South Korea).

The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. The 2018 workshop will be part of the 41st German Conference on Artificial Intelligence (KI-2018).

The aim of GandALF 2018 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

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.

Invited Speakers: Yiannis Moschovakis (Los Angeles & Athens), Andreas Herzig (CNRS, IRIT, Toulouse), Alessandra Palmigiano (TU Delft) and Amy Felty (Ottawa).