[Caml-list] Third Call for Papers: DAMP 2010

DAMP 2010: Workshop on
Declarative Aspects of Multicore Programming
Madrid, SPAIN
(colocated with POPL 2010)
January, 2010
damp10.cs.nmsu.edu
SUBMISSION DEADLINE: SEPTEMBER 21, 2009

The advent of multicore architectures has profoundly increased the
importance of research in parallel computing. Modern platforms are
becoming more complex and heterogenous and novel solutions are needed
to account for their peculiarities.
Multicore architectures will differ in significant ways from their
multisocket predecessors. For example, the communication to compute
bandwidth ratio is likely to be higher, which will positively impact
performance. More generally, multicore architectures introduce several
new dimensions of variability in both performance guarantees and
architectural contracts, such as the memory model, that may not
stabilize for several generations of product.

Programs written in functional or (constraint-)logic programming
languages, or in other highly declarative languages with a controlled
use of side effects, can greatly simplify parallel programming. Such
declarative programming allows for a deterministic semantics even
when the underlying implementation might be highly non-deterministic.
In addition to simplifying programming this can simplify debugging and
analyzing correctness.

DAMP 2010 is the fifth in a series of one-day workshops seeking to
explore ideas in declarative programming language design that will
greatly simplify programming for multicore architectures, and more
generally for tightly coupled parallel architectures. The emphasis
will be on (constraint-)logic and functional programming, but any
declarative programming language ideas that aim to raise the level of
abstraction are welcome. DAMP seeks to gather together researchers in
declarative approaches to parallel programming and to foster cross
fertilization across different approaches.

Specific topics include, but are not limited to:

* investigation of applications of logic, constraint logic, and
functional programing to multicore programing
* run-time issues of exploitation of parallelism using declarative
programming approaches (e.g., garbage collection, scheduling)
* architectural impact on exploitation of parallelism from
declarative languages
* type systems and analysis for accurately detecting dependencies,
aliasing, side effects, and impure features
* language level declarative constructs for expressing parallelism
* declarative language specification for the description of data
placement and distribution
* compilation and static analysis techniques to support
exploitation of parallelism from declarative languages (e.g.,
granularity control)
* practical experiences and challenges arising from parallel
declarative programming
* technology for debugging parallel programs
* design and implementation of domain-specific declarative
languages for multicore programming

Submission:

Submitted papers papers should not exceed 10 pages in ACM
SIGPLAN conference format. Submission is electronic via:

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

Accepted papers will be published in the ACM Digital Library and
in a physical proceedings. Papers must adhere to the SIGPLAN
Republication Policy:

http://www.sigplan.org/republicationpolicy.htm

Concurrent submissions to other conferences, workshops, journals,
or similar forums of publication are not allowed. However, DAMP
is intended to be a venue for discussion and exploration of
works-in-progress, and so publication of a paper at DAMP 2010 is
not intended to preclude later publication as appropriate.

Additional information about the submission process can be found
at the conference web site.

Important dates:

Abstract submission: Sept. 21
Paper submission: Sept. 25
Notification to authors: Oct. 26
Camera ready: Nov. 9

Program Chair:

Enrico Pontelli
New Mexico State University

General Chairs:

Leaf Petersen
Intel Corporation
Santa Clara, CA, USA

Program Committee:

Manuel Carro Universidad Politecnica de Madrid
Clemens Grelck University of Hertfordshire
Haifeng Guo University of Nebraska at Omaha
Gabriele Keller University of New South Wales
Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen
Leaf Petersen Intel Corporation
John Reppy University of Chicago
Ricardo Rocha University of Porto
Kostis Sagonas National Technical University of Athens
Vitor Santos Costa University of Porto
Satnam Singh Microsoft Research
Philip Trinder Heriot-Watt University
Pascal Van Hentenryck Brown University

URL:

http://damp10.cs.nmsu.edu

_______________________________________________
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] IFL 2009: Final Call for Papers and Participation

Call for Papers and Participation
IFL 2009
Seton Hall University
South Orange, NJ, USA
http://tltc.shu.edu/blogs/projects/IFL2009/

