*****SPAM***** IFL 2009: Final Call for Papers and Participation
IFL 2009 <[email protected]> Thu, 13 Aug 2009 10:15:36 -0400
| Newsgroups | gmane.lisp.region.sweden,gmane.lisp.web |
|---|---|
| Message-ID | <OFB92D642B.6C436531-ON85257611.004E553F-85257611.004E5541@shu.edu> |
--===============7372712945267649123== 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><div><br>Call for Papers and Participation<br>IFL 2009<br>Seton Hall U= niversity<br>South Orange, NJ, USA<br><a class=3D"moz-txt-link-freetext" hr= ef=3D"http://tltc.shu.edu/blogs/projects/IFL2009/">http://tltc.shu.edu/blog= s/projects/IFL2009/</a><br><br>Register at: <a class=3D"moz-txt-link-freete= xt" href=3D"http://tltc.shu.edu/blogs/projects/IFL2009/registration.html">h= ttp://tltc.shu.edu/blogs/projects/IFL2009/registration.html</a><br><br><br>= ***** NEW *****<br><br>Registration and talk submission deadline fast appro= aching: August 23, 2009<br><br><br>***************<br><br><br>The 21st Inte= rnational Symposium on Implementation and Application of Functional Languag= es, IFL 2009, will be held <br>for the first time in the USA. The hosting i= nstitution is Seton Hall University in South Orange, NJ, USA and the <br>sy= mposium dates are September 23-25, 2009. It is our goal to make IFL a regul= ar event held in the USA and in <br>Europe. The goal of the IFL symposia is= to bring together researchers actively engaged in the implementation and <= br>application of functional and function-based programming languages. IFL = 2009 will be a venue for researchers to <br>present and discuss new ideas a= nd concepts, work in progress, and publication-ripe results related to the = <br>implementation and application of functional languages and function-bas= ed programming.<br><br>Following the IFL tradition, IFL 2009 will use a pos= t-symposium review process to produce a formal proceedings which <br>will b= e published by Springer in the Lecture Notes in Computer Science series. Al= l participants in IFL 2009 are <br>invited to submit either a draft paper o= r an extended abstract describing work to be presented at the symposium. <b= r>These submissions will be screened by the program committee chair to make= sure they are within the scope of IFL and will <br>appear in the draft pro= ceedings distributed at the symposium. Submissions appearing in the draft p= roceedings are not <br>peer-reviewed publications. After the symposium, aut= hors will be given the opportunity to incorporate the feedback from <br>dis= cussions at the symposium and will be invited to submit a revised full arct= icle for the formal review process. These <br>revised submissions will be r= eviewed by the program committee using prevailing academic standards to sel= ect the best <br>articles that will appear in the formal proceedings.<br><b= r><br>Invited Speaker:<br><br> Benjamin C. Pierce<br>&nbs= p; University of Pennsylvania<br> Talk Title:= How To Build Your Own Bidirectional Programming Language<br><br><br>TOPICS= <br><br>IFL welcomes submissions describing practical and theoretical work = as well as submissions describing applications and tools. <br>If you are no= t sure if your work is appropriate for IFL 2009, please contact the PC chai= r 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> language concepts <br> type checking <br> contract= s<br> compilation techniques <br> staged compilation<br> run= time function specialization<br> runtime code generation <br> par= tial evaluation <br> (abstract) interpretation <br> generic= programming techniques <br> automatic program generation <br> ar= ray processing <br> concurrent/parallel programming <br> concurre= nt/parallel program execution <br> functional programming and embedded= systems <br> functional programming and web applications <br> fu= nctional programming and security <br> novel memory management techniq= ues <br> runtime profiling and performance measurements <br> debu= gging and tracing <br> virtual/abstract machine architectures <br>&nbs= p;validation and verification of functional programs <br> = tools and programming techniques <br> FP in Education<br><br><br>PAPER= SUBMISSIONS<br><br>Prospective authors are encouraged to submit papers or = extended abstracts to be published in the draft proceedings and to <br>pres= ent them at the symposium. All contributions must be written in English, co= nform to the Springer-Verlag LNCS series <br>format and not exceed 16 pages= . The draft proceedings will appear as a technical report of the Department= of Mathematics <br>and Computer Science of Seton Hall University.<br><br><= br>IMPORTANT DATES<br><br>Registration deadline &nbs= p; &= nbsp; August 23, 2009<br>Presentation submission deadline = August 23, 2009<br>IFL 2009 Symposium &= nbsp; &nbs= p; September 23-25, 2009<br>Submission = for review process deadline November 1, 2009<br>Notification Accept/R= eject &nbs= p; December 22, 2009<br>Camera ready version &= nbsp; &nbs= p; February 1, 2010<br><br><br>PROGRAM COMMITTEE<br><br>Peter A= chten &nbs= p; University of Nijmegen, The Netherlands<br>Jost Berthold &nbs= p; Philipps-Uni= versit=E4t Marburg, Germany<br>Andrew Butterfield &n= bsp; University of Dublin, Ireland<br>Robby Findler = Northwestern U= niversity, USA<br>Kathleen Fisher = AT&T Research, USA<br>Cormac Flanagan &nb= sp; University of California at S= anta Cruz, USA<br>Matthew Flatt &n= bsp; University of Utah, USA<br>Matthew Fluet = Toyota T= echnological Institute at Chicago, USA<br>Daniel Friedman = Indiana University, USA<br>Andy = Gill  = ; University of Kansas, USA<br>Clemens Grelck = University of = Amsterdam/Hertfordshire, The Netherlands/UK<br>Jurriaan Hage &nb= sp; Utrecht Universit= y, The Netherlands<br>Ralf Hinze &= nbsp; Oxford University, UK<br>Pa= ul Hudak &= nbsp; Yale University, USA<br>John Hughes &nbs= p; Chalme= rs University of Technology, Sweden<br>Patricia Johann &nb= sp; University of Strathclyde, UK<br>Yu= kiyoshi Kameyama University of Ts= ukuba, Japan<br>Marco T. Moraz=E1n (Chair) Seton Hall University, USA= <br>Rex Page &nb= sp; University of Oklahoma, USA<br>Fern= ando Rubio  = ; Universidad Complutense de Madrid, Spain<br>Sven-Bodo Scholz &= nbsp; University of Hertfordshire, UK<b= r>Manuel Serrano  = ; INRIA Sophia-Antipolis, France<br>Chung-chieh Shan  = ; Rutgers University, USA<br>David Walk= er &= nbsp; Princeton University, USA<br>Vikt=F3ria Zs=F3k  = ; E=F6tv=F6s Lor=E1nd Unive= rsity, Hungary<br><br><br>PETER LANDIN PRIZE<br><br>The Peter Landin Prize = is awarded to the best paper presented at the symposium every year. The hon= ored article is selected <br>by the program committee based on the submissi= ons received for the formal review process. The prize carries a cash award = <br>equivalent to 150 euros.<br><br></div></FONT>= --===============7372712945267649123== 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 --===============7372712945267649123==--