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 595F17FD04 for ; Thu, 7 May 2015 11:46:19 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of epontell@cs.nmsu.edu) identity=pra; client-ip=128.123.34.100; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="epontell@cs.nmsu.edu"; x-sender="epontell@cs.nmsu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of epontell@cs.nmsu.edu) identity=mailfrom; client-ip=128.123.34.100; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="epontell@cs.nmsu.edu"; x-sender="epontell@cs.nmsu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailrelay4.nmsu.edu) identity=helo; client-ip=128.123.34.100; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="epontell@cs.nmsu.edu"; x-sender="postmaster@mailrelay4.nmsu.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A9AQAzNEtVnGQie4BcDoNSXoMesFWTPQEFhzY8EAEBAQEBAQERAQEBAQEICwkJIS6ERAZFOjQCX4g/ohiPV45zhDsBCgEBAQEBHIYXhl+Cb4MNDC8SHYEWBYZWhTqQcYEjg1aCV4gGhmKBBIE0gSNdUYEBgUMBAQE X-IPAS-Result: A0A9AQAzNEtVnGQie4BcDoNSXoMesFWTPQEFhzY8EAEBAQEBAQERAQEBAQEICwkJIS6ERAZFOjQCX4g/ohiPV45zhDsBCgEBAQEBHIYXhl+Cb4MNDC8SHYEWBYZWhTqQcYEjg1aCV4gGhmKBBIE0gSNdUYEBgUMBAQE X-IronPort-AV: E=Sophos;i="5.13,384,1427752800"; d="scan'208,217";a="139378711" Received: from mailrelay4.nmsu.edu ([128.123.34.100]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 May 2015 11:45:48 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvMGAC4zS1WAe0Aa/2dsb2JhbABcDoNSXoMesEQFAQEBAQEHkz0BBYgCAQEBAQEBgQuERAZFOjQCX7orjnOEOwEBAQEBBQEBAQEBAQEBARmGF4Zfgm+DDQwvEh2BFgWGVoU6kHGBI4NWgleIBoZigQSBNIEjXVGBAYFDAQEB X-IronPort-AV: E=Sophos;i="5.13,384,1427781600"; d="scan'208,217";a="151006418" X-IronPort-Nmsu-Outbound: mailrelay4.nmsu.edu 05/07/15 03:45:47 Received: from [10.0.0.6] (c-69-254-140-80.hsd1.nm.comcast.net [69.254.140.80]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client did not present a certificate) by mailsec.cs.nmsu.edu (Postfix) with ESMTPSA id 7EE8622B1; Thu, 7 May 2015 03:45:34 -0600 (MDT) From: Enrico Pontelli Content-Type: multipart/alternative; boundary="Apple-Mail=_38F18B8F-F367-4EA6-A7D1-CF9DF6CBA3A7" Date: Thu, 7 May 2015 03:45:33 -0600 To: Enrico Pontelli Message-Id: Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2098\)) X-Mailer: Apple Mail (2.2098) X-Validation-by: epontell@cs.nmsu.edu Subject: [Caml-list] PADL 2015 - Call for Participation --Apple-Mail=_38F18B8F-F367-4EA6-A7D1-CF9DF6CBA3A7 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 CALL for PARTICIPATION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) http://www.cs.nmsu.edu/padl15 Portland, Oregon, June 18-19, 2015 Part of ACM Federated Computing Research Conference Preliminary Schedule =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =09=09=09=09=09=20=20 The preliminary program of PADL 2015 is now available at http://www.cs.nmsu.edu/padl15 . The accepted= papers for the=20 symposium are: * Reactive Single-Page Applications with Dynamic Dataflow Simon Fowler, Loic Denuziere and Adam Granicz.=20 * On Compiling Linear Logic Programs with Comprehensions,=20 Aggregates and Rule Priorities Flavio Cruz and Ricardo Rocha.=20 * Declaratively solving Google Code Jam problems with Picat Sergii Dymchenko and Mariia Mykhailova.=20 * Programming Microcontrollers in OCaml: the OCaPIC Project Benoit Vaugon, Philippe Wang and Emmanuel Chailloux.=20 * On logic programming representations of lambda terms: de=20 Bruijn indices, compression, type inference, combinatorial=20 generation, normalization Paul Tarau.=20 * Implementation and Performance of Probabilistic Inference=20 Pipelines Dimitar Shterionov and Gerda Janssens.=20 * CHR(Curry): Interpretation and Compilation of Constraint=20 Handling Rules in Curry Michael Hanus.=20 * Ontology-Driven Data Semantics Discovery for Cyber-Security Marcello Balduccini, Sarah Kushner and Jacquelin Speck.=20 * A Haskell Implementation of a Rule-Based Program=20 Transformation for C Programs Salvador Tamarit, Guillermo Vigueras, Manuel Carro and=20 Julio Mari=C3=B1o.=20 * State Space Planning Using Transaction Logic Reza Basseda.=20 The Symposium will feature two invited speakers - please visit=20 the web site for updates. Conference Description =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and=20 reactive languages. PADL 2015 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2015 will be co-located with the ACM Federated Computing Research Conferences, in Portland, Oregon. CONFERENCE REGISTRATION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D Please visit the conference web site for information about=20 registration and travel accommodations. -------------------- College of Arts & Sciences New Mexico State University Las Cruces, NM 88003 --Apple-Mail=_38F18B8F-F367-4EA6-A7D1-CF9DF6CBA3A7 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8     &nbs= p;             CALL for PARTICIPATION
           &n= bsp;      =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D

    =         17th International Symposiu= m on
