Modalities and predicates have since ancient times been central notions of logic. In the 20th century, various systems of non-classical logics emerged, with applications mainly in Computer Science, but also in many other disciplines such as Linguistics, Mathematics, and Philosophy. Both the theoretical studies and the needs of applications gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.

Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers in both pure and applied aspects of various branches of non-classical logics, not only to present recent advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non-classical logic and (2) foundational and applied issues.

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The 21st Amsterdam Colloquium will feature two workshops on Causality and Semantics and on Formal and Distributional Perspectives on Meaning; and one evening lecture, jointly organized with the E.W. Beth Foundation.

This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

The conference starts on Wednesday 30 August with a social gathering (evening, optional). Thursday 31 August & Friday 1 September will be filled with academic presentations from metaphor researchers from all over the world. Plenary lectures will be delivered by Kathleen Ahrens (Hong Kong Polytechnic University) and by Alan Cienki (Vrije Universiteit Amsterdam & Moscow State Linguistic University). Saturday 2 September we present several interesting workshops and metaphor related activities: an academic day with a fun twist!

The conference starts on Wednesday 30 August with a social gathering (evening, optional). Thursday 31 August & Friday 1 September will be filled with academic presentations from metaphor researchers from all over the world. Plenary lectures will be delivered by Kathleen Ahrens (Hong Kong Polytechnic University) and by Alan Cienki (Vrije Universiteit Amsterdam & Moscow State Linguistic University). Saturday 2 September we present several interesting workshops and metaphor related activities: an academic day with a fun twist!

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.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

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.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

RADICAL is a new workshop aligned within the intersection between concurrency and logic, broadly construed.

Recently, the interplay of concurrency and logic with areas/applications has received much attention, as witnessed by recent CONCUR editions. These areas/applications have become increasingly consolidated, and start to have profound impact in neighbouring communities. As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event.  RADICAL intends to fill a gap between CONCUR researchers that now also typically publish and interact in other different venues; it also aims at attracting researchers from neighbouring communities whose work naturally intersects with CONCUR.

This workshop aims at bringing together philosophers of mind and action to discuss the interrelation between minimal and complex collective actions from different angles. Questions include (but are not restricted to): What are the minimal criteria for there to be a collective action? How do minimal or basic cases of joint action come into existence and how do they interrelate with more complex cases that may take place in larger groups and in institutional frameworks? Are complex collective actions reducible to a set of minimal collective actions? Are non-human animals able to engage in minimal collective action? What is the developmental basis of minimal and complex collective actions? What are the implications of minimal collective action for social science? What is the contribution of neuroscience to our understanding of collective action?

Keynote Speakers: Stephen Butterfill (University of Warwick), Sara Rachel Chant (Tulane University) and Kirk Ludwig (University of Bloomington).

This year's Semantics and Philosophy in Europe Colloquium consists of two special sessions:
1) Applied Ontology and Natural Language (Invited speakers: Bjorn Jespersen (Barcelona), Nicola Guarino (Trento), Laure Vieu (Toulouse))
2) Ontology and Generative Syntax (Invited speakers: Boban Arsenijevic (University of Niš),  John Collins (East Anglia), Andrea Moro (Pavia), Gillian Ramchand (Tromsoe))

There will also be a preconference tutorial "Ontology and Natural Language" by Friederike Moltmann (CNRS) and Nicola Guarino (Trento).

The International Natural Language Generation conference (INLG) is the conference of the Special Interest Group on Natural Language Generation (SIGGEN) of the Association for Computational Linguistics (ACL).

Notice that the first day will be devoted to Workshops. The Main Conference will run on 5-6 september. And the last day will be for Tutorials and Hackathon.

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.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

This year's Semantics and Philosophy in Europe Colloquium consists of two special sessions:
1) Applied Ontology and Natural Language (Invited speakers: Bjorn Jespersen (Barcelona), Nicola Guarino (Trento), Laure Vieu (Toulouse))
2) Ontology and Generative Syntax (Invited speakers: Boban Arsenijevic (University of Niš),  John Collins (East Anglia), Andrea Moro (Pavia), Gillian Ramchand (Tromsoe))

There will also be a preconference tutorial "Ontology and Natural Language" by Friederike Moltmann (CNRS) and Nicola Guarino (Trento).

The International Natural Language Generation conference (INLG) is the conference of the Special Interest Group on Natural Language Generation (SIGGEN) of the Association for Computational Linguistics (ACL).

Notice that the first day will be devoted to Workshops. The Main Conference will run on 5-6 september. And the last day will be for Tutorials and Hackathon.

EPIA is a well-established international conference on Artificial Intelligence, supported by Portuguese Association for Artificial Intelligence (APPIA). The purpose of the conference is to promote research in AI and scientific exchange among AI researchers, practitioners, scientists, and engineers in related disciplines.

As in past editions, EPIA 2017 will feature a number of leading researchers in AI as invited speakers.The technical program of EPIA 2017 will feature a set of thematic tracks, covering a wide spectrum of AI topics.The conference will also include a doctoral symposium, a poster session, AI competitions and tutorials on specific topics.

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.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

This year's Semantics and Philosophy in Europe Colloquium consists of two special sessions:
1) Applied Ontology and Natural Language (Invited speakers: Bjorn Jespersen (Barcelona), Nicola Guarino (Trento), Laure Vieu (Toulouse))
2) Ontology and Generative Syntax (Invited speakers: Boban Arsenijevic (University of Niš),  John Collins (East Anglia), Andrea Moro (Pavia), Gillian Ramchand (Tromsoe))

