Break

Break

Tue Jan 20, 15:30-16:00 (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