Register at: http://tltc.shu.edu/blogs/projects/IFL2009/registration.html


***** NEW *****

Registration and talk submission deadline fast approaching: August 23, 2009


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


The 21st International Symposium on Implementation and Application of Functional Languages, IFL 2009, will be held
for the first time in the USA. The hosting institution is Seton Hall University in South Orange, NJ, USA and the
symposium dates are September 23-25, 2009. It is our goal to make IFL a regular event held in the USA and in
Europe. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and
application of functional and function-based programming languages. IFL 2009 will be a venue for researchers to
present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the
implementation and application of functional languages and function-based programming.

Following the IFL tradition, IFL 2009 will use a post-symposium review process to produce a formal proceedings which
will be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are
invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium.
These submissions will be screened by the program committee chair to make sure they are within the scope of IFL and will
appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not
peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from
discussions at the symposium and will be invited to submit a revised full arcticle for the formal review process. These
revised submissions will be reviewed by the program committee using prevailing academic standards to select the best
articles that will appear in the formal proceedings.


Invited Speaker:

    Benjamin C. Pierce
    University of Pennsylvania
    Talk Title: How To Build Your Own Bidirectional Programming Language


TOPICS

IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools.
If you are not sure if your work is appropriate for IFL 2009, please contact the PC chair at ifl2009@shu.edu. Topics of
interest include, but are not limited to:

 language concepts
 type checking
 contracts
 compilation techniques
 staged compilation
 runtime function specialization
 runtime code generation
 partial evaluation 
 (abstract) interpretation
 generic programming techniques
 automatic program generation
 array processing
 concurrent/parallel programming
 concurrent/parallel program execution
 functional programming and embedded systems
 functional programming and web applications
 functional programming and security
 novel memory management techniques
 runtime profiling and performance measurements
 debugging and tracing
 virtual/abstract machine architectures
 validation and verification of functional programs  
 tools and programming techniques
 FP in Education


PAPER SUBMISSIONS

Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to
present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series
format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Mathematics
and Computer Science of Seton Hall University.


IMPORTANT DATES

Registration deadline                   August 23, 2009
Presentation submission deadline        August 23, 2009
IFL 2009 Symposium                      September 23-25, 2009
Submission for review process deadline  November 1, 2009
Notification Accept/Reject              December 22, 2009
Camera ready version                    February 1, 2010


PROGRAM COMMITTEE

Peter Achten              University of Nijmegen, The Netherlands
Jost Berthold             Philipps-Universität Marburg, Germany
Andrew Butterfield        University of Dublin, Ireland
Robby Findler             Northwestern University, USA
Kathleen Fisher           AT&T Research, USA
Cormac Flanagan           University of California at Santa Cruz, USA
Matthew Flatt             University of Utah, USA
Matthew Fluet             Toyota Technological Institute at Chicago, USA
Daniel Friedman           Indiana University, USA
Andy Gill                 University of Kansas, USA
Clemens Grelck            University of Amsterdam/Hertfordshire, The Netherlands/UK
Jurriaan Hage             Utrecht University, The Netherlands
Ralf Hinze                Oxford University, UK
Paul Hudak                Yale University, USA
John Hughes               Chalmers University of Technology, Sweden
Patricia Johann           University of Strathclyde, UK
Yukiyoshi Kameyama        University of Tsukuba, Japan
Marco T. Morazán (Chair)  Seton Hall University, USA
Rex Page                  University of Oklahoma, USA
Fernando Rubio            Universidad Complutense de Madrid, Spain
Sven-Bodo Scholz          University of Hertfordshire, UK
Manuel Serrano            INRIA Sophia-Antipolis, France
Chung-chieh Shan          Rutgers University, USA
David Walker              Princeton University, USA
Viktória Zsók             Eötvös Loránd University, Hungary


PETER LANDIN PRIZE

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected
by the program committee based on the submissions received for the formal review process. The prize carries a cash award
equivalent to 150 euros.

[Caml-list] IFL 2009: Call for Papers and Participation

Call for Papers and Participation
IFL 2009
Seton Hall University
SOUTH ORANGE, NJ, USA
http://tltc.shu.edu/blogs/projects/IFL2009/

Register at: http://tltc.shu.edu/blogs/projects/IFL2009/registration.html


***** NEW *****

Registration and talk submission extended to August 23, 2009!


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


The 21st International Symposium on Implementation and Application of Functional Languages, IFL 2009, will be held
for the first time in the USA. The hosting institution is Seton Hall University in South Orange, NJ, USA and the
symposium dates are September 23-25, 2009. It is our goal to make IFL a regular event held in the USA and in
Europe. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and
application of functional and function-based programming languages. IFL 2009 will be a venue for researchers to
present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the
implementation and application of functional languages and function-based programming.

Following the IFL tradition, IFL 2009 will use a post-symposium review process to produce a formal proceedings which
will be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are
invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium.
These submissions will be screened by the program committee chair to make sure they are within the scope of IFL and will
appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not
peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from
discussions at the symposium and will be invited to submit a revised full arcticle for the formal review process. These
revised submissions will be reviewed by the program committee using prevailing academic standards to select the best
articles that will appear in the formal proceedings.


Invited Speaker:

    Benjamin C. Pierce
    University of Pennsylvania
    Talk Title: How To Build Your Own Bidirectional Programming Language


TOPICS

IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools.
If you are not sure if your work is appropriate for IFL 2009, please contact the PC chair at ifl2009@shu.edu. Topics of
interest include, but are not limited to:

 language concepts
 type checking
 contracts
 compilation techniques
 staged compilation
 runtime function specialization
 runtime code generation
 partial evaluation 
 (abstract) interpretation
 generic programming techniques
 automatic program generation
 array processing
 concurrent/parallel programming
 concurrent/parallel program execution
 functional programming and embedded systems
 functional programming and web applications
 functional programming and security
 novel memory management techniques
 runtime profiling and performance measurements
 debugging and tracing
 virtual/abstract machine architectures
 validation and verification of functional programs  
 tools and programming techniques
 FP in Education


PAPER SUBMISSIONS

Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to
present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series
format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Mathematics
and Computer Science of Seton Hall University.


IMPORTANT DATES

Registration deadline                   August 15, 2009
Presentation submission deadline        August 15, 2009
IFL 2009 Symposium                      September 23-25, 2009
Submission for review process deadline  November 1, 2009
Notification Accept/Reject              December 22, 2009
Camera ready version                    February 1, 2010


PROGRAM COMMITTEE

Peter Achten              University of Nijmegen, The Netherlands
Jost Berthold             Philipps-Universität Marburg, Germany
Andrew Butterfield        University of Dublin, Ireland
Robby Findler             Northwestern University, USA
Kathleen Fisher           AT&T Research, USA
Cormac Flanagan           University of California at Santa Cruz, USA
Matthew Flatt             University of Utah, USA
Matthew Fluet             Toyota Technological Institute at Chicago, USA
Daniel Friedman           Indiana University, USA
Andy Gill                 University of Kansas, USA
Clemens Grelck            University of Amsterdam/Hertfordshire, The Netherlands/UK
Jurriaan Hage             Utrecht University, The Netherlands
Ralf Hinze                Oxford University, UK
Paul Hudak                Yale University, USA
John Hughes               Chalmers University of Technology, Sweden
Patricia Johann           University of Strathclyde, UK
Yukiyoshi Kameyama        University of Tsukuba, Japan
Marco T. Morazán (Chair)  Seton Hall University, USA
Rex Page                  University of Oklahoma, USA
Fernando Rubio            Universidad Complutense de Madrid, Spain
Sven-Bodo Scholz          University of Hertfordshire, UK
Manuel Serrano            INRIA Sophia-Antipolis, France
Chung-chieh Shan          Rutgers University, USA
David Walker              Princeton University, USA
Viktória Zsók             Eötvös Loránd University, Hungary


PETER LANDIN PRIZE

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected
by the program committee based on the submissions received for the formal review process. The prize carries a cash award
equivalent to 150 euros.

