TPHOLs becomes ITP (fwd)
Josef Urban <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
This seems to be good also for Mizar (I never quite understood how can Mizar papers be presented at a higher order logic conference :-) ---------- Forwarded message ---------- Date: Wed, 27 Aug 2008 09:34:33 +0200 From: Tobias Nipkow <[email protected]> To: [email protected], [email protected], [email protected], [email protected], [email protected], [email protected], [email protected] Subject: [Hol-info] TPHOLs becomes ITP The steering committee and business meeting of TPHOLs 2008 in Montreal last week agreed on the following change of names: TPHOLs will become ITP (Interactive Theorem Proving) not just in 2010 (as had already been agreed) but that name change will become permanent after 2010. It was felt that the broader scope of ITP is a more accurate reflection of the actual focus of TPHOLs and its openness to other communities like ACL2 users. Note that although ITP 2010 formally incorporates the TPHOLs and ACL2 Workshop series, no such commitment has been made beyond 2010; the new agreement is only about changing the name. This is not a formal vote, but if you have strong objections to this decision, please address them to the TPHOLs Steering Committee by replying to this email. We will try to take your arguments into account. Tobias Nipkow TPHOLs Steering Committee chair ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info