[Caml-list] CFPart: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th

Call for participation: Towards a Digital Mathematics Library (DML 2009)
July 8-9th, 2009, Grand Bend, Ontario, Canada

Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2009.html
Registration: http://www.orcca.on.ca/conferences/cicm09/cicm09/registration.html
Travel: http://www.orcca.on.ca/conferences/cicm09/cicm09/travel.html
Accomodation: http://www.orcca.on.ca/conferences/cicm09/cicm09/accommodation.html

Overview:
Mathematicians dream of a digital archive containing all peer-reviewed
mathematical literature ever published, properly linked and
validated/verified. It is estimated that the entire corpus of mathematical
knowledge published over the centuries does not exceed 100,000,000
pages, an amount easily manageable by current information technologies.

The workshop's objectives are to formulate the strategy and goals of
a global mathematical digital library and to summarize the current
successes and failures of ongoing technologies and related projects,
asking such questions as:
# What technologies, standards, algorithms and formats should be used
and what metadata should be shared?
# What business models are suitable for publishers of mathematical
literature, authors and funders of their projects and institutions?
# Is there a model of sustainable, interoperable, and extensible
mathematical library that mathematicians can use in their everyday work?
# What is the best practice for
* retrodigitized mathematics (from images via OCR to MathML and/or TeX);
* retro-born-digital mathematics (from existing electronic copy in
DVI, PS or PDF to MathML and/or TeX);
* born-digital mathematics (how to make needed metadata and file formats
available as a side effect of publishing workflow [CEDRAM model/Euclid])?

Proceedings:
has been published by Masaryk University Press and will be available on site.

Papers and Posters selected for presentation at the workshop:

Part I Towards Digital Mathematics Library

* The Evolving Digital Mathematics Network (invited talk)
David Ruddy (Cornell University Library, USA)
* Community Curation and Management of Mathematical Literature
John Burns and Nigel Kerr (Ithaka/JSTOR, USA)

Part II Towards Mathematical OCR and Search

* An Approach to Similarity Search for Mathematical Expressions using MathML
Keisuke Yokoi (University of Tokyo, Japan) and
Akiko Aizawa (University of Tokyo, National Institute of Informatics, Japan)
* Improving Mathematics Retrieval
Shahab Kamali and Frank Wm.~Tompa (University of Waterloo, Canada)
* An Online Repository of Mathematical Samples
Josef B. Baker, Alan P. Sexton, and Volker Sorge (University of Birmingham, UK)

Part III Digitization Reports