[Caml-list] Call for Papers: TLDI 2010

                         TLDI 2010                     

 

                *** First Call for Papers ***

 

             The Fifth ACM SIGPLAN Workshop on

          Types in Language Design and Implementation

 

              Madrid, Spain, January 23, 2010

                (Co-located with POPL 2010)

 

        http://research.microsoft.com/~akenn/tldi2010/

 

                Submission Deadline: 5 October 2009

 

The role of types and proofs in all aspects of language design,

compiler construction, and software development has expanded greatly

in recent years. Type systems, type-based analyses and type-theoretic

deductive systems have been central to advances in compilation

techniques for modern programming languages, verification of safety

and security properties of programs, program transformation and

optimization, and many other areas. The ACM SIGPLAN Workshop on Types

in Language Design and Implementation brings researchers together to

share new ideas and results concerning all aspects of types and

programming, and is now an annual event. TLDI 2010 is the fifth

workshop in the series and will be co-located with POPL in Madrid,

Spain in January 2010.

 

Submissions for TLDI 2010 are invited on all interactions of types

with language design, implementation, and programming

methodology. This includes both practical applications and theoretical

aspects. TLDI 2010 specifically encourages papers from a broad field

of programming language and compiler researchers, including those

working on object-oriented, dynamically-typed or late-bound languages,

systems programming, mobile-code or security, as well as traditional

fully-static type systems. Topics of interest include:

 

   * Typed intermediate languages and type-directed compilation

   * Type-based language support for safety and security

   * Types for interoperability

   * Type systems for system programming languages

   * Type-based program analysis, transformation, and optimization

   * Dependent types and type-based proof assistants

   * Types for security protocols, concurrency, and distributed computing

   * Type inference and type reconstruction

   * Type-based specifications of data structures and program invariants

   * Type-based memory management

   * Proof-carrying code and certifying compilation

   * Types and objects

 

This is not meant to be an exhaustive list; papers on novel

utilizations of type information are welcome. Authors concerned about

the suitability of a topic are encouraged to inquire via electronic

mail to the program chair prior to submission.

 

Submission Guidelines:

 

Authors should submit a full paper of no more than 12 pages (including

bibliography and appendices) by Monday 5th October, 2009. The

submission deadline and length limitations are firm. Submissions that

do not meet these guidelines will not be considered.

 

All submissions should be in standard ACM SIGPLAN conference format:

two columns, nine-point font on a ten-point baseline. Detailed

formatting guidelines are available on the SIGPLAN Author Information

page, along with a LaTeX class file and template.

 

Papers must be submitted electronically via the conference website in

Adobe Portable Document Format (PDF) and must be formatted for US Letter

size (8.5"x11") paper. Authors for whom this is a hardship should contact

the program chair before the deadline.

 

Submitted papers must adhere to the SIGPLAN Republication

Policy. Submissions should contain original research not published or

submitted for publication elsewhere.

 

Important Dates:

 

- Submission of papers: 5 October 2009 (Monday)

- Notification:         6 November 2009 (Friday)

- Final versions due:  15 November 2009 (Sunday)

- Workshop:            23 January 2010 (Saturday)

 

General Chair:

 

  Andrew Kennedy, Microsoft Research, UK

 

Program Chair:

 

  Nick Benton, Microsoft Research, UK

 

Program Committee:

 

  Gilles Barthe, IMDEA Software, Spain

  Viviana Bono, University of Torino, Italy

  Giorgio Ghelli, University of Pisa, Italy

  Dan Grossman, University of Washington, USA

  Atsushi Igarashi, Kyoto University, Japan

  Conor McBride, University of Strathclyde, UK

  Jeremy Siek, University of Colorado at Boulder, USA

  Zhong Shao, Yale University, USA

  Matthieu Sozeau, Harvard University, USA

  Chris Stone, Harvey Mudd College, USA

  Kristian Støvring, ITU Copenhagen, Denmark

 

Steering Committee:

 

  Craig Chambers, University of Washington, USA

  Robert Harper, Carnegie Mellon University, USA (Chair)

  Xavier Leroy, INRIA Paris-Rocquencourt, France

  Greg Morrisett, Harvard University, USA

  George Necula, Rinera Networks and UC Berkeley, USA

  Atsushi Ohori, Tohoku University, Japan

  Francois Pottier, INRIA Paris-Rocquencourt, France

  Zhong Shao, Yale University, USA

 

