[Pl-seminar] Fwd: 2009 ACL2 workshop dates

[Carl Eastlund]

The next ACL2 Workshop is scheduled for a year and a half from now, in
Boston.  Here's the preliminary announcement and dates.

--Carl

---------- Forwarded message ----------
From: Sandip Ray <sandip at cs.utexas.edu>
Date: Dec 18, 2007 12:03 PM
Subject: 2009 ACL2 workshop dates
To: acl2 at lists.cc.utexas.edu


To the ACL2 community,

There has been no objection to the proposed dates for the next ACL2
workshop.  So the next workshop will be held in Boston on May 11-12,
2009.

We hope to see you all there.

--- Sandip Ray (for the Steering Committee and ACL2 2009 Co-chairs)

  X-IronPort-MID: 366127797
  X-SBRS: 4.0
  X-IronPort-Anti-Spam-Filtered: true
  X-IronPort-Anti-Spam-Result: AgAAAGprXUeAU3jSjGdsb2JhbACPZQEBAQw
  X-IronPort-AV: E=Sophos;i="4.24,148,1196661600";
    d="scan'208";a="366127797"
  Date: Mon, 10 Dec 2007 18:43:15 -0600
  From: Matt Kaufmann <kaufmann at cs.utexas.edu>
  To: acl2 at lists.cc.utexas.edu
  Subject: 2009 ACL2 Workshop
  Sender: owner-acl2 at lists.cc.utexas.edu
  X-Listprocessor-Version: 8.2.10/020311/17:52 -- ListProc(tm) by CREN
  X-SpamAssassin-Status: No, hits=-7.6 required=5.0
  X-UTCS-Spam-Status: No, hits=-242 required=165

  To the ACL2 Community --

  The ACL2 Workshop Steering Committee (the past two sets of chairs, J
  Moore, and me) has decided that the next ACL2 Workshop will be in
  Boston, Massachusetts, USA in or near May, 2009.  Co-chairs will be
  Sandip Ray and David Russinoff.  (Again, the ACL2 Workshop after
  that will be joint with TPHOLs as a FLoC conference in July, 2010 in
  Edinburgh.)

  We are leaning towards May 11-12, 2009 (a Monday and Tuesday) for the
  next workshop.  However, if this causes more headaches than other
  potential times then we may reconsider.

  Please feel free to let us know any times in May or late April of
  2009 that would prevent your attendance.  We will hold off making a
  decision for at least a week (maybe not longer though).

  Regards,
  Matt Kaufmann (for the Steering Committee and 2009 co-chairs)