IFL 2009: Second Call for Papers
IFL 2009 <[email protected]> Fri, 29 May 2009 12:23:10 -0400
| Newsgroups | gmane.lisp.web,gmane.lisp.region.sweden |
|---|---|
| Message-ID | <OFBB4CC84F.0D153E79-ON852575C5.00597FA4-852575C5.005A0385@shu.edu> |
This is a multipart message in MIME format. --===============3228812655816003086== Content-Type: multipart/alternative; boundary="=_alternative 005A0383852575C5_=" This is a multipart message in MIME format. --=_alternative 005A0383852575C5_= Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable Call for Papers=20 IFL 2009 Seton Hall University SOUTH ORANGE, NJ, USA http://tltc.shu.edu/blogs/projects/IFL2009/ ** NEW ** Accomodations information available:=20 http://tltc.shu.edu/blogs/projects/IFL2009/accommodations.html Jane Street Capital has joined IFL 2009 as a sponsor ********* The 21st International Symposium on Implementation and Application of=20 Functional Languages, IFL 2009, will be held=20 for the first time in the USA. The hosting institution is Seton Hall=20 University in South Orange, NJ, USA and the=20 symposium dates are September 23-25, 2009. It is our goal to make IFL a=20 regular event held in the USA and in=20 Europe. The goal of the IFL symposia is to bring together researchers=20 actively engaged in the implementation and=20 application of functional and function-based programming languages. IFL=20 2009 will be a venue for researchers to=20 present and discuss new ideas and concepts, work in progress, and=20 publication-ripe results related to the=20 implementation and application of functional languages and function-based=20 programming. Following the IFL tradition, IFL 2009 will use a post-symposium review=20 process to produce a formal proceedings which=20 will be published by Springer in the Lecture Notes in Computer Science=20 series. All participants in IFL 2009 are=20 invited to submit either a draft paper or an extended abstract describing=20 work to be presented at the symposium.=20 These submissions will be screened by the program committee chair to make=20 sure they are within the scope of IFL and will=20 appear in the draft proceedings distributed at the symposium. Submissions=20 appearing in the draft proceedings are not=20 peer-reviewed publications. After the symposium, authors will be given the = opportunity to incorporate the feedback from=20 discussions at the symposium and will be invited to submit a revised full=20 arcticle for the formal review process. These=20 revised submissions will be reviewed by the program committee using=20 prevailing academic standards to select the best=20 articles that will appear in the formal proceedings. TOPICS IFL welcomes submissions describing practical and theoretical work as well = as submissions describing applications and tools.=20 If you are not sure if your work is appropriate for IFL 2009, please=20 contact the PC chair at [email protected]. Topics of=20 interest include, but are not limited to: language concepts=20 type checking=20 contracts compilation techniques=20 staged compilation runtime function specialization runtime code generation=20 partial evaluation=20 (abstract) interpretation=20 generic programming techniques=20 automatic program generation=20 array processing=20 concurrent/parallel programming=20 concurrent/parallel program execution=20 functional programming and embedded systems=20 functional programming and web applications=20 functional programming and security=20 novel memory management techniques=20 runtime profiling and performance measurements=20 debugging and tracing=20 virtual/abstract machine architectures=20 validation and verification of functional programs=20 tools and programming techniques=20 FP in Education PAPER SUBMISSIONS Prospective authors are encouraged to submit papers or extended abstracts=20 to be published in the draft proceedings and to=20 present them at the symposium. All contributions must be written in=20 English, conform to the Springer-Verlag LNCS series=20 format and not exceed 16 pages. The draft proceedings will appear as a=20 technical report of the Department of Mathematics=20 and Computer Science of Seton Hall University. IMPORTANT DATES Registration deadline August 15, 2009 Presentation submission deadline August 15, 2009 IFL 2009 Symposium September 23-25, 2009 Submission for review process deadline November 1, 2009 Notification Accept/Reject December 22, 2009 Camera ready version February 1, 2010 PROGRAM COMMITTEE Peter Achten University of Nijmegen, The Netherlands Jost Berthold Philipps-Universit=E4t Marburg, Germany Andrew Butterfield University of Dublin, Ireland Robby Findler Northwestern University, USA Kathleen Fisher AT&T Research, USA Cormac Flanagan University of California at Santa Cruz, USA Matthew Flatt University of Utah, USA Matthew Fluet Toyota Technological Institute at=20 Chicago, USA Daniel Friedman Indiana University, USA Andy Gill University of Kansas, USA Clemens Grelck University of Amsterdam/Hertfordshire, The = Netherlands/UK Jurriaan Hage Utrecht University, The Netherlands Ralf Hinze Oxford University, UK Paul Hudak Yale University, USA John Hughes Chalmers University of Technology,=20 Sweden Patricia Johann University of Strathclyde, UK Yukiyoshi Kameyama University of Tsukuba, Japan Marco T. Moraz=E1n (Chair) Seton Hall University, USA Rex Page University of Oklahoma, USA Fernando Rubio Universidad Complutense de Madrid, Spain Sven-Bodo Scholz University of Hertfordshire, UK Manuel Serrano INRIA Sophia-Antipolis, France Chung-chieh Shan Rutgers University, USA David Walker Princeton University, USA Vikt=F3ria Zs=F3k E=F6tv=F6s Lor=E1nd University, = Hungary PETER LANDIN PRIZE The Peter Landin Prize is awarded to the best paper presented at the=20 symposium every year. The honored article is selected=20 by the program committee based on the submissions received for the formal=20 review process. The prize carries a cash award=20 equivalent to 150 euros. --=_alternative 005A0383852575C5_= Content-Type: text/html; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable <br><font size=3D2 face=3D"sans-serif">Call for Papers </font> <br><font size=3D2 face=3D"sans-serif">IFL 2009</font> <br><font size=3D2 face=3D"sans-serif">Seton Hall University</font> <br><font size=3D2 face=3D"sans-serif">SOUTH ORANGE, NJ, USA</font> <br><a href=3Dhttp://tltc.shu.edu/blogs/projects/IFL2009/><font size=3D2 fa= ce=3D"sans-serif">http://tltc.shu.edu/blogs/projects/IFL2009/</font></a> <br> <br> <br><font size=3D2 face=3D"sans-serif">** NEW **</font> <br> <br><font size=3D2 face=3D"sans-serif">Accomodations information available: </font><a href=3Dhttp://tltc.shu.edu/blogs/projects/IFL2009/accommodations.= html><font size=3D2 face=3D"sans-serif">http://tltc.shu.edu/blogs/projects/= IFL2009/accommodations.html</font></a> <br> <br><font size=3D2 face=3D"sans-serif">Jane Street Capital has joined IFL 2= 009 as a sponsor</font> <br> <br><font size=3D2 face=3D"sans-serif">*********</font> <br> <br> <br><font size=3D2 face=3D"sans-serif">The 21st International Symposium on Implementation and Application of Functional Languages, IFL 2009, will be held </font> <br><font size=3D2 face=3D"sans-serif">for the first time in the USA. The h= osting institution is Seton Hall University in South Orange, NJ, USA and the </fon= t> <br><font size=3D2 face=3D"sans-serif">symposium dates are September 23-25, 2009. It is our goal to make IFL a regular event held in the USA and in </font> <br><font size=3D2 face=3D"sans-serif">Europe. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and </font> <br><font size=3D2 face=3D"sans-serif">application of functional and functi= on-based programming languages. IFL 2009 will be a venue for researchers to </font> <br><font size=3D2 face=3D"sans-serif">present and discuss new ideas and co= ncepts, work in progress, and publication-ripe results related to the </font> <br><font size=3D2 face=3D"sans-serif">implementation and application of fu= nctional languages and function-based programming.</font> <br> <br><font size=3D2 face=3D"sans-serif">Following the IFL tradition, IFL 2009 will use a post-symposium review process to produce a formal proceedings which </font> <br><font size=3D2 face=3D"sans-serif">will be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are </font> <br><font size=3D2 face=3D"sans-serif">invited to submit either a draft pap= er or an extended abstract describing work to be presented at the symposium. </font> <br><font size=3D2 face=3D"sans-serif">These submissions will be screened by the program committee chair to make sure they are within the scope of IFL and will </font> <br><font size=3D2 face=3D"sans-serif">appear in the draft proceedings dist= ributed at the symposium. Submissions appearing in the draft proceedings are not </font> <br><font size=3D2 face=3D"sans-serif">peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from </font> <br><font size=3D2 face=3D"sans-serif">discussions at the symposium and will be invited to submit a revised full arcticle for the formal review process. These </font> <br><font size=3D2 face=3D"sans-serif">revised submissions will be reviewed by the program committee using prevailing academic standards to select the best </font> <br><font size=3D2 face=3D"sans-serif">articles that will appear in the for= mal proceedings.</font> <br> <br> <br><font size=3D2 face=3D"sans-serif">TOPICS</font> <br> <br><font size=3D2 face=3D"sans-serif">IFL welcomes submissions describing practical and theoretical work as well as submissions describing applicatio= ns and tools. </font> <br><font size=3D2 face=3D"sans-serif">If you are not sure if your work is appropriate for IFL 2009, please contact the PC chair at [email protected]. Topics of </font> <br><font size=3D2 face=3D"sans-serif">interest include, but are not limited to:</font> <br> <br><font size=3D2 face=3D"sans-serif"> language concepts </font> <br><font size=3D2 face=3D"sans-serif"> type checking </font> <br><font size=3D2 face=3D"sans-serif"> contracts</font> <br><font size=3D2 face=3D"sans-serif"> compilation techniques </font> <br><font size=3D2 face=3D"sans-serif"> staged compilation</font> <br><font size=3D2 face=3D"sans-serif"> runtime function specializatio= n</font> <br><font size=3D2 face=3D"sans-serif"> runtime code generation </font> <br><font size=3D2 face=3D"sans-serif"> partial evaluation </fon= t> <br><font size=3D2 face=3D"sans-serif"> (abstract) interpretation </fo= nt> <br><font size=3D2 face=3D"sans-serif"> generic programming techniques </font> <br><font size=3D2 face=3D"sans-serif"> automatic program generation <= /font> <br><font size=3D2 face=3D"sans-serif"> array processing </font> <br><font size=3D2 face=3D"sans-serif"> concurrent/parallel programming </font> <br><font size=3D2 face=3D"sans-serif"> concurrent/parallel program ex= ecution </font> <br><font size=3D2 face=3D"sans-serif"> functional programming and emb= edded systems </font> <br><font size=3D2 face=3D"sans-serif"> functional programming and web applications </font> <br><font size=3D2 face=3D"sans-serif"> functional programming and sec= urity </font> <br><font size=3D2 face=3D"sans-serif"> novel memory management techni= ques </font> <br><font size=3D2 face=3D"sans-serif"> runtime profiling and performa= nce measurements </font> <br><font size=3D2 face=3D"sans-serif"> debugging and tracing </font> <br><font size=3D2 face=3D"sans-serif"> virtual/abstract machine archi= tectures </font> <br><font size=3D2 face=3D"sans-serif"> validation and verification of functional programs </font> <br><font size=3D2 face=3D"sans-serif"> tools and programming techniqu= es </font> <br><font size=3D2 face=3D"sans-serif"> FP in Education</font> <br> <br> <br><font size=3D2 face=3D"sans-serif">PAPER SUBMISSIONS</font> <br> <br><font size=3D2 face=3D"sans-serif">Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to </font> <br><font size=3D2 face=3D"sans-serif">present them at the symposium. All c= ontributions must be written in English, conform to the Springer-Verlag LNCS series </font> <br><font size=3D2 face=3D"sans-serif">format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Mathematics </font> <br><font size=3D2 face=3D"sans-serif">and Computer Science of Seton Hall U= niversity.</font> <br> <br> <br><font size=3D2 face=3D"sans-serif">IMPORTANT DATES</font> <br> <br><font size=3D2 face=3D"sans-serif">Registration deadline August 15, 2009</font> <br><font size=3D2 face=3D"sans-serif">Presentation submission deadline &nb= sp; August 15, 2009</font> <br><font size=3D2 face=3D"sans-serif">IFL 2009 Symposium &nb= sp; September 23-25, 2009</font> <br><font size=3D2 face=3D"sans-serif">Submission for review process deadli= ne November 1, 2009</font> <br><font size=3D2 face=3D"sans-serif">Notification Accept/Reject &n= bsp; December 22, 2009</font> <br><font size=3D2 face=3D"sans-serif">Camera ready version &= nbsp; February 1, 2010</font> <br> <br> <br><font size=3D2 face=3D"sans-serif">PROGRAM COMMITTEE</font> <br> <br><font size=3D2 face=3D"sans-serif">Peter Achten &n= bsp; University of Nijmegen, The Netherlands</font> <br><font size=3D2 face=3D"sans-serif">Jost Berthold &= nbsp; Philipps-Universit=E4t Mar= burg, Germany</font> <br><font size=3D2 face=3D"sans-serif">Andrew Butterfield &nb= sp; University of Dublin, Ireland</font> <br><font size=3D2 face=3D"sans-serif">Robby Findler &= nbsp; Northwestern University, USA</fon= t> <br><font size=3D2 face=3D"sans-serif">Kathleen Fisher AT&T Research, USA</font> <br><font size=3D2 face=3D"sans-serif">Cormac Flanagan University of California at Santa Cruz, USA</fon= t> <br><font size=3D2 face=3D"sans-serif">Matthew Flatt &= nbsp; University of Utah, USA</font> <br><font size=3D2 face=3D"sans-serif">Matthew Fluet &= nbsp; Toyota Technological Insti= tute at Chicago, USA</font> <br><font size=3D2 face=3D"sans-serif">Daniel Friedman Indiana University, USA</font> <br><font size=3D2 face=3D"sans-serif">Andy Gill University of Kansas, USA</font> <br><font size=3D2 face=3D"sans-serif">Clemens Grelck University of Amsterdam/Hertfordsh= ire, The Netherlands/UK</font> <br><font size=3D2 face=3D"sans-serif">Jurriaan Hage &= nbsp; Utrecht University, The Netherlands</font> <br><font size=3D2 face=3D"sans-serif">Ralf Hinze &nbs= p;  = ;Oxford University, UK</font> <br><font size=3D2 face=3D"sans-serif">Paul Hudak &nbs= p; Yale Univers= ity, USA</font> <br><font size=3D2 face=3D"sans-serif">John Hughes &nb= sp; Chalmers University of Technology, Sweden</font> <br><font size=3D2 face=3D"sans-serif">Patricia Johann University of Strathclyde, UK</font> <br><font size=3D2 face=3D"sans-serif">Yukiyoshi Kameyama &nb= sp; University of Tsukuba, Japan</font> <br><font size=3D2 face=3D"sans-serif">Marco T. Moraz=E1n (Chair) Set= on Hall University, USA</font> <br><font size=3D2 face=3D"sans-serif">Rex Page University of Oklahoma, USA</font> <br><font size=3D2 face=3D"sans-serif">Fernando Rubio Universidad Complutense de Madrid, Spain</font> <br><font size=3D2 face=3D"sans-serif">Sven-Bodo Scholz University of Hertfordshire, UK</font> <br><font size=3D2 face=3D"sans-serif">Manuel Serrano INRIA Sophia-Antipolis, France</font> <br><font size=3D2 face=3D"sans-serif">Chung-chieh Shan Rutgers University, USA</font> <br><font size=3D2 face=3D"sans-serif">David Walker &n= bsp; Princeton Universit= y, USA</font> <br><font size=3D2 face=3D"sans-serif">Vikt=F3ria Zs=F3k &nbs= p; E=F6tv=F6s Lo= r=E1nd University, Hungary</font> <br> <br> <br><font size=3D2 face=3D"sans-serif">PETER LANDIN PRIZE</font> <br> <br><font size=3D2 face=3D"sans-serif">The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected </font> <br><font size=3D2 face=3D"sans-serif">by the program committee based on the submissions received for the formal review process. The prize carries a cash award </font> <br><font size=3D2 face=3D"sans-serif">equivalent to 150 euros.</font> <br> --=_alternative 005A0383852575C5_=-- --===============3228812655816003086== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ lispweb mailing list [email protected] http://www.red-bean.com/mailman/listinfo/lispweb --===============3228812655816003086==--