Prathmesh PatilEventsAI, Systems & Formal Methods Reading Group 2026-06-02Team1 Campus Connect: Sandip University 2026-04-04