BEGIN:VCALENDAR
PRODID:-//SMW Project//Semantic Result Formats
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:International Center for Computational Logic
X-WR-CALDESC:
BEGIN:VEVENT
SUMMARY:"Most of" leads to undecidability: Failure of adding frequencies to LTL.
URL://iccl.inf.tu-dresden.de/web/%22Most_of%22_leads_to_undecidability:_Failure_of_adding_frequencies_to_LTL.
UID://iccl.inf.tu-dresden.de/web/%22Most_of%22_leads_to_undecidability:_Failure_of_adding_frequencies_to_LTL.
DTSTART:20210325T130000
DTEND:20210325T143000
LOCATION:Online
DTSTAMP:20210319T114641
SEQUENCE:33518
END:VEVENT
END:VCALENDAR