BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Maciej Cichon (University of Lodz)
DTSTART:20240918T102000Z
DTEND:20240918T104500Z
DTSTAMP:20260419T092111Z
UID:HCS2024/38
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/HCS2024/38/"
 >Use of ML-tools in automated theorem proving</a>\nby Maciej Cichon (Unive
 rsity of Lodz) as part of Hypercomplex Seminar 2024\n\nLecture held in Are
 na Magica\, Institute of Physics\, Lodz University of Technology.\nAbstrac
 t: TBA\n
LOCATION:https://researchseminars.org/talk/HCS2024/38/
END:VEVENT
END:VCALENDAR