Jay Parlar
@parlar
🇨🇦 Engineer @crowdstrike. Ph.D. in Software Engineering. Formal methods advocate (TLA+, Alloy, Z3). Python/JavaScript/etc. Husband & dad. He/him
ID: 16740885
http://parlar.ca 14-10-2008 16:30:14
19,19K Tweet
1,1K Takipçi
898 Takip Edilen
Have you done something awesome with TLA+? The call for presentations is now open for this year’s TLA+ Conference! conf.tlapl.us/home/ We’re again collocated with Strange Loop, and taking place September 22. And Inactive; Bluesky is @hillelwayne(dot)com will be running a training on Sept 21!
Don't wait and submit your talk proposal to #tlaplus conf. The program committee that Murat Demirbas (Distributolog) assembled is top notch: Dimitra Giannakopoulou @pressron @norootcause.surfingcomplexity.com on Bluesky Jay Parlar [email protected] | (spec|ver)ification | security, Stephan Merz, and Joshua Rowe