(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)-
>(p:P s)*
OPEN CALL FOR PAPERS
for a Special Issue of
MATHEMATICAL STRUCTURES in COMPUTER SCIENCE
in association with the workshop
DEPENDENTLY TYPED PROGRAMMING 2010
editors: Thorsten Altenkirch (Nottingham), Conor McBride
(Strathclyde)
2011 timeline: submission Jan 31; notification May 31; final version
June 30
(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)->(p:P s)*(s:S)-
>(p:P s)*
Thorsten Altenkirch and Conor McBride are delighted to invite
contributions to a Special Issue of the journal Mathematical
Structures in Computer Science (Cambridge University Press), in
association with the Workshop on Dependently Typed Programming, which
we organised on 9 and 10 July 2010 in Edinburgh, as part of FLoC,
associated with LiCS. The workshop had a packed programme of exciting
developments, reflecting the strength of work on this topic at this
time. More recent workshops and conferences have exhibited a
significant contribution from researchers in this area. We are
grateful to Editor-in-Chief Giuseppe Longo and to Editor Eugenio Moggi
for the opportunity to reflect these welcome developments in the pages
of MSCS, and we encourage researchers to consider submitting a paper.
submission deadline: January 31 2011
notification: May 31 2011
final versions due: June 30 2011
We invite full journal articles concerning Dependently Typed
Programming or related topics, from authors at work in this area.
Submissions are particularly welcome from but not limited to
contributors to the workshop, and the same journal-standard peer
review process will apply in any case. Please feel free to address any
enquiries about scope and suitability to the guest editors, Thorsten
Altenkirch (University of Nottingham) and Conor McBride (University of
Strathclyde).
Submissions should usually not exceed 35 pages. Authors should adhere
to the guidelines issued by Cambridge University Press for MSCS
contributors: http://assets.cambridge.org/MSC/MSC_ifc.pdf. These
include directions to the relevant LaTeX resources.
We very much look forward to hearing from you.
Thorsten and Conor
Hi all,
I am pleased to announce the release of shaker 0.4.1
Shaker is an interactive build tool which allow to simply compile or
launch test on a haskell project and provides some interesting
features like continuous action. With continuous action, an action
(compile or test) will be automatically executed when a source
modification is detected.
All configuration are made via cabal; Shaker will read cabal
configuration to discover source directories, compilation options and
targets to compile. More details on
http://hackage.haskell.org/package/shaker
What's new since 0.3 :
* Integration of test-framework for test execution
* Better exception handling
* File changes are now correctly reloaded for continuous testing
* Test action now use arguments to filter test by their names
* Created test-module to execute tests on a specific module
Suggestions, feedbacks and bug reports are welcome.
Cheers,
Anthonin
TLDI 2011
FINAL CALL FOR PAPERS
The Sixth ACM SIGPLAN Workshop on
Types in Language Design and Implementation
Austin, Texas, USA
Tuesday, January 25, 2011
(Co-located with POPL 2011)
http://www.mpi-sws.org/~dreyer/tldi2011/
Submission Deadline: October 11, 2010
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 2011 is the sixth
workshop in the series and will be co-located with POPL in Austin,
Texas in January 2011.
Submissions for TLDI 2011 are invited on all interactions of types
with language design, implementation, and programming methodology.
This includes both practical applications and theoretical aspects.
TLDI 2011 specifically encourages papers from a broad field of
programming language and compiler researchers, including those working
on object-oriented or dynamic 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, October 11, 2010. 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 workshop website
(http://www.mpi-sws.org/~dreyer/tldi2011/) 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.
Publication:
As in previous years, accepted papers will be published by the ACM and
appear in the ACM digital library. A printed proceedings will be
available at the workshop.
Important Dates:
- Submission deadline: October 11, 2010 (Monday), 21:00 Samoa-Apia Time
- Notification: November 8, 2010 (Monday)
- Final versions due: November 22, 2010 (Monday)
- Workshop: January 25, 2011 (Tuesday)
General Chair:
Stephanie Weirich
University of Pennsylvania
sweirich at cis dot upenn dot edu
Program Chair:
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS)
dreyer at mpi-sws dot org
Program Committee:
Thorsten Altenkirch (University of Nottingham)
Fritz Henglein (University of Copenhagen)
Michael Hicks (University of Maryland, College Park)
Limin Jia (Carnegie Mellon University)
Mark Jones (Portland State University)
Neel Krishnaswami (Microsoft Research, Cambridge)
Paul-André Melliès (CNRS & Université Paris Diderot)
Aleks Nanevski (IMDEA Software, Madrid)
Benjamin Pierce (University of Pennsylvania)
Tachio Terauchi (Tohoku University)
Sam Tobin-Hochstadt (Northeastern University)
Steering Committee:
Amal Ahmed (Indiana University)
Nick Benton (Microsoft Research, Cambridge)
Derek Dreyer (MPI-SWS)
Robert Harper (Carnegie Mellon University, chair)
Andrew Kennedy (Microsoft Research, Cambridge)
Francois Pottier (INRIA Rocquencourt)
Zhong Shao (Yale University)
Stephanie Weirich (University of Pennsylvania)
