Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

This workshop aims to teach participants the fundamentals of higher category theory using the proof assistant Rzk. The participants will learn both the classical point of view and the type theoretic point of view in two lecture series, and, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher categorical results.

Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged.

This workshop aims to teach participants the fundamentals of higher category theory using the proof assistant Rzk. The participants will learn both the classical point of view and the type theoretic point of view in two lecture series, and, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher categorical results.

Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged.

This workshop aims to teach participants the fundamentals of higher category theory using the proof assistant Rzk. The participants will learn both the classical point of view and the type theoretic point of view in two lecture series, and, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher categorical results.

Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged.

This workshop aims to teach participants the fundamentals of higher category theory using the proof assistant Rzk. The participants will learn both the classical point of view and the type theoretic point of view in two lecture series, and, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher categorical results.

Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged.

This workshop aims to teach participants the fundamentals of higher category theory using the proof assistant Rzk. The participants will learn both the classical point of view and the type theoretic point of view in two lecture series, and, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher categorical results.

Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged.

RuleML+RR 2026 aims to bring together researchers and practitioners interested in the foundations and applications of rules and reasoning.  

This year's edition will be co-located with several events as part of 

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading venue in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, it provides a forum for stimulating cooperation between different communities focused on the research, development, and applications of rule-based systems. 

The RuleML+RR 2026 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2026 and the Reasoning Web Summer School 2026.

RuleML+RR 2026 aims to bring together researchers and practitioners interested in the foundations and applications of rules and reasoning.  

This year's edition will be co-located with several events as part of 

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading venue in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, it provides a forum for stimulating cooperation between different communities focused on the research, development, and applications of rule-based systems. 

The RuleML+RR 2026 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2026 and the Reasoning Web Summer School 2026.

RuleML+RR 2026 aims to bring together researchers and practitioners interested in the foundations and applications of rules and reasoning.  

This year's edition will be co-located with several events as part of 

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading venue in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, it provides a forum for stimulating cooperation between different communities focused on the research, development, and applications of rule-based systems. 

The RuleML+RR 2026 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2026 and the Reasoning Web Summer School 2026.