caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: HORVATH Zoltan <hz@inf.elte.hu>
To: caml-list@inria.fr
Subject: CFP IFL 2006, Budapest, Sep 4-6, 2006
Date: Mon, 13 Feb 2006 12:38:01 +0100 (CET)	[thread overview]
Message-ID: <Pine.LNX.4.64.0602131237350.18105@panda.inf.elte.hu> (raw)

[-- Attachment #1: Type: TEXT/PLAIN, Size: 4511 bytes --]

                      Announcement and Call for Papers



                          18th International Workshop on
           Implementation and Application of Functional Languages
                                  IFL 2006

                              September 4-6, 2006
                               Budapest, Hungary
                         http://plc.inf.elte.hu/ifl2006/

            		    Hosted by the
            Department of Programming Languages and Compilers of
            the Faculty of Informatics at Eötvös Loránd University


            	--------- IMPORTANT DATES  ---------


         * July 30th, 2006 Registration deadline
         * Aug   4th, 2006 Submission deadline for draft proceedings
         * Oct  24th, 2006 Submission deadline for post-refereeing process
         * Dec   8th, 2006 Notification of acceptance/rejection
         * Jan  31th  2007 Camera-ready papers

    ----------------------------------------------------------------------

Scope and Topics

The IFL  workshops form a  tradition that  has lasted for nearly two decades. 
The aim of these workshops is to bring  together researchers actively engaged 
in  the  implementation  and  application  of  functional and  function-based 
programming languages. They provide an open forum for researchers who wish to 
present  and  discuss new ideas and concepts, work  in  progress, preliminary 
results, etc. related primarily but not exclusively to the implementation and 
application of functional languages.

Topics of interest include, but are not limited to:

* language concepts
* concurrent/parallel programming
* type checking
* concurrent/parallel program execution
* compilation techniques
* heap management
* generic programming techniques
* runtime profiling
* (abstract) interpretation
* performance measurements
* automatic program generation
* debugging and tracing
* (abstract) machine architectures
* verification
* formal aspects
* tools and programming techniques
* array processing
* demos of well working, useable tools and  applications
       in functional languages

    Papers on applications demonstrating  the  suitability of novel ideas in any 
of the above areas and contributions on  related  theoretical work are also 
welcomed. The change of the workshop name adding the term "application", 
introduced in 2004, is to reflect the broader scope IFL has gained over recent 
years.

    Prospective authors are encouraged to submit papers to be published in the 
draft
proceedings and to give  presentations at  the workshop. All contributions must 
be
written in English, conform to the Springer-Verlag LNCS series format.

    Attendees at IFL'06  will  have  an opportunity  to  submit a revised 
version of their  paper  for  post-workshop  reviewing.  Selected papers will 
be  published by Springer Verlag in the well-known Lecture Notes in Computer 
Science  (LNCS) Series, as  has  been a long-standing  tradition  for  the  IFL 
Workshops.

Programme Committee

Matthias Blume        (Toyota Technological Institute, Chicago, USA)
Zoran Budimac         (University of Novi Sad, Serbia)
Andrew Butterfield    (Trinity College Dublin, Ireland) Ralf Hinze (University 
of Bonn, Germany) Zoltán Horváth        (University Eötvös Loránd, Budapest, 
Hungary) (Chair)
Tamás Kozsik          (University Eötvös Loránd, Budapest, Hungary)
Hans-Wolfgang Loidl   (University Ludwig-Maximilians, Munich, Germany)
Frédéric Loulergue    (University of Orléans, France)
Rita Loogen           (University Philipps, Marburg, Germany)
Simon Marlow          (Microsoft Research, Cambridge, UK)
Marco Morazan         (Seton Hall University, NJ, USA)
Yolanda Ortega-Mallén (University Complutense, Madrid, Spain)
Rinus Plasmeijer      (University of Nijmegen, The Netherlands) Jaroslav 
Poruban      (Technical University of Kosice, Slovakia)
Anna Soós             (University Babes-Bolyai, Cluj, Romania)
Doaitse Swierstra     (University of Utrecht, The Netherlands)
Peter Thieman         (University of Freiburg, Germany)
German Vidal          (Technical University of Valencia, Spain)


Workshop Organization

      Zoltán Horváth, Viktória Zsók
      Department of Programming Languages and Compilers
      Faculty of Informatics
      Eötvös Loránd University, Budapest, Hungary

Further information
      Website: http://plc.inf.elte.hu/ifl2006/
      E-mail:  ifl2006@inf.elte.hu

             reply	other threads:[~2006-02-13 11:38 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-02-13 11:38 HORVATH Zoltan [this message]
2006-05-20 19:46 ` Registration open for " HORVATH Zoltan
2006-07-10 13:38 ` IFL 2006: Paper submission and registration deadline approaching HORVATH Zoltan

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=Pine.LNX.4.64.0602131237350.18105@panda.inf.elte.hu \
    --to=hz@inf.elte.hu \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).