[TYPES/announce] [TPSA at POPL25] Call for presentations
Ayoun, Sacha-Elie
s.ayoun17 at imperial.ac.uk
Wed Oct 30 09:31:04 EDT 2024
Hi everyone,
The workshop on Theory and Practice of Static Analysis (previously Incorrectness workshop at POPL24) has its call for presentations open!
Deadline is Thursday Nov 7th (website is to be updated with the correct deadline). See call at: https://urldefense.com/v3/__https://popl25.sigplan.org/home/tpsa-2025*About__;Iw!!IBzWLUs!RJVFkL0yRD_XXEPZASIGgB5PKIJgqnH2tLfHKphedw-EpXnN1dbFDR-uOwAjg8NHMhyTYnFAxSOTupNItnnefZUK1fHICXFqlfVOMh0$
Cheers,
Sacha
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241030/c0d31645/attachment-0001.htm>
More information about the Types-announce
mailing list