Re: [tlaplus] Abridged summary of tlaplus@googlegroups.com - 1 update in 1 topic

[Ian Morris Nieves]

Apologies I missed the first meetings.  I am surfacing from a deep dive and look forward to upcoming meetings.

Best, Ian 

On Jan 16, 2026, at 6:21 AM, tla...@googlegroups.com wrote:



tla...@googlegroups.com

Google Groups

Today's topic summary
View all topics

• Join us at the next TLA+ Outreach Committee meeting on January 15, 11am Pacific Time - 1 Update

Join us at the next TLA+ Outreach Committee meeting on January 15, 11am Pacific Time

Markus Kuppe <tlaplus-go...@lemmster.de>: Jan 15 05:47AM -0800 Another friendly reminder that the next TLA+ Outreach Committee meeting is scheduled for today, Thursday, January 15, at 11:00 a.m. Pacific Time. We’d be glad to have you join us [1], especially if ...more

Back to top

You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page. To unsubscribe from this group and stop receiving emails from it send an email to tlaplus+u...@googlegroups.com.