[Caml-list] CfP: SNPD'03 Workshop on High-Level Approaches to Parallel and Distributed Computing

[Caml-list] CfP: SNPD'03 Workshop on High-Level Approaches to Parallel and Distributed Computing

[Clemens Grelck]

Please apologize in case you receive multiple copies of this information.

==========================================================================

     CALL FOR PAPERS

     Workshop on 
     High-Level Approaches to Parallel and Distributed Computing

     held in the context of the

     Fourth ACIS International Conference on
     Software Engineering, Artificial Intelligence, 
     Networking, and Parallel/Distributed Computing (SNPD'03)

     October 16th - 18th, 2003

     Luebeck, Germany

     http://www.isp.uni-luebeck.de/snpd03/Workshop/ws02/index.htm

==========================================================================


Scope and Topics:
==================

Today parallel and distributed computing systems are readily available
and provide a continuously improving price/performance ratio. However,
this technological breakthrough in hardware is not accompanied by 
similar progress in software technology. Parallel and distributed
programming is still dominated by low-level techniques such as explicit
message passing. This low level of abstraction makes programming these
systems exceedingly difficult, time-consuming, and error-prone.
Hence, parallel and distributed computing requires new programming models
which liberate programmers from low-level concerns and increase programming
productivity while maintaining reasonable trade-offs between level of 
abstraction and runtime performance.

Topics of interest include, but are not limited to
 - methodologies for high-level parallel programming,
 - parallel programming languages,
 - high-level libraries for parallel computing,
 - compilers and runtime systems for parallel computing,
 - implementation aspects of high-level parallel programming environments,
 - compiler-based optimization and parallelization,
 - experience with high-level parallel programming environments,
 - support for debugging and performance analysis,
 - concurrent array programming,
 - programming concepts for the grid.

This workshop provides a forum for researchers and practitioners 
interested in the design, implementation, and evaluation of 
high-level parallel programming concepts. It aims at creating
some focus within the otherwise broad spectrum of the SNPD'03
conference. 


Workshop Chair and Organizer:
==============================

Clemens Grelck
University of Luebeck
Institute of Software Technology and Programming Languages
Seelandstr. 1A
23569 Luebeck, Germany
E-Mail: grelck@isp.uni-luebeck.de


Papers and Publication:
========================

Original, unpublished papers in English not exceeding 8 pages in 
ACIS double column format are solicited. For detailed formatting
instructions see the SNPD'03 conference web site at

  http://www.isp.uni-luebeck.de/snpd03/index.htm

Please send your papers as PDF documents by electronic mail directly 
to the workshop chair:

  grelck@isp.uni-luebeck.de

Please indicate your paper submission by the subject

  SNPD03 WORKSHOP SUBMISSION

Accepted papers will be published in the conference proceedings with
ISBN. A selection of excellent papers presented at the conference 
including its workshops will be published in a special issue of the
International Journal of Computer and Information Science.


Important Deadlines:
=====================

Full paper submission due:    August, 30th
Notification of acceptance:   September, 10th
Camera-ready papers due:      September, 24th

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] 2nd CfP: SNPD'03 Workshop on High-Level Approaches to Parallel and Distributed Computing

[Clemens Grelck]

Please apologize in case you receive multiple copies of this information.

==========================================================================

     2nd CALL FOR PAPERS

     Workshop on 
     High-Level Approaches to Parallel and Distributed Computing

     held in the context of the

     Fourth ACIS International Conference on
     Software Engineering, Artificial Intelligence, 
     Networking, and Parallel/Distributed Computing (SNPD'03)

     October 16th - 18th, 2003

     Luebeck, Germany

     http://www.isp.uni-luebeck.de/snpd03/Workshop/ws02/index.htm

==========================================================================


Scope and Topics:
==================

Today parallel and distributed computing systems are readily available
and provide a continuously improving price/performance ratio. However,
this technological breakthrough in hardware is not accompanied by 
similar progress in software technology. Parallel and distributed
programming is still dominated by low-level techniques such as explicit
message passing. This low level of abstraction makes programming these
systems exceedingly difficult, time-consuming, and error-prone.
Hence, parallel and distributed computing requires new programming models
which liberate programmers from low-level concerns and increase programming
productivity while maintaining reasonable trade-offs between level of 
abstraction and runtime performance.

Topics of interest include, but are not limited to
 - methodologies for high-level parallel programming,
 - parallel programming languages,
 - high-level libraries for parallel computing,
 - compilers and runtime systems for parallel computing,
 - implementation aspects of high-level parallel programming environments,
 - compiler-based optimization and parallelization,
 - experience with high-level parallel programming environments,
 - support for debugging and performance analysis,
 - concurrent array programming,
 - programming concepts for the grid.

This workshop provides a forum for researchers and practitioners 
interested in the design, implementation, and evaluation of 
high-level parallel programming concepts. It aims at creating
some focus within the otherwise broad spectrum of the SNPD'03
conference. The workshop will take place as a special session
during SNPD'03. Participants must register for SNPD'03. There
are no additional fees for attending workshops.



Workshop Chair and Organizer:
==============================

Clemens Grelck
University of Luebeck
Institute of Software Technology and Programming Languages
Seelandstr. 1A
23569 Luebeck, Germany
E-Mail: grelck@isp.uni-luebeck.de


Papers and Publication:
========================

Original, unpublished papers in English not exceeding 8 pages in 
ACIS double column format are solicited. For detailed formatting
instructions see the SNPD'03 conference web site at

  http://www.isp.uni-luebeck.de/snpd03/index.htm

Please send your papers as PDF documents by electronic mail directly 
to the workshop chair:

  grelck@isp.uni-luebeck.de

Please indicate your paper submission by the subject

  SNPD03 WORKSHOP SUBMISSION

Accepted papers will be published in the conference proceedings with
ISBN. A selection of excellent papers presented at the conference 
including its workshops will be published in a special issue of the
International Journal of Computer and Information Science.


Important Deadlines:
=====================

Full paper submission due:    August, 30th
Notification of acceptance:   September, 10th
Camera-ready papers due:      September, 24th

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] CfP: IFL'04 16th International Workshop on Implementation and Application of Functional Languages

[Clemens Grelck]

Please apologize of you receive multiple copies.

------------------------------------------------------------------------
            Announcement and Call for Papers for the

                 16th International Workshop on
   Implementation and Application of Functional Languages (IFL'04)
          September 8th -- 10th, 2004, Luebeck, Germany
------------------------------------------------------------------------


Scope and Topics
----------------

The IFL workshops form a tradition that has lasted for over a
decade. 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
    - (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 welcome. The change of the workshop name adding the term 
"application" 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
Institute of Computer Science and Applied Mathematics of the
University of Kiel) and to give presentations at the workshop.  All
contributions must be written in English, conform to the
Springer-Verlag LNCS series format (see:
http://www.springer.de/comp/authors/index.html) and not exceed 16
pages.  Papers must be submitted by August 20th as postscript or pdf
files through the workshop web page at
http://www.isp.uni-luebeck.de/ifl04/index.htm.

Following the IFL tradition since 1996, we intend to publish a
high-quality subset of contributions in the Springer-Verlag Lecture
Notes in Computer Science (LNCS) series. All participants who gave a
presentation at the workshop are invited to submit a revised version
of their paper for the post-workshop proceedings. They will be
refereed by the program committee according to normal conference
standards.


Important Dates
---------------

Jul 15th, 2004  Hotel reservation deadline
Jul 31st, 2004  Registration deadline
Aug 20th, 2004  Submission deadline for draft proceedings
Sep 8th,  2004  Workshop starts
Oct 29th, 2004  Submission deadline for post-refereeing process
Dec 10th, 2004  Notification of acceptance/rejection
Jan 21st, 2005  Camera-ready papers due


Program Committee
-----------------

Matthias Blume        (Toyota Technological Institute, Chicago, USA)
Andrew Butterfield    (Trinity College Dublin, Ireland)
Manuel Chakravarty    (University of New South Wales,Sydney,Australia)
Clemens Grelck (chair)(University of Luebeck, Germany)
Frank Huch (chair)    (University of Kiel, Germany)
Hans-Wolfgang Loidl   (Ludwig-Maximilians-University, Munich, Germany)
Frederique Loulergue  (University of Paris XII, France)
Simon Marlow          (Microsoft Research, Cambridge, UK)
Greg Michaelson       (Heriot-Watt University, Edinburgh, UK)
Yolanda Ortega-Mallen (University Complutense of Madrid, Spain)
Rinus Plasmeijer      (University of Nijmegen, The Netherlands)
Colin Runciman        (University of York, UK)
Peter Thiemann        (University of Freiburg, Germany)
Phil Trinder          (Heriot-Watt University, Edinburgh, UK)
German Vidal          (Technical University of Valencia, Spain)


Workshop Organization
---------------------

Clemens Grelck                         Frank Huch
Institute of Software Technology       Institute of Computer Science
  and Programming Languages              and Applied Mathematics
University of Luebeck, Germany         University of Kiel, Germany


Further Information
-------------------
Website: http://www.isp.uni-luebeck.de/ifl04/index.htm
E-mail:  ifl04@isp.uni-luebeck.de

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] CfP: IFL'04 16th International Workshop on Implementation and Application of Functional Languages

[Clemens Grelck]

We apologize if you receive multiple copies of this mail.

 Sincerely,
   Clemens Grelck and Frank Huch
   IFL'04


------------------------------------------------------------------------
        Announcement, Call for Papers and Call for Participation

                               for the

                 16th International Workshop on
   Implementation and Application of Functional Languages (IFL'04)
          September 8th -- 10th, 2004, Luebeck, Germany

          http://www.isp.uni-luebeck.de/ifl04/index.htm
------------------------------------------------------------------------


Scope and Topics
----------------

The IFL workshops form a tradition that has lasted for over a
decade. 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
    - (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 welcome. The change of the workshop name adding the term 
"application" 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
Institute of Computer Science and Applied Mathematics of the
University of Kiel) and to give presentations at the workshop.  All
contributions must be written in English, conform to the
Springer-Verlag LNCS series format (see:
http://www.springer.de/comp/authors/index.html) and not exceed 16
pages.  Papers must be submitted by August 20th as postscript or pdf
files through the workshop web page at
http://www.isp.uni-luebeck.de/ifl04/index.htm.

Following the IFL tradition since 1996, a subset of high-quality 
contributions will be published by Springer-Verlag in the well-known 
Lecture Notes in Computer Science (LNCS) series. All participants 
who gave a presentation at the workshop are invited to submit a 
revised version of their paper for the post-workshop proceedings. 
They will be refereed by the program committee according to normal 
conference standards.


Important Dates
---------------

Jul 15th, 2004  Hotel reservation deadline
Jul 31st, 2004  Registration deadline
Aug 20th, 2004  Submission deadline for draft proceedings
Sep  8th, 2004  Workshop starts in the morning
Sep  9th, 2004  Excursion and banquet dinner
Sep 10th, 2004  Workshop ends in the evening
Sep 11th, 2004  Post-workshop excursion
Oct 29th, 2004  Submission deadline for post-refereeing process
Dec 10th, 2004  Notification of acceptance/rejection
Jan 21st, 2005  Camera-ready papers due


Program Committee
-----------------

Matthias Blume        (Toyota Technological Institute, Chicago, USA)
Andrew Butterfield    (Trinity College Dublin, Ireland)
Manuel Chakravarty    (University of New South Wales,Sydney,Australia)
Clemens Grelck (chair)(University of Luebeck, Germany)
Frank Huch (chair)    (University of Kiel, Germany)
Hans-Wolfgang Loidl   (Ludwig-Maximilians-University, Munich, Germany)
Frederique Loulergue  (University of Paris XII, France)
Simon Marlow          (Microsoft Research, Cambridge, UK)
Greg Michaelson       (Heriot-Watt University, Edinburgh, UK)
Yolanda Ortega-Mallen (University Complutense of Madrid, Spain)
Rinus Plasmeijer      (University of Nijmegen, The Netherlands)
Colin Runciman        (University of York, UK)
Peter Thiemann        (University of Freiburg, Germany)
Phil Trinder          (Heriot-Watt University, Edinburgh, UK)
German Vidal          (Technical University of Valencia, Spain)


Workshop Organization
---------------------

Clemens Grelck                         Frank Huch
Institute of Software Technology       Institute of Computer Science
  and Programming Languages              and Applied Mathematics
University of Luebeck, Germany         University of Kiel, Germany


Further Information
-------------------
Website: http://www.isp.uni-luebeck.de/ifl04/index.htm
E-mail:  ifl04@isp.uni-luebeck.de

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners