[tlaplus] Presentation for the next community meeting

[Gregory Terzian <gregory.terzian@xxxxxxxxx>]

Hello all, 

As discussed per email with Markus, I would like to propose to add a slot at next week's meeting to discuss the third place project of the TLAi challenge from last year. 

Could you please also confirm the date and time of the meeting? 

Gregory

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/3da8183a-8465-480a-bedf-a457ac45e2dcn%40googlegroups.com.