Calls for participation: 2008-03

2008-03-31

[Caml-list] MPOOL'08: Call for Papers

We apologize if you receive this CfP multiple times * Please distribute !

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

CALL FOR CONTRIBUTIONS AND PARTICIPATION

Workshop on

MULTIPARADIGM PROGRAMMING WITH OO LANGUAGES (MPOOL 2008)

at the

EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING (ECOOP 2008)

7 or 8 July 2008, Paphos, Cyprus

While OO has become ubiquitously employed for design, implementation, and even

conceptualization, many practitioners recognize the concomitant need for other

programming paradigms according to problem domain. We seek answers to the

question of how to address the need for other programming paradigms--or even

domain specific languages--in the general context of OO languages.

Can OO programming languages effectively support other programming paradigms or

the embedding of other languages? The answer seems to be affirmative, at least

for some paradigms. For example, significant progress has been made for the

case of functional programming in C++. Additionally, several efforts have been

made to integrate support for other paradigms as a front-end for OO languages

(the Pizza language, extending Java, is a prominent example). Libraries and

extensions for concurrency are also being developed for new and upcoming

multi-core and heterogeneous architectures.

This workshop seeks to bring together practitioners and researchers in this

developing field to `compare notes' on their work--describe existing,

developing, or proposed techniques, idioms, methodologies, language extensions,

or software for expressing non-OO paradigms in OO languages; or theoretical

work supporting or defining the same. High-level presentations of position are

welcome, and reports of work in progress, are welcome.

Specific areas of interest include, but are not limited to:

- non-OO programming with OO languages;

- merging functional/logic/OO/other programs (language crossbinding);

- non-OO programming at the meta level (e.g. template metaprogramming);

- techniques for language embeddings (e.g. multistage programming);

- module systems vs. object systems;

- OO design patterns and their relation to functional patterns;

- multiparadigm and multilingual programming in the .NET framework;

- type system relationships across languages;

- theoretical foundations of multiparadigm programming with OO languages;

- multiparadigm approaches to support emerging hardware architectures (e.g.

multi/many-core CPUs, GPGPUs, IBM Cell, etc).

The workshop will consist of short presentations with interspersed discussion

sessions, and longer general discussions of themes or topics derived from some

common element of subsets of presentations. We expect the majority of the

participants to give presentations.

Prospective participants may submit either presentation abstracts or full

papers. All accepted materials will be distributed at the workshop and also

made available at the MPOOL 2008 Web site. A synopsis of the workshop will

be published as a chapter of the Springer LNCS ECOOP 2008 Workshop Reader.

For authors of accepted presentations who require justification for travel

the organizers can provide official letters of invitation.

SUBMISSION PROCEDURE

Prospective authors are invited to submit abstracts or full papers in PDF,

postscript, or Microsoft Word. Authors of accepted papers are responsible for

submitting the final version using the Springer LNCS LaTeX template to ensure

inclusion in the proceedings. Submission and email correspondence to

mpool08@multiparadigm.net

AUTHORS' SCHEDULE

May 4th, 2008: Abstracts due.

May 19th, 2008: Notification of acceptance.

June 1st, 2008: Deadline: ECOOP Early Bird Registration

ORGANIZATION

This workshop is a joint organization by the University of Applied Sciences,

Regensburg, Germany, and the Los Alamos National Laboratory, USA.

ORGANIZERS / PROGRAMME COMMITTEE

Gerald Baumgartner (Louisiana State University, Louisiana, USA)

Kei Davis (Los Alamos National Laboratory, New Mexico, USA),

Zoltan Horvath (University Eotvos Lorand of Sciences, Budapest, Hungary)

Jaakko Jarvi (Texas A&M University, Texas, USA),

Herbert Kuchen (University of Muenster, Germany),

Erik Meijer (Microsoft Corporation, USA),

Joerg Striegnitz (University Of Applied Sciences Regensburg, Germany),

FURTHER INFORMATION

http://www.multiparadigm.net/mpool08

_______________________________________________
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-03-23

[Caml-list] CONCUR 08: second call for papers

-------------------------------------------------------------------
Call for Papers

19th International Conference on Concurrency Theory (CONCUR 08)

Toronto, Canada, August 19-22, 2008

>> http://www.cse.yorku.ca/concur08 <<
Submission deadline: April 11, 2008
-------------------------------------------------------------------

CONCUR 08, the 19th International Conference on Concurrency Theory,
will take place in Toronto, Canada, on August 19-22, 2008. The
purpose of the CONCUR conferences is to bring together researchers,
developers, and students in order to advance the theory of
concurrency, and promote its applications (in a broad sense).

CONCUR 08 will be collocated with the 27th Annual ACM SIGACT-SIGOPS
Symposium on the Principles of Distributed Computing (PODC 2008).
The program of CONCUR and PODC includes invited talks by
Tevfik Bultan, University of California, Santa Barbara, USA
Peter Druschel, Max Planck Institute for Software Systems, Saarbruecken, Germany
Joseph Halpern, Cornell University, Ithaca, USA
Prakash Panangaden, McGill University, Montreal, Canada
Shaz Qadeer, Microsoft Research, Redmond, USA
Don Towsley, University of Massachusetts, Amherst, USA

Furthermore, there will be a symposium celebrating the contributions
of Nancy Lynch and the following nine workshops:
Workshop on Approximate Behavioural Equivalences;
Workshop on Concurrency in Enterprise Applications;
Workshop on Distributed computing, Concurrency theory, and Verification;
15th International Workshop on Expressiveness in Concurrency;
International Workshop on Foundations of Mobile Computing
Workshop on Formal Methods for Wireless Systems;
10th International Workshop on Verification of Infinite-State Systems;
6th International Workshop on Security Issues in Concurrency;
Young Researchers Workshop

The overall event will take place at the University of Toronto on
August 18-23, 2008.

CONCUR 08 welcomes two categories of papers:
- regular papers;
- tool papers.

Submissions are solicited in all areas of semantics, logics,
verification and analysis of concurrent systems. The principal
topics include (but are not limited to):
- basic models of concurrency (such as abstract machines, domain
theoretic models, game theoretic models, process algebras, and
Petri nets);
- logics for concurrency (such as modal logics, temporal logics and
resource logics);
- models of specialized systems (such as biology-inspired systems,
circuits, hybrid systems, mobile systems, multi-core processors,
probabilistic systems, real time systems, synchronous systems, and
web services);
- verification and analysis techniques for concurrent systems (such
as abstract interpretation, atomicity checking, model-checking,
race detection, run-time verification, state-space exploration,
static analysis, synthesis, testing, theorem proving and type
systems);
- related programming models (such as distributed or object-oriented).

Submissions will be evaluated by the program committee for inclusion
in the proceedings, which will be published by Springer-Verlag in
the Lecture Notes in Computer Science series. Papers must be in
English and should be formatted according to the Springer-Verlag
LNCS guidelines. Simultaneous submission to journals or other
conferences with published proceedings is not allowed. Both regular
and tool papers will be presented at the conference, and so at least
one author of each accepted paper is expected to be present at the
conference. The link for submissions is

http://www.easychair.org/conferences/?conf=CONCUR08

Regular papers
--------------
Authors are invited to submit an extended abstract. Regular papers
must contain original contributions, be clearly written, and include
appropriate reference to and comparison with related work. Authors
are encouraged to submit a paper title and a short abstract before
submitting the extended abstract. The short abstract should not
exceed 200 words, and it should be entered in ASCII at the link given
below. The extended abstract should not exceed 15 pages. If necessary,
the extended abstract may be supplemented with a clearly marked
appendix, which will be reviewed at the discretion of the program
committee.

Tool papers
-----------
Tool papers should present novel tools based on aforementioned
technologies (such as abstract interpretation, atomicity checking,
model-checking, race detection, run-time verification, state-space
exploration, static analysis, synthesis, testing, theorem proving
and type systems) or fall into the above application areas (such as
biology-inspired systems, circuits, hybrid systems, mobile systems,
multi-core processors,probabilistic systems, real time systems,
synchronous systems, and web services) and have an explicit emphasis
on handling of concurrency. If previous versions of the tool have
already been presented at meetings or published in some form, the
enhancements and novel features of the tool should be clearly described.
A tool paper should not exceed 4 pages and should have an appendix
that provides a detailed description of:
- how the oral presentation will be conducted (for example illustrated
by a number of snapshots) and
- the availability of the tool, the number and types of users, and
other information which may illustrate the maturity and robustness
of the tool (if applicable, a link to a web-page for the tool).
The appendix will not be included in the proceedings, but during the
evaluation of the tool papers it will be equally important as the
pages submitted for publication in the proceedings.

Important dates
---------------
Abstract Submission: April 4, 2008
Paper Submission: April 11, 2008 (strict)
Notification: May 27, 2008
Final version due: June 17, 2008

Program committee
-----------------
Luca de Alfaro, University of California, Santa Cruz, USA
Pedro R. D'Argenio, Universidad Nacional de Cordoba, Argentina
Jos Baeten, Eindhoven University of Technology, the Netherlands
Christel Baier, Technical University Dresden, Germany
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Dirk Beyer, Simon Fraser University, Canada
Patricia Bouyer, LSV, CNRS & ENS Cachan, France
Mario Bravetti, University of Bologna, Italy
Franck van Breugel (co-chair), York University, Canada
Ilaria Castellani, INRIA Sophia Antipolis, France
Marsha Chechik (co-chair), University of Toronto, Canada
Wan Fokkink, Vrije Universiteit Amsterdam/CWI, the Netherlands
Rob van Glabbeek, National ICT Australia
Arie Gurfinkel, Carnegie Mellon University, USA
Anna Ingolfsdottir, Reykjavik University, Iceland
Radha Jagadeesan, DePaul University, USA
Barbara Koenig, University of Duisburg-Essen, Germany
Marta Kwiatkowska, University of Oxford, UK
Orna Kupferman, Hebrew University, Israel
Kim Larsen, Aalborg University, Denmark
Nancy Lynch, MIT, USA
P. Madhusudan, UIUC, USA
Ugo Montanari, University of Pisa, Italy
Anca Muscholl, Universite Bordeaux, France
Catuscia Palamidessi, INRIA Futurs and LIX, France
Corina Pasareanu, Perot Systems/NASA Ames Research Center, USA
Scott Smolka, SUNY at Stony Brook, USA
Nobuko Yoshida, Imperial College London, UK

Steering Committee
------------------
Roberto Amadio, Universite Paris Diderot, France
Jos Baeten, Eindhoven University of Technology, the Netherlands
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Kim Larsen, Aalborg University, Denmark
Ugo Montanari, University of Pisa, Italy
Scott Smolka, SUNY at Stony Brook, USA

Sponsors
--------
IBM; Microsoft; SAP; Department of Computer Science, University of Toronto;
Department of Computer Science and Engineering, York University.

2008-03-22

[Caml-list] MSFP call for papers

Second Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
6 July 2008, Reykjavik - Iceland
A satellite workshop of ICALP 2008

PRESENTATION
The workshop on Mathematically Structured Functional Programming is
devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today. Modern programming languages, and in
particular functional languages, support the direct expression of
mathematical structures, equipping programmers with tools of remarkable
power and abstraction. Monadic programming in Haskell is the
paradigmatic example, but there are many more mathematical insights
manifest in programs and in programming language design:
Freyd-categories in reactive programming, symbolic differentiation
yielding context structures, and comonadic presentations of dataflow, to
name but three. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006.
An associated special issue of the Journal of Functional Programming is
in preparation.

INVITED SPEAKERS
Andrej Bauer, University of Ljubljana
Dan Piponi, Industrial Light and Magic

SUBMISSIONS
Electronic Notes in Theoretical Computer Science have provisionally
agreed to publish the proceedings of MSFP 2008. ENTCS require
submissions in LaTeX, formatted according to their guidelines
(http://www.entcs.org/prelim.html).

Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings. Programme
Committee members, barring the co-chairs, may (and indeed are encouraged
to) contribute. Accepted papers must be presented at the workshop by one
of the authors.

There is no specific page limit, but authors should strive for brevity.

We are using the EasyChair software to manage submissions.
To submit a paper, please log in at:
http://www.easychair.org/conferences/?conf=msfp2008.

TIMELINE:
Submission of abstracts: 4 April
Submission of papers: 11 April
Notification: 16 May
Final versions due: 13 June
Workshop: 6 July

For more information about the workshop, go to:
http://msfp.org.uk/

Programme Committee

* Yves Bertot, INRIA, Sophia-Antipolis, France
* Venanzio Capretta (co-chair), Radboud University, Nijmegen, The
Netherlands
* Jacques Carette, McMaster University, Hamilton, Ontario, Canada
* Thierry Coquand, Chalmers University, Göteborg, Sweden
* Andrzej Filinski, DIKU, University of Copenhagen, Denmark
* Jean-Christophe Filliâtre, LRI, Université Paris Sud, France
* Jeremy Gibbons, Oxford University, England
* Andy Gill, Galois Inc., Portland, Oregon, USA
* Peter Hancock, University of Nottingham, England
* Oleg Kiselyov, FNMOC, Monterey, California, USA
* Paul Blain Levy, University of Birmingham, England
* Andres Löh, Utrecht University, The Netherlands
* Marino Miculan, Università di Udine, Italy
* Conor McBride (co-chair), Alta Systems, Northern Ireland
* James McKinna, Radboud University, Nijmegen, The Netherlands
* Alex Simpson, University of Edinburgh, Scotland
* Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia

2008-03-11

[Caml-list] Oregon Programming Languages Summer School

The Oregon PL Summer School will run July 22-30, 2008 with the topic
"Logic and Theorem Proving in Programming Languages". This is a very
exciting topic, and we've put together a great collection of speakers.
The school has a long tradition and is sponsored by the NSF, ACM
SIGPLAN, and Microsoft Research. The full "Call for Participation" may
be found below.

Thanks,
Matthew Fluet & Yannis Smaragdakis (OPLSS'08 Organizers)

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

Call for Participation:
Summer School on Logic and Theorem Proving in Programming Languages
July 22-30, 2008
University of Oregon (Eugene, Oregon)

http://www.cs.uoregon.edu/research/summerschool/summer08/

summerschool@cs.uoregon.edu

This Summer School will cover current research focused on integrating
expressive logical systems and powerful theorem-proving assistants
into the design, definition, and implementation of programming
languages. Speakers will present material covering foundational
theory, advanced techniques, and applications.

Material will be presented at a tutorial level that will help graduate
students and researchers from academia or industry understand the
critical issues and open problems confronting the field. The course is
open to anyone interested. Prerequisites are an elementary knowledge
of logic and mathematics that is usually covered in undergraduate
classes on discrete mathematics. Some knowledge of programming
languages at the level provided by an undergraduate survey course will
also be expected. Our primary target group is PhD students. We also
expect attendance by faculty members who would like to conduct
research on this topic or introduce new courses at their universities.

The program consists of more than twenty-five, 80 minute lectures
presented by internationally recognized leaders in programming
languages and formal reasoning research. Topics include:

SMT Solvers - Theory, Implementation and Applications
Leonardo de Moura, Microsoft Research
Mechanization of Metatheory using LF and Twelf
Robert Harper, Carnegie Mellon University
Compiler Construction in Formal Logical Frameworks
Jason Hickey, California Institute of Technology
Specification and Verification of Programs with Pointers
Rustan Leino, Microsoft Research
Leveraging Domain-Specific Languages for Reasoning
Sorin Lerner, University of California - San Diego
Reasoning About Programs with ACL2
Pete Manolios, Northeastern University
Putting the Curry-Howard Isomorphism to Work
Tim Sheard, Portland State University
Nominal Techniques
Christian Urban, TU Munich
Coq for Programming Language Metatheory
Stephanie Weirich, University of Pennsylvania

Venue
~~~~~
The summer school will be held at the University of Oregon, located in
the southern Willamette Valley city of Eugene, close to some of the
world's most spectacular beaches, mountains, lakes and forests. On
Sunday, July 27, students will have the option of participating in a
group activity in Oregon's countryside.

Registration
~~~~~~~~~~~~
The cost for registration is $175.00 (USD) for graduate students, and
$275.00 (USD) for other participants. Registration must be paid upon
acceptance to the summer school, and is non-refundable. There are a
limited number of grants available to fund part of the cost of student
participation. If you are a graduate student and want to apply for
grant money to cover your expenses, please also include a statement of
your needs with your registration.
Additional information about the program, registration, venue, and
housing options is available on the web site. Or, you may request more
information by email.
To register for the Summer School, send a CV that includes a short
description of your educational background and one letter of
reference, unless you have already been granted a Ph.D. Please include
your name, address and current academic status.
Send all registration materials to summerschool@cs.uoregon.edu. All
registration materials should be delivered to the program by April
11, 2008. Materials received after the closing date will be evaluated
on a space available basis. Non U.S. citizens should begin immediately
to obtain travel documents.

Housing
~~~~~~~
The school will provide on-campus housing and meals. To share a room
with another student attending the school, the cost is $495 (USD) per
person. Housing rates are based on check-in Tuesday, July 22 and
check-out before noon on Thursday, July 31. Some single rooms may be
available for an additional fee of $150 (USD). If you'd like a single
room, please indicate your choice and we will try to accommodate you
on a first-come/first-served basis.

Organizers
~~~~~~~~~~ Organizing committee: Matthew Fluet and Yannis Smaragdakis
Sponsors: National Science Foundation, ACM SIGPLAN, Microsoft Research

[Caml-list] ML Workshop 2008 call for papers

CALL FOR PAPERS

The 2008 ACM SIGPLAN Workshop on ML

Sunday, September 21, 2008
Victoria, British Columbia, Canada
To be held in conjunction with ICFP 2008

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

IMPORTANT DATES:

Submission deadline: Monday, June 23, 2008
Notification of acceptance: Friday, July 18, 2008
Final revision due: Monday, July 28, 2008
Workshop: Sunday, September 21, 2008

GOALS OF THE WORKSHOP:

ML is a family of programming languages that includes dialects known
as Standard ML, Objective Caml, and F#. The development of these
languages has inspired a large amount of computer science research,
both practical and theoretical. This workshop aims to build on
previous occasions (recent instances are ML 2005 in Tallinn, Estonia,
2006 in Portland, Oregon, and 2007 in Freiburg, Germany), providing a
forum to encourage discussion and research on ML and related
technology.

The 2008 Workshop on ML will be held in conjunction with the 13th ACM
SIGPLAN International Conference on Functional Programming (ICFP 2008)
in Victoria, British Columbia, Canada on Sunday, September 21, 2008.

This year we extend the scope of the workshop from ML itself to
technologies closely related to ML (higher-order, typed, or strict
languages) and invite high-quality papers in all areas of crucial
importance for the future of ML.

SUBMISSION GUIDELINES:

We seek papers on topics related to ML, including (but not limited
to):

* applications

* extensions: objects, classes, concurrency, distribution and
mobility, semi-structured data handling, etc.

* type systems (static and dynamic): inference, effects, overloading,
error reporting, contracts, specifications and assertions, etc.

* implementation: compilers, interpreters, partial evaluators,
garbage collectors, etc.

* environments: libraries, tools, editors, debuggers, cross-language
interoperability, functional data structures, etc.

* semantics

Submitted papers should describe new ideas, experimental results,
ML-related projects, or informed positions regarding proposals for
next-generation ML languages. In order to encourage lively
discussion, submitted papers may describe work in progress. All
papers will be judged on a combination of correctness, significance,
novelty, clarity, and interest to the community.

All paper submissions must be at most 12 pages total length in the
standard ACM SIGPLAN two-column conference format (9pt):

http://www.acm.org/sigs/sigplan/authorInformation.htm

Accepted papers will be published by the ACM and will appear in the
ACM Digital Library.

More details about the submission procedure will be announced later on
the web page:

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

PROGRAM CHAIR:

Eijiro Sumii (Tohoku University)

PROGRAM COMMITTEE:

Sylvain Conchon (Paris-Sud University / INRIA Saclay-Ile-de-France)
Karl Crary (Carnegie Mellon University)
Andrzej Filinski (DIKU)
Robby Findler (The University of Chicago)
Cormac Flanagan (University of California at Santa Cruz)
Alain Frisch (LexiFi)
Dan Grossman (University of Washington)
Didier Remy (INRIA Paris-Rocquencourt)
Claudio Russo (Microsoft Research Cambridge)
Eijiro Sumii (Tohoku University)
Hongwei Xi (Boston University)

2008-03-06

[Caml-list] LaSh08 Call for Papers

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

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

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 Committee
=================
* Peter Baumgartner, The Australian National University
* Francesco Calimeri, University of Calabria
* 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 conference 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-03-04

[Caml-list] AXMEDIS2008 Call for Paper and/or workshops

Dear Caml List

You are cordially invited to pose your attention to
AXMEDIS 2008 International Conference, 17-19th Nov. 2008,
Florence, Italy.

AXMEDIS is a large conference and community with strong innovation and
research programme. You can see a part of the presentations already defined
on the AXMEDIS conference web site:

http://www.axmedis.org/axmedis2008/
http://www.axmedis.org/com/index.php?option=com_content&task=view&id=165&Itemid=79
http://www.axmedis.org/axmedis2008draft/openconf/openconf.php

AXMEDIS 2008 will be a significant and exciting event on cross-media, content
production GRID, content protection, interoperable DRM (digital rights
management), multimedia terminals, multiple-play, multichannel, multi
devices, MPEG-21 terminal and tools, authoring tools, digital media,
P2P, OMA, multi-channel delivery, content modeling, business models,
security and distribution, digital signature, legal aspects, accessibility,
transaction models, social network, semantic modeling, multimedia music,
workflow, and much more.

The AXMEDIS2008 International Conference is a perfect occasion to get
the state of the art and beyond, on the above mentioned technologies
and developments and to meet the most relevant industrial leaders,
leading researchers, experts and practitioners from both industrial
and research institutes, including European digital content providers,
integrators, distributors, technology providers, market leaders and prestigious
research institutions, social networks.

AXMEDIS is supported by more than 45 sponsors: Universitat Politecnica de
Catalunya, University of Florence, ICSRiM, University of Leeds, EPFL,
EUTELSAT, FHG-IGD, Giunti ILABS, HP, BBC, SDAE, TISCALI, SIAE, AFI,
Accademia Nazionale di Santa Cecilia, SEJER, University of Reading,
Pekin University, TEO (telecom Lithuania), KTU, ELION, VRS Grupe, ACIT,
Telecom Italia, Strategica, EXITECH, XIM, the MUSICNETWORK International
Association, the European Commission and many more.

See http://www.AXMEDIS.org/axmedis2008/

Please feel free to forward and redistribute this email to everyone
who may be interested in this event and to all relevant mailing lists.
Please do not hesitate to inform us if this email has not been of your
interest.

Best regards,
Paolo Nesi

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

CALL for papers, AXMEDIS2008
4th International Conference Automated solutions for Cross Media Content
and Multi-channel Distribution
HTTP://www.axmedis.org/axmedis2008

Submission due: 1 April 2008
Conference date: 17th-19th Nov. 2008
Conference venue: Florence, Italy

AXMEDIS2008 aims to explore all subjects, latest developments, future trends,
of technologies and their applications.
With a particularly attention to new concepts, requirements, prototypes,
research ideas, and findings which could contribute to cross fertilization
and convergence of research and industrial communities. This is the 4th
conference of a series pressed by IEEE and FUP with high level papers and
large audience and distribution.

Recommended topics include, but are not limited to, the following:
- formats and models for multi-channel content distribution and interoperability
- automated content production, collection, crawling, composition, formatting
- cultural heritage content and solutions
- solutions and tools for e-commerce, education entertainment
- content processing languages and tools
- GRID and distributed systems for content production
- collaborative/cooperative models and tools, CSCW
- social network and models
- content distribution: streaming and downloading
- digital libraries and distributed systems
- systems and approaches for content production/distribution on demand
- multimedia middleware
- multimedia software engineering
- mobiles technologies for content distribution and optimisation
- intelligent content, semantic content and models
- interactive multimedia models
- P2P solutions and architectures
- workflow management systems Web services and web portals for content
distribution
- Digital Rights Management (DRM) models, tools, and DRM interoperability
- multimedia standards: MPEG-7, MPEG-21, MXF, SMIL, HTML, News, etc.
- multimedia and packaging formats
- distributed games and serious games
- Quality of Service, QoS, control and planning
- user profiling, and behaviour
- agents and autonomous systems
- legal aspects related to digital content
- context awareness and solutions
- distribution of computer graphics and 3D content
- distributed information retrieval
- synchronisation technologies and solutions
- accessibility and multimodal user interfaces
- e-conference, e-medicine and e-lecture
- distributed virtual environment, virtual school, virtual university,
and virtual learning
- content monitoring technologies
- watermarking and fingerprinting techniques
- audio and video fingerprinting and recognition

and all related topics, do not hesitate to contact the chairs if you
have a proposal for the conference.

Applications and Industrial Presentations and Demos: Proposals for
presentations of applications and tools, including case studies and
reports on the application and/or utilization of tools, industrial
practices and models, or tool/system demonstrations:
Long papers up to 8 pages, Short papers up to 4 pages, Demo: up to 2 pages.

Workshops and Panels: The Conference will hold Workshops and Panels
consisting of research and industry position papers on specific topics.
Research and Development projects of EC or other organizations are invited
to propose workshops or panels. For these proposals please contact the
general chair: Paolo Nesi (University of Florence) at nesi@dsi.unifi.it
providing topics, speakers, and aims.

All submissions and proposals must be in English and submitted in PDF
or Microsoft Word format using the submission portal on the conference
web site no later than 1 April 2008.

http://www.axmedis.org/axmedis2008draft/openconf/openconf.php

Document style is available at the conference website.

http://www.axmedis.org/axmedis2005/docs/instruct.pdf
http://www.axmedis.org/axmedis2005/docs/instruct.doc
http://www.axmedis.org/axmedis2005/docs/instruct.ps
http://www.axmedis.org/axmedis2005/docs/IEEE_CS_Latex.zip

The conference proceedings will be published by IEEE Compo. Soc.

thanks for your patience and interest from
AXMEDIS 2008 Chairs
http://www.axmedis.org/axmedis2008

past conferences:

http://www.axmedis.org/axmedis2007
http://www.axmedis.org/axmedis2006
http://www.axmedis.org/axmedis2005

consortium site
http://www.axmedis.org

- - - - - - - - -

2008-03-03

[Caml-list] MKM'08: Final Call for Papers

[Please post - apologies for multiple copies]

MKM 2008

The Seventh International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT

http://events.cs.bham.ac.uk/cicm08/mkm08/

28-30 July 2008 Birmingham, UK

FINAL CALL FOR PAPERS

Mathematical Knowledge Management is an innovative field at the
intersection of mathematics, computer science, library science, and
scientific publishing. Its development is driven by on the one hand new
technological possibilities which computer science, the Internet, and
intelligent knowledge processing offer, and on the other hand the
increasing demand by engineers and scientists for new techniques for
producing, transmitting, consuming, and managing sophisticated mathematical
knowledge.

The conference is concerned with all aspects of mathematical knowledge
management. Topics covered include, but are not limited to:

Representations of mathematical knowledge
Repositories of formalized mathematics
Mathematical digital libraries
Diagrammatic representations
Multi-modal representations
Mathematical OCR
Mathematical search and retrieval
Deduction systems
Math assistants, tutoring and assessment systems
Authoring languages and tools
MathML, OpenMath, and other mathematical content standards
Web presentation of mathematics
Data mining, discovery, theory exploration
Computer Algebra Systems
Collaboration tools for mathematics
Challenges and Solutions for Mathematical workflows

PAPER SUBMISSIONS

All papers submitted to the Conference will be reviewed. Submission is
electronic in Postscript or PDF format via the EasyChair system
http://www.easychair.org/conferences/?conf=mkm08). Submitted papers must
conform to the Springer LNCS style, preferably using LaTeX2e and the
Springer llncs class files available at

http://www.springer.com/lncs.

Submitted papers should not exceed 15 pages, must be original and not
submitted for publication.

Submission website: http://www.easychair.org/conferences/?conf=mkm08

PROCEEDINGS

The conference proceedings will be published in the Springer-Verlag series
Lecture Notes in Artificial Intelligence (LNAI).

WORKSHOPS

The following workshops take place in conjunction with MKM 2008:

* The "Mathematical User-Interfaces" Workshop 2008 (MathUI08), which is
organized by Paul Libbrecht.

* The Workshop "Towards Future Digital Mathematics Libraries", which is
organized by Petr Sojka.

IMPORTANT DATES

Submission of title and abstract: March 7, 2008
Submission of full papers: March 14, 2008
Notification: May 2, 2008
Camera ready version: May 16, 2008
Conference in Birmingham: July 28-30, 2008

PROGRAM COMMITTEE

Andrea Asperti University of Bologna, Italy
Serge Autexier (Co-Chair) DFKI Saarbruecken & Saarland University, Germany
Laurent Bernardin Maplesoft, Canada
Thierry Bouche Universite de Grenoble I, France
Paul Cairns University College London, England
Olga Caprotti University of Helsinki, Finland
Simon Colton Imperial College, London, England
Mike Dewar NAG Ltd., England
William Farmer McMaster University, Hamilton, Canada
Herman Geuvers Radboud University Nijmegen, The Netherlands
Eberhard Hilf Inst. for Science Networking Oldenburg, Germany
Tetsuo Ida University of Tsukuba, Japan
Mateja Jamnik University of Cambridge, England
Fairouz Kamareddine Heriot-Watt University, Scotland
Manfred Kerber University of Birmingham, England
Michael Kohlhase Jacobs University Bremen, Germany
Paul Libbrecht DFKI Saarbruecken, Germany
Bruce Miller NIST, USA
Robert Miner Design Science, Inc., USA
Bengt Nordstroem Chalmers University of Technology, Sweden
Eugenio Rocha University of Aveiro, Portugal
Alan Sexton University of Birmingham, England
Petr Sojka Masaryk University, Brno, CZ
Volker Sorge University of Birmingham, England
Masakazu Suzuki (Co-Chair) Kyushu University, Japan
Andrzej Trybulec University of Bialystok, Poland
Stephen Watt The University of Western Ontario, Canada
Abdou Youssef George Washington University, Washington DC, USA

CONFERENCE CHAIR

Volker Sorge University of Birmingham, England

[Caml-list] UITP'08: Call for Papers

[our apologies for multiple copies]

UITP'08

The 8th International Workshop on
User Interfaces for Theorem Provers

[http://www.ags.uni-sb.de/~omega/workshops/UITP08/]

(TPHOLS'08 Satellite Workshop)

Friday, 22nd August 2008, Montréal, Québec, Canada

The User Interfaces for Theorem Provers workshop series brings
together researchers interested in designing, developing and
evaluating interfaces for interactive proof systems, such as theorem
provers, formal method tools, and other tools manipulating and
presenting mathematical formulas.

While the reasoning capabilities of interactive proof systems have
increased dramatically over the last years, the system interfaces have
often not enjoyed the same attention as the proof engines
themselves. In many cases, interfaces remain relatively basic and
under-designed.

The User Interfaces for Theorem Provers workshop series provides a
forum for researchers interested in improving human interaction with
proof systems. We welcome participation and contributions from the
theorem proving, formal methods and tools, and HCI communities, both
to report on experience with existing systems, and to discuss new
directions. Topics covered include, but are not limited to:

* Application-specific interaction mechanisms or designs for prover
interfaces
* Experiments and evaluation of prover interfaces
* Languages and tools for authoring, exchanging and presenting proof
* Implementation techniques (e.g. web services, custom middleware,
DSLs)
* Integration of interfaces and tools to explore and construct proof
* Representation and manipulation of mathematical knowledge or
objects
* Visualisation of mathematical objects and proof
* System descriptions

UITP 2008 is a one-day workshop to be held on Friday, August 22nd 2008
in Montreal, Canada, as a TPHOLS'08 workshop
[http://users.encs.concordia.ca/~tphols08/TPHOLs2008/]

FORMAT OF THE WORKSHOP

The proposed format of the workshop is one day of presentations of
accepted regular papers and system demonstrations of accepted system
descriptions. In addition the program might include an invited talk.

SUBMISSION

Submissions are encouraged in one of the following two categories:

- Regular paper: Submissions in this category should describe
previously unpublished work (completed or in progress), including
descriptions of research, tools, and applications. Papers should
be formated following the ENTCS [http://www.entcs.org/prelim.html]
guidelines and up to 15 pages long (please find the additional
UITP'08-specific macro file at
[http://www.entcs.org/files/uitp08/prentcsmacro.sty].

- System description: Submissions in this category are intended to
describe existing systems. Papers should be formated following the
ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 5
pages long (please find here the additional UITP'08-specific ENTCS
macro file [http://www.entcs.org/files/uitp08/prentcsmacro.sty]).

Submission of papers is via the EasyChair conference system
[http://www.easychair.org/conferences/?conf=uitp08]. All submissions
will be peer reviewed and final versions of accepted submissions will
be published in an ENTCS [http://www.elsevier.com/locate/entcs]
volume. In addition, printed workshop proceedings will be distributed
at the workshop. Final versions of accepted papers have to be
prepared with LaTeX.

IMPORTANT DATES

* Submission deadline: May 9th, 2008
* Acceptance notification: June 27th, 2008
* Camera-ready copy: July 11th, 2008

PROGRAMME COMMITTEE

* David Aspinall, University of Edinburgh, Scotland
* Serge Autexier, Saarland University and DFKI Saarbrücken, Germany
(Co-Chair)
* Chris Benzmüller, Saarland University, Germany (Co-Chair)
* Yves Bertot, INRIA Sophia-Antipolis, France
* William Billingsley, University of Cambrigde, England
* Paul Cairns, University College London, England
* Ewen Denney, NASA Ames Research Center, USA
* Herman Geuvers, Radboud University Nijmegen, The Netherlands
* Christoph Lüth, University of Bremen and DFKI Bremen, Germany
* Michael Norrish, NICTA, Australia
* Claudio Sacerdoti-Coen, University of Bologna, Italy
* Gem Stapleton, University of Brighton, England
* Geoff Sutcliffe, University of Miami, USA
* Makarius Wenzel, TU Munich, Germany

If you have any questions about the workshop, please contact the
organizers: uitp08@ags.uni-sb.de

More information about the workshop series can be found at the UITP
Interest Group webpage [http://www.informatik.uni-bremen.de/uitp/].

--
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------

Calls for participation