Calls for participation: 2008-02

2008-02-20

[Caml-list] First Call for Papers -- GPCE'08

Call for Papers

Seventh International Conference on
Generative Programming and Component Engineering (GPCE 2008)

October 19-23, 2008
Nashville, Tennessee
(co-located with OOPSLA 2008)

http://www.gpce.org

Important Dates:

* Submission of abstracts: May 12, 2008
* Submission: May 19, 2008
* Notification: June 30, 2008

* Tutorial and workshop proposals: March 30, 2008
* Tutorial and workshop notification: April 5, 2008

Scope

Generative and component approaches are revolutionizing software
development similar to how automation and components revolutionized
manufacturing. Generative Programming (developing programs that
synthesize other programs), Component Engineering (raising the level
of modularization and analysis in application design), and
Domain-Specific Languages (DSLs) (elevating program specifications to
compact domain-specific notations that are easier to write, maintain,
and analyze) are key technologies for automating program development.

The International Conference on Generative Programming and Component
Engineering provides a venue for researchers and practitioners
interested in techniques for enhancing the productivity, quality, and
time-to-market in software development that stems from deploying
components and automating program generation. In addition to exploring
cutting-edge techniques for developing generative and component-based
software, our goal is to foster further cross-fertilization between
the software engineering research community and the programming
languages community.

Submissions

Research papers:

10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting
original research results that contribute to scientific knowledge in
the areas listed below (the PC chair can advise on appropriateness).

Experience reports:

2 to 4 pages in length in SIGPLAN proceedings style
(sigplanconf.cls). We encourage experience reports that provide
concrete evidence with regards to the efficacy of generative
technologies in industrial applications.

Topics

GPCE seeks contributions in software engineering and in programming
languages related (but not limited) to:

* Generative programming
o Reuse, meta-programming, partial evaluation, multi-stage
and
multi-level languages, step-wise refinement,
and generic programming
o Semantics, type systems, symbolic computation, linking and
explicit substitution, in-lining and macros, templates, and
program transformation
o Runtime code generation, compilation, active libraries,
synthesis from specifications, development methods,
generation of
non-code artifacts, formal methods, and reflection
* Generative techniques for
o Product-line architectures
o Distributed, real-time and embedded systems
o Model-driven development and architecture
o Resource bounded/safety critical systems.
* Component-based software engineering
o Reuse, distributed platforms and middleware, distributed
systems, evolution, patterns, development methods,
deployment and
configuration techniques, and formal methods
* Integration of generative and component-based approaches
* Domain engineering and domain analysis
o Domain-specific languages including visual and UML-based
DSLs
* Separation of concerns
o Aspect-oriented and feature-oriented programming,
o Intentional programming and multi-dimensional separation of
concerns
* Industrial applications of the above

Experience reports on applications of these techniques to real-world
problems are especially encouraged, as are research papers that relate
ideas and concepts from several of these topics, or bridge the gap
between theory and practice. The program chair is happy to advise on
the appropriateness of a particular subject.

Submissions must adhere to SIGPLAN's republication policy. Please
contact
the program chair if you have any questions about how this policy
applies
to your paper (gpce2008 at gpce.org).

Organizers

General Chair: Yannis Smaragdakis (University of Oregon)
Program Chair: Jeremy Siek (University of Colorado at Boulder)
Satellite Chair: Ralf Lammel (Univ. Koblenz-Landau)
Publicity Chair: Emir Pasalic (LogicBlox, Inc.)

Program Committee

David Abrahams (Boost Consulting)
Uwe Assmann (Technische Universitat, Dresden)
Ira Baxter (Semantic Designs, USA)
Martin Bravenboer (Delft Univ. of Tech., The Netherlands)
Jacques Carette (McMaster University, Canada)
Shigeru Chiba (Tokyo Institute of Technology, Japan)
William R. Cook (University of Texas at Austin, USA)
Lidia Fuentes (University of Malaga, Spain)
Yossi Gil (The Technion, Israel)
Aniruddha Gokhale (Vanderbilt University, USA)
Mark Grechanik (Accenture Technology Labs, USA)
Stanislaw Jarzabek (National University of Singapore)
Jaakko Jarvi (Texas A&M Unviersity, USA)
Julie Lawall (DIKU, University of Copenhagen, Denmark)
Christian Lengauer (University of Passau, Germany)
Matthew Marcus (Adobe Systems Inc., USA)
Anne-Francoise Le Meur (University of Lille 1, France)
Sibylle Schupp (Chalmers University of Technology, Sweden)
Peter Sestoft (IT University of Copenhagen, Denmark)
Chung-chieh Shan (Rutgers University, USA)
Eric Van Wyk (University of Minnesota, USA)

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

