Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
2005 ML Workshop
The 2005 ACM SIGPLAN Workshop on ML
To be held in conjunction with ICFP'05
on Thursday, September 29, 2005, in
Tallinn, Estonia.
The ML family of programming languages, whose dialects include
Standard ML, Objective Caml, Alice ML, and nML, has inspired a
tremendous amount of language research, ranging from type inference to
module systems to operational semantics and implementation. Languages
from the ML family have alse been successfully applied in areas
ranging from compilers and theorem provers to low-level system
software, web applications and video games.
The goal of the Workshop is to provide a forum for researchers,
developers, and users to hear about and discuss the latest work on the
use, design, and implementation of ML-like languages. Previous ML
Workshops have been held in Edinburgh, Pittsburgh, San Francisco,
Orlando and Baltimore.
The 2005 Workshop will be held in
conjunction with the ACM SIGPLAN International
Conference on Functional Programming in Tallinn, Estonia.
The goal of the Workshop is for researchers, developers, and
users to hear about and discuss the latest work on the use,
design, and implementation of ML-like languages.
Important Dates
- For Authors:
-
- Submission Deadline: June 10, 2005
- Notification of acceptance: July 15, 2005
- Final paper due: Sept 5, 2005
- Workshop: September 29, 2005
- For Participants:
-
- Early registration deadline: July 29, 2005
- Late registration deadline: September 2, 2005
Registration, hotels, travel, etc.
Information about registration, accommodation, fees, travel, and
more can be found at
the TFP/ICFP/GPCE
Local Information web site.
Instructions for Authors
Submissions should be prepared using LaTeX style files and macros
available at the ENTCS
Macro Home Page. You should follow the instructions on that page
by downloading a copy of
the generic
ENTCS Macro Package linked near the top of the page, and also a
copy of the file
prentcsmacro.sty
that is linked in the listing for the ML workshop in the Table at the
bottom of the page. You should use the file
example.tex as a template for your paper. Be sure to include
key words in the environment provided in the frontmatter section.
Invited Speaker:
Organizers:
Program Chairs:
Program Committee:
- Nick Benton (co-chair)
- Microsoft Research
- Matthias Blume
- Toyota Technological Institute at Chicago
- Martin Elsman
- IT University of Copenhagen
- Jean-Christophe Filliâtre
- Université Paris Sud
- Robert Harper
- Carnegie Mellon University
- Xavier Leroy (co-chair)
- INRIA
- Chris Okasaki
- United States Military Academy
- John Reppy
- University of Chicago
- Andreas Rossberg
- Universität des Saarlandes, Saarbrücken
- Zhong Shao
- Yale University
- Eijiro Sumii
- Tohoku University
- Stephen Weeks
- Kwangkeun Yi
- Seoul National University
Last modified: July 6th, 2005