[Caml-list] Call for Papers: VSTTE 2009

We apologise if you receive this message more than once.

*********************************************************
* *
* VSTTE 2009 *
* *
* Workshop on Verified Software *
* Theory Tools and Experiments *
* *
* (affiliated with Formal Methods Week) *
* *
* November 2, 2009 *
* Eindhoven, the Netherlands *
* http://vstte09.lri.fr/ *
* *
* Deadline for submissions: Sep 4, 2009 *
* *
*********************************************************

FM 2009 is the sixteenth in a series of symposia of the
Formal Methods Europe association, and the second one
that is organized as a world congress. Ten years after
FM'99, the 1st World Congress, the formal methods
communities from all over the world will once again have
an opportunity to meet. FM 2009 will be both an
opportunity to celebrate, and an opportunity to join in
when enthusiastic researchers and practitioners from a
diversity of backgrounds and schools come together to
discuss their ideas and experiences.

The workshop on Verified Software: Theories, Tools, and
Experiments (VSTTE 2009) will take place on November the
2nd. The focus of this workshop will be on tools, as
previous VSTTE conferences in Zurich and Toronto
emphasised theories and experiments. Consisting of
contributed papers and invited talks, the workshop will
focus on the tools behind the development of systematic
methods for specifying, building, and verifying
high-quality software. This includes topics like:

* Program logic
* Specification and verification techniques
* Tool support for specification languages
* Tool for various design methodologies
* Tool integration and plug-ins
* Automation in formal verification
* Tool comparisons and benchmark repositories
* Combination of tools and techniques
(e.g. formal vs. semiformal, software specification
vs. engineering techniques)
* Customizing tools for particular applications

Papers about tool architectures, and their achievements
are most welcome. The contributed papers, which should
report on previously unpublished work, can reflect
current and preliminary work in areas of software
verification. New technical results, overviews of new
developments in software verification projects, short
papers accompanying tool demonstrations, as well as
position papers on how to further advance the goal of
verified software are all welcome.

SUBMISSION PROCEDURE
====================

Submitted papers should not have been submitted elsewhere
for publication, should use the Springer-Verlag's package
ftp://ftp.springer.de/pub/tex/latex/svjour/sttt/, and
should not exceed 15 pages including appendices.

Papers will be processed through the EasyChair conference
management system.

IMPORTANT DATES
===============

Submission deadline September 4, 2009, 11:59pm Samoa time (UTC-11)
Notification of acceptance October 2, 2009
Final version October 16, 2009

CONTACT
=======

Leo Freitas, leo@cs.york.ac.uk
Department of Computer Science
University of York, YO10 5DD York, UK
Tel: (+44) (0) 1904 434753

Jean-Christophe Filliatre, Jean-Christophe.Filliatre@lri.fr
CNRS / INRIA Saclay - Ile-de-france - ProVal
Parc Orsay Universite, batiment N
4, rue Jacques Monod 91893
Orsay Cedex FRANCE
Tel: (+33) (0)1 74 85 42 27

FURTHER INFORMATION
===================

Further information will be put on the workshop web-page
http://vstte09.lri.fr/.

_______________________________________________
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] CfPart: ICTAC'09

[Apoligies for multiple copies]

----------------------------------------------------------------------
ICTAC'09

6th International Colloquium on Theoretical Aspects of Computing

*** CALL FOR PARTICIPATION ***

Pullman Putrajaya Lakeside, Malaysia
University Kebangsaan Malaysia (UKM)

August 14th - 20th 2009

http://www.ictac.net/ictac09/
----------------------------------------------------------------------

Summary
-------

14-15 August: A Short Course On TLA+ by Leslie Lamport, Microsoft USA

16-17 August: Tutorials by
- Leslie Lamport
- Zhimming Liu
- Sriram Rajamani
- Annabel McIver

17 August: Workshop TTSS

