IFL 2009: Call for Papers
IFL 2009 <[email protected]> Thu, 15 Jan 2009 12:09:34 -0500
| Newsgroups | gmane.lisp.region.sweden,gmane.lisp.web |
|---|---|
| Message-ID | <OF2DF4CF04.693F921A-ON8525753F.005D94F6-8525753F.005E429C@shu.edu> |
This is a multipart message in MIME format. --===============7144154350846296279== Content-Type: multipart/alternative; boundary="=_alternative 005E42978525753F_=" This is a multipart message in MIME format. --=_alternative 005E42978525753F_= 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/ The 21st IFL symposium, IFL 2009, will be held for the first time in the=20 USA. The hosting institution is Seton Hall=20 University in South Orange, NJ, USA and the symposium dates are September=20 23-25, 2009. It is our goal to make IFL a regular event held in the USA. The goal of the IFL symposia is to bring=20 together researchers actively engaged in the=20 implementation and application of functional and function-based=20 programming languages. IFL 2009 will be a venue for=20 researchers to present and discuss new ideas and concepts, work in=20 progress, and publication-ripe results related to=20 the implementation and application of functional languages and=20 function-based programming. Following the IFL tradition, IFL 2009 will use a post-symposium review=20 process to produce a formal proceedings which we=20 expect to be published by Springer in the Lecture Notes in Computer=20 Science series. All participants in IFL 2009 are=20 invited to submit either a draft paper or and extended abstract describing = 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 as well as=20 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 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,=20 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 January 15, 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 005E42978525753F_= 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">The 21st IFL symposium, IFL 2009, wi= ll be held for the first time in the USA. The hosting institution is Seton Hall </font> <br><font size=3D2 face=3D"sans-serif">University in South Orange, NJ, USA and the symposium dates are September 23-25, 2009. It is our goal to make IFL a</font> <br><font size=3D2 face=3D"sans-serif">regular event held in the USA. The g= oal of the IFL symposia is to bring together researchers actively engaged in the </font> <br><font size=3D2 face=3D"sans-serif">implementation and application of fu= nctional and function-based programming languages. IFL 2009 will be a venue for </font> <br><font size=3D2 face=3D"sans-serif">researchers to present and discuss n= ew ideas and concepts, work in progress, and publication-ripe results related to </font> <br><font size=3D2 face=3D"sans-serif">the implementation and application of functional 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 we </font> <br><font size=3D2 face=3D"sans-serif">expect to 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 and 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 as well as submissions describing applications 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> <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; January 15, 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 005E42978525753F_=-- --===============7144154350846296279== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Lisp mailing list [email protected] http://mailman.nocrew.org/cgi-bin/mailman/listinfo/lisp --===============7144154350846296279==--