Break

Break

Mon Jan 19, 17:00-17:30 (4 weeks ago)

logic in computer sciencemathematical softwareMathematics

Audience: researchers in the discipline


Lean Together 2026

Organizer: Jireh Loreaux*
*contact for this listing

Export talk to