[Caml-list] WRS 2008 - 1st Call for Papers

1st Call for Papers

**********
W R S 2008
**********

http://cl-informatik.uibk.ac.at/events/wrs08/

8th International Workshop on Reduction Strategies in Rewriting and Programming

July 14, 2008, Castle of Hagenberg, Austria

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

Title & abstract: April 21, 2008
Paper submission: April 28, 2008
Notification: May 26, 2008
Final version: June 16, 2008

Background
----------

The workshop promotes and stimulates research and collaboration in the
area of strategies. It encourages the presentation of new directions,
developments, and results as well as surveys and tutorials on existing
knowledge in this area. WRS 2008 collocates with RTA 2008, the 19th
International Conference on Rewriting Techniques and Applications. For
more information, consult the WRS 2008 website.

Topics
------

Topics of interest include, but are not restricted to:

* foundations for the definition and semantic description of reduction strategies
* strategies in rewriting, lambda calculi, narrowing, constraint solving
* strategies in programming languages
* strategies and tactics in theorem and termination proving
* properties of strategies and corresponding computations
* interrelations, combinations and applications of computation under different
evaluation strategies
* analysis and optimization techniques for reduction strategies
* rewrite systems, tools and implementations with flexible strategies
* strategies suitable to software engineering problems and applications
* tutorials and systems related to strategies

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

* Elvira Albert (Madrid)
* Gabrielle Keller (Sydney)
* Helene Kirchner (Nancy)
* Temur Kutsia (Linz)
* Ian Mackie (Paris)
* Aart Middeldorp (Innsbruck) chair
* Pierre-Etienne Moreau (Nancy)
* Michael Norrish (Canberra)
* Femke van Raamsdonk (Amsterdam)
* Kristoffer Rose (Yorktown Heights)
* Amr Sabry (Bloomington)
* Masahiko Sakai (Nagoya)

Submission
----------

There are two categories of submissions:

(A) Submissions to the formal proceedings
These submissions must describe unpublished work. Accepted submissions
of this category will be published both in the informal and in the
formal proceedings. The formal proceedings will be published after the
workshop by Elsevier as a volume of ENTCS.

(B) Submissions to the informal proceedings
These submissions may also describe work that has been or will be
submitted or published elsewhere or work in progress. Accepted
submissions of this category will be published in the informal
proceedings, which will be distributed during the workshop.

The page limit for papers in both categories is 15 pages in ENTCS style.
We also explicitly solicit survey and tutorial submissions (of either
category) which may be longer. The necessary style files and instructions
can be found at http://www.entcs.org/prelim.html. The submission page for
WRS 2008 is

http://www.easychair.org/conferences/?conf=WRS2008

_______________________________________________
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

[Caml-list] SAS 2008 Second Call for Papers

PLEASE POST --> SAS 2008 at the Technical University of Valencia

We are happy to announce that SAS 2008, the Static Analysis Symposium,
will take place at the Technical University of Valencia:

Submission of abstract: January 12, 2008
Submission of full paper: January 19, 2008
Notification: March 7, 2008
Camera-ready version: April 5, 2008
Conference: July 16-18, 2008

Please see: http://www.dsic.upv.es/~sas2008/

** The submission site is now open **

Maria Alpuente, German Vidal (PC co-chairs)

---------------------------------------------------------------------------
Call for papers

Static Analysis Symposium - SAS 2008
16-18 July 2008, Valencia, Spain
(co-located with LOPSTR 2008)

url

http://www.dsic.upv.es/~sas2008

email sas2008@dsic.upv.es

Static Analysis is increasingly recognized as a fundamental tool for high
performance implementations and verification of programming languages and
systems. The series of Static Analysis Symposia has served as the primary
venue for presentation of theoretical, practical, and application advances
in the area.

The technical programme for SAS 2008 will consist of invited lectures and
presentations of refereed papers. Contributions are welcome on all aspects
of static analysis, including, but not limited to:

abstract domains
abstract interpretation
abstract testing
compiler optimizations
control flow analysis
data flow analysis
model checking
program specialization
security analysis
theoretical analysis frameworks
type based analysis
verification systems