18-20 August: Main Colloquium
4 Invited Speakers:
- Zuohua Ding
- Leslie Lamport
- Annabel McIver
- Sriram Rajamani
20 Presenations based on LNCS Papers

Visit http://www.ictac.net/ictac09 for registration and latest
information.

Overview
---------

The 6th International Colloquium on Theoretical Aspects of Computing
is taking place from the 16th till the 20th of August 2009 in Kuala
Lumpur, Malaysia. ICTAC'09 is organized by Abdullah Mohd Zin,
Universiti Kebangsaan Malaysia and Jeff Sanders, United Nation
University, Institute of Software Technology, Macao. The PC is
chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW).

About ICTAC 2009
----------------

ICTAC 2009 is the 6th International Colloquium on Theoretical Aspects
of Computing, the latest in a series founded by the International
Institute for Software Technology of the United Nations University
(UNU-IIST). The main purpose of ICTAC is to bring together
practitioners and researchers from academia, industry and government
to present research and to exchange ideas and experience addressing
challenges in both theoretical aspects of computing and in the
exploitation of theory through methods and tools for system
development. The previous four ICTAC events were held in Guiyang,
China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006), Macau
(2007) and Istanbul (2008).

Satellite Events
----------------

The main conference is surrounded by a short course on TLA+ given by
Leslie Lamport, the workshop on Harnessing Theories for Tool Support
in Software (TTSS), and a dedicated tutorials day.

Main Conference
---------------

Invited Speakers
----------------
Zuohua Ding Zhejiang Sci-Tech University
Leslie Lamport Microsoft
Annabelle McIver Macquarie University
Sriram Rajamani Microsoft

Scope
-----

Topics include, but are not limited to:

* software specification, refinement, verification and testing
* model checking and theorem proving
* software architectures
* coordination and feature interaction
* integration of theories, formal and engineering methods and tools
* models of concurrency, security, and mobility
* parallel, distributed, and internet-based (grid) computing
* real-time, embedded and hybrid systems
* automata theory and formal languages
* principles and semantics of languages
* logics and their applications
* type and category theory in computer science
* case studies, theories, tools and experiments of verified systems
* service-oriented architectures: models and development methods
* domain modelling and domain-specific technology: examples,
frameworks and experience

Committees & Contacts
---------------------

General Chair
-------------
Abdullah Mohd Zin Universiti Kebangsaan Malaysia
Jeff Sanders United Nation University, Institute of Software
Technology, Macao

Program Chairs
--------------
Martin Leucker Technische Universität München, Germany
Carroll Morgan University of New South Wales

Local Organizing Committee
--------------------------
Zarina Shukur, Universiti Kebangsaan Malaysia (Chairperson)
Nazlia Omar
Syahanim Mohd Salleh

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

Parosh Abdulla Uppsala University, Schweden
Keijiro Araki Kyushu University, Japan
Farhad Arbab Leids University, The Netherlands
Christel Baier Technical University of Dresden, Germany
Mario Bravetti Universita di Bologna, Italian
Ana Cavalcanti University of York, England
Van Hung Dang United Nations University, Macao
David Deharbe Federal University of Rio Grande do Norte, Brazil
Wei Dong National University of Defense Technology, China
Deepak D'Souza Indian Institute of Science, India
John Fitzgerald Newcastle Uiversity, England
Wan Fokkink Vrije University Amsterdam, The Netherlands
Marcelo Frias University of Buenos Aires, Argentina
Kokichi Futatsugi JAIST, Japan
Paul Gastin LSV/ENS Cachan, France
Susanne Graf VERIMAG, France
Lindsay Groves Victoria University of Wellington, New Zealand
Anne Haxthausen Technical University of Denmark, Denmark
Moonzoo Kim KAIST, South Korea
Kim G. Larsen Aalborg University, Denmark
Insup Lee University of Pennsylvania, USA
Martin Leucker TU Munich, Germany
Kamal Lodaya Institute of Mathematical Sciences, India
Larissa Meinicke Abo Akademi, Finland
Ugo Montanari University of Pisa, Italian
Carroll Morgan University of New South Wales, Australia
Ahmed Patel Universiti Kebangsaan Malaysia, Malaysia
Pekka Pihlajasaari Data Abstraction (Pty) Ltd, South Africa
Abhik Roychoudhury National University of Singapore, Singapore
Hassen Saidi SRI International, USA
Augusto Sampaio Universidade Federal de Pernambuco, Brazil
Cesar Sanchez IMDEA, Spain
Marjan Sirjani University of Tehran, Iran
Sofiene Tahar Concordia University, Canada
Serdar Tasiran Koc University, Turkey
Helmut Veith Technical University Darmstadt, Germany
Mahesh Viswanathan University of Illinois at Urbana, USA
Tomas Vojnar Brno University of Technology, Czech Republic
Ji Wang Zhejiang University, China
Jim Woodcock University of York, England
Husnu Yenigun Sabanci University, Turkey
Naijun Zhan Chinese Academy of Sciences, China
Huibiao Zhu East China Normal University, China