* Report on the Current State of the French DMLs
Thierry Bouche (Universit\'e de Grenoble~I & CNRS, France)
* Experimental DML over Digital Repositories in Japan
Takao Namiki, Hiraku Kuroda, and Shunsuke Naruse (Hokkaido University, Sapporo, Japan)

Part IV Digitization Technologies and Platforms

* Document Interlinking in a Digital Math Library
Claude Goutorbe (Cellule Mathdoc, Universit\'e Joseph Fourier and Centre
National de la recherche Scientifique, Grenoble, France)
* I2Geo: a Web-Library of Interactive Geometry
Paul Libbrecht (DFKI GmbH, Saarbr\"ucken, Germany),
Ulrich Kortenkamp (University of Education Karlsruhe, Germany) and
Christian Mercat (I3M, Universit\'e Montpellier 2, France)

Part V Tools and Techniques

* MathML-aware Article Conversion from LaTeX
Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir
Zamdzhiev, Michael Kohlhase (Jacobs University Bremen, Germany)
* Conversion of TeX Documents to PDF
Aleksandar Pejovi\'c and \v{Z}arko Mijajlovi\'c
(Mathematical Institute SANU, Belgarde, Serbia)

Panel/round table discussion: Towards a Digital Mathematics Library: the Next Steps
Panelists to be confirmed:
Thierry Bouche (EuDML/EVLM/NUMDAM and CEDRAM),
John Burns and/or Nigel Kerr (Ithaka/JSTOR, USA),
Michael Doob (Canada), Patrick Ion (AMS, USA),
David Ruddy (Cornell University Library, USA),
Masakazu Suzuki (Japanese digitization projects),
Petr Sojka (DML-CZ),
Enrique Macias-Virgos (Spanish DML)

Workshop topics:
(include, but are not limited to)
o search, indexing and retrieval of mathematical documents
o ranking of mathematical papers, similarity of mathematical documents
o math OCR with MathML/TeX output
o document conversions from/to MathML, OpenMath, LaTeX,
PostScript and [tagged] PDF
o conversions between various mathematical formalisms
o mathematical document compression
o processing of scanned images
o algorithms for crosslinking of bibliographical items,
intext citations search
o mathematical document classification, MSC 2010
o mathematical text mining
o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE
o long term archiving, data migration
o reports and experience from math digitization projects
o math publishing with long term archival goal
o software engineering aspects of creating, handling MathML,
OMDoc, OpenMath documents, and displaying them in web browsers

Programme Committee:
Jose Borbinha (Technical University of Lisbon, IST, PT)
Thierry Bouche (University Grenoble, Cellule Mathdoc, FR)
Michael Doob (University of Manitoba, Winnipeg, CA)
Thomas Fischer (Goettingen University, Digitization Center, DE)
Yannis Haralambous (Télécom Bretagne, FR)
Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ)
Janka Chlebikova (Comenius University, MFF, Bratislava, SK)
Enrique Macias-Virgos (University of Santiago de Compostella, ES)
Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ)
Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT)
David Ruddy (Cornell University, Library, US)
Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair]
Volker Sorge (University of Birmingham, UK)
Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP)
Bernd Wegner (Technical University & Zentralblatt MATH, Berlin, DE)

Organizing Committee:
Michael Doob, Michal Ruzicka, Petr Sojka

Questions/inquiries:
mail to dml2009 at easychair dot org

CFP distribution:
Please, distribute at your place. And apologies for multiple postings!

_______________________________________________
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] ICFP09 Call for Participation

=====================================================================
Call for Participation

The 14th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2009)

http://www.cs.nott.ac.uk/~gmh/icfp09.html

Edinburgh, Scotland, 31 August - 2 September 2009
=====================================================================

ICFP 2009 provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

Preliminary program:
* Accepted papers:
+ http://web.cecs.pdx.edu/~apt/icfp09_accepted_papers/accepted.html
* Invited speakers:
+ Guy Steele -- Organizing Functional Code for Parallel Execution:
or, foldl and foldr Considered Slightly Harmful
+ Benjamin Pierce -- Lambda, the Ultimate TA: Using a Proof
Assistant to Teach Programming Language Foundations
+Dan Piponi -- Commutative Monads, Diagrams and Knots

Schedule including related workshops:
* Aug 30: ACM SIGPLAN Workshop on ML
* Aug 30: ACM SIGPLAN Workshop on Generic Programming
* Aug 31-Sep 2: ICFP09
* Sep 3: ACM SIGPLAN Haskell Symposium
* Sep 3: ACM SIGPLAN Developer Tracks on Functional Programming
* Sep 4: Commercial Users of Functional Programming
* Sep 4: ACM SIGPLAN Workshop on Mechanizing Metatheory
* Sep 4: ACM SIGPLAN Workshop on Approaches and Applications of
Inductive Programming
* Sep 5: ACM SIGPLAN Erlang Workshop
* Sep 5: ACM SIGPLAN Developer Tracks on Functional Programming
* Sep 5: ACM SIGPLAN Haskell Implementors Workshop

Registration information:
* http://www.regmaster.com/conf/icfp2009.html
* Early registration deadline: July 30, 2009

