Calls for participation: 2008-07

2008-07-25

[Caml-list] ABE 08: call for participation

Call For Participation
Workshop on Approximate Behavioural Equivalences (ABE 08)
Toronto, Canada, August 18, 2008
http://www.cse.yorku.ca/abe08/

ABE 08, the Workshop on Approximate Behavioural Equivalences, will take
place at the University of Toronto on Monday August 18, 2008. The
workshop is affiliated with the 19th International Conference on Concurrency
Theory (CONCUR 08).

The purpose of this workshop is to bring together researchers and students
interested in approximate behavioural equivalences. The program of the
workshop consist of talks by
Salem Derisavi, IBM
Shiva Nejati, University of Toronto
Prakash Panangaden, McGill University
Vishwanath Raman, University of California, Santa Clara
Scott Smolka, State University of New York, Stony Brook
David Thorsley, University of Washington
Herbert Wiklicky, Imperial College
Mingsheng Ying, Tsinghua University

In the last few years, quantitative generalizations of equivalence relations
have been developed for a variety of systems with quantitative features.
Furthermore, several algorithms have been developed and implemented to
approximate these quantitative notions. These notions and their approximation
algorithms have been exploited in several areas, ranging from system biology
to model fusion. The speakers will provide an overview of their work in the
area and will provide their view on the future of this area.

_______________________________________________
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

2008-07-22

[Caml-list] Commercial Users of Functional Programming Workshop Call for Participation

Commercial Users of Functional Programming Workshop (CUFP) 2008

Functional Programming As a Means, Not an End

Call for Participation

Sponsored by SIGPLAN
Co-located with ICFP 2008
__________________________________________________________________

26 September 2008
Victoria, Canada

Registration opens in late July through
http://www.icfpconference.org/icfp2008/
__________________________________________________________________

Functional languages have been under academic development for over 25
years, and remain fertile ground for programming language research.
Recently, however, developers in industrial, governmental, and open
source projects have begun to use functional programming successfully
in practical applications. In these settings, functional programming
has often provided dramatic leverage, including whole new ways of
thinking about the original problem.

The goal of the CUFP workshop is to act as a voice for these users of
functional programming. The workshop supports the increasing
viability of functional programming in the commercial, governmental,
and open-source space by providing a forum for professionals to share
their experiences and ideas, whether those ideas are related to
business, management, or engineering. The workshop is also designed
to enable the formation and reinforcement of relationships that
further the commercial use of functional programming. Providing user
feedback to language designers and implementors is not a primary goal
of the workshop, though it will be welcome if it occurs.

Program

CUFP 2008 will last a full day and feature a discussion session and
the following presentations:

Don Syme (Microsoft)
Invited Presentation: Why Microsoft is Investing in Functional
Programming

David Balaban (Amgen)
Minimizing the Immune Response to Functional Programming at
Amgen

Francesco Cesarini (Erlang Training and Consulting)
The Mobile Messaging Gateway, from Idea to Prototype to Launch
in 12 months

Jake Donham (Skydeck)
From OCaml to Javascript at Skydeck

Nick Gerakines (Yahoo)
Developing Erlang at Yahoo

Tom Hawkins (Eaton Corporation)
Controlling Hybrid Vehicles with Haskell

Bob Ippolito (Mochimedia)
Ad Serving with Erlang

Anil Madhavapeddy (Citrix)
Xen and the art of OCaml

Howard Mansell (Credit Suisse)
Quantitative Finance in F#

Jeff Polakow (Deutsche Bank)
Is Haskell ready for everyday computing?

David Pollak (Lift web framework)
Buy a Feature: an adventure in immutability and Actors

Gregory Wright (Antiope)
Functions to Junctions: Ultra Low Power Chip Design With Some
Help From Haskell

There will be no published proceedings, as the meeting is intended to
be more a discussion forum than a technical interchange.

See http://cufp.galois.com for more information, including
presentation abstracts and the most recent schedule information.

Program Committee

* Lennart Augustsson <lennart(dot)augustsson(at)gmail(dot)com>
* Matthias Blume <blume(at)tti-c(dot)org>
* Adam Granicz <granicz(dot)adam(at)intellifactory(dot)com>
* Jim Grundy(co-chair)<jim(dot)d(dot)grundy(at)intel(dot)com>
* Andy Martin <akmartin(at)us(dot)ibm(dot)com>
* Yaron Minsky <yminsky(at)janestcapital(dot)com>
* Simon Peyton Jones(co-chair)<simonpj(at)microsoft(dot)com>
* Ulf Wiger <ulf(dot)wiger(at)ericsson(dot)com>

This will be the fifth CUFP; see CUFP 2004 CUFP 2005, CUFP 2006, and
CUFP 2007 for information about the earlier meetings, including
reports from attendees and video of the most recent talks.

2008-07-15

[Caml-list] IJCAR in Australia, 1 month to go

-------------------------------------------------------------------------------
IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning
Sydney, Australia, 10th - 15th August, 2008

http://2008.IJCAR.org

ONLY ONE MONTH TO GO ... DOWN UNDER

-------------------------------------------------------------------------------
Call for Participation
----------------------
IJCAR is the premier international joint conference on all aspects of automated
reasoning, including foundations, implementations, and applications. IJCAR 2008
is the 4th International Joint Conference on Automated Reasoning, and is a
merger of the following leading conferences and workshops:
+ CADE (Conference on Automated Deduction),
+ FroCoS (Symposium on Frontiers of Combining Systems),
+ FTP (Workshop on First-order Theorem Proving)
+ TABLEAUX (Conference on Analytic Tableaux and Related Methods)

Registration, accomodation, and travel/visa information is on the IJCAR 2008
web pages. ----- Book your flight to Sydney today! -----
-------------------------------------------------------------------------------
Scientific Program
------------------
+ Presentation of 4 invited talks
- Hubert Comon-Lundh, Nachum Dershowitz, Aarti Gupta, Carsten Lutz
+ Presentation of 26 regular research papers
+ Presentation of 13 system descriptions
+ Presentation of the Herbrand Award to Prof. Edmund Clarke, CMU.
+ Four workshops, four tutorials, the CADE ATP System Competition (CASC-J4)
-------------------------------------------------------------------------------
Social Events
-------------
+ Welcome reception at the conference hotel.
+ Excursion to the amazing Blue Mountains
+ Conference banquet
+ CASQ-J4 - the CADE Squash Competition
-------------------------------------------------------------------------------
Contact: Peter Baumgartner (conference chair) Peter.Baumgartner@nicta.com.au
-------------------------------------------------------------------------------

[Caml-list] LaSh08: Last Call for Papers

LaSh08 - WORKSHOP ON LOGIC AND SEARCH
Computation of structures from declarative descriptions

Final Call For Papers

Leuven, Belgium, November 6-7, 2008

http://www.cs.kuleuven.be/~dtai/LaSh08

................................................................

IMPORTANT DATES:

Submission: August 15, 2008
Notification: September 15, 2008
Workshop: November 6-7, 2008

SCOPE:

In many real-life problems, we search for objects of complex nature --
plans, schedules, assignments. Such objects are often represented as
(finite) structures, which are implicitly specified by means of
theories in some logic. Thus, languages are needed to describe
structures, and algorithms to extract them from these implicit
descriptions. Propositional Satisfiability (SAT), Constraint
Programming (CP), and Answer Set Programming (ASP) are arguably the
three most prominent areas that develop such languages and techniques.

Each of these areas has been proposed as a declarative programming
approach to solving NP-complete combinatorial problems. Such problems
abound in computer science, engineering, operations research
computational biology and other fields. In many cases, progress is
limited by the difficulty of designing implicit representations of
structures (modeling), which hinders common acceptance of the aproach,
and the inability to solve sufficiently large instances of the
problems in practical time bounds (search algorithms). Therefore,
these three areas have as a major goal the development of practical
modeling languages and methodologies that support the modeling, and
algorithms and tools for efficient problem solving.

Despite the similar goals of these areas, in many respects SAT, ASP and
CP develop as three independent disciplines, focusing on rather different
particular problems or questions. There are few, if any, researchers
who are experts in all three areas. To date, we are not aware of any
meeting which specifically aims at bringing these three areas together.

