Meetings/Workshops on Mathematical Logic and Foundations in the United Kingdom

Select a location
1
CiE 2022 — Computability in Europe: Revolutions and Revelations in Computability
11 Jul 2022 - 15 Jul 2022 • Swansea, United Kingdom
Organizer:
CiE 2022 is the 18th conference organized by CiE, a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
Abstract:
The CiE (Computability in Europe) conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Event listing ID:
1488989
2
5th International Conference on Applied Category Theory 2022
18 Jul 2022 - 22 Jul 2022 • University of Strathclyde, Glasgow, Scotland, United Kingdom
Abstract:
Applied category theory is a topic of interest for a growing community of researchers, interested in studying many different kinds of systems using category-theoretic tools. These systems are found across computer science, mathematics, and physics, as well as in social science, linguistics, cognition, and neuroscience. The background and experience of our members is as varied as the systems being studied. The goal of Applied Category Theory is to bring researchers in the field together, disseminate the latest results, and facilitate further development of the field.
Abstract submission deadline:
09 May 2022
Event listing ID:
1488998
3
COMMA 2022 — 9th International Conference on Computational Models of Argument
14 Sep 2022 - 16 Sep 2022 • Cardiff University in Wales, United Kingdom
Abstract:
The aim of the COMMA conference is to bring together researchers interested in computational models of argument and the representation of argumentation structures in natural language texts, including the problem of automatically discovering argumentation in text or speech. In addition to the main conference track, there will be thematically-focused workshops, system demonstrations, and a summer school with courses on current topics of argumentation.
Event listing ID:
1489209


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 28 May 2022