Local arrangements (including travel and accommodation):
* http://www.haskell.org/haskellwiki/ICFP_2009_Local_Arrangements
* Conference reservation/rate deadline: July 20, 2009
* ICFP09 coincides with the final week of the Edinburgh International
Festival, one of the premier arts and cultural festivals in the
world. The opportunity to attend the Festival is a plus! Due to
the popularity of Edinburgh during the festival period, we
strongly recommend booking accommodation early.

Conference organizers:
* General Chair: Graham Hutton (University of Nottingham)
* Program Chair: Andrew Tolmach (Portland State University)
* Local Arrangements Chairs: Philip Wadler (University of Edinburgh),
Kevin Hammond (University of St Andrews), and
Gregory Michaelson (Heriot-Watt University)
* Workshop Co-Chairs: Christopher Stone (Harvey Mudd College), and
Michael Sperber (DeinProgramm)
* Programming Contest Chair: Andrew Gill (University of Kansas)
* Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicago)

=====================================================================
=====================================================================

And, don't forget about the ICFP Programming Contest this weekend!!

* http://www.icfpcontest.org
* Friday, June 26 to Monday, June 29
* Organizers: Computer Systems Design Laboratory (University of Kansas)

_______________________________________________
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] TASE 2009 - Call for Participation

        TASE 2009 - CALL FOR PARTICIPATION

**********************************************************
*    3rd IEEE International Symposium on
* Theoretical Aspects of Software Engineering
*             (TASE 2009)
*     29-31 July 2009, Tianjin, China
*    http://www.dur.ac.uk/ieee.tase2009
*
* Early Registration Deadline : 18 June 2009
* For more information email: IEEE.TASE2009@durham.ac.uk
***********************=**********************************


TASE 2009 Invited Speakers
==========================

Kim G. Larsen, Aalborg University, Denmark

Zhong Shao, Yale University, USA

Jin-Song Dong, National University of Singapore



TASE 2009 Programme
====================

Day 1: 29 July 2009
-------------------

Invited Talk:

Verification and Performance Analysis of Embedded Systems
Kim G. Larsen (Aalborg University)

Session 1 : Real-Time and Embedded Systems

Improving Responsiveness of Hard Real-Time Embedded Systems
Hugh Anderson (Wellington Institute of Technology) and Siau-Cheng KHOO (National University of Singapore) 

Environmental Simulation of Real-Time Systems with Nested Interrupts
Guoqiang Li (Shanghai Jiao Tong University), Shoji Yuen (Nagoya University) and Masakazu Adachi (Toyota Central R&D Labs. INC.).

Semantics for Communicating Actors with Interdependent Real-Time Deadlines
Istv¨¢n Knoll (Aalborg University), Anders P. Ravn (Aalborg University) and Arne Skou (Aalborg University).

An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems
Zhenhua Duan (Xidian University) and Yan Xiao (Xidian University).

Session 2 : Semantics

State Visibility and Communication in Unifying Theories of Programming
Andrew Butterfield (Trinity College Dublin), Pawel Gancarski (Trinity College Dublin) and Jim Woodcock (University of York).

Semantics of Metamodels in UML
Lijun Shan (National University of Defence Technology) and Hong Zhu (Oxford Brookes University).

Refinement Algebra with Explicit Probabilism
Tahiry Rabehaja (UNU/IIST) and Jeffrey Sanders (UNU/IIST).

Session 3 : Model Checking

Environment Abstraction with State Clustering and Parameter Truncating
Hong Pan (Institute of Software, Chinese Academy of Sciences), Yi Lv (Institute of Software, Chinese Academy of Sciences)  and Huimin Lin (Institute of Software, Chinese Academy of Sciences).

Verification of Population Ring Protocols in PAT
Yang Liu (National University of Singapore), Jun Pang (University of Luxembourg), Jun Sun (National University of Singapore) and Jianhua Zhao (Nanjing University).

Bounded Model Checking of ACTL Formulae
Wei Chen (Institute of Software, Chinese Academy of Sciences) and Wenhui Zhang (Institute of Software, Chinese Academy of Sciences).

Day 2, 30 July 2009
-------------------

