BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon-2026//speaker//F8PAGK
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-juliacon-2026-XT7QD8@pretalx.com
DTSTART;TZID=CET:20260814T114500
DTEND;TZID=CET:20260814T120000
DESCRIPTION:Reasoning with temporal and spatial data is crucial in many rea
 l-world applications\; however\, this data is often characterized by uncer
 tainty and unclear boundaries. In this talk\, we will see how we can exten
 d spatial and temporal modal logics offered by SOLE through a new submodul
 e\, namely ManyValuedLogics\, offering support for fuzzy and many-valued l
 ogics. Moreover\, we will explore a new package called SoleReasoners.jl\, 
 offering a reasoning tool for many-valued spatial and temporal logics.
DTSTAMP:20260502T104012Z
LOCATION:Room 2
SUMMARY:Reasoning with Many-Valued\, Spatial and Temporal Logics with SOLE 
 - Alberto Paparella
URL:https://pretalx.com/juliacon-2026/talk/XT7QD8/
END:VEVENT
END:VCALENDAR