caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Andrew Butterfield <Andrew.Butterfield@cs.tcd.ie>
To: caml-list@yquem.inria.fr
Subject: IFL'05 CFP and Registration reminder
Date: Thu, 04 Aug 2005 12:23:44 +0100	[thread overview]
Message-ID: <42F1FAC0.6050503@cs.tcd.ie> (raw)

Dear colleagues,
    just a reminder that the registration deadline for IFL'05 is fast 
approaching (7th Aug.)

 - see https://www.cs.tcd.ie/ifl05/registration.php for details

= Call for Papers/Participation  =

Announcement and Call for Papers for the 17th International Workshop
on the Implementation and Application of Functional Languages (IFL'05)

September 19th-21st, 2005, Dublin, Ireland.
Website: http://www.cs.tcd.ie/ifl05
E-mail: ifl05@cs.tcd.ie

== 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
 * type checking
 * compilation techniques
 * generic programming techniques
 * (abstract) interpretation
 * automatic program generation
 * (abstract) machine architectures
 * formal aspects
 * array processing
 * concurrent/parallel programming
 * concurrent/parallel program execution
 * heap management
 * runtime profiling
 * performance measurements
 * debugging and tracing
 * verification
 * tools and programming techniques

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.

== Contributions ==

Prospective authors are encouraged to submit papers to be published in
the draft proceedings (published as a technical report of the
Department of Computer Science of the University of Dublin) and to give
presentations at the workshop. All contributions must be written in
English, conform to the Springer-Verlag LNCS series format, and not
exceed 16 pages.

http://www.springer.de/comp/authors/index.html
or
http://www.springeronline.com/
              sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html

Papers must be submitted by August 26th as
postscript or pdf files through the workshop web page at
http://www.cs.tcd.ie/ifl05/.

All participants who give presentations at the workshop are
invited to submit revised versions of their papers for the
post-workshop proceedings. They will be refereed by the program
committee according to normal conference standards, and will be
published by Springer as part of the Lecture Notes in Computer Science
series.

=== Programme Committee =====

    * Matthias Blume, Toyota Technological Institute at Chicago, USA
    * Andrew Butterfield, /(Chair)/ Trinity College Dublin, Ireland.
    * Clemens Grelck, University of Lübeck, Germany.
    * Zoltán Horváth, Eötvös Loránd University, Hungary.
    * Frank Huch, University of Kiel, Germany.
    * Joe Kiniry, National University of Ireland Dublin, Ireland.
    * Hans-Wolfgang Loidl, Ludwig-Maximilians-University Munich, Germany.
    * Frédéric Loulergue, University of Paris XII, Val de Marne, France.
    * Simon Marlow, Microsoft Research, Cambridge, UK
    * Marco T. Morazán, Seton Hall University, NJ, USA.
    * Joseph Morris, Dublin City University, Ireland.
    * Barak A. Pearlmutter, National University of Ireland Maynooth,
      Ireland.
    * Rinus Plasmeijer, Radboud Universiteit Nijmegen, Netherlands.
    * Peter Thiemann, University of Freiburg, Germany.
    * Phil Trinder, Heriot-Watt University, UK.
    * Germán Vidal, Technical University of Valencia, Spain.


== Important Dates ==

 * Aug  7th, 2005 Registration deadline
 * Aug 26th, 2005 Submission deadline for draft proceedings
 * Sep 19th, 2005 Workshop starts in the morning
 * Sep 20th, 2005 Afternoon excursion and banquet dinner
 * Sep 21st, 2005 Workshop ends in the evening
 * Nov  7th, 2005 Submission deadline for post-refereeing process
 * Dec 16th, 2005 Notification of acceptance/rejection
 * Feb  3rd, 2006 Camera-ready papers due



== Further Information ==

Website: http://www.cs.tcd.ie/ifl05 E-mail: ifl05@cs.tcd.ie


                 reply	other threads:[~2005-08-04 11:19 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

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=42F1FAC0.6050503@cs.tcd.ie \
    --to=andrew.butterfield@cs.tcd.ie \
    --cc=caml-list@yquem.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).