Objectives
==========

LaSh08 aims to offer a discussion forum for research in SAT, ASP and
CP that focuses on the computation of structures from declarative
descriptions. We invite contributions on modeling languages,
methodologies, theoretical analysis, techniques, algorithms and
systems. The forum is an occasion to exchange ideas on the
state-of-the-art; to discuss specific technical problems; to formulate
challenges and opportunities ahead; to analyse differences and
simularities between the different areas; to study opportunities for
synergy and integration.

In particular, we would like to foster exchange at least on the
following topics:

-- integrations of SAT, ASP and/or CP technologies
-- comparisons of modeling languages
-- criteria for choice of modeling languages
(for modeling convenience or efficiency)
-- new algorithm directions
-- efficient modeling strategies
-- new applications
-- complexity results, tractable subsets
-- completeness results (e.g. capturing complexity classes)
-- methods for taking advantage of tractability results
-- SAT modulo theories
-- solver implementation techniques,
-- algorithms for grounding
-- modeling languages and constructs
(aggregates, global constraints,..)
-- search control and heuristics in the context of model generation
-- symmetry breaking in model construction
-- optimisation problems in model construction:
-- languages for optimality criteria;
-- algorithms for computing optimal models

Systems and Tools:
===================

LaSh08 will also provide an opportunity for presentation of implemented
systems and tools at a demo session. Thus, we invite submissions of
systems and tools that reflect the above ideas, and aim at facilitating
declarative problem solving, and making it practical and used.

Workshop format:
================

The workshops objective is to create an informal, stimulating
atmosphere for exchange of ideas. We invite also reports of work in
progress. There will be informal proceedings.

Invited speakers
=================
* Pascal Van Hentenryck, Brown University,
"Constraint Programming at Work ".
* Robert Nieuwenhuis, Technical University of Catalonia,
"The Barcelogic approach to search: fast and robust but expressive".

Organizing Committee
====================
* Enrico Giunchiglia, University of Genova
* Victor Marek, University of Kentucky
* David Mitchell, Simon Fraser University
* Eugenia Ternovska Simon Fraser University
* Mirek Truzczynski, University of Kentucky
* Marc Denecker, K.U.Leuven

Program Chair
=============
* Marc Denecker, K.U.Leuven

Program Committee
=================
* Peter Baumgartner, The Australian National University
* Francesco Calimeri, University of Calabria
* Koen Claessen, Chalmers University of Technology
* Thomas Eiter, Vienna University of Technology
* Wolfgang Faber, University of Calabria
* Pierre Flener, Uppsala University
* Alan Frisch, University of York
* Enrico Giunchiglia, University of Genova
* Daniel LeBerre, Universite d'Artois
* Fangzen Lin, Hong kong University of Science and Technology
* Ines Lynce, Universidade Tecnica de Lisboa
* Tony Mancini, Sapienza Universita di Roma
* Victor Marek, University of Kentucky
* David Mitchell, Simon Fraser University
* Pierre Marquis, Universite d'Artois
* Ilkka Niemela, Helsinki University of Technology
* Karem Sakallah, University of Michigan
* Torsten Schaub, University of Potsdam
* Barry O'Sullivan, University College Cork
* Eugenia Ternovska Simon Fraser University
* Mirek Truszcznski, University of Kentucky
* Pascal Van Hentenryck, Brown University
* Toby Walsh, University of New South Wales

Local organisation
====================
* Marc Denecker, K.U.Leuven
* Joost Vennekens, K.U.Leuven

Location
=========

The workshop will take place in the Beguinage of Leuven,
Belgium. Leuven is an old flemish town, hosting the oldest university
of the lower countries. The Beguinage is a medieval city in the city,
where the beguines lived together to form a religious community. The
Beguinage is recognized as a Unesco World Heritage site.

2008-07-13

[Caml-list] CFP: DML 2008--Towards Digital Mathematics Library, Birmingham, UK, Jul 27th