Invited Talk:

Modular Development of Certified System Software
Zhong Shao (Yale University) 

Session 4: Specification and Security

Coarse Grained Retrenchment and the Mondex Denial of Service Attacks
Richard Banach (Manchester University).

Specifying and Enforcing Constraints of Artifact Life Cycles
Xiangpeng Zhao (Peking University), Jianwen Su (University of California at Santa Barbara), Hongli Yang (Beijing University of Technology) and Zongyan Qiu (Peking University).

Consistency Checking for LSC Specifications
Hai-Feng Guo (University of Nebraska at Omaha), Wen Zheng (University of Nebraska at Omaha) and Mahadevan Subramaniam (University of Nebraska at Omaha).

Integrating Specification and Programs for System Modeling and Verification
Jun Sun (National University of Singapore), Yang Liu (National University of Singapore), Jin Song Dong (National University of Singapore) and Chunqing Chen (National University of Singapore).

Session 5 : Software Testing I

A Framework and  Language Support for Automatic Dynamic Testing of Workflow Management Systems
Gwan-Hwan Hwang (National Taiwan Normal University), Che-Sheng Lin (National Taiwan Normal University), Li-Te Tsao (National Taiwan Normal University), Kuei-Huan Chen (National Taiwan Normal University) and Yan-You Li (National Taiwan Normal University).

Fault-based Test Case Generation for Component Connectors
Bernhard Aichernig (Graz University of Technology), Farhad Arbab (CWI), Lacramioara Astefanoaei (CWI), Frank de Boer (CWI), Meng Sun (CWI) and Jan Rutten (CWI).

Test Data Generation for Derived Types in C Program
Zheng Wang (East China Normal University), Xiao Yu (East China Normal University), Tao Sun (East China Normal University), Geguang Pu (East China Normal University) and Zuohua Ding (Zhejiang Sci-Tech University).

Session 6 : Software Models

Program Repair as Sound Optimization of Broken Programs
Bernd Fischer (University of Southampton), Ando Saabas (Tallinn University of Technology) and Tarmo Uustalu (Tallinn University of Technology).

Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach
Bo Song (Shanghai University) and Huaikou Miao (Shanghai University).

Merging of Use Case Models: Semantic Foundations 
Stephen Barrett (Concordia University), Daniel Sinnig (Concordia University), Patrice Chalin (Concordia University) and Greg Butler (Concordia University).

Day 3, 31 July 2009
-------------------

Invited Tutorial:

Towards Expressive Specification and Efficient Model Checking
Jin Song Dong (National University of Singapore)

Session 7 : Verification

Verifying Semistructured Data Normalization using SWRL
Yuan Fang Li (University of Queensland), Jing Sun (University of Auckland), Gillian Dobbie (University of Auckland), Scott Uk-Jin Lee (University of Auckland)  and Hai H. Wang (Aston University).

Verifying Self-stabilizing Population Protocols with Coq
Yuxin Deng (Shanghai Jiao Tong University) and Jean-fran?ois Monin (Universit¨¦ de Grenoble 1).

The Logical Approach to Low-level Stack Reasoning
Xinyu Jiang (University of Science and Technology of China), Yu Guo (University of Science and Technology of China) and Yiyun Chen (University of Science and Technology of China).

Constructing Program Invariants via Solving QBF
Shikun Chen (National University of Defence Technology), Zhoujun Li (Beihang University) and Mengjun Li (National University of Defence Technology).

Session 8 : Concurrency

Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation
Moritz Martens (University of Mannheim) and Mila Majster-Cederbaum (University of Mannheim).

Formal Reasoning about Concurrent Assembly Code with Reentrant Locks
Ming Fu (University of Science and Technology of China), Yu Zhang (University of Science and Technology of China) and Yong Li (University of Science and Technology of China).

Algorithms for Computing Weak Bisimulation Equivalence
Weisong Li (Institute of Software, Chinese Academy of Sciences).

Session 9 : Software Testing II

