From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2A9lA7o002149 for ; Thu, 10 Mar 2011 10:47:10 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AicCAC8seE3LvMjIk2dsb2JhbACCW5xBhw1rAQEBAQcLCwkUAyKxCIIehSqJCgEEBAGFXQSFIopr X-IronPort-AV: E=Sophos;i="4.62,295,1297033200"; d="scan'208,217";a="93458760" Received: from nm3-vm0.bullet.mail.tp2.yahoo.com ([203.188.200.200]) by mail2-smtp-roc.national.inria.fr with SMTP; 10 Mar 2011 10:47:01 +0100 Received: from [203.188.200.81] by nm3.bullet.mail.tp2.yahoo.com with NNFMP; 10 Mar 2011 09:47:00 -0000 Received: from [203.188.200.61] by tm2.bullet.mail.tp2.yahoo.com with NNFMP; 10 Mar 2011 09:47:00 -0000 Received: from [127.0.0.1] by omp1002.mail.tp2.yahoo.com with NNFMP; 10 Mar 2011 09:47:00 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 214094.80624.bm@omp1002.mail.tp2.yahoo.com Received: (qmail 6648 invoked by uid 60001); 10 Mar 2011 09:46:57 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com.tw; s=s1024; t=1299750417; bh=0s/K55vo5FslDHV/3c7vahvHePaIZHn6dPTas4CekKw=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=vs1URVKHlI0HPfmymo/kP4Zx2EykukMFpv5iYKaKJjycFTSxMpWkO7Z0+e45FZfOvYsPjlhSOUCHPyvwEIX+JrmIrdva87TKml/HW9ocSBQ2aQ7Yjy6iShkQFUlRL4IkP1oZRaxuS35Y8z9LlYVgW3Yum5/+a6yzHzam8ao4zYs= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com.tw; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=TRJG/xEgxuONO80DGR7dnZPXS8qLhTABcotikeQtj6dP0u0Ja49sMXpQ0/1fHiSOcAFD3o/eW979tUGuRHNrXA3nhWwiMZLyhU8JgY8rXofWqtmuUjwMA9EAS9oFUIL76cFXCrlrhrPqC0p5tiKJwsDKP7qoU7Q+xOeBcfr/Nag=; Message-ID: <334382.6640.qm@web74206.mail.tp2.yahoo.com> X-YMail-OSG: W6xlzocVM1lXO47F4K971CmhyM6ZB1NeA0tA5oZtXz3rFnX 42K3ETbR7O2cQROqUje_lzvIRSpoi0nzUA2FTtahN55hvecdYmf39VYmW7GA HBFtG7NuoXP94G4kDbkAODLW6Yxc3UBwCVEXrZv1v6gvG.b9rMhF7d6aUaRI vXaNFysreGGh0rYK1GghvFsvsGdIAcyOhCDyhKxCok9vscppL941cTCUqY.3 PDIpFrFvku8jLW.yRMDydvOI8e.TAbG_6n6x31_ZYkU3i8nsMVqxwftHVbfo 6sfT4HTdNZCxfjWS1WX.OexbWZreSXYxqTFtuGibAMmfRy0ZtHAGw7g7i Received: from [220.128.137.18] by web74206.mail.tp2.yahoo.com via HTTP; Thu, 10 Mar 2011 17:46:56 CST X-Mailer: YahooMailRC/559 YahooMailWebService/0.8.109.292656 Date: Thu, 10 Mar 2011 17:46:56 +0800 (CST) From: cmlrdg@yahoo.com.tw To: announce@aosd.net, generics@haskell.org, appsem@lists.tcs.ifi.lmu.de, caml-list@yquem.inria.fr, categories@mta.ca MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-1028639802-1299750416=:6640" Subject: [Caml-list] 7th ACM SIGPLAN Workshop on Generic Programming --0-1028639802-1299750416=:6640 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= CALL FOR PAPERS =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0 WGP 2011 =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 7th ACM SIGPLAN Workshop on Generic Progr= amming =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0 Tokyo, Japan =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Sunday, September= 18th, 2011 =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 http://flolac.iis.sinica.edu.tw/wgp= 11/ Collocated with the International Conference on Functional Programming =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0 (ICFP 2011) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of =A0=A0=A0 * generic programming, =A0=A0=A0 * programming with (C++) concepts, =A0=A0=A0 * meta-programming, =A0=A0=A0 * programming with type classes, =A0=A0=A0 * programming with modules, =A0=A0=A0 * programming with dependent types, =A0=A0=A0 * polytypic programming, =A0=A0=A0 * adaptive object-oriented programming, =A0=A0=A0 * component-based programming, =A0=A0=A0 * strategic programming, =A0=A0=A0 * aspect-oriented programming, =A0=A0=A0 * family polymorphism, =A0=A0=A0 * object-oriented generic programming, =A0=A0=A0 * and so on. Organizers ---------- Co-Chair =A0 Jaakko J=E4rvi, Texas A&M University, USA Co-Chair =A0 Shin-Cheng Mu, Academia Sinica, Taiwan Programme Committee ------------------- Dave Abrahams, BoostPro Computing, USA Magne Haveraaen, Universitetet i Bergen, Norway Akimasa Morihata, Tohoku University, Japan Pablo Nogueira, Universidad Polit=E9cnica de Madrid, Spain Ulf Norell, Chalmers University of Technology and University of Gothenberg,= =20 Sweden Ross Paterson, City University London, UK Rinus Plasmeijer, Radboud University Nijmegen, The Netherlands Sibylle Schupp, Technische Universit=E4t Hamburg-Harburg, Germany Andrew Sutton, Kent State University, USA Tarmo Uustalu, Institute of Cybernetics, Estonia Important Information --------------------- We plan to have formal proceedings, published by the ACM. Submission details Deadline for submission:=A0=A0=A0=A0 Monday=A0=A0=A0 2011-06-06 Notification of acceptance:=A0 Tuesday=A0=A0 2011-07-01 Final submission due:=A0=A0=A0=A0=A0=A0=A0 Monday=A0=A0=A0 2011-07-25 Workshop:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Sunday= =A0=A0=A0 2011-09-18 Authors should submit papers, in postscript or PDF format, formatted for A4 paper, to the WGP11 EasyChair instance by the above deadline. The length should be restricted to 12 pages in standard (two-column, 9pt) ACM format. Accepted papers are published by the ACM and will additionally appear in the ACM digital library. History of the Workshop on Generic Programming ---------------------------------------------- This year: =A0 * Tokyo, Japan 2011 (affiliated with ICFP11) Earlier Workshops on Generic Programming have been held in =A0 * Baltimore, Maryland, US 2010 (affiliated with ICFP10) =A0 * Edinburgh, UK 2009 (affiliated with ICFP09) =A0 * Victoria, BC, Canada 2008 (affiliated with ICFP), =A0 * Portland 2006 (affiliated with ICFP), =A0 * Ponte de Lima 2000 (affiliated with MPC), =A0 * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops =A0 * Utrecht 2005 (informal workshop), =A0 * Dagstuhl 2002 (IFIP WG2.1 Working Conference), =A0 * Nottingham 2001 (informal workshop), There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). Additional information: The WGP steering committee consists of J. Gibbons, R. Hinze, P. Jansson, J. J=E4rvi, J. Jeuring, B. Oliveira, S. Schupp, and M. Zalewski =20=20=20=20=20=20= --0-1028639802-1299750416=:6640 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D
         = ;            &n= bsp;    CALL FOR PAPERS
 
           &nbs= p;            &= nbsp;    WGP 2011
 
            7th= ACM SIGPLAN Workshop on Generic Programming
    &nb= sp;            =           Tokyo, Japan
