[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] TLA+ Foundation Grants

From: Leslie Lamport <tlaplus.ll@xxxxxxxxx>
Date: Thu, 18 Jul 2024 09:14:16 -0700 (PDT)

The TLA+ Foundation grant program has issued its first call for proposals. Information about the program and the application form are at https://foundation.tlapl.us/grants/2024-grant-program/index.html .

Leslie

--
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 on the web visit https://groups.google.com/d/msgid/tlaplus/5184527b-3a03-406b-8973-b2e046dba1b9n%40googlegroups.com.

Follow-Ups:
- [tlaplus] Re: TLA+ Foundation Grants
  - From: imni...@xxxxxxxxx

Prev by Date: Re: [tlaplus] Re: Parsing issues with prime operator in user-defined operators
Next by Date: [tlaplus] Re: TLA+ Foundation Grants
Previous by thread: RE: [tlaplus] Possible TLC soundness bug when checking temporal properties
Next by thread: [tlaplus] Re: TLA+ Foundation Grants
Index(es):
- Date
- Thread