Steering Committee
------------------

John Fitzgerald University of Newcastle upon Tyne, UK
Martin Leucker Technische Universität München, Germany
Zhiming Liu (Chair) UNU-IIST, Macao
Tobias Nipkow Technische Universität München, Germany
Augusto Sampaio Universidade Federal de Pernambuco, Brazil
Natarajan Shankar SRI, USA
Jim Woodcock University of York, UK

_______________________________________________
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] Call for Papers: PLPV 2010

Call For Papers

Programming Languages meets Program Verification (PLPV) 2010

http://slang.soe.ucsc.edu/plpv10/

Tuesday, January 19, 2010
Madrid, Spain
Affiliated with POPL 2010

Overview: The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic and/or
structural properties of the programming language. One example is
dependently typed programming languages, which leverage a language's
type system to specify and check richer than usual specifications,
possibly with programmer-provided proof terms. Another example is
extended static checking systems like Spec#, which extends C# with
pre- and postconditions along with a static verifier for these
contracts.

We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage cross-pollination between different
communities, we seek a broad the scope for PLPV. In particular,
submissions may have diverse foundations for verification (type-based,
Hoare-logic-based, etc), target diverse kinds of programming languages
(functional, imperative, object-oriented, etc), and apply to diverse
kinds of program properties (data structure invariants, security
properties, temporal protocols, etc).

Submissions: Submissions should fall into one of the following three
categories:

1. Regular research papers that describe new work on the above or
related topics. Submissions in this category have an upper limit
of 12 pages, but shorter submissions are also encouraged.

2. Work-in-progress reports should describe new work that is
ongoing and may not be fully completed or evaluated. Submissions
in this category should be at most 6 pages in total length.

3. Proposals for challenge problems which the author believes is
are useful benchmarks or important domains for language-based
program verification techniques. Submissions in this category
should be at most 6 pages in total length.

Submissions should be prepared with SIGPLAN two-column conference
format. Submitted papers must adhere to the SIGPLAN republication
policy. Concurrent submissions to other workshops, conferences,
journals, or similar forums of publication are not allowed.

Publication: Accepted papers will be published by the ACM and appear
in the ACM digital library.

Student Attendees: Students with accepted papers or posters are
encouraged to apply for a SIGPLAN PAC grant that will help to cover
travel expenses to PLPV. Details on the PAC program and the
application can be found on the workshop web page. PAC also offers
support for companion travel.

Important Dates:

* Electronic submission: October 8, 2009, 11:59pm Samoa time (UTC-11)
* Notification: November 8, 2009
* Final version: November 17, 2009
* Workshop: January 19, 2010

Organizers:

* Cormac Flanagan (University of California, Santa Cruz)
* Jean-Christophe Filliâtre (CNRS)

Program Committee:

* Adam Chlipala (Harvard University)
* Ranjit Jhala (University of California, San Diego)
* Joseph Kiniry (University College Dublin)
* Rustan Leino (Microsoft Research)
* Xavier Leroy (INRIA Paris-Rocquencourt)
* Conor McBride (University of Strathclyde)
* Andrey Rybalchenko (Max Planck Institute for Software Systems)
* Tim Sheard (Portland State University)
* Stephanie Weirich (University of Pennsylvania)

_______________________________________________
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