Submissions can address any programming paradigm, including concurrent,
constraint, functional, imperative, logic, and object-oriented programming.
Survey papers, that present some aspect of the above topics from a new
perspective, and application papers, that describe experience with
industrial applications, are also welcome. Papers must describe original
work, be written and presented in English, and must not substantially
overlap with papers that have been published, or that are simultaneously
submitted to a journal or a conference with refereed proceedings.

Submitted papers should be at most 15 pages formatted in LNCS style
(excluding bibliography and well-marked appendices not intended for
publication). PC members are not required to read the appendices, and thus
papers should be intelligible without them. The conference proceedings
is planned to be published by Springer-Verlag in the Lecture Notes in
Computer Science series.

Invited Speakers

Roberto Giacobazzi (Universita' degli Studi di Verona, Italy)
Ben Liblit (University of Wisconsin-Madison, USA)

PC co-chairs

Maria Alpuente (Technical University of Valencia, Spain)
German Vidal (Technical University of Valencia, Spain)

PC members

Elvira Albert (Complutense University of Madrid, Spain)
Roberto Bagnara (University of Parma, Italy)
Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium)
Radhia Cousot (CNRS & Ecole Polytechnique, France)
Javier Esparza (Technical University of Munchen, Germany)
Sandro Etalle (University of Twente, The Netherlands)
Moreno Falaschi (University of Siena, Italy)
Stephen Fink (IBM T.J. Watson Research Center, USA)
John Gallagher (Roskilde University, Denmark)
Maria del Mar Gallardo (University of Malaga, Spain)
Chris Hankin (Imperial College, UK)
Manuel Hermenegildo (Technical University of Madrid, Spain)
Julia Lawall (University of Copenhagen, Denmark)
Alexey Loginov (IBM T.J. Watson Research Center, USA)
Hanne Riis Nielson (Technical University of Denmark, Denmark)
David Schmidt (Kansas State University, USA)
Harald Sondergaard (University of Melbourne, Australia)
Tachio Terauchi (Tohoku University, Japan)
Ji Wang (National Laboratory for Parallel and Distributed Processing, China)

Organizing committee chair

Alicia Villanueva (Technical University of Valencia, Spain)

Important dates

Submission of abstract: January 12, 2008
Submission of full paper: January 19, 2008
Notification: March 7, 2008
Camera-ready version: April 5, 2008
Conference: July 16-18, 2008

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

_______________________________________________
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

[Caml-list] WGT 2008 Final Call for Papers

[ Apologies for multiple copies of this announcement ]

****************************************************************

FINAL CALL FOR PAPERS

First Workshop on Generative Technologies
WGT 2008

http://wgt2008.elte.hu/

a satellite event of the
11th European Joint Conferences on
Theory and Practice of Software
(ETAPS 2008)
Budapest - Hungary
April 5, 2008

****************************************************************

NEWS

Invited speaker:

Bran Selic
Adjunct Professor, Carleton University, Ottawa, Canada

****************************************************************

IMPORTANT DATES

- Submission of full paper: December 10, 2007
- Submission of tool demo paper: December 10, 2007
- Author notification: January 10, 2008
- Final version due: January 25, 2008

****************************************************************

SCOPE

Generative programming is an emerging paradigm aimed
at automating important tasks in software development,
compile-time and run-time code transformation, and the
creation of domain-specific languages and flexible libraries.
The purpose of the workshop is to provide a forum for
researchers and practitioners working in this area to discuss
state-of-the-art generative technologies and tools, and
exchange ideas about the future of generative programming.
Papers describing practical applications of generative styles,
and new research directions are expected. Suggested areas of
interest in the workshop include, but are not limited to:

- Generative programming, metaprogramming
- Separation of concerns, aspect-oriented techniques
- Intentional programming
- Domain engineering and domain analysis
- Product-line architectures
- Compile-time and run-time code transformation
- Multi-stage languages
- Generic and Active library-development
- Analysis of language support for generative programming
- Semantics, type-systems of generative programs
- Case Studies and Demonstration Cases

****************************************************************

PAPER SUBMISSION

RESEARCH PAPERS (full papers, 8-10 pages) as well as
TOOL DEMO PAPERS (up to 2 pages) should be submitted to
the WGT 2008 organizers in ENTCS format (http://www.entcs.org).
Submissions should be sent by e-mail to wgt@aszt.inf.elte.hu.

Further information will be available at the WGT 2008 home page.
At least one author of each accepted submission must register
and present the paper at the workshop.

****************************************************************

PROCEEDINGS

After revision, final copies of the accepted papers will be
published in Electronic Notes in Theoretical Computer Science
(ENTCS), Elsevier Science (http://www.entcs.org).

****************************************************************

ORGANIZING COMMITTEE

- Zoltan Porkolab Eotvos Lorand University (HUN)
- Norbert Pataki Eotvos Lorand University (HUN)
- Adam Sipos Eotvos Lorand University (HUN)

e-mail: wgt@aszt.inf.elte.hu

PROGRAM COMMITTEE

- Don Batory University of Texas at Austin (USA)
- Jaakko Jarvi Texas A&M University (USA)
- Ralf Lammel University of Koblenz-Landau (GER)
- Hanspeter Mössenböck Johannes Kepler University Linz (AT)
- Zoltan Porkolab Eotvos Lorand University (HUN)
- Elke Pulvermüller University of Osnabrueck (GER)
- Awais Rashid Lancaster University (UK)
- Joao Saraiva University of Minho (POR)
- Jeremy Siek University of Colorado at Boulder (USA)
- Yannis Smaragdakis University of Oregon (USA)
- Istvan Zolyomi Eotvos Lorand University (HUN)

****************************************************************

[Caml-list] FOOL '08: Call for Participation

CALL FOR PARTICIPATION

2008 International Workshop
on
Foundations of Object-Oriented Languages

FOOL '08

http://fool08.kuis.kyoto-u.ac.jp/

Sponsored by ACM SIGPLAN

January 13, 2008
San Francisco, California, USA
Following POPL '08

The search for sound principles for object-oriented languages has
given rise to much work during the past two decades, leading to a
better understanding of the key concepts of object-oriented languages
and to important developments invited type theory, semantics, program
verification, and program development. The FOOL workshops bring
together researchers to share new ideas and results in these areas.

The next workshop, FOOL '08, will be held in San Francisco,
California, on Saturday January 13, 2008, the day after POPL '08.
Eight contributed papers will be presented, along with invited talks.

To register for the workshop, use the standard POPL registration form,
available through:

http://www.regmaster.com/conf/popl2008.html

The POPL early registration deadline ends ****December 13th****.
Please make your hotel arrangements as soon as possible.

To keep down the cost of registration, we will not be providing
printed proceedings. All papers will be available online before the
workshop, so you may print the papers you wish to have on hand.

---------------------------------------------------------------------
Accepted papers:

OOMatch: Pattern Matching as Dispatch in Java
Adam Richard and Ondrej Lhotak

Type Safe Nondeterminism - A Formal Semantics of Java Threads
Andreas Lochbihler

A Unified Framework for Verification Techniques for Object Invariants
Sophia Drossopoulou, Adrian Francalanza and Peter Mueller

Safe Type-level Abstraction in Scala
Adriaan Moors, Frank Piessens and Martin Odersky

A Step-indexed Semantics of Imperative Objects
Catalin Hritcu and Jan Schwinghammer

Computational Soundness and Adequacy for Typed Object Calculus
Johan Glimming

Ownership Type Systems and Dependent Classes
Werner Dietl and Peter Mueller

A Theory of Linear Objects
Matthew Kehrt and Jonathan Aldrich

Plus invited speakers (TBA)

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

Program Committee:

Jonathan Aldrich (Carnegie Mellon University)
Susan Eisenbach (Imperial College)
Manuel Fahndrich (Microsoft Research)
Cormac Flanagan (University of California, Santa Cruz)
Matthew Flatt (University of Utah)
Jacques Garrigue (Nagoya University)
Atsushi Igarashi (Kyoto University) [Chair]
Matthew Parkinson (University of Cambridge)
Julian Rathke (University of Southampton)
Frank Tip (IBM)
Tobias Wrigstad (Stockholm University)

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

_______________________________________________
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