Call for participation: Towards Digital Mathematics Library (DML 2008)
July 27th, 2008, Birmingham, UK c/o MKM 2008

Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2008.xhtml
Registration: http://events.cs.bham.ac.uk/cicm08/registration.php
Travel: http://events.cs.bham.ac.uk/cicm08/travel.php
Accomodation: http://events.cs.bham.ac.uk/cicm08/accommodation.php

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])?

Proceedings:
(200+ pages) was published by Masaryk University and will be available on site.
Papers and Posters selected for presentation at the workshop:

Part I Towards Digital Mathematics Library

* Some Thoughts on the Near-Future Digital Mathematics Library
Thierry Bouche (UniversitÃ© de Grenoble I, France)
* From Pixels and Minds to the Mathematical Knowledge in a Digital Library
Petr Sojka (Masaryk University, Brno, Czech Republic)
JiÅ™Ã RÃ¡kosnÃk (Institute of Mathematics AS CR, Praha, Czech Republic)
* Mathematical Document Classification via Symbol Frequency Analysis
Stephen M. Watt (University of Western Ontario, London Ontario, Canada)

Part II Towards Mathematical OCR and Search

* Lexical Error Compensation in Handwritten-based Mathematical Information Retrieval
Seyed Ali Ahmadi (George Washington University, United States)
Abdou Youssef (George Washington University, United States)
* Extending Full Text Search Engine for Mathematical Content
Jozef MiÅ¡utka (Charles University in Prague, Czech Republic)
Leo GalamboÅ¡ (Charles University in Prague, Czech Republic)
* Mathematical Formulae Recognition
Daniel PrÅ¯Å¡a (Czech Technical University, Prague, Czech Republic)
VÃ¡clav HlavÃ¡Ä (Czech Technical University, Prague, Czech Republic)
* Extracting Precise Data on the Mathematical Content of PDF Documents
Josef B. Baker (University of Birmingham, United Kingdom)
Alan P. Sexton (University of Birmingham, United Kingdom)
Volker Sorge (University of Birmingham, United Kingdom)

Part III Digitization Reports

* RusDML 2008
Bernd Wegner (Mathematisches Institut, TU Berlin, Germany)
* Digitization of Mathematical Editions in Serbia
Å½arko MijajloviÄ‡ (Faculty of Mathematics, Belgrade, Serbia)
Zoran OgnjanoviÄ‡ (Mathematical Institute, Belgrade, Serbia)
* Current Status of Mathematical Publications in Japan
Takao Namiki (Hokkaido University, Sapporo, Japan)
* Small Scale Retrodigitization
Michael Doob (The University of Manitoba, Canada)

Part IV Digitization Technologies and Platforms

* Building the Czech Digital Mathematics Library upon DSpace System
Vlastimil KrejÄÃÅ™ (Masaryk University, Brno, Czech Republic)
* Migration of the Mathematical Collection of Polish Virtual Library of Science to the YADDA Platform
Katarzyna Zamlynska (University of Warsaw, Poland)
Lukasz Bolikowski (University of Warsaw, Poland)
Tomasz Rosiek (University of Warsaw, Poland)
* A Language Engineering Architecture for Processing Informal Mathematical Discourse
Magdalena Wolska (Saarland University, Germany)

Part V Digitization Tools

* DML-CZ Metadata Editor
Miroslav BartoÅ¡ek (Masaryk University, Brno, Czech Republic)
Petr KovÃ¡Å™ (Masaryk University, Brno, Czech Republic)
Martin Å Ã¡rfy (Masaryk University, Brno, Czech Republic)
* CEDRICS: When CEDRAM Meets Tralics (Keynote)
Thierry Bouche (UniversitÃ© de Grenoble I & CNRS, France)
* Automated Processing of TEX-Typeset Articles for a Digital Library
Michal RÅ¯Å¾iÄka (Masaryk University, Brno, Czech Republic)
* Ideas from Oz, for New and Retro-Born Digital Mathematics
Ross Moore (Macquarie University, Sydney, Australia)

Workshop 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.

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)
Thomas Fischer (Goettingen University, Digitization Center, DE)
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:
Adam Rambousek, Michal Ruzicka, Petr Sojka, Volker Sorge

Questions/inquiries:
mail to dml2008 at easychair dot org

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

Calls for participation