September 10 to September 12

Buenos Aires, Argentina

Workshop

MOSAIC-PLEXUS

a joint meeting of two research networks

funded by the Horizon Europe Framework Programme

The main goal of this meeting is to foster collaboration between researchers in both projects and to promote communication and cooperation with members of neighboring fields. In particular, we want to integrate the different approaches to Substructural Logics.

We want to bring together scholars researching substructuralism in a very wide sense and from several perspectives. It aims at developing already existing collaborations and creating new interdisciplinary groups of research, exposing one another to recent results, methods, and goals.

The meeting aims at presenting the multiple sides through which Substructural logics have been approached over the years, spanning from the more traditional focuses that can be traced back, to the more recent theoretical developments and applications of the subject.

About MOSAIC

The acronym MOSAIC stands for: Modalities in Substructural Logics: Theory, Methods and Applications.

Logic is a discipline that studies correct reasoning and true statements in a formal environment. Languages, deductive systems, syntax and semantics are its basic tools. Classical modal logics form a family of logics that focus on modes of truth, that is to say, they analyse if a statement is 'necessarily' or 'possibly' true, in a given situation. The EU-funded MOSAIC project is taking a closer look at modal logics based on the general setting of substructural logics. The latter are a wide class of formal systems including classical, intuitionistic, many-valued and paraconsistent logics, just to quote few. Beyond the theoretical analysis, the MOSAIC project also aims at developing tools and methods for substructural modal logics to impact several areas of applied science such as artificial intelligence, security and legal reasoning.

Find more information at https://sites.google.com/view/mosaic-rise/

About PLEXUS

The acronym PLEXUS stands for: Philosophical, Logical, and Experimental Routes to Substructurality.

There is a large family of non-classical logics that fall under the heading of substructurality. Since the first use of the term – around forty years ago – the interest of the scientific community in so-called substructural logics increased spectacularly. In effect, the search for «substructural logics» (quoting marks included) in Google Scholar renders around 4850 results distributed this way: 14 results between 1981 and 1990, 597 results between 1991 and 2000, 1450 between 2001 and 2010 and 2360 between 2011 and 2020. Among the logics in the substructural family, the recent philosophical literature pays particular attention to what can be termed “radical substructurality”: non-transitive and non-reflexive logics, as well as variants and hybrids of these obtained by metainferential ascent. The overall goal of PLEXUS is to advance the knowledge of radically substructural logics and deepen our understanding of the broader phenomenon of substructurality, by coordinating the efforts of researchers across the globe, across generations, and across traditions. We see this project as characterised by the following concepts: integration, cross-fertilization and knowledge sharing.

Find more information at https://plexuslogic.wordpress.com/

Call for Papers

We invite contributions on any relevant aspects of Substructural logics, with particular interest in cross-disciplinary approaches. Typical but not exclusive areas of interest are:

Non-classical logics;
Novel computation models and paradigms;
Proof mining, type theory, effective learnability and explainable AI;
Logical approach to natural language and reasoning;
Foundational aspects of information organization, search, flow, sharing, and protection;
Philosophical logic;

Abstracts of contributed talks of 1-2 pages are to be prepared using the EasyChair class style and submitted via email to workshopmosaicplexus@gmail.com.

IMPORTANT DATES

Submission deadline: May 30, 2025 Extended deadline: June 15, 2025
Notification: June 30, 2025

Invited Speakers

Verónica Borja Macías

Universidad Tecnológica de la Mixteca, México

Luca Carai

Università degli Studi di Milano Statale, Italia

Marcelo Coniglio

Universidade Estadual de Campinas, Brasil

Paula Menchón

Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina

Francesco Paoli

Università degli Studi di Cagliari, Italia

Paula Teijeiro

Universidad de Buenos Aires, Argentina

Venue

The event will be held at a CONICET institute called IAM (Instituto Argentino de Matemática).

The auditorium is located on the 3rd floor of the building at 15 Saavedra Street, Buenos Aires.

It is reachable through many public buses, and is near subway stations for two lines (the A or light blue line, and the H or yellow line).

The neighborhood is a busy commercial area. Thus, we recommend planning to arrive a little bit early at the venue instead of right on time, to avoid any complications due to public transport and traffic.

In this link we leave a list of places to have lunch, with suggestions from the organizers. Feel free to ask them about it in the morning of the first day.

Organizing Committee

Eduardo Barrio (IIF (CONICET-SADAF) & Department of Philosophy, UBA)

Eliana Franceschini (IIF (CONICET-SADAF) & Department of Philosophy, UBA)

Juan Manuel Gagino-Di Leo (Department of Philosophy, UBA)

Daniel Grimaldi (Department of Computer Science, UBA)

Ricardo Rodriguez (Department of Computer Science, UBA)

Mariela Rubin (IIF (CONICET-SADAF) & Department of Philosophy, UBA)

Alejandro Solares-Rojas (IIC (CONICET-UBA))

Damián Szmuc (IIF (CONICET-SADAF) & Department of Philosophy, UBA)

If you have any problem whatsoever, feel free to contact Eduardo, Ricardo, or Damián

Page updated

Google Sites

Report abuse