[isabelle] Computer Science collaboration with China: SETTA submission deadline extended



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!



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.