Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Computer Science collaboration with China: SET...


view this post on Zulip Email Gateway (Aug 19 2022 at 13:45):

From: Cliff Jones <cliff.jones@newcastle.ac.uk>
After several requests (maybe linked to (Chinese) New Year), the submission deadline has been extended to
February 22, 2014: Abstracts (extended)
March 1, 2014: Submission of papers (extended)

See:
http://cs.nju.edu.cn/setta/

Invited Speakers also announced!


Last updated: Mar 28 2024 at 16:17 UTC