BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2022/newsitem/13398/4- --11-September-2022-Modalities-in-Substructural-Lo gics-Theory-Methods-and-Applications-2022-MOSAIC-2 022-Paestum-Salerno-Italy- DTSTAMP:20220215T183124 SUMMARY:Modalities in Substructural Logics: Theory , Methods and Applications 2022 (MOSAIC 2022) , Pa estum, (Salerno, Italy) DTSTART;VALUE=DATE:20220904 DTEND;VALUE=DATE:20220911 LOCATION:Paestum, (Salerno, Italy) DESCRIPTION:Modalities in Substructural Logic: The ory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-locat ed with the International Conference “Logic, Algeb ra and Truth Degrees” 2020 (LATD 2020). The RISE- MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying l ogico-mathematical study of substructural modal lo gics, that is, substructural logics with modalitie s, and (2) Exploring the application of substructu ral modal logics outside the bounds of mathematica l logic and, in particular, in the areas of knowle dge representation; legal reasoning; data privacy and security; logical analysis of natural language . Invited speakers: Silvio Ghilardi (University o f Milan, Italy), Sonia Marin (University of Birmin gham, UK), Nicola Olivetti (Aix-Marseille Universi ty, France), Sara Ugolini (IIIA - CSIC of Barcelon a, Spain). MOSAIC 2022 invites submissions on a v ariety of topics on modal substructural logics and their applications. We therefore invite contribut ions on relevant aspects of non-classical modal lo gical systems, such as: * Residuated lattices wit h modal operators; * Relational frames and struct ural properties; * Coalgebras and coalgebraic app roach to substructural modal logics; * Correspond ence theory; * Fixpoint logics; * Proof theory a nd complexity for substructural modal logics; * M odal logics for reasoning about norms, time, prefe rences, uncertainty; * Applications of substructu ral modal logics to KRR and learning. Abstracts o f contributed talks of 2-4 pages are to be prepare d using the EasyChair class style. X-ALT-DESC;FMTTYPE=text/html:
Modalitie s in Substructural Logic: Theory Methods and Appli cations (MOSAIC 2022) will be held on 4-11 Septemb er 2022 in Paestum, (Salerno, Italy). The conferen ce is the kick-off meeting of the RISE-MSCA projec t MOSAIC and will be co-located with the Internati onal Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).
\n\nThe RISE-MSCA proje ct MOSAIC — “Modalities in Subs tructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive a nd unifying logico-mathematical study of substruct ural modal logics, that is, substructural logics w ith modalities, and (2) Exploring the application of substructural modal logics outside the bounds o f mathematical logic and, in particular, in the ar eas of knowledge representation; legal reasoning; data privacy and security; logical analysis of nat ural language.
\n\nInvited speakers: Silvi o Ghilardi (University of Milan, Italy), Sonia Mar in (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).
MOSAIC 2022 invites submissions on a variety
of topics on modal substructural logics and their
applications. We therefore invite contributions o
n relevant aspects of non-classical modal logical
systems, such as:
\n * Residuated lattices wit
h modal operators;
\n * Relational frames and
structural properties;
\n * Coalgebras and coa
lgebraic approach to substructural modal logics;\n * Correspondence theory;
\n * Fixpoint l
ogics;
\n * Proof theory and complexity for su
bstructural modal logics;
\n * Modal logics fo
r reasoning about norms, time, preferences, uncert
ainty;
\n * Applications of substructural moda
l logics to KRR and learning.
Abstract s of contributed talks of 2-4 pages are to be prep ared using the EasyChair class style.