*****SPAM***** IFL 2009: Call for Papers and Participation
IFL 2009 <[email protected]> Sun, 2 Aug 2009 09:33:28 -0400
| Newsgroups | gmane.lisp.region.sweden,gmane.lisp.web |
|---|---|
| Message-ID | <OF8EAC3BF7.A26057B8-ON85257606.004A799C-85257606.004A799E@shu.edu> |
--===============5109067455546513208== Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=ISO-8859-1 <FONT face=3D"Default Sans Serif,Verdana,Arial,Helvetica,sans-serif" size= =3D2>Call for Papers and Participation<br>IFL 2009<br>Seton Hall University= <br>SOUTH ORANGE, NJ, USA<br><a class=3D"moz-txt-link-freetext" href=3D"htt= p://tltc.shu.edu/blogs/projects/IFL2009/">http://tltc.shu.edu/blogs/project= s/IFL2009/</a><br><br>Register at: <a class=3D"moz-txt-link-freetext" href= =3D"http://tltc.shu.edu/blogs/projects/IFL2009/registration.html">http://tl= tc.shu.edu/blogs/projects/IFL2009/registration.html</a><br><br><br>***** NE= W *****<br><br>Registration and talk submission extended to August 23, 2009= ! <br><br><br>***************<br><br><br>The 21st International Symposium o= n Implementation and Application of Functional Languages, IFL 2009, will be= held <br>for the first time in the USA. The hosting institution is Seton H= all University in South Orange, NJ, USA and the <br>symposium dates are Sep= tember 23-25, 2009. It is our goal to make IFL a regular event held in the = USA and in <br>Europe. The goal of the IFL symposia is to bring together re= searchers actively engaged in the implementation and <br>application of fun= ctional and function-based programming languages. IFL 2009 will be a venue = for researchers to <br>present and discuss new ideas and concepts, work in = progress, and publication-ripe results related to the <br>implementation an= d application of functional languages and function-based programming.<br><b= r>Following the IFL tradition, IFL 2009 will use a post-symposium review pr= ocess to produce a formal proceedings which <br>will be published by Spring= er in the Lecture Notes in Computer Science series. All participants in IFL= 2009 are <br>invited to submit either a draft paper or an extended abstrac= t describing work to be presented at the symposium. <br>These submissions w= ill be screened by the program committee chair to make sure they are within= the scope of IFL and will <br>appear in the draft proceedings distributed = at the symposium. Submissions appearing in the draft proceedings are not <b= r>peer-reviewed publications. After the symposium, authors will be given th= e opportunity to incorporate the feedback from <br>discussions at the sympo= sium and will be invited to submit a revised full arcticle for the formal r= eview process. These <br>revised submissions will be reviewed by the progra= m committee using prevailing academic standards to select the best <br>arti= cles that will appear in the formal proceedings.<br><br><br>Invited Speaker= :<br><br> Benjamin C. Pierce<br> Univer= sity of Pennsylvania<br> Talk Title: How To Build Your Ow= n Bidirectional Programming Language<br><br><br>TOPICS<br><br>IFL welcomes = submissions describing practical and theoretical work as well as submission= s describing applications and tools. <br>If you are not sure if your work i= s appropriate for IFL 2009, please contact the PC chair at <a class=3D"moz-= txt-link-abbreviated" href=3D"mailto:[email protected]">[email protected]</a>. = Topics of <br>interest include, but are not limited to:<br><br> langua= ge concepts <br> type checking <br> contracts<br> compilatio= n techniques <br> staged compilation<br> runtime function special= ization<br> runtime code generation <br> partial evaluation  = ;<br> (abstract) interpretation <br> generic programming techniqu= es <br> automatic program generation <br> array processing <br>&n= bsp;concurrent/parallel programming <br> concurrent/parallel program e= xecution <br> functional programming and embedded systems <br> fu= nctional programming and web applications <br> functional programming = and security <br> novel memory management techniques <br> runtime= profiling and performance measurements <br> debugging and tracing <br= > virtual/abstract machine architectures <br> validation and veri= fication of functional programs <br> tools and programming= techniques <br> FP in Education<br><br><br>PAPER SUBMISSIONS<br><br>P= rospective authors are encouraged to submit papers or extended abstracts to= be published in the draft proceedings and to <br>present them at the sympo= sium. All contributions must be written in English, conform to the Springer= -Verlag LNCS series <br>format and not exceed 16 pages. The draft proceedin= gs will appear as a technical report of the Department of Mathematics <br>a= nd Computer Science of Seton Hall University.<br><br><br>IMPORTANT DATES<br= ><br>Registration deadline &= nbsp; August 15, 2009= <br>Presentation submission deadline &nb= sp; August 15, 2009<br>IFL 2009 Symposium &nbs= p; &= nbsp; September 23-25, 2009<br>Submission for review process de= adline November 1, 2009<br>Notification Accept/Reject &nbs= p; December 22,= 2009<br>Camera ready version &nbs= p; Februa= ry 1, 2010<br><br><br>PROGRAM COMMITTEE<br><br>Peter Achten &nbs= p; University o= f Nijmegen, The Netherlands<br>Jost Berthold &= nbsp; Philipps-Universit=E4t Marburg, G= ermany<br>Andrew Butterfield Univ= ersity of Dublin, Ireland<br>Robby Findler &nb= sp; Northwestern University, USA<br>Kat= hleen Fisher AT= &T Research, USA<br>Cormac Flanagan = University of California at Santa Cruz, USA<br>Mat= thew Flatt  = ; University of Utah, USA<br>Matthew Fluet &nb= sp; Toyota Technological Institut= e at Chicago, USA<br>Daniel Friedman &nb= sp; Indiana University, USA<br>Andy Gill  = ; &n= bsp; University of Kansas, USA<br>Clemens Grelck &nb= sp; University of Amsterdam/Hertfordshi= re, The Netherlands/UK<br>Jurriaan Hage = Utrecht University, The Netherlands<br= >Ralf Hinze &nbs= p; Oxford University, UK<br>Paul Hudak &= nbsp; &nbs= p; Yale University, USA<br>John Hughes &= nbsp; Chalmers University of Tech= nology, Sweden<br>Patricia Johann = University of Strathclyde, UK<br>Yukiyoshi Kameyama = ; University of Tsukuba, Japan<br>Marco= T. Moraz=E1n (Chair) Seton Hall University, USA<br>Rex Page &nb= sp; = University of Oklahoma, USA<br>Fernando Rubio  = ; Universidad Complut= ense de Madrid, Spain<br>Sven-Bodo Scholz &nbs= p; University of Hertfordshire, UK<br>Manuel Serrano = ; INRIA Sophia-= Antipolis, France<br>Chung-chieh Shan &n= bsp; Rutgers University, USA<br>David Walker &= nbsp; Princeton Unive= rsity, USA<br>Vikt=F3ria Zs=F3k &n= bsp; E=F6tv=F6s Lor=E1nd University, Hungary<br><br= ><br>PETER LANDIN PRIZE<br><br>The Peter Landin Prize is awarded to the bes= t paper presented at the symposium every year. The honored article is selec= ted <br>by the program committee based on the submissions received for the = formal review process. The prize carries a cash award <br>equivalent to 150= euros.<br><br></FONT>= --===============5109067455546513208== 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 --===============5109067455546513208==--