BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//jEvents 2.0 for Joomla//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:STANDARD
DTSTART:20251102T010000
RDATE:20260308T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20261101T010000
RDATE:20270314T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20271107T010000
RDATE:20280312T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20281105T010000
RDATE:20290311T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20250415T100000
RDATE:20251102T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20260308T030000
RDATE:20261101T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20270314T030000
RDATE:20271107T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20280312T030000
RDATE:20281105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:f5e3691c42d0bbdb372de87e942622e5
CATEGORIES:Lean Seminar
CREATED:20260411T101743
SUMMARY:Sequencelib: A Platform for Formalizing the OEIS
LOCATION:Hill 005
DESCRIPTION:<p><span data-olk-copy-source="MessageBody" style="text-align: left; text-i
 ndent: 0px; background-color: #ffffff; margin: 0px; font-family: Aptos, Apt
 os_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-
 size: 12pt; color: black;">The On-Line Encyclopedia of Integer Sequences (O
 EIS) is a web-accessible database cataloging interesting integer sequences 
 and associated theorems. With more than 390,000 sequences and 12,000 citati
 ons, the OEIS is one of the most robust and highly cited resources in all o
 f theoretical mathematics. The Sequencelib project provides an open-source 
 computational platform to formalize the mathematics contained within the OE
 IS using the Lean programming language. With contributions made through a c
 ombination of hand-written formalizations, metaprogramming, and AI, Sequenc
 elib currently contains formalizations for more than 25,000 sequences and o
 ver 1.6 million theorems about their values.</span></p>
CONTACT:Walter Moreira
DTSTAMP:20260828T050152
DTSTART;TZID=America/New_York:20260416T100000
DTEND;TZID=America/New_York:20260416T110000
SEQUENCE:0
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR