The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are at odds with reasoning as is formalized in classical logic. This rapid expansion has generated the need to develop overarching theories capable to provide uniform proofs of fundamental properties--such as soundness, completeness, analiticity, decidability--for each member of vast families of logics, while at the same time accounting in a modular way for the specific features of each.

Algebraic proof theory is a research area in which these general results can be achieved using insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras.

This workshop aims at bring together researchers in algebraic proof theory and its applications, explore promising research directions, and foster collaborations.

The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are at odds with reasoning as is formalized in classical logic. This rapid expansion has generated the need to develop overarching theories capable to provide uniform proofs of fundamental properties--such as soundness, completeness, analiticity, decidability--for each member of vast families of logics, while at the same time accounting in a modular way for the specific features of each.

Algebraic proof theory is a research area in which these general results can be achieved using insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras.

This workshop aims at bring together researchers in algebraic proof theory and its applications, explore promising research directions, and foster collaborations.

The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are at odds with reasoning as is formalized in classical logic. This rapid expansion has generated the need to develop overarching theories capable to provide uniform proofs of fundamental properties--such as soundness, completeness, analiticity, decidability--for each member of vast families of logics, while at the same time accounting in a modular way for the specific features of each.

Algebraic proof theory is a research area in which these general results can be achieved using insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras.

This workshop aims at bring together researchers in algebraic proof theory and its applications, explore promising research directions, and foster collaborations.

The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are at odds with reasoning as is formalized in classical logic. This rapid expansion has generated the need to develop overarching theories capable to provide uniform proofs of fundamental properties--such as soundness, completeness, analiticity, decidability--for each member of vast families of logics, while at the same time accounting in a modular way for the specific features of each.

Algebraic proof theory is a research area in which these general results can be achieved using insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras.

This workshop aims at bring together researchers in algebraic proof theory and its applications, explore promising research directions, and foster collaborations.

The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are at odds with reasoning as is formalized in classical logic. This rapid expansion has generated the need to develop overarching theories capable to provide uniform proofs of fundamental properties--such as soundness, completeness, analiticity, decidability--for each member of vast families of logics, while at the same time accounting in a modular way for the specific features of each.

Algebraic proof theory is a research area in which these general results can be achieved using insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras.

This workshop aims at bring together researchers in algebraic proof theory and its applications, explore promising research directions, and foster collaborations.

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community at Restaurant de Polder.

What are the functions of emotions? How and why did they evolve? And what can we learn from studying how we communicate our emotions?

In this workshop, a series of distinguished scholars will address these and related questions. The speakers are known for combining anthropological, psychological, and biological theories and methods; an integrative perspective on the evolution of emotions will be a central part of this workshop.

The e-Ideas Group at the University of Amsterdam, Netherlands is pleased to announce its first workshop, taking place in dates 13-14th July 2018 in Amsterdam.

The aim of the workshop will be to foster discussion on the development of mathematics and related themes in philosophy in the German speaking context during the 19th century.

Confirmed keynote speakers: Paola Basso (University of Bucharest, Romania), Paola Cantù (Université Aix-Marseille, France), Jeremy Heis (University of California, Irvine, U.S.A.) and James Tappenden (University of Michigan, U.S.A.).

The e-Ideas Group at the University of Amsterdam, Netherlands is pleased to announce its first workshop, taking place in dates 13-14th July 2018 in Amsterdam.

The aim of the workshop will be to foster discussion on the development of mathematics and related themes in philosophy in the German speaking context during the 19th century.

Confirmed keynote speakers: Paola Basso (University of Bucharest, Romania), Paola Cantù (Université Aix-Marseille, France), Jeremy Heis (University of California, Irvine, U.S.A.) and James Tappenden (University of Michigan, U.S.A.).

Inquisitive logic is a novel approach to logic which aims primarily at extending the scope of logic to questions. It has close connections with intuitionistic logic, dependence logic, truth-maker semantics, possibility semantics, and various versions of modal and dynamic logics.

The workshop aims to bring together researchers working in inquisitive logic and related areas, in order to communicate recent advances, explore the relations with other lines of work, and spark novel ideas and cooperations. It is part of the series of events organized by the ILLC inquisitive semantics group of Amsterdam. If you would like to attend, get in touch with the organisers.

Inquisitive logic is a novel approach to logic which aims primarily at extending the scope of logic to questions. It has close connections with intuitionistic logic, dependence logic, truth-maker semantics, possibility semantics, and various versions of modal and dynamic logics.

The workshop aims to bring together researchers working in inquisitive logic and related areas, in order to communicate recent advances, explore the relations with other lines of work, and spark novel ideas and cooperations. It is part of the series of events organized by the ILLC inquisitive semantics group of Amsterdam. If you would like to attend, get in touch with the organisers.

Inquisitive logic is a novel approach to logic which aims primarily at extending the scope of logic to questions. It has close connections with intuitionistic logic, dependence logic, truth-maker semantics, possibility semantics, and various versions of modal and dynamic logics.

The workshop aims to bring together researchers working in inquisitive logic and related areas, in order to communicate recent advances, explore the relations with other lines of work, and spark novel ideas and cooperations. It is part of the series of events organized by the ILLC inquisitive semantics group of Amsterdam. If you would like to attend, get in touch with the organisers.