Practical Aspects of Declarative Languages (PADL 2015)
        = ;        http://www.cs.nmsu.edu/padl15
=
          =   Portland, Oregon, June 18-19, 2015
Part of ACM Fe= derated Computing Research Conference

 &n= bsp;            = ;       Preliminary Schedule
            =          =3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D
= &= nbsp; 
 The preliminary program of PADL 2015 is now= available at
http://www.cs.nmsu.edu/padl15. The accepted papers for the <= br class=3D"">symposium are:

* Reactive Single= -Page Applications with Dynamic Dataflow
 Simon Fowler, = Loic Denuziere and Adam Granicz. 
* On Compiling Linear = Logic Programs with Comprehensions, 
 Aggregates an= d Rule Priorities
 Flavio Cruz and Ricardo Rocha. <= br class=3D"">* Declaratively solving Google Code Jam problems with Picat Sergii Dymchenko and Mariia Mykhailova. 
* Programming Microcontrollers in OCaml: the OCaPIC Project
 Benoit Vaugon, Philippe Wang and Emmanuel Chailloux. 
* On logic programming representations of lambda terms: de <= br class=3D""> Bruijn indices, compression, type inference, combinator= ial 
 generation, normalization
 = ;Paul Tarau. 
* Implementation and Performance of Probab= ilistic Inference 
 Pipelines
 D= imitar Shterionov and Gerda Janssens. 
* CHR(Curry): Int= erpretation and Compilation of Constraint 
 Handlin= g Rules in Curry
 Michael Hanus. 
* O= ntology-Driven Data Semantics Discovery for Cyber-Security
&n= bsp;Marcello Balduccini, Sarah Kushner and Jacquelin Speck. 
* A Haskell Implementation of a Rule-Based Program 
 Transformation for C Programs
 Salvador Tamarit,= Guillermo Vigueras, Manuel Carro and 
 Julio Mari= =C3=B1o. 
* State Space Planning Using Transaction Logic=
 Reza Basseda. 

 = ;The Symposium will feature two invited speakers - please visit 
the web site for updates.


           &nb= sp;         Conference Descrip= tion
         &n= bsp;           =3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

 PADL is a forum for researchers and practitioners to present
original work emphasizing novel applications and implementationtechniques for all forms of declarative concepts, including,functional, logic, constraints, etc. Topics of interest include= , but
are not limited to:

 =  * Innovative applications of declarative languages
&nbs= p; * Declarative domain-specific languages and applications
  * Practical applications of theoretical results
  * New language developments and their impact on applicati= ons
  * Declarative languages and software engineer= ing
  * Evaluation of implementation techniques on = practical applications
  * Practical experiences an= d industrial applications
  * Novel uses of declara= tive languages in the classroom
  * Practical exten= sions such as constraint-based, probabilistic, and 
&nbs= p;   reactive languages.

 =  PADL 2015 welcomes new ideas and approaches pertaining to
applications and implementation of declarative languages. PADL 2015 will=
be co-located with the ACM Federated Computing Research Conf= erences, in
Portland, Oregon.

&n= bsp;            = ;        CONFERENCE REGISTRATION          &nb= sp;          =3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

 Please visit the conference web site for information about = ;
registration and travel accommodations.

--------------------
College of Arts & Scien= ces
New Mexico State University
<= span style=3D"text-align: -webkit-auto;" class=3D"">Las Cruces, NM 88003

= --Apple-Mail=_38F18B8F-F367-4EA6-A7D1-CF9DF6CBA3A7--