Interpreting a Successful Testing Process: Risk and Actual Coverage
Marielle Stoelinga (University of Twente) and Mark Timmer (University of Twente).

Automated Test Case Generation based on Coverage Analysis
Tim A. Majchrzak (University of Muenster) and Herbert Kuchen (University of Muenster).

Exploring Topological Structure of Boolean Expressions for Test Data Selection
Lian Yu (Peking University), Wei Zhao (IBM China Research Lab), Xiangdong Fan (Peking University) and Jun Zhu (IBM China Research Lab).

On Testing 1-Safe Petri Nets
Guy-Vincent Jourdan (University of Ottawa) and Gregor von Bochmann (University of Ottawa).


The programme also include two poster sessions, comprising
of 23 selected poster presentations. This list of posters can
be found at http://www.dur.ac.uk/ieee.tase2009/

[Caml-list] IFL 2009: Second Call for Papers

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


** NEW **

Accomodations information available: http://tltc.shu.edu/blogs/projects/IFL2009/accommodations.html

Jane Street Capital has joined IFL 2009 as a sponsor

*********


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.


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] CICM 2009 (Calculemus and MKM) - Call for Participation

Conferences on Intelligent Computer Mathematics CICM 2009
6 July -- 12 July 2009, Grand Bend Ontario Canada
http://www.orcca.on.ca/conferences/cicm09

Call for Participation

*** Early Registration Rate until June 5 ***

The 2009 Conferences on Intelligent Computer Mathematics are a cluster
of related meetings on various aspects of the intelligent treatment of
mathematical information by computers.

The event incorporates the Calculemus and Mathematical Knowledge
Management conferences and a selection of workshops:

* Compact Computer Algebra
* Towards a Digital Mathematics Library
* Mathematical User Interfaces
* OpenMath
* Pen-Based Mathematical Computation
* W3C Workshop on Using Ink in Multimodal Applications

On the conference pages, you will also see the preliminary program and
the abstracts of the plenary talks:

"Computational Logic and Continuous Mathematics, Pure and Applied,"
Rob Arthan (Lemma 1 & Queen Mary, University of London, UK)

"Math-Literate Computers," Dorothea Blostein (Queen's University,
Canada)

"Abstraction-Based Information Technology: A Framework for Open
Mechanized Reasoning," Jacques Calmet (Universitaet Karlsruhe,
Germany)

"CAMAL 40 Years On -- Is Small Still Beautiful?"
John Fitch (University of Bath, UK)

"Software Engineering for Mathematics,"
Georges Gonthier (Microsoft Research Cambridge, UK)

"Some Traditional Mathematical Knowledge Management,"
Patrick Ion (Math Reviews, USA)

"Math Handwriting Recognition in Windows 7 and Its Benefits,"
Marko Panic (Microsoft Development, Serbia)

"Assembling the Digital Mathematics Library,"
David Ruddy (Cornell University, USA)

The Fields Institute for the Mathematical Sciences is the principal
sponsor of CICM 2009. Support of the following is also gratefully
acknowledged:

McMaster University, University of Waterloo, Research Western,
University of Western Ontario Faculty of Science, Wilfrid Laurier
University, Maplesoft, ACM Sigsam and the Ontario Research Centre for
Computer Algebra.

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

_______________________________________________
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] First 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] FLOPS 2010: Preliminary Call for Papers

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

PRELIMINARY CALL FOR PAPERS

                                                                      

  Tenth International Symposium on Functional and Logic Programming

    (FLOPS 2010)

 April 19-21, 2010

   Sendai, Japan

              http://www.kb.ecei.tohoku.ac.jp/flops2010

                                                                     

