Meetings/Workshops on Mathematical Logic and Foundations in Italy

Select a location
1
Trends in Logic XXII Workshop — Strong & Weak Kleene Logics
18 Jul 2022 - 20 Jul 2022 • University of Cagliari (Cagliari), Italy
Organizer:
University of Cagliari (Cagliari, Italy), organized by the ALOPHIS research group of the Department of Pedagogy, Psychological Sciences and Philosophy
Abstract:
While the strong three-valued logic of Kleene and the Logic of Paradox have long held a prominent place in the landscape of non-classical logics, the last decade has seen a resurgence of interest in related logics, including the Paraconsistent Weak Kleene logic (PWK) and Strict-Tolerant logics. These logics put their own twist on the idea of three truth values and accordingly they have varied philosophical readings and applications. Among other things, they represent logics of partial information, logics of nonsense, and logics of variable inclusion. Algebraic and proof-theoretic methods have successfully been brought to bear on these logics, but much remains to be explored. The aim of the workshop is to bring together researchers working on these various facets of logics related to the strong and weak Kleene systems, be they algebraic, proof-theoretic, or philosophical.
Event listing ID:
1488933
2
European Set Theory Conference 2022
29 Aug 2022 - 02 Sep 2022 • Turin, Italy
Abstract:
The European Set Theory Conferences is a series of biannual meetings coordinated by the European Set Theory Society (ESTS). This year's edition is organized by the Department of Mathematics of the University of Turin and ESTS, in partnership with the Clay Mathematics Institute. It is the most important conference in set theory, and gathers the worldwide leaders in the field as well as many young researchers. During the event, the prestigious Hausdorff medal will be awarded for the most influential work in set theory published in the preceding five years. There will also be a special session in honor of Boban Veličković's 60th birthday.
Abstract submission deadline:
30 Apr 2022
Event listing ID:
1489127
3
13th edition of PhDs in Logic
05 Sep 2022 - 07 Sep 2022 • Turin , Italy
Organizer:
Campus Luigi Einaudi, University of Turin
Abstract:
PhDs in Logic is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in linguistics. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research.
Abstract submission deadline:
15 May 2022
Event listing ID:
1489090
Event website:
4
LATD 2022 — Algebra and Truth Degrees 2022
05 Sep 2022 - 10 Sep 2022 • Paestum (Salerno), Italy
Abstract:
The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”. The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.
Event listing ID:
1489103
5
Incontro di Logica
12 Sep 2022 - 15 Sep 2022 • Caserta, Italy
Abstract:
The Incontro di Logica is organised by the Italian Association for Logic and its Applications (AILA) every three years. It features international invited speakers, recipients of the AILA prizes (Gentilini, Montagna, Lettieri), and contributed presentations in Logic.
Topics:
category theory, computability theory, model theory, logic and computer science, logic and philosophy, non-classical logics, proof theory, set theory.
Abstract submission deadline:
30 Apr 2022
Event listing ID:
1489111


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