Email Gateway (Aug 18 2022 at 14:30): Email Gateway (Aug 18 2022 at 14:30):From: Matt Kaufmann <kaufmann@cs.utexas.edu>
Call for "Rough Diamonds"
ITP 2010: Conference on Interactive Theorem Proving
11-14 July 2010, Edinburgh, Scotland
http://www.floc-conference.org/ITP-cfp.html
As previously announced, the deadline is today for abstracts of papers
to be submitted to ITP 2010. However, we have waived the requirement
for abstracts of submissions in the "rough diamonds" category; such
submissions will be accepted through Friday, January 22 (the paper
submissions deadline for full papers). Quoting from the Call for
Papers:
In addition to regular submissions, described
above, there will be a "rough diamonds" section.
Rough diamond submissions are limited to four
pages and may consist of an extended abstract.
They will be refereed: they will be expected to
present innovative and promising ideas, possibly
in an early form and without supporting
evidence. Accepted diamonds will be published
in the main proceedings. They will be presented
at the conference venue in a poster session.
Please see the above URL for the full Call for Papers, which includes
instructions for submission using EasyChair.
Regards,
Matt Kaufmann and Larry Paulson (ITP 2010 co-chairs)
Last updated: Apr 24 2024 at 08:20 UTC