Submission deadline: October 16, 2009

                                                                     

  FLOPS is a forum for research on all issues concerning declarative

  programming, including functional programming and logic programming,

  and aims to promote cross-fertilization and integration between the

  two paradigms.  Previous FLOPS meetings were held in Fuji Susono

  (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo

  (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise

  (2008).

TOPICS

  FLOPS solicits original papers in all areas of functional and logic

  programming, including (but not limited to):

    Declarative Pearls: new and excellent declarative programs with

    illustrative applications.

    Language issues: language design and constructs, programming

    methodology, integration of paradigms, interfacing with other

    languages, type systems, constraints, concurrency and distributed

    computing.

    Foundations: logic and semantics, rewrite systems and narrowing,

    type theory, proof systems.

    Implementation issues: compilation techniques, memory management,

    program analysis and transformation, partial evaluation,

    parallelism.

    Applications: case studies, real-world applications, graphical

    user interfaces, Internet applications, XML, databases, formal

    methods and model checking.

  The proceedings are expected to be published as an LNCS volume.  The

  proceedings of the previous meeting (FLOPS 2008) were published as

  LNCS 4989.

INVITED SPEAKERS

  TBD

PC CO-CHAIRS

  Matthias Blume (TTI, Chicago, USA)

  German Vidal (Technical University of Valencia, Spain) 

CONFERENCE CHAIR

  Naoki Kobayashi (Tohoku University, Sendai, Japan)

PC MEMBERS

  Nick Benton (Microsoft Research, Cambridge, UK)

  Manuel Chakravarty (University of New South Wales, Australia)

  Michael Codish (Ben-Gurion University of the Negev, Israel)

  Bart Demoen (Katholieke Universiteit Leuven, Belgium)

  Agostino Dovier (University of Udine, Italy)

  John P. Gallagher (Roskilde University, Denmark)

  Maria Garcia de la Banda (Monash University, Australia)

  Michael Hanus (University of Kiel, Germany)

  Atsushi Igarashi (Kyoto University, Japan)

  Patricia Johann (Rutgers University, USA)

  Shin-ya Katsumata (Kyoto University, Japan)

  Michael Leuschel (University of Dusseldorf, Germany)

  Francisco Lopez-Fraguas (Complutense University of Madrid, Spain)

  Paqui Lucio (University of the Basque Country, Spain)

  Yasuhiko Minamide (University of Tsukuba, Japan)

  Frank Pfenning (Carnegie Mellon University, USA)

  Francois Pottier (INRIA, France)

  Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)

  Chung-chieh "Ken" Shan (Rutgers University, USA)

  Zhong Shao (Yale University, USA)

  Jan-Georg Smaus (University of Freiburg, Germany)

  Nobuko Yoshida (Imperial College London, UK)

LOCAL CHAIR

  

  Eijiro Sumii (Tohoku University, Sendai, Japan)

SUBMISSION

  Submissions must be unpublished and not submitted for publication

  elsewhere. Work that already appeared in unpublished or informally

  published workshops proceedings may be submitted. Submissions should

  fall into one of the following categories:

    Regular research papers: they should describe new results and will

    be judged on originality, correctness, and significance.

    System descriptions: they should contain a link to a working

    system and will be judged on originality, usefulness, and design.

  All submissions must be written in English and can be up to 15

  proceedings pages long. Authors are strongly encouraged to use

  LaTeX2e and the Springer llncs class file, available at

  http://www.springer.de/comp/lncs/authors.html

  Regular research papers should be supported by proofs and/or

  experimental results.  In case of lack of space, this supporting

  information should be made accessible otherwise (e.g., a link to a

  web page, or an appendix). Papers should be submitted electronically 

  at http://www.easychair.org/conferences/?conf=flops2010

IMPORTANT DATES

  Submission deadlines: 

    - Abstract: October 16, 2009

    - Paper:    October 23, 2009

  Author notification: December 21, 2009

  Camera-ready copy: January 24, 2010

  Conference: April 19-21, 2010

PLACE

  Sendai, Japan

Some previous FLOPS:

  FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/

  FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/

  FLOPS 2004, Nara

  FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/

  FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/

SPONSOR

  TBA

IN COOPERATION with

  TBA

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