coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ICFP 2011 Deadline Extension

From: Wouter Swierstra <icfp.publicity AT googlemail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] ICFP 2011 Deadline Extension
Date: Mon, 14 Mar 2011 11:51:17 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:reply-to:date:message-id:subject:from:to:content-type; b=AExHF+hLzytQE1LL6s7XvjQnnLndVTskfUfqtzaETwNdpvwCZ0iMYyNs9lnXQN8P12 hA6LJ2Gji8Nfgh9C6y3Y3G9/dfZCZbii0SmAvP0OdyTjk5WXLrHfnxs8f2tzCXi0L+3D XhUujbGHEtW8KrDSM6BelFiID+Kldcaw3MrFY=

=====================================================================

ICFP 2011: International Conference on Functional Programming

            http://www.icfpconference.org/icfp2011

=====================================================================

On behalf of the Program Committee of ICFP 2011, I would like to
announce a deadline extension for authors affected by the recent
earthquake in Japan. The Program Committee will accept titles and
abstracts until Monday 4 April at 23:59, and full submissions until
Thursday 7 April at 23:59 from those authors affected by the
earthquake. Our thoughts go out to the victims of this tragedy.

  Wouter Swierstra
  ICFP Publicity Chair

[Coq-Club] ICFP 2011 Deadline Extension, Wouter Swierstra