JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for SMLNET-USERS Archives


SMLNET-USERS Archives

SMLNET-USERS Archives


SMLNET-USERS@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

SMLNET-USERS Home

SMLNET-USERS Home

SMLNET-USERS  May 2007

SMLNET-USERS May 2007

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

FINAL CFP: The 2007 ACM SIGPLAN Workshop on ML (Final Call For Papers)

From:

Claudio Russo <[log in to unmask]>

Reply-To:

Claudio Russo <[log in to unmask]>

Date:

Fri, 25 May 2007 14:52:05 +0100

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (126 lines)

Below is the *Final CFP* for the 2007 Workshop on ML.

It's only 3 weeks to the submission deadline, so whether a designer,
developer or user of ML, please consider contributing a paper!

Note that this year, we are introducing a new paper category of
"work-in-progress reports".  These are intended as a way of informing
others in the ML community about the status of ML-related research or
implementation projects, as well as communicating insights gained from
such projects that do not quite constitute a full research paper. See
below for more details.

If you are interested in submitting a paper, but you are not sure
about what category it belongs in or if it would be appropriate for
the workshop, please contact me or Derek Dreyer, the Programme Chair.

Claudio Russo (Workshop Organizer)

-------------------------------------------------------------------
                  The 2007 ACM SIGPLAN Workshop on ML

                        Friday, October 5, 2007
                           Freiburg, Germany

                To be held in conjunction with ICFP '07

             http://research.microsoft.com/~crusso/ml2007/

                   Submission web site (now open):
        https://www.quad.softconf.com/starts/ml07/submit.html

                        FINAL CALL FOR PAPERS


GOALS OF THE WORKSHOP:

The ML family of programming languages, whose most popular dialects
are Standard ML and Objective Caml, has inspired a tremendous amount
of computer science research, both practical and theoretical. ML
continues to be employed successfully in applications ranging from
compilers and theorem provers to low-level systems software, web
applications and video games. The Workshop on ML aims to bring
together researchers, developers and users of ML to hear about and
discuss the latest work on the design, semantics, implementation and
application of ML and ML-like languages. Previous ML workshops have
been held in Orlando, Florida (1994), Baltimore, Maryland (1998),
Tallinn, Estonia (2005), and Portland, Oregon (2006).

The 2007 Workshop on ML will be held in conjunction with the 12th ACM
SIGPLAN International Conference on Functional Programming (ICFP 2007)
in Freiburg, Germany on Friday, October 5, 2007.

SUBMISSION GUIDELINES:

This year, we are seeking paper submissions of two varieties:
*research papers* and *work-in-progress reports*.

*Research papers* must present original research that has not been
published elsewhere. We welcome research papers on any ML-related
topic, including (but not limited to):

 * applications
 * concurrent programming
 * formal semantics
 * language design
 * language formalization and mechanization
 * language implementation
 * programming environments
 * type systems

*Work-in-progress reports* need not present original research. Rather,
they are intended as a way of informing others in the ML community
about the status of ML-related research or implementation projects, as
well as communicating insights gained from such projects that do not
quite constitute a full research paper. As such, we expect that
work-in- progress reports will be shorter than research papers, and we
will not judge them to the same standard. If you have any questions
regarding the appropriate paper category for a potential submission or
its overall suitability for the workshop, please contact the program
chair.

All paper submissions must be at most 12 pages total length in the
standard ACM SIGPLAN two-column conference format:
        http://www.acm.org/sigs/sigplan/authorInformation.htm
Authors of work-in-progress report submissions should designate their
papers as such by including the words "work in progress" or "status
report" in the title. Submissions authored by program committee
members are permitted, with the usual stipulation that they will be
judged to a higher standard.

Accepted papers will be published by the ACM and will appear in the
ACM Digital Library.

Submissions are now being accepted electronically via START:

       https://www.quad.softconf.com/starts/ml07/submit.html.

IMPORTANT DATES:

Submission deadline:        Friday, June 15, 2007
Notification of acceptance: Friday, July 13, 2007
Final revision due:         Friday, August 3, 2007
Workshop:                   Friday, October 5, 2007

WORKSHOP ORGANIZER:

 * Claudio Russo (Microsoft Research, Cambridge)
   crusso_AT_microsoft.com

PROGRAM CHAIR:

 * Derek Dreyer (Toyota Technological Institute at Chicago)
   dreyer_AT_tti-c.org

PROGRAM COMMITTEE:

 * Lars Birkedal (IT University of Copenhagen)
 * Derek Dreyer (Toyota Technological Institute at Chicago)
 * Jacques Garrigue (Nagoya University)
 * Luc Maranget (INRIA Rocquencourt)
 * Greg Morrisett (Harvard University)
 * Atsushi Ohori (Tohoku University)
 * Peter Sestoft (IT University of Copenhagen)
 * Peter Sewell (University of Cambridge)
 * Mark Shinwell (CodeSourcery UK Ltd)
 * Don Syme (Microsoft Research, Cambridge)

Top of Message | Previous Page | Permalink

JISCMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

June 2009
June 2008
May 2008
March 2008
November 2007
September 2007
June 2007
May 2007
March 2007
March 2006
February 2006
April 2005
March 2005
February 2005
January 2005
October 2004
July 2004
June 2004
May 2004
April 2004
January 2004
December 2003
November 2003
October 2003
September 2003
June 2003
May 2003
March 2003
November 2002
October 2002
August 2002
July 2002
June 2002


WWW.JISCMAIL.AC.UK

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager