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:Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem)
URL://iccl.inf.tu-dresden.de/web/Pseudo-Closed_Family_Verification_is_NP-Complete_(Or:_How_Claude_Helped_Tackle_Bernhard%E2%80%99s_Problem)
UID://iccl.inf.tu-dresden.de/web/Pseudo-Closed_Family_Verification_is_NP-Complete_(Or:_How_Claude_Helped_Tackle_Bernhard%E2%80%99s_Problem)
DTSTART:20261008T110000
DTEND:20261008T120000
LOCATION:APB 3027
DTSTAMP:20261006T062643
SEQUENCE:45151
END:VEVENT
END:VCALENDAR