From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 65BC17EE49 for ; Thu, 19 Sep 2013 13:50:12 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.223.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.223.194 as permitted sender) identity=mailfrom; client-ip=209.85.223.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f194.google.com) identity=helo; client-ip=209.85.223.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-ie0-f194.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjYKAD3kOlLRVd/ClGdsb2JhbABbgz9SiUClb4k3iEaBGAgWDgEBAQEHCwsJEikBgh1PARsMBgwDEgkHXQERAQUBKAEUhW6BegEDDwyYOoMDjFGDB4QOChknDWSIeAEFDI4SgUWDA4EmA5d8gS+LFYNIGCmEaCCBNQ X-IPAS-Result: AjYKAD3kOlLRVd/ClGdsb2JhbABbgz9SiUClb4k3iEaBGAgWDgEBAQEHCwsJEikBgh1PARsMBgwDEgkHXQERAQUBKAEUhW6BegEDDwyYOoMDjFGDB4QOChknDWSIeAEFDI4SgUWDA4EmA5d8gS+LFYNIGCmEaCCBNQ X-IronPort-AV: E=Sophos;i="4.90,936,1371074400"; d="scan'208";a="33522153" Received: from mail-ie0-f194.google.com ([209.85.223.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Sep 2013 13:50:10 +0200 Received: by mail-ie0-f194.google.com with SMTP id qd12so2467900ieb.5 for ; Thu, 19 Sep 2013 04:50:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=oVRpbeutt4E+7shC0wOo3jkOq4A8zSc5Ln+CgCdywSw=; b=RBL9tXVYRVqGlH5HRJ1ZrXMjLIl5/pMBirRD8sxD9yGpW6vLutOkIUdrfUSdlggefa 4v2IMByGWFDo9mrlSKqEAm967CCv1/CI2IlU5cMd2k8a2UJ4pDbfo+MDQvs5ORTCBybZ CptDgrNQAYubjqx/+9tMej5+8YoeiT/rtPd9eyK9gpmi19nt2y9lfQXwtWthANEXLH25 djwjNcqFnckgH5srSjUrLBHB1fLWSBML0T7xzyNuMX9UBat3PFdPyd7Yc0f75vVTq6er Sn6H+86v0WfSGskz0lkydEi70pmZmoRNPryhgABVrlsrYC2GS+811FPmzWcg/OzZeKI7 M4nw== X-Received: by 10.42.84.9 with SMTP id j9mr277299icl.57.1379591410369; Thu, 19 Sep 2013 04:50:10 -0700 (PDT) MIME-Version: 1.0 Received: by 10.64.70.228 with HTTP; Thu, 19 Sep 2013 04:49:49 -0700 (PDT) From: Ashish Agarwal Date: Thu, 19 Sep 2013 07:49:49 -0400 Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary=90e6ba614d48f350c004e6bb27b6 Subject: [Caml-list] Functional Programming in Bioinformatics, Birds-of-a-Feather Session at CUFP --90e6ba614d48f350c004e6bb27b6 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Functional Programming in Bioinformatics Birds-of-a-Feather Session at CUFP 2013 September 23, 2013 at 6:00 PM Boston, MA United States Bioinformatics is a discipline applying computational methods to biological problems. Due to advances in experimental techniques, especially in next-generation DNA sequencing, the amount of data being generated by biologists is exponentially increasing. The resulting data deluge promises to accelerate fundamental advances in human health, agriculture, and basic research. However, progress is hindered due to the lack of software tools for managing, analyzing, visualizing, and sharing such data. The goal of this meeting is to bring together researchers and practitioners of functional programming, logic, type theory, and related fields who are interested in applying their skills to biology and medicine. We also welcome biologists who are curious about state-of-the-art software engineering techniques. The meeting will be casual with no presentations. Our goal is simply to meet and discuss our interests, and propose future events and collaborations. We will meet at Connolly=92s Publik House within the conference venue, the Hilton Boston Logan Airport Hotel, on Monday September 23rd at 6:00 PM. Everyone is welcome to attend this meeting regardless of whether you registered for any ICFP or CUFP events. RSVP is not required, but to help with planning, please email =93agarwal1975 at gmail.com=94 if you know you = will attend. Please also join the Well-Formed-Bio mailing list [1], which we welcome everyone to use for discussions around the topic of formal software methods applied to biology. [1] https://groups.google.com/forum/#!forum/well-formed-bio [2] http://cufp.org/conference/sessions/2013/birds-feather-functional-programmi= ng-bioinformatic Organizers: Ashish Agarwal, Jeff Hammerbacher --90e6ba614d48f350c004e6bb27b6 Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable
=A0 =A0 =A0 =A0 =A0 =A0 =A0Functional Programming in Bioin= formatics
=A0 =A0 =A0 =A0 =A0 =A0 =A0Birds-of-a-Feather Session at CUFP = 2013
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0September 23, 2013 at 6:00 P= M
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Boston, MA United States
Bioinformatics is a discipline applying computational methods to biolog= ical problems. Due to advances in experimental techniques, especially in ne= xt-generation DNA sequencing, the amount of data being generated by biologi= sts is exponentially increasing. The resulting data deluge promises to acce= lerate fundamental advances in human health, agriculture, and basic researc= h. However, progress is hindered due to the lack of software tools for mana= ging, analyzing, visualizing, and sharing such data.

The goal of this meeting is to bring together researchers and practitio= ners of functional programming, logic, type theory, and related fields who = are interested in applying their skills to biology and medicine. We also we= lcome biologists who are curious about state-of-the-art software engineerin= g techniques. The meeting will be casual with no presentations. Our goal is= simply to meet and discuss our interests, and propose future events and co= llaborations. We will meet at Connolly=92s Publik House within the conferen= ce venue, the Hilton Boston Logan Airport Hotel, on Monday September 23rd a= t 6:00 PM.

Everyone is welcome to attend this meeting regardless of whether you re= gistered for any ICFP or CUFP events. RSVP is not required, but to help wit= h planning, please email =93agarwal1975 at gma= il.com=94 if you know you will attend.

Please also join the Well-Formed-Bio mailing list [1], which we welcome= everyone to use for discussions around the topic of formal software method= s applied to biology.

Organ= izers: Ashish Agarwal, Jeff Hammerbacher

--90e6ba614d48f350c004e6bb27b6--