Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] abstract deadline for contributed talks: Trust...

Email Gateway (Aug 18 2022 at 15:33):

From: Lawrence Paulson <lp15@cam.ac.uk>
Hello --

Reminder: Next Monday is the deadline for submission of contributed
abstracts to the workshop on Trusted Extensions of ITPs. (While
mentioned on the web site provided below, it had been omitted from the
email itself.)

Regards,
Matt and Konrad

• ------- Start of forwarded message -------

Last updated: Feb 15 2026 at 05:19 UTC