There will also be a preconference tutorial "Ontology and Natural Language" by Friederike Moltmann (CNRS) and Nicola Guarino (Trento).

The International Natural Language Generation conference (INLG) is the conference of the Special Interest Group on Natural Language Generation (SIGGEN) of the Association for Computational Linguistics (ACL).

Notice that the first day will be devoted to Workshops. The Main Conference will run on 5-6 september. And the last day will be for Tutorials and Hackathon.

EPIA is a well-established international conference on Artificial Intelligence, supported by Portuguese Association for Artificial Intelligence (APPIA). The purpose of the conference is to promote research in AI and scientific exchange among AI researchers, practitioners, scientists, and engineers in related disciplines.

As in past editions, EPIA 2017 will feature a number of leading researchers in AI as invited speakers.The technical program of EPIA 2017 will feature a set of thematic tracks, covering a wide spectrum of AI topics.The conference will also include a doctoral symposium, a poster session, AI competitions and tutorials on specific topics.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

The International Natural Language Generation conference (INLG) is the conference of the Special Interest Group on Natural Language Generation (SIGGEN) of the Association for Computational Linguistics (ACL).

Notice that the first day will be devoted to Workshops. The Main Conference will run on 5-6 september. And the last day will be for Tutorials and Hackathon.

EPIA is a well-established international conference on Artificial Intelligence, supported by Portuguese Association for Artificial Intelligence (APPIA). The purpose of the conference is to promote research in AI and scientific exchange among AI researchers, practitioners, scientists, and engineers in related disciplines.

As in past editions, EPIA 2017 will feature a number of leading researchers in AI as invited speakers.The technical program of EPIA 2017 will feature a set of thematic tracks, covering a wide spectrum of AI topics.The conference will also include a doctoral symposium, a poster session, AI competitions and tutorials on specific topics.

After two workshops on connexive logics in Istanbul (June 2015) and Raesfeld Castle (June 2016), a third workshop on connexive logics will take place in Kyoto (Japan) as part of 'Kyoto Nonclassical Logic Workshop III', 7th of September 2017.

This workshop is meant to present current work on connexive logic and to stimulate future research. Keynote speakers: Norihiro Kamide (Teikyo University, Japan) Andreas Kapsner (LMU Munich, Germany).

The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.

Since the establishment of the European Research Council, UvA and AMC researchers have received 94 ERC grants. UvA is the top host organisation in the Netherlands. This event will be a celebration of the accomplishment and is meant to inspire for new opportunities to come.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

EPIA is a well-established international conference on Artificial Intelligence, supported by Portuguese Association for Artificial Intelligence (APPIA). The purpose of the conference is to promote research in AI and scientific exchange among AI researchers, practitioners, scientists, and engineers in related disciplines.

As in past editions, EPIA 2017 will feature a number of leading researchers in AI as invited speakers.The technical program of EPIA 2017 will feature a set of thematic tracks, covering a wide spectrum of AI topics.The conference will also include a doctoral symposium, a poster session, AI competitions and tutorials on specific topics.

The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.

This is the annual meeting of the British Logic Colloquium. The scope of the event includes mathematical and philosophical logic as well as logic in computer science and applications of logic.

Invited Speakers: Hazel Brickhill (Bristol), Oliver Kullmann (Swansea), James Ladyman (Bristol), Sam Staton (Oxford), Tamara von Glehn (Cambridge), Katrin Tent (Münster).

SD17 is the fourth in a series of meetings that brings together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory which expand our abilities to manipulate proofs, help to reduce bureaucracy in deductive systems, and ultimately lead to new methods for proof search and new kinds of proof certificates.

String diagrams are a powerful tool for reasoning about processes and composition. Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, quantum and classical computation, natural language processes, logic and more. String diagrams combine the advantages of formal syntax with intuitive aspects: the graphical nature of terms means that they often reflect the topology of systems under consideration. Moreover, diagrammatic reasoning transforms formal arguments into dynamic, moving images, thus building domain specific intuitions, valuable both for practitioners and pedagogy.

This workshop aims to bring together researchers from diverse backgrounds and specialities to collaborate and share their insights, tools, and techniques. It will furthermore provide an informal atmosphere in a unique venue: the upstairs of the Jericho Tavern, a music venue, where famously Radiohead played their first concert. All the usual conference facilities will be provided, and the distinctive location will provide plenty of opportunities to discuss and share ideas. STRING 2017 is a satellite event of FSCD 2017  and will be co-located with the 3rd Higher-Dimensional Rewriting and Applications.

This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.

This is the annual meeting of the British Logic Colloquium. The scope of the event includes mathematical and philosophical logic as well as logic in computer science and applications of logic.

Invited Speakers: Hazel Brickhill (Bristol), Oliver Kullmann (Swansea), James Ladyman (Bristol), Sam Staton (Oxford), Tamara von Glehn (Cambridge), Katrin Tent (Münster).

SD17 is the fourth in a series of meetings that brings together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory which expand our abilities to manipulate proofs, help to reduce bureaucracy in deductive systems, and ultimately lead to new methods for proof search and new kinds of proof certificates.

String diagrams are a powerful tool for reasoning about processes and composition. Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, quantum and classical computation, natural language processes, logic and more. String diagrams combine the advantages of formal syntax with intuitive aspects: the graphical nature of terms means that they often reflect the topology of systems under consideration. Moreover, diagrammatic reasoning transforms formal arguments into dynamic, moving images, thus building domain specific intuitions, valuable both for practitioners and pedagogy.

This workshop aims to bring together researchers from diverse backgrounds and specialities to collaborate and share their insights, tools, and techniques. It will furthermore provide an informal atmosphere in a unique venue: the upstairs of the Jericho Tavern, a music venue, where famously Radiohead played their first concert. All the usual conference facilities will be provided, and the distinctive location will provide plenty of opportunities to discuss and share ideas. STRING 2017 is a satellite event of FSCD 2017  and will be co-located with the 3rd Higher-Dimensional Rewriting and Applications.

This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode in 1992.

There is widespread agreement that AI has grown over the years into a fragmented landscape of sub-disciplines with a narrow focus. Specialisation has certainly facilitated great advances within the sub-disciplines and AI overall, but fragmentation has created a silos mentality which hinders cross-fertilisation and further advancements within AI.

This workshop will bring together researchers from three broad AI areas, namely natural language processing (NLP), machine learning (ML) and logic-based symbolic AI, to discuss and explore opportunities for cross-fertilisation centered around NLP. The workshop also aims at discussing and identifying possible directions for future research at the intersection of NLP, ML and symbolic AI.

Nowadays we are witnessing a ‘practical’, or cognitive turn in logic. The approach draws on enormous achievements of a legion of formal and mathematical logicians, but focuses on `the Wild: actual human processes of reasoning and argumentation. Moreover, high standards of inquiry that we owe to formal logicians offer a new quality in research on reasoning and argumentation. In terms of John Corcoran’s distinction between logic as formal ontology and logic as formal epistemology, the aim of the practical turn is to make formal epistemology even more epistemically oriented. This is not to say that this ‘practically turned’ (or cognitively oriented) logic becomes just a part of psychology. This is to say that this logic aquires a new task of “systematically keeping track of changing representations of information”, as Johan van Benthem puts it, and that it contests the claim that the distinction between descriptive and normative accounts of reasoning is disjoint and exhaustive. From a different than purely psychological perspective logic becomes — again — interested in answering Dewey’s question about the Wild: how do we think? This is the new alluring face of psychologism, or cognitivism, in logic, as opposed to the old one, which Frege and Husserl fought against. This is the area of research to which this workshop is devoted.

The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.

This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

This conference focusses on several related interests of John: first order structures which are homogeneous in the sense of Fraïssé (or of more recent generalisations), and also ω-categorical structures in model theory; automorphism groups of such structures, and connections to other fields such as permutation group theory, semigroup theory, Ramsey theory and other aspects of combinatorics, topological dynamics; connections to set theory – related questions in combinatorial set theory, and permutation group methods in set theory.

This is a BLC-supported meeting.

The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.

This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

This conference focusses on several related interests of John: first order structures which are homogeneous in the sense of Fraïssé (or of more recent generalisations), and also ω-categorical structures in model theory; automorphism groups of such structures, and connections to other fields such as permutation group theory, semigroup theory, Ramsey theory and other aspects of combinatorics, topological dynamics; connections to set theory – related questions in combinatorial set theory, and permutation group methods in set theory.

This is a BLC-supported meeting.

The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial conference. The last preceding Symposia were held in Gdansk, Liverpool, Oslo, Wroclaw, Budapest, Lübeck. FCT 2017 will take place in Bordeaux, France.

There will be four invited talks at FCT 2017. The invited speakers are: Thomas Colcombet, Martin Dietzfelbinger, Juraj Hromkovic and Anca Muscholl. There will also be one invited talk in memoriam of Zoltan Esik given by Jean-Eric Pin.

]The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.

Every four years the Austrian Mathematical Society organizes a congress with international outreach. It became a nice tradition that the German Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altogether, there are 17 different sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).

The invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). At the meeting there will also be a minisymposium on Applied Proof Theory and the Computational Content of Mathematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.

This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

This conference focusses on several related interests of John: first order structures which are homogeneous in the sense of Fraïssé (or of more recent generalisations), and also ω-categorical structures in model theory; automorphism groups of such structures, and connections to other fields such as permutation group theory, semigroup theory, Ramsey theory and other aspects of combinatorics, topological dynamics; connections to set theory – related questions in combinatorial set theory, and permutation group methods in set theory.

This is a BLC-supported meeting.

The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial conference. The last preceding Symposia were held in Gdansk, Liverpool, Oslo, Wroclaw, Budapest, Lübeck. FCT 2017 will take place in Bordeaux, France.

There will be four invited talks at FCT 2017. The invited speakers are: Thomas Colcombet, Martin Dietzfelbinger, Juraj Hromkovic and Anca Muscholl. There will also be one invited talk in memoriam of Zoltan Esik given by Jean-Eric Pin.

]The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.

Every four years the Austrian Mathematical Society organizes a congress with international outreach. It became a nice tradition that the German Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altogether, there are 17 different sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).

The invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). At the meeting there will also be a minisymposium on Applied Proof Theory and the Computational Content of Mathematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. The program will feature contributed and invited talks,  two invited sessions, and two two tutorials.

The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and to control-theoretic techniques.

The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up.

The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial conference. The last preceding Symposia were held in Gdansk, Liverpool, Oslo, Wroclaw, Budapest, Lübeck. FCT 2017 will take place in Bordeaux, France.

There will be four invited talks at FCT 2017. The invited speakers are: Thomas Colcombet, Martin Dietzfelbinger, Juraj Hromkovic and Anca Muscholl. There will also be one invited talk in memoriam of Zoltan Esik given by Jean-Eric Pin.

]The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.

Every four years the Austrian Mathematical Society organizes a congress with international outreach. It became a nice tradition that the German Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altogether, there are 17 different sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).

The invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). At the meeting there will also be a minisymposium on Applied Proof Theory and the Computational Content of Mathematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. The program will feature contributed and invited talks,  two invited sessions, and two two tutorials.

The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and to control-theoretic techniques.

The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up.

]The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.

Every four years the Austrian Mathematical Society organizes a congress with international outreach. It became a nice tradition that the German Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altogether, there are 17 different sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).

The invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). At the meeting there will also be a minisymposium on Applied Proof Theory and the Computational Content of Mathematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. The program will feature contributed and invited talks,  two invited sessions, and two two tutorials.

The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and to control-theoretic techniques.

The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up.

"Attitudes in Context" is an interdisciplinary workshop with philosophers and psychologists on recent developments and problems in the theory of attitudes. Philosophical debates on the nature of attitudes ? triggered by phenomena of behavioral inconsistency ? have received novel input from psychological methods of measuring attitudes. In turn, the debate on techniques of measuring attitudes in psychology has led to discussions of foundational issues in attitude theory. This workshop creates a shared floor for discussing attitude theory and recent empirical results.

On 14-15 September 2017, the Human Computation Community in the Netherlands (HComp-NL), supported by 4TU-NIRICT, is organising a series of events at the Vrije Universiteit Amsterdam, in conjunction with the inaugural lecture of Prof. Dr. Lora Aroyo entitled "Data Science with Humans in the Loop”.

The occasion will feature the inaugural lecture itself, a tutorial session in the field of Human Computation, and a symposium with invited talks by  researchers working in different fields of human computation and user-generated content.

We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.

Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).

Keynote Speaker: Thomas Noll (Barcelona, Spain)

Description: This workshop shall represent a privileged platform to make an important step forward to new universal approaches to logic(s) of music. The Workshop focuses on the relatively autonomous approaches to logic(s) of music and musical logic, i.e. logic in pieces of musical compositions. We invite composers, conductors, musicians and musicologists interested in the interplay between logic and music to submit a paper or just active participation. Another objective is to bring together researchers from all over the world into closer contact.

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

Every four years the Austrian Mathematical Society organizes a congress with international outreach. It became a nice tradition that the German Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altogether, there are 17 different sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).

The invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). At the meeting there will also be a minisymposium on Applied Proof Theory and the Computational Content of Mathematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. The program will feature contributed and invited talks,  two invited sessions, and two two tutorials.

The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and to control-theoretic techniques.

The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up.

"Attitudes in Context" is an interdisciplinary workshop with philosophers and psychologists on recent developments and problems in the theory of attitudes. Philosophical debates on the nature of attitudes ? triggered by phenomena of behavioral inconsistency ? have received novel input from psychological methods of measuring attitudes. In turn, the debate on techniques of measuring attitudes in psychology has led to discussions of foundational issues in attitude theory. This workshop creates a shared floor for discussing attitude theory and recent empirical results.

On 14-15 September 2017, the Human Computation Community in the Netherlands (HComp-NL), supported by 4TU-NIRICT, is organising a series of events at the Vrije Universiteit Amsterdam, in conjunction with the inaugural lecture of Prof. Dr. Lora Aroyo entitled "Data Science with Humans in the Loop”.

The occasion will feature the inaugural lecture itself, a tutorial session in the field of Human Computation, and a symposium with invited talks by  researchers working in different fields of human computation and user-generated content.

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and to control-theoretic techniques.

The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up.

In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key intelligent systems technologies in the 21st century. The aim of the EUMAS series is to provide a forum for academics and practitioners in Europe at which current research and application issues are presented and discussed, and to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts.

EUMAS is co-located with the 5thedition of the International Agreement Technologies (AT) Conference, and is a designated event of the European Association of Multi-Agent Systems (EURAMAS).

MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. MACIS 2017 will feature invited presentations and a selective four-track program of contributed papers describing original and unpublished research.

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

The topic of this workshop is one of the objectives of our research project P12-HUM-1216 “La génesis del conocimiento matemático: cognición, historia y prácticas”. We aim to investigate the changing configuration of relations between pure and “applied” maths in different periods, with particular attention to the “classical” era (17th and 18th centuries) contrasted with the “modern” 19th and early 20th centuries.

The invited speakers are Helmut Pulte (Ruhr Universität Bochum-RUB), Ivahn Smadja (Université de Paris Diderot – Paris 7 & Lab. Sphère) and Robert DiSalle (University of Western Ontario).

The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia.

The Symposium series is organized by the University of Duesseldorf in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. There have been eight instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013) and Tbilisi (2015).

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

The topic of this workshop is one of the objectives of our research project P12-HUM-1216 “La génesis del conocimiento matemático: cognición, historia y prácticas”. We aim to investigate the changing configuration of relations between pure and “applied” maths in different periods, with particular attention to the “classical” era (17th and 18th centuries) contrasted with the “modern” 19th and early 20th centuries.

The invited speakers are Helmut Pulte (Ruhr Universität Bochum-RUB), Ivahn Smadja (Université de Paris Diderot – Paris 7 & Lab. Sphère) and Robert DiSalle (University of Western Ontario).

The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia.

The Symposium series is organized by the University of Duesseldorf in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. There have been eight instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013) and Tbilisi (2015).

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

This workshop, held in conjunction with the 12th International Conference on Computational Semantics (IWCS), will bring together two closely related strands of research. On the one hand it will look at the overlap between ontologies and computational linguistics; and on the other the relationship between knowledge modelling and terminologies -- as well as the many points of intersection between these two topics. This workshop aims to create a forum for open discussion that will help to highlight the common areas of interest in the different fields concerned, as well as fostering dialogue between the various different approaches taken by each discipline.

The aim of the IWCS conference is to bring together researchers interested in the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

The topic of this workshop is one of the objectives of our research project P12-HUM-1216 “La génesis del conocimiento matemático: cognición, historia y prácticas”. We aim to investigate the changing configuration of relations between pure and “applied” maths in different periods, with particular attention to the “classical” era (17th and 18th centuries) contrasted with the “modern” 19th and early 20th centuries.

The invited speakers are Helmut Pulte (Ruhr Universität Bochum-RUB), Ivahn Smadja (Université de Paris Diderot – Paris 7 & Lab. Sphère) and Robert DiSalle (University of Western Ontario).

The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia.

The Symposium series is organized by the University of Duesseldorf in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. There have been eight instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013) and Tbilisi (2015).

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

The aim of the IWCS conference is to bring together researchers interested in the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

The aim of GandALF 2017 symposium 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.

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia.

The Symposium series is organized by the University of Duesseldorf in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. There have been eight instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013) and Tbilisi (2015).

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

The aim of the IWCS conference is to bring together researchers interested in the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

The aim of GandALF 2017 symposium 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.

There is widespread agreement that AI has grown over the years into a fragmented landscape of sub-disciplines with a narrow focus. Specialisation has certainly facilitated great advances within the sub-disciplines and AI overall, but fragmentation has created a silos mentality which hinders cross-fertilisation and further advancements within AI.

This workshop will bring together researchers from three broad AI areas, namely natural language processing (NLP), machine learning (ML) and logic-based symbolic AI, to discuss and explore opportunities for cross-fertilisation centered around NLP. The workshop also aims at discussing and identifying possible directions for future research at the intersection of NLP, ML and symbolic AI.

PLM is a European network of centers devoted to the Philosophy of Language and Mind and organizes a biennial international conference series with leading experts on the field.

The conference will be preceded by an independent satellite conference on 'Pain and Emotion' in Bochum on 20 September 2017.

CREOL aims at gathering together researchers from different communities (Applied Ontology, NLP, AI, Semantic Web) to investigate the relationship between representations of objects and events in ontological and linguistic resources, and their interpretation in their context of occurrence.

Presentations of sollicited contributions will be followed by a multi-centric panel session where authors will meet and discuss with other researchers and stakeholders from industry. Follow-up discussions will be organized to promote project networking, cross-contamination on methodological prospective approaches and techniques, and discussions over practical, individuated applications.

This first Workshop on Interaction-Based Knowledge Sharing (WINKS) collocated with the third Joint Ontology Workshop is fully dedicated to challenges and solutions to knowledge sharing in interaction-based environments, ranging from the Internet of Things to multi-agent systems. Gradually expanding, distributed systems heighten the need of a dynamic interactive knowledge sharing process, while at the same time an increasing heterogeneity of resources renders this process more complex. As a highly interdisciplinary workshop, discussions will center on requirements and suggestions to endow computational models with knowledge sharing capabilities in interactive scenarios.

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. 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, the Epistemological Foundations of Ontologies and the Ontologies of Epistemology.

This workshop is part of The Joint Ontology Workshops, Episode III, JOWO 2017.

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia.

The Symposium series is organized by the University of Duesseldorf in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. There have been eight instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013) and Tbilisi (2015).

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

The aim of the IWCS conference is to bring together researchers interested in the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

The aim of GandALF 2017 symposium 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.

PLM is a European network of centers devoted to the Philosophy of Language and Mind and organizes a biennial international conference series with leading experts on the field.

The conference will be preceded by an independent satellite conference on 'Pain and Emotion' in Bochum on 20 September 2017.

CREOL aims at gathering together researchers from different communities (Applied Ontology, NLP, AI, Semantic Web) to investigate the relationship between representations of objects and events in ontological and linguistic resources, and their interpretation in their context of occurrence.

Presentations of sollicited contributions will be followed by a multi-centric panel session where authors will meet and discuss with other researchers and stakeholders from industry. Follow-up discussions will be organized to promote project networking, cross-contamination on methodological prospective approaches and techniques, and discussions over practical, individuated applications.

This first Workshop on Interaction-Based Knowledge Sharing (WINKS) collocated with the third Joint Ontology Workshop is fully dedicated to challenges and solutions to knowledge sharing in interaction-based environments, ranging from the Internet of Things to multi-agent systems. Gradually expanding, distributed systems heighten the need of a dynamic interactive knowledge sharing process, while at the same time an increasing heterogeneity of resources renders this process more complex. As a highly interdisciplinary workshop, discussions will center on requirements and suggestions to endow computational models with knowledge sharing capabilities in interactive scenarios.

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. 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, the Epistemological Foundations of Ontologies and the Ontologies of Epistemology.

This workshop is part of The Joint Ontology Workshops, Episode III, JOWO 2017.

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

PLM is a European network of centers devoted to the Philosophy of Language and Mind and organizes a biennial international conference series with leading experts on the field.

The conference will be preceded by an independent satellite conference on 'Pain and Emotion' in Bochum on 20 September 2017.

CREOL aims at gathering together researchers from different communities (Applied Ontology, NLP, AI, Semantic Web) to investigate the relationship between representations of objects and events in ontological and linguistic resources, and their interpretation in their context of occurrence.

Presentations of sollicited contributions will be followed by a multi-centric panel session where authors will meet and discuss with other researchers and stakeholders from industry. Follow-up discussions will be organized to promote project networking, cross-contamination on methodological prospective approaches and techniques, and discussions over practical, individuated applications.

This first Workshop on Interaction-Based Knowledge Sharing (WINKS) collocated with the third Joint Ontology Workshop is fully dedicated to challenges and solutions to knowledge sharing in interaction-based environments, ranging from the Internet of Things to multi-agent systems. Gradually expanding, distributed systems heighten the need of a dynamic interactive knowledge sharing process, while at the same time an increasing heterogeneity of resources renders this process more complex. As a highly interdisciplinary workshop, discussions will center on requirements and suggestions to endow computational models with knowledge sharing capabilities in interactive scenarios.

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. 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, the Epistemological Foundations of Ontologies and the Ontologies of Epistemology.

This workshop is part of The Joint Ontology Workshops, Episode III, JOWO 2017.

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

LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP, that aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.

An international autumn school "Proof and Computation" will be held from 23rd to 26th September 2017 at Haus der bayerischen Landwirtschaft Herrsching in Herrsching near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

With the ninth Linguistic Evidence we bring a new focus on empirical, theory-driven approaches to syntax, semantics and their interface to this conference series. We also aim at providing a forum that allows us to address and reflect on the challenges and opportunities of experimental approaches to linguistic theory.

Invited Speakers: Barbara Hemforth (Paris Diderot), Edward Gibson (MIT), Valentine Haquard (University of Maryland) and David Beaver (University of Texas, Austin).

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

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

LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP, that aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.

An international autumn school "Proof and Computation" will be held from 23rd to 26th September 2017 at Haus der bayerischen Landwirtschaft Herrsching in Herrsching near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heteroge- neous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. forum for disseminating and sharing new trends and applications of Dynamic Logic.

Invited Speakers: Alexandru Baltag (UvA), Edward Hermann Haeusler (PUC-Rio, BR).

The Encyclopedia of Proof Systems was created in 2014 with the goal of being a quick reference for the various proof systems used by logicians. Since then, it has collected 64 entries on the most various logics and calculi. This was only possible due to the collaboration of many members of the logic community.

This event aims to promote the encyclopedia and attract more contributions and collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during which submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th, 2017, for those who would like to contribute to the continuous improvement of the encyclopedia.

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

An international autumn school "Proof and Computation" will be held from 23rd to 26th September 2017 at Haus der bayerischen Landwirtschaft Herrsching in Herrsching near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

The Encyclopedia of Proof Systems was created in 2014 with the goal of being a quick reference for the various proof systems used by logicians. Since then, it has collected 64 entries on the most various logics and calculi. This was only possible due to the collaboration of many members of the logic community.

This event aims to promote the encyclopedia and attract more contributions and collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during which submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th, 2017, for those who would like to contribute to the continuous improvement of the encyclopedia.

The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting.

A particular focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2017 is associated with KI 2017.

The Kurt Gödel Society will host a summer school on Logic and Language at the Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The summer school targets students in Logic, Computer Science and Mathematics at PhD, Masters or Bachelor level, but the event is open to all interested students.

The school will feature lectures by Federico Aschieri, Matthias Baaz, Guram Bezhanishvili, Uwe Egly, Carles Noguera and Michel Parigot.

In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis.

The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use.

FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem-­Proving (ITP 2017).

TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented.

Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

TABLEAUX 2017 will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017).

The transformation of science through computer simulation is often considered to be a methodological one. A lot of literature has been dedicated to determining the relationship between computer simulation, experiments or theories as the classical sources of knowledge. This relation is both methodologically and technically complex. On the one hand, it is difficult for philosophers, social scientists, and historians to gain detailed insight into the methods used among practitioners. On the other hand, for computer scientists and practitioners in general, the methodological limitations and design constraints that simulation techniques impose on hypothesis formulation and testing may not be obvious. The summer school addresses these problems by offering lectures and tutorials on computer simulation methods for scholars from the humanities, social sciences, and computer science.

The morning sessions will include lectures by faculty members, focusing on the philosophical, methodological, and technical aspects of different simulation techniques (including numerical methods, software techniques, visualization, agent-based modelling, and computational experiments). These will be followed by project presentations by participants. The afternoons will be dedicated to hands-on tutorials by practitioners. Finally, in the evenings, distinguished scholars will offer lectures on the most inspiring and exciting issues in this increasingly important research area.

Knowledge representation offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, defeasible and analogical reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments.

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.

Held early each January in partnership with the American Mathematical Society, the Joint Mathematics Meetings is the largest annual mathematics meeting in the world. The program provides plentiful opportunities to engage with your fellow mathematicians and learn about innovative research in your interest areas, including numerous invited addresses, minicourses, short courses, panel sessions, workshops, paper sessions, posters, exhibits, an AMS Special Session on Homotopy Type Theory, and more.

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

An international autumn school "Proof and Computation" will be held from 23rd to 26th September 2017 at Haus der bayerischen Landwirtschaft Herrsching in Herrsching near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting.

A particular focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2017 is associated with KI 2017.

The Kurt Gödel Society will host a summer school on Logic and Language at the Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The summer school targets students in Logic, Computer Science and Mathematics at PhD, Masters or Bachelor level, but the event is open to all interested students.

The school will feature lectures by Federico Aschieri, Matthias Baaz, Guram Bezhanishvili, Uwe Egly, Carles Noguera and Michel Parigot.

In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis.

The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use.

FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem-­Proving (ITP 2017).

TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented.

Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

TABLEAUX 2017 will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017).

The transformation of science through computer simulation is often considered to be a methodological one. A lot of literature has been dedicated to determining the relationship between computer simulation, experiments or theories as the classical sources of knowledge. This relation is both methodologically and technically complex. On the one hand, it is difficult for philosophers, social scientists, and historians to gain detailed insight into the methods used among practitioners. On the other hand, for computer scientists and practitioners in general, the methodological limitations and design constraints that simulation techniques impose on hypothesis formulation and testing may not be obvious. The summer school addresses these problems by offering lectures and tutorials on computer simulation methods for scholars from the humanities, social sciences, and computer science.

The morning sessions will include lectures by faculty members, focusing on the philosophical, methodological, and technical aspects of different simulation techniques (including numerical methods, software techniques, visualization, agent-based modelling, and computational experiments). These will be followed by project presentations by participants. The afternoons will be dedicated to hands-on tutorials by practitioners. Finally, in the evenings, distinguished scholars will offer lectures on the most inspiring and exciting issues in this increasingly important research area.

Knowledge representation offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, defeasible and analogical reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments.

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 ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving.

CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming). Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases.

The purpose of the meeting is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, it provides an ideal environment where junior researchers and PhD students can meet senior researchers.

ICTCS 2017 is co-located with the 32nd Italian Conference on Computational Logic CILC 2017 with which it will share part of the program.

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

The Kurt Gödel Society will host a summer school on Logic and Language at the Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The summer school targets students in Logic, Computer Science and Mathematics at PhD, Masters or Bachelor level, but the event is open to all interested students.

The school will feature lectures by Federico Aschieri, Matthias Baaz, Guram Bezhanishvili, Uwe Egly, Carles Noguera and Michel Parigot.

In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis.

The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use.

FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem-­Proving (ITP 2017).

TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented.

Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

TABLEAUX 2017 will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017).

The transformation of science through computer simulation is often considered to be a methodological one. A lot of literature has been dedicated to determining the relationship between computer simulation, experiments or theories as the classical sources of knowledge. This relation is both methodologically and technically complex. On the one hand, it is difficult for philosophers, social scientists, and historians to gain detailed insight into the methods used among practitioners. On the other hand, for computer scientists and practitioners in general, the methodological limitations and design constraints that simulation techniques impose on hypothesis formulation and testing may not be obvious. The summer school addresses these problems by offering lectures and tutorials on computer simulation methods for scholars from the humanities, social sciences, and computer science.

The morning sessions will include lectures by faculty members, focusing on the philosophical, methodological, and technical aspects of different simulation techniques (including numerical methods, software techniques, visualization, agent-based modelling, and computational experiments). These will be followed by project presentations by participants. The afternoons will be dedicated to hands-on tutorials by practitioners. Finally, in the evenings, distinguished scholars will offer lectures on the most inspiring and exciting issues in this increasingly important research area.

Knowledge representation offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, defeasible and analogical reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments.

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 ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving.

CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming). Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases.

The purpose of the meeting is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, it provides an ideal environment where junior researchers and PhD students can meet senior researchers.

ICTCS 2017 is co-located with the 32nd Italian Conference on Computational Logic CILC 2017 with which it will share part of the program.

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis.

The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use.

FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem-­Proving (ITP 2017).

TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented.

Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

TABLEAUX 2017 will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017).

The transformation of science through computer simulation is often considered to be a methodological one. A lot of literature has been dedicated to determining the relationship between computer simulation, experiments or theories as the classical sources of knowledge. This relation is both methodologically and technically complex. On the one hand, it is difficult for philosophers, social scientists, and historians to gain detailed insight into the methods used among practitioners. On the other hand, for computer scientists and practitioners in general, the methodological limitations and design constraints that simulation techniques impose on hypothesis formulation and testing may not be obvious. The summer school addresses these problems by offering lectures and tutorials on computer simulation methods for scholars from the humanities, social sciences, and computer science.

The morning sessions will include lectures by faculty members, focusing on the philosophical, methodological, and technical aspects of different simulation techniques (including numerical methods, software techniques, visualization, agent-based modelling, and computational experiments). These will be followed by project presentations by participants. The afternoons will be dedicated to hands-on tutorials by practitioners. Finally, in the evenings, distinguished scholars will offer lectures on the most inspiring and exciting issues in this increasingly important research area.

Knowledge representation offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, defeasible and analogical reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments.

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 ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving.

CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming). Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases.

The purpose of the meeting is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, it provides an ideal environment where junior researchers and PhD students can meet senior researchers.

ICTCS 2017 is co-located with the 32nd Italian Conference on Computational Logic CILC 2017 with which it will share part of the program.

The kick-off workshop for the project Cognitive Semantics and Quantities will take place September 28 and 29 in Amsterdam. Everyone is cordially welcomed to attend.

The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of disciplines, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

Keynote Speakers: Elisabeth Décultot, Shamil Jeppie, and Peter Mandler.

The notion of truth has been a long-standing centre of attention for logicians, philosophers and mathematicians. In particular, the logical properties of formal theories of truth have been revealed to be relevant to various philosophical questions, such as to discussions on deflationism, sources of semantic paradoxes, philosophical foundations of arithmetic, and many others.

The present Warsaw Workshop on Formal Truth Theories will contribute to the efforts having as their purpose a deeper understanding of the concept of truth. The aim of the meeting is to bring together researchers in logic, philosophy and mathematics addressing a wide range of truth-related topics in order to maintain common ground for new research, to discuss latest results and work in progress and to simply foster cooperation of researchers studying the notion of truth from different perspectives.

The presently announced workshop aims at an account of logic as construed from logicians' practices of writing and reading, both when working a problem in logic. and when communicating logical problems and solutions with othres. Further interests are activities of commenting or reviewing, and of publishing and collecting. In order to take an interdisciplinary stance, the workshop will allow for a variety of approaches.

Keynote speakers: Prof. Dr. Volker Peckhaus (University of Paderborn), Editor-in-Chief of History and Philosophy of Logic Prof. Dr. Dirk Schlimm (McGill University Montreal / LMU Munich) PD. Dr. Matthias Wille (University of Paderborn).

The purpose of the International Conference on Agents and Artificial Intelligence is to bring together researchers, engineers and practitioners interested in the theory and applications in the areas of Agents and Artificial Intelligence. Two simultaneous related tracks will be held, covering both applications and current research work. One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis.

The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use.

FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem-­Proving (ITP 2017).

TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented.

Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

TABLEAUX 2017 will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017).

The transformation of science through computer simulation is often considered to be a methodological one. A lot of literature has been dedicated to determining the relationship between computer simulation, experiments or theories as the classical sources of knowledge. This relation is both methodologically and technically complex. On the one hand, it is difficult for philosophers, social scientists, and historians to gain detailed insight into the methods used among practitioners. On the other hand, for computer scientists and practitioners in general, the methodological limitations and design constraints that simulation techniques impose on hypothesis formulation and testing may not be obvious. The summer school addresses these problems by offering lectures and tutorials on computer simulation methods for scholars from the humanities, social sciences, and computer science.

The morning sessions will include lectures by faculty members, focusing on the philosophical, methodological, and technical aspects of different simulation techniques (including numerical methods, software techniques, visualization, agent-based modelling, and computational experiments). These will be followed by project presentations by participants. The afternoons will be dedicated to hands-on tutorials by practitioners. Finally, in the evenings, distinguished scholars will offer lectures on the most inspiring and exciting issues in this increasingly important research area.

Knowledge representation offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, defeasible and analogical reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments.

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 ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving.

CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming). Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases.

The purpose of the meeting is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, it provides an ideal environment where junior researchers and PhD students can meet senior researchers.

ICTCS 2017 is co-located with the 32nd Italian Conference on Computational Logic CILC 2017 with which it will share part of the program.

The kick-off workshop for the project Cognitive Semantics and Quantities will take place September 28 and 29 in Amsterdam. Everyone is cordially welcomed to attend.

The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of disciplines, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

Keynote Speakers: Elisabeth Décultot, Shamil Jeppie, and Peter Mandler.

The notion of truth has been a long-standing centre of attention for logicians, philosophers and mathematicians. In particular, the logical properties of formal theories of truth have been revealed to be relevant to various philosophical questions, such as to discussions on deflationism, sources of semantic paradoxes, philosophical foundations of arithmetic, and many others.

The present Warsaw Workshop on Formal Truth Theories will contribute to the efforts having as their purpose a deeper understanding of the concept of truth. The aim of the meeting is to bring together researchers in logic, philosophy and mathematics addressing a wide range of truth-related topics in order to maintain common ground for new research, to discuss latest results and work in progress and to simply foster cooperation of researchers studying the notion of truth from different perspectives.

The purpose of this workshop is to gather researchers and practitioners in multi-disciplinary fields (including logic, artificial intelligence, cognitive science, etc), to discuss research related to knowledge acquisition, representation, reasoning and decision making in the context of Big Data.

Invited speakers: Thomas Ågotnes (University of Bergen), Jan Broersen (Universiteit Utrecht), Kim Plunkett (Oxford University) and Chris Reed (University of Dundee).

The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

The aim of the conference is to combine the perspectives of psychology, neurobiology, and cognitive science.
Recent advances in psychology, neurobiology and cognitive science have created many ideas whose relevance for jurisprudence can be significant. It is our hope that a stimulating exchange of ideas between scholars from these empirical disciplines and legal scholars will generate new insights and develop further the ongoing debate in this field.
Keynote speakers: Giovanni Sartor, Francis X. Shen, Deborah W. Denno, Fritz Strack

The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of disciplines, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

Keynote Speakers: Elisabeth Décultot, Shamil Jeppie, and Peter Mandler.

The notion of truth has been a long-standing centre of attention for logicians, philosophers and mathematicians. In particular, the logical properties of formal theories of truth have been revealed to be relevant to various philosophical questions, such as to discussions on deflationism, sources of semantic paradoxes, philosophical foundations of arithmetic, and many others.

The present Warsaw Workshop on Formal Truth Theories will contribute to the efforts having as their purpose a deeper understanding of the concept of truth. The aim of the meeting is to bring together researchers in logic, philosophy and mathematics addressing a wide range of truth-related topics in order to maintain common ground for new research, to discuss latest results and work in progress and to simply foster cooperation of researchers studying the notion of truth from different perspectives.

The purpose of this workshop is to gather researchers and practitioners in multi-disciplinary fields (including logic, artificial intelligence, cognitive science, etc), to discuss research related to knowledge acquisition, representation, reasoning and decision making in the context of Big Data.

Invited speakers: Thomas Ågotnes (University of Bergen), Jan Broersen (Universiteit Utrecht), Kim Plunkett (Oxford University) and Chris Reed (University of Dundee).