starting working on a nlnet grant proposal

General
1

cesar mentioned in the meeting today that we can always apply and if that application fails we can just try again later...so, I think we should work on writing a nlnet grant proposal and reviewing it then submit it, hopefully before their dec 1 deadline for this grant cycle.

I can start working on that soon, maybe later today, though i'll be busy on wednesday.

2

I started working on the nlnet grant proposal, there's still some TODOs.

https://libre-chip.org/grants/nlnet-first.html

3

I have the grant proposal complete except for adding other people to the Relevant Previous Involvement section. @cesar (and others) if you want to work on this Libre-Chip grant, please send me some text I can put in the NLNet grant proposal under Relevant Previous Involvement, as I mentioned in Matrix/IRC. I will be submitting the grant proposal in around 26-28hr.

4

Dear @programmerjake,

I have the grant proposal complete except for adding other people to the
Relevant Previous Involvement section. @cesar
(and others) if you want to work on this Libre-Chip
grant, please send me some text I can put in the NLNet grant proposal
under Relevant Previous Involvement, as I mentioned in Matrix/IRC. I
will be submitting the grant proposal in around 26-28hr.

I'll gladly participate. How about:

"Cesar Strauss - Contributed to the Libre-SOC project, mostly on digital
design and formal verification. Presented the talk "An introduction to
Formal Verification of Digital Circuits" on FOSDEM 2024
(https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/)."

Regards,

Cesar

5

Ok, added to the grant proposal. I'm planning on submitting it in 4-5hr, so please read through it and let me know if you spot anything you think should be changed/added/removed.

I'll be removing the "Others... TODO" before submitting it.

Thanks!