[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/