[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)


Invited Speakers also announced!

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