&nbs= p;            &= nbsp;      Sunday, September 18th, 2011
 
           &nbs= p;  http://flolac.i= is.sinica.edu.tw/wgp11/
 
Collocated with the International Conference on Functional Programming=
            = ;            &n= bsp;    (ICFP 2011)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D
 

Goals of the workshop
---------------------
 
Generic programming is about making programs more adaptable by making<= BR>them more general. Generic programs often embody non-traditional kindsof polymorphism; ordinary programs are obtained from them by suitably
= instantiating their parameters. In contrast with normal programs, the
pa= rameters of a generic program are often quite rich in structure; for
exa= mple they may be other programs, types or type constructors, class
hiera= rchies, or even programming paradigms.
 
Generic programming techniques have always been of interest, both topractitioners and to theoreticians, and, for at least 20 years,
generi= c programming techniques have been a specific focus of research
in the f= unctional and object-oriented programming communities. Generic
programmi= ng has gradually spread to more and more mainstream
languages, and today= is widely used in industry. This workshop brings
together leading resea= rchers and practitioners in generic programming
from around the world, a= nd features papers capturing the state of the
art in this important area= .
 
We welcome contributions on all aspects, theoretical as well as
pra= ctical, of
 
    * generic programming,
    * prog= ramming with (C++) concepts,
    * meta-programming,
&= nbsp;   * programming with type classes,
    * = programming with modules,
    * programming with dependen= t types,
    * polytypic programming,
  &nbs= p; * adaptive object-oriented programming,
    * componen= t-based programming,
    * strategic programming,
&nbs= p;   * aspect-oriented programming,
    * famil= y polymorphism,
    * object-oriented generic programming= ,
    * and so on.
 
Organizers
----------
 
Co-Chair
  Jaakko J=E4rvi, Texas A&M University, USA
Co= -Chair
  Shin-Cheng Mu, Academia Sinica, Taiwan
 
Programme Committee
-------------------
 
Dave Abrahams, BoostPro Computing, USA
Magne Haveraaen, Universitet= et i Bergen, Norway
Akimasa Morihata, Tohoku University, Japan
Pablo = Nogueira, Universidad Polit=E9cnica de Madrid, Spain
Ulf Norell, Chalmer= s University of Technology and University of Gothenberg, Sweden
Ross Pat= erson, City University London, UK
Rinus Plasmeijer, Radboud University N= ijmegen, The Netherlands
Sibylle Schupp, Technische Universit=E4t Hambur= g-Harburg, Germany
Andrew Sutton, Kent State University, USA
Tarmo Uu= stalu, Institute of Cybernetics, Estonia
 
Important Information
---------------------
 
We plan to have formal proceedings, published by the ACM.
 
Submission details
Deadline for submission:    = Monday    2011-06-06
Notification of acceptance:  T= uesday   2011-07-01
Final submission due:   &nb= sp;    Monday    2011-07-25
Workshop: = ;            &n= bsp;      Sunday    2011-09-18
 
Authors should submit papers, in postscript or PDF format, formattedfor A4 paper, to the WGP11 EasyChair instance by the above deadline.
T= he length should be restricted to 12 pages in standard
(two-column, 9pt)= ACM format. Accepted papers are published by the ACM
and will additiona= lly appear in the ACM digital library.
 
History of the Workshop on Generic Programming
--------------------= --------------------------
 
This year:
 
  * Tokyo, Japan 2011 (affiliated with ICFP11)
 
Earlier Workshops on Generic Programming have been held in
 
  * Baltimore, Maryland, US 2010 (affiliated with ICFP10)
&nbs= p; * Edinburgh, UK 2009 (affiliated with ICFP09)
  * Victoria, BC, = Canada 2008 (affiliated with ICFP),
  * Portland 2006 (affiliated w= ith ICFP),
  * Ponte de Lima 2000 (affiliated with MPC),
  = * Marstrand 1998 (affiliated with MPC).
 
Furthermore, there were a few informal workshops
 
  * Utrecht 2005 (informal workshop),
  * Dagstuhl 2002 (= IFIP WG2.1 Working Conference),
  * Nottingham 2001 (informal works= hop),
 
There were also (closely related) DGP workshops in Oxford (June
3-4= 2004), and a Spring School on DGP in Nottingham (April 24-27
2006, whic= h had a half-day workshop attached).

Additional information:
 
The WGP steering committee consists of J. Gibbons, R. Hinze, P. Jansso= n,
J. J=E4rvi, J. Jeuring, B. Oliveira, S. Schupp, and M. Zalewski

 = --0-1028639802-1299750416=:6640--