Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Deadline Extension for TPHOLs 2009


view this post on Zulip Email Gateway (Aug 18 2022 at 13:15):

From: Christian Urban <urbanc@in.tum.de>
Due to popular demand, the TPHOLs 2009 DEADLINE has been EXTENDED to

Friday 13/3/09, 23:59 Somoan time (= UTC-11)

ABSTRACTS MUST still be submitted by Sunday 8/3/09, 23:59 Somoan time.

http://tphols.in.tum.de/


Last updated: Nov 21 2024 at 12:39 UTC