2008-02-13

[Caml-list] IWACO 2008 Call for Papers

Call For Papers

International Workshop on Aliasing, Confinement and Ownership

in object-oriented programming (IWACO)

at ECOOP 2008

July 7 or 8, 2008, Paphos, Cyprus

www.cs.purdue.edu/homes/wrigstad/iwaco08

The power of objects lies in the flexibility of their

interconnection structure. But this flexibility comes at a cost.

Because an object can be modified via any alias, object-oriented

programs are hard to understand, maintain, and analyse. Aliasing

makes objects depend on their environment in unpredictable ways,

breaking the encapsulation necessary for reliable software components,

making it difficult to reason about and optimise programs, obscuring

the interactions between objects, and introducing security

problems.

Aliasing is a fundamental difficulty, but we accept its presence.

Instead we seek techniques for describing, reasoning about,

restricting, analysing, and preventing the connections between

objects and/or the interactions between them. Promising

approaches to these problems are based on ownership, confinement,

uniqueness, sharing control, escape analysis, argument

independence, read-only references, effects systems, and access

control mechanisms.

The workshop will generally address the question how to manage

interconnected object structures in the presence of aliasing. In

particular, we will consider the following issues (among others):

* models, type and other formal systems, programming language

mechanisms, analysis and design techniques, patterns and

notations for expressing object ownership, aliasing,

confinement, uniqueness, and related topics.

* optimisation techniques, analysis algorithms, libraries,

applications, and novel approaches exploiting object ownership,

aliasing, confinement, uniqueness, and related topics

* empirical studies of programs or experience reports from

programming systems designed with these issues in mind

* novel applications of aliasing management techniques such as

ownership types, ownership domains, confined types, region

types, and uniqueness.

We encourage not only submissions presenting original research

results, but also papers that attempt to establish links between

different approaches and/or papers that include survey material.

Original research results should be clearly described, and their

usefulness to practitioners outlined. Paper selection will be based on

the quality of the submitted material.

The best papers will appear in a special issue of the IET Software

journal.

Program Committee

Peter Müller (Microsoft Research, Chair)

Kevin Bierhoff (Carnegie Mellon University)

John Boyland (University of Wisconsin-Milwaukee)

Werner Dietl (ETH Zurich)

Manuel Fähndrich (Microsoft Research)

Jeff Foster (University of Maryland, College Park)

David Naumann (Stevens Institute of Technology)

Matthew Parkinson (University of Cambridge)

Arnd Poetzsch-Heffter (University of Kaiserslautern)

Mooly Sagiv (Tel-Aviv University)

Tobias Wrigstad (Purdue University)

Important Dates

Submission: April 30, 2008

Notification: May 26, 2008

Final Version: June 9, 2008

Workshop: July 7 or 8, 2008

Organisers

Sophia Drossopoulou (Imperial College London)

Dave Clarke (CWI)

James Noble (Victoria University of Wellington)

Tobias Wrigstad (Purdue University)

Participation

The number of participants is limited. Apart from those with accepted

papers, others may attend by sending an email to Peter Müller

(mueller@microsoft.com) indicating what contribution you could make to

the workshop. A small number of places will be reserved for PhD

students and other researchers wishing to begin research in this area.

Selection Process

Both full papers (up to 10 pages) and position papers (1-2 pages) are

welcome. All submissions will be reviewed by the programme committee.

The accepted papers, after rework by the authors, will be published in

the Workshop Proceedings, which will be distributed at the

workshop. All accepted submissions shall remain available from the

workshop web page.

Papers should be sent as PDF files to Peter Müller

(mueller@microsoft.com) by April 27, 2008 and be accompanied by a

text-only message containing: title, abstract and keywords, the

authors' full names, and address and e-mail for

correspondence. Submissions should be in English.

Queries

Queries may be directed to Peter Müller (mueller@microsoft.com).

2008-02-12

[Caml-list] MKM'08: Second Call for Papers

[Please post - apologies for multiple copies]

MKM 2008

The Seventh International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT

http://events.cs.bham.ac.uk/cicm08/mkm08/

28-30 July 2008 Birmingham, UK

SECOND CALL FOR PAPERS

Mathematical Knowledge Management is an innovative field at the
intersection of mathematics, computer science, library science, and
scientific publishing. Its development is driven by on the one hand new
technological possibilities which computer science, the Internet, and
intelligent knowledge processing offer, and on the other hand the
increasing demand by engineers and scientists for new techniques for
producing, transmitting, consuming, and managing sophisticated mathematical
knowledge.

The conference is concerned with all aspects of mathematical knowledge
management. Topics covered include, but are not limited to:

Representations of mathematical knowledge
Repositories of formalized mathematics
Mathematical digital libraries
Diagrammatic representations
Multi-modal representations
Mathematical OCR
Mathematical search and retrieval
Deduction systems
Math assistants, tutoring and assessment systems
Authoring languages and tools
MathML, OpenMath, and other mathematical content standards
Web presentation of mathematics
Data mining, discovery, theory exploration
Computer Algebra Systems
Collaboration tools for mathematics
Challenges and Solutions for Mathematical workflows

PAPER SUBMISSIONS

All papers submitted to the Conference will be reviewed. Submission is
electronic in Postscript or PDF format via the EasyChair system
(http://www.easychair.org/MKM08). Submitted papers must conform to the
Springer LNCS style, preferably using LaTeX2e and the Springer llncs class
files available at

http://www.springer.com/lncs.

Submitted papers should
not exceed 15 pages, must be original and not submitted for publication.

Submission website: http://www.easychair.org/MKM08

PROCEEDINGS

The conference proceedings will be published in the Springer-Verlag series
Lecture Notes in Artificial Intelligence (LNAI).

WORKSHOPS

The following workshops take place in conjunction with MKM 2008:

* The "Mathematical User-Interfaces" Workshop 2008 (MathUI08), which is
organized by Paul Libbrecht.

* The Workshop "Towards Future Digital Mathematics Libraries", which is
organized by Petr Sojka.

IMPORTANT DATES

Submission of title and abstract: March 7, 2008
Submission of full papers: March 14, 2008
Notification: May 2, 2008
Camera ready version: May 16, 2008
Conference in Birmingham: July 28-30, 2008

PROGRAM COMMITTEE

Andrea Asperti University of Bologna, Italy
Serge Autexier (Co-Chair) DFKI Saarbruecken & Saarland University., Germany
Laurent Bernardin Maplesoft, Canada
Thierry Bouche Universite de Grenoble I, France
Paul Cairns University College London, England
Olga Caprotti University of Helsinki, Finland
Simon Colton Imperial College, London, England
Mike Dewar NAG Ltd., England
William Farmer McMaster University, Hamilton, Canada
Herman Geuvers Radboud University Nijmegen, The Netherlands
Eberhard Hilf Inst. for Science Networking Oldenburg, Germany
Tetsuo Ida University of Tsukuba, Japan
Mateja Jamnik University of Cambridge, England
Fairouz Kamareddine Heriot-Watt University, Scotland
Manfred Kerber University of Birmingham, England
Michael Kohlhase Jacobs University Bremen, Germany
Paul Libbrecht DFKI Saarbruecken, Germany
Bruce Miller NIST, USA
Robert Miner Design Science, Inc., USA
Bengt Nordstroem Chalmers University of Technology, Sweden
Eugenio Rocha University of Aveiro, Portugal
Alan Sexton University of Birmingham, England
Petr Sojka Masaryk University, Brno, CZ
Volker Sorge University of Birmingham, England
Masakazu Suzuki (Co-Chair) Kyushu University, Japan
Andrzej Trybulec University of Bialystok, Poland
Stephen Watt The University of Western Ontario, Canada
Abdou Youssef George Washington University, Washington DC, USA

CONFERENCE CHAIR

Volker Sorge University of Birmingham, England

2008-02-07

[Caml-list] 1st call for participation AFP 2008, The Netherlands

1ST CALL FOR PARTICIPATION
6TH INTERNATIONAL SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING 2008
(AFP '08)
RADBOUD UNIVERSITY NIJMEGEN AND UTRECHT UNIVERSITY, THE NETHERLANDS
MAY 19-24, 2008
http://www.st.cs.ru.nl/AFP_TFP_2008/

AFP is a series of international summer schools which aims to
bring computer scientists, in particular young researchers and
programmers, up to date with the latest advances in practical
advanced functional programming. Functional programming
emphasizes the evaluation of expressions rather than the
execution of commands. We focus on functional programming
techniques in "programming in the real world" and bridge the
gap between results presented at programming conferences and
material from textbooks on functional programming. In this
school you will receive in depth lectures about advanced
functional programming techniques, taught by experts in the
field. Lectures are accompanied by practical problems to be
solved by the students at the school.

AFP 2008 is hosted by the Radboud University Nijmegen, and
Utrecht University, The Netherlands, and will be held in the
rural setting of Center Parcs "Het Heijderbos", Heijen (in the
vicinity of Nijmegen), The Netherlands.

AFP 2008 is co-located with the 9th Symposium on Trends in
Functional Programming (TFP'08), which is held after AFP'08.

PROGRAM INFORMATION
The following speakers will give the lectures (in alphabetic
order):
Umut Acar (Toyota Technological Institute,
University of Chicago, US)
Richard Bird (University of Oxford, UK)
Olivier Danvy (University of Aarhus, DK)
Johan Jeuring (Utrecht University, NL)
Mark Jones (Portland State University, US)
Ulf Norell (Chalmers University, SE)
Simon Peyton Jones (Microsoft Research, UK)
Rinus Plasmeijer (Radboud University Nijmegen, NL)

During the summer school, all participants receive printed
lecture notes. Participants are expected to have a notebook,
in order to be able to participate with the practical problems.

After the summer school, all lecture notes will be revised,
reviewed, and published in the LNCS series of Springer. All
registered participants receive a copy of these lecture notes.

VENUE INFORMATION
AFP (and TFP) is held in The Netherlands, at Center Parcs "Het
Heijderbos" which is a holiday resort in the woodlands near the
city of Nijmegen. We accomodate participants in DeLuxe Cottages,
each of which has three separate bed-rooms, shared bathroom,
toilet, kitchen, and terrace. Cottages will be shared by three
participants. If you wish to reduce costs, you can choose to
share a bedroom. The summer school and symposium will take place
in the business center of the venue. Breakfast, lunch and diner
is included within the limits of the venue. The resort features,
amongst others, a sub-tropical swimming pool (free for
participants), restaurants, shops, water sports lake, midget golf
court, squash court, and outdoor and indoor tennis courts.

Nijmegen is considered to be the oldest city of the Netherlands,
being approximately 2000 years old. Nijmegen is located at the
east border of the Netherlands, near Germany. Nijmegen can be
reached easily from several airports such as Schiphol airport,
Eindhoven airport, and Düsseldorf airport, as well as by train
and car. Conveniently close to Center Parcs "Het Heijderbos" you
will find airport Weeze in Germany. The venue Center Parcs "Het
Heijderbos" can be reached from Nijmegen by train to Boxmeer
(25 minutes). From there you will need to order a taxi. The venue
can also be reached by car: parking is free for participants of
AFP and TFP.

SUMMER SCHOOL FEES
AFP 2008 includes accommodation, conference, breakfast – lunch –
diner, speakers, and proceedings costs. The early registration fee
is € 995; the late registration fee is € 1095. Please note that if
you require financial support, you can apply for a grant (see
below).

GRANT INFORMATION
We have taken great care to reduce the registration cost as much
as possible. We can grant a subsidy for a limited number of PhD
student participants for whom the costs are still too high. In
order to apply for this subsidy, you need to send (by surface mail
or e-mail) a request for subsidy which contains your personal
information, affiliation, a description of your current status,
project description, a motivation why you should receive the grant,
and a recommendation from your PhD supervisor. This letter should
arrive before april 7 2008 to:

Rinus Plasmeijer
Radboud University Nijmegen
Toernooiveld 1
6525ED Nijmegen
rinus@cs.ru.nl

You will receive a notification whether your request has been
granted before april 14 2008.

REGISTRATION INFORMATION
Early registration opens at march 1 2008. Late registration opens
at april 15 2008. Registration closes at may 5 2008. We can not
guarantee accommodation in case you wish to register later than
may 5 2008.

IMPORTANT DATES (ALL 2008)
Early Registration Opens: March 1
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
AFP Summer School: May 19-24

ORGANIZATION
Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: afp_tfp_2008@cs.ru.nl

2008-02-04

[Caml-list] 1st call for participation AFP 2008, The Netherlands

AFP 2008 is co-located with the 9th Symposium on Trends in
Functional Programming (TFP'08), which is held after AFP'08.

During the summer school, all participants receive printed
lecture notes. Participants are expected to have a notebook,
in order to be able to participate with the practical problems.

After the summer school, all lecture notes will be revised,
reviewed, and published in the LNCS series of Springer. All
registered participants receive a copy of these lecture notes.

Rinus Plasmeijer
Radboud University Nijmegen
Toernooiveld 1
6525ED Nijmegen
rinus@cs.ru.nl

You will receive a notification whether your request has been
granted before april 14 2008.

IMPORTANT DATES (ALL 2008)
Early Registration Opens: March 1
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
AFP Summer School: May 19-24

2008-02-01

[Caml-list] Second Call for Papers TFP 2008, The Netherlands

2ND CALL FOR PAPERS
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view
of current and future trends in Functional Programming. It aspires to
be a lively environment for presenting the latest research results
through acceptance by extended abstracts and full papers. A formal
post-symposium refereeing process selects the best articles presented
at the symposium for publication in a high-profile volume.

TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands,
and will be held in the rural setting of Center Parcs "Het Heijderbos",
Heijen (in the vicinity of Nijmegen), The Netherlands.

TFP 2008 is co-located with the 6th Int'l. Summer School on Advanced
Functional Programming (AFP'08), which is held immediately before TFP'08.

SCOPE OF THE SYMPOSIUM
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore identify
the following five article categories. High-quality articles are
solicited in any of these categories:

Research: leading-edge, previously unpublished research.
Position: on what new trends should or should not be.
Project: descriptions of recently started new projects.
Evaluation: what lessons can be drawn from a finished project.
Overview: summarizing work with respect to a trendy subject.

Articles must be original and not submitted for simultaneous publication
to any other forum. They may consider any aspect of functional
programming: theoretical, implementation-oriented, or more
experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium.

Contributions on the following subject areas are particularly welcomed:
* Dependently Typed Functional Programming
* Validation and Verification of Functional Programs
* Debugging for Functional Languages
* Functional Programming and Security
* Functional Programming and Mobility
* Functional Programming to Animate/Prototype/Implement Systems from
Formal or Semi-Formal Specifications
* Functional Languages for Telecommunications Applications
* Functional Languages for Embedded Systems
* Functional Programming Applied to Global Computing
* Functional GRIDs
* Functional Programming Ideas in Imperative or Object-Oriented
Settings (and the converse)
* Interoperability with Imperative Programming Languages
* Novel Memory Management Techniques
* Parallel/Concurrent Functional Languages
* Program Transformation Techniques
* Empirical Performance Studies
* Abstract/Virtual Machines and Compilers for Functional Languages
* New Implementation Strategies
* Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2008 program chairs, Peter Achten and Pieter
Koopman, at afp_tfp_2008@cs.ru.nl.

SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on the
review of full papers (15 pages) and extended abstracts (at least 3 pages)
by the program committee. TFP encourages PhD students to submit papers. PhD
students may request the program committee to provide extensive feedback
on their full papers at the time of submission. Full papers describing
work accepted for presentation must be completed before the symposium for
publication in the draft proceedings and on-line. Further details can be
found at the TFP 2008 website http://www.st.cs.ru.nl/AFP_TFP_2008/.

POST-SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the draft symposium proceedings, we continue the TFP
tradition of publishing a high-quality subset of contributions in the
Intellect series on Trends in Functional Programming.

IMPORTANT DATES (ALL 2008)
Paper Submission: March 3
Notification of Acceptance: March 31
Early Registration Deadline: April 14
Late Registration Deadline: May 5
Camera Ready Symposium: May 5
TFP Symposium: May 26-28
Post Symposium Paper Submission: June 20
Notification of Acceptance: September 7
Camera Ready Revised Paper: September 21

PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ., NL
Michael Hanus Christian-Albrechts Univ. zu Kiel, DE
Ralf Hinze Univ. of Oxford, UK
Graham Hutton Univ. of Nottingham, UK
Johan Jeuring Utrecht Univ., NL
Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL
Shriram Krishnamurthi Brown Univ., USA
Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE
Rita Loogen Philipps-Univ. Marburg, DE
Greg Michaelson Heriot-Watt Univ., UK
Marco T. Morazán (symp. chair) Seton Hall Univ., USA
Sven-Bodo Scholz Univ. of Hertfordshire, UK
Ulrik Schultz Univ. of Southern Denmark, DK
Clara Segura Univ. Complutense de Madrid, ES
Olin Shivers Northeastern Univ., USA
Phil Trinder Heriot-Watt Univ., UK
Varmo Vene Univ. of Tartu, EE
Viktória Zsók Eötvös Loránd Univ., HU

ORGANIZATION
Symposium Chair: Marco T. Morazán, Seton Hall University, USA
Programme Chair: Peter Achten, Pieter Koopman,
Radboud University Nijmegen, NL
Treasurer: Greg Michaelson, Heriot-Watt University, UK

Calls for participation

2008-02-20

[Caml-list] First Call for Papers -- GPCE'08

2008-02-13

[Caml-list] IWACO 2008 Call for Papers

2008-02-12

[Caml-list] MKM'08: Second Call for Papers

2008-02-07

[Caml-list] 1st call for participation AFP 2008, The Netherlands

2008-02-04

[Caml-list] 1st call for participation AFP 2008, The Netherlands

2008-02-01

[Caml-list] Second Call for Papers TFP 2008, The Netherlands

Web Box

Blog Archive