Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] POPL 2024 Student Research Competition - deadl...

Email Gateway (Oct 26 2023 at 20:12):

From: "Donaldson, Alastair F" <alastair.donaldson@imperial.ac.uk>
Dear all

Please encourage both undergraduate and graduate students working in Programming Languages to submit their work to the POPL 2024 Student Research Competition!

Deadline: Friday 10 November

See here for full details<https://popl24.sigplan.org/track/POPL-2024-student-research-competition>!

Best wishes

Ally Donaldson and John Wickerson
POPL 2024 Publicity Chairs

Last updated: Apr 28 2024 at 16:17 UTC