[Caml-list] SNC 2007: Program announced. Registration Open

[Apologies for multiple copies]

Symbolic-Numeric Computation 2007 (SNC 2007)

July 25-27, 2007 -- London Canada

http://www.orcca.on.ca/conferences/snc2007

Third Announcement and

CALL for PARTICIPATION

News:

** Preliminary program available **

http://www.orcca.on.ca/conferences/snc2007/site/programsncpasco/program.html

** Registration open **

http://www.orcca.on.ca/conferences/snc2007/site/registration/registration.html

Invitation:

Individuals who wish to attend the conference are invited to
register via the conference web site.

Overview:

Algorithms that combine ideas from symbolic and numeric computation have
been of increasing interest over the past decade. The growing demand for
speed, accuracy and reliability in mathematical computing has accelerated
the process of blurring the distinction between two areas of research that
were previously quite separate.

The goal of the present workshop is to support the interaction and
integration of symbolic and numeric computing. Earlier meetings in this
series include the SNAP 96 Workshop, held in Sophia Antipolis, France,
and the SNC 2005 meeting, held in Xi'an, China. Following the tradition,
Symbolic-Numeric Computation 2007 will be held July 25-27 in London, Canada.

SNC 2007 is affiliated with the 2007 International Symposium on Symbolic and
Algebraic Computation (ISSAC 2007). Co-located with this workshop will be
PASCO 2007, the 2007 International Workshop on Parallel Symbolic Computation.
SNC and PASCO will be held immediately prior to the ISSAC 2007 meeting, both
at the University of Western Ontario, Canada. ISSAC 2007 will be held
nearby in Waterloo, Canada.

Invited Speakers:

[ See abstracts:

http://www.orcca.on.ca/conferences/snc2007/site/talks/talks.html

]

Andre Galligo, University of Nice-Sophia Antipolis (France)
"Approximate bivariate factorization: a geometric viewpoint"

Erich Kaltofen, North Carolina State University (USA)
"On probabalistic analysis of randomization in hybrid symbolic-numeric algorithms"

Anthony Kennedy, University of Edinburgh (UK)
"Automating renormalization of quantum field theories"

Nick Trefethen, Oxford University (UK)
"Computing numerically with functions instead of numbers"

Charles Wampler, General Motors (USA)
"Numerical algebraic geometry and kinematics"

Lihong Zhi, Chinese Academy of Sciences (China)
"Numerical optimization in hybrid symbolic-numeric computation"

Topics:

Papers for the conference were solicited from the following areas:

* Hybrid symbolic-numeric algorithms
* Approximate polynomial GCD and factorization
* Symbolic-numeric methods for solving polynomial systems
* Resultants and structured matrices for symbolic-numeric computation
* Differential equations for symbolic-numeric computation
* Symbolic-numeric methods for geometric computation
* Symbolic-numeric algorithms in algebraic geometry
* Symbolic-numeric algorithms for nonlinear optimization
* Numeric computation of characteristic sets and Gr�bner bases
* Implementation of symbolic-numeric algorithms
* Model construction by approximate algebraic algorithms (e.g. numerical
sparse interpolation, the approximate Buchberger-Moeller algorithm)
* Applications of symbolic-numeric computation

Conference Organization:

General Chair: Stephen Watt <watt@orcca.on.ca>
PC Chair: Jan Verschelde <jan@math.uic.edu>
Local Arrangements: Oleg Golubitsky <oleg@orcca.on.ca>
Web site: Francois Lemaire <lemaire@lifl.fr>
Administration: Meg Borthwick <meg@csd.uwo.ca>

Program Committee:

Dario Bini, Universita di Pisa, Italy
Robert Corless, University of Western Ontario, Canada
James Demmel, University of California Berkeley, USA
Ioannis Emiris, University of Athens, Greece
Marc Moreno Maza, University of Western Ontario, Canada
Bernard Mourrain, INRIA Sophia Antipolis, France
Victor Pan, Lehman College CUNY, USA
Greg Reid, University of Western Ontario, Canada
Tateaki Sasaki, University of Tsukuba, Japan
Andrew Sommese, University of Notre Dame, USA
Jan Verschelde (PC Chair), University of Illinois at Chicago, USA
Dongming Wang, Beihang University, China and UPMC-CNRS, France
Zhonggang Zeng, Northeastern Illinois University, USA

Support:

Support from the following organizations is gratefully acknowledged:

The Fields Institute for Research in Mathematical Sciences
The MITACS Network of Centers of Excellence
The Natural Sciences and Engineering Research Council of Canada
The University of Western Ontario:
VP Research, Faculty of Science, Deparment of Computer Science
The Ontario Research Centre for Computer Algebra
Maplesoft
SHARCNET

Links:

SNC 2007

http://www.orcca.on.ca/conferences/snc2007

PASCO 2007

http://www.orcca.on.ca/conferences/pasco2007

ISSAC 2007

http://www.cs.uwaterloo.ca/conferences/issac2007

_______________________________________________
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] SNC 2007: News and 2nd Call for Papers

Symbolic-Numeric Computation 2007 (SNC 2007)

July 25-27, 2007 -- London Canada

http://www.orcca.on.ca/conferences/snc2007

Third Announcement and

CALL for PARTICIPATION

News:

** Preliminary program available **

http://www.orcca.on.ca/conferences/snc2007/site/programsncpasco/program.html

** Registration open **

http://www.orcca.on.ca/conferences/snc2007/site/registration/registration.html

Invitation:

Individuals who wish to attend the conference are invited to
register via the conference web site.

Overview:

Algorithms that combine ideas from symbolic and numeric computation have
been of increasing interest over the past decade. The growing demand for
speed, accuracy and reliability in mathematical computing has accelerated
the process of blurring the distinction between two areas of research that
were previously quite separate.

The goal of the present workshop is to support the interaction and
integration of symbolic and numeric computing. Earlier meetings in this
series include the SNAP 96 Workshop, held in Sophia Antipolis, France,
and the SNC 2005 meeting, held in Xi'an, China. Following the tradition,
Symbolic-Numeric Computation 2007 will be held July 25-27 in London, Canada.

SNC 2007 is affiliated with the 2007 International Symposium on Symbolic and
Algebraic Computation (ISSAC 2007). Co-located with this workshop will be
PASCO 2007, the 2007 International Workshop on Parallel Symbolic Computation.
SNC and PASCO will be held immediately prior to the ISSAC 2007 meeting, both
at the University of Western Ontario, Canada. ISSAC 2007 will be held
nearby in Waterloo, Canada.

Invited Speakers:

[ See abstracts:

http://www.orcca.on.ca/conferences/snc2007/site/talks/talks.html

]

Andre Galligo, University of Nice-Sophia Antipolis (France)
"Approximate bivariate factorization: a geometric viewpoint"

Erich Kaltofen, North Carolina State University (USA)
"On probabalistic analysis of randomization in hybrid symbolic-numeric algorithms"

Anthony Kennedy, University of Edinburgh (UK)
"Automating renormalization of quantum field theories"

Nick Trefethen, Oxford University (UK)
"Computing numerically with functions instead of numbers"

Charles Wampler, General Motors (USA)
"Numerical algebraic geometry and kinematics"

Lihong Zhi, Chinese Academy of Sciences (China)
"Numerical optimization in hybrid symbolic-numeric computation"

Topics:

Papers for the conference were solicited from the following areas:

* Hybrid symbolic-numeric algorithms
* Approximate polynomial GCD and factorization
* Symbolic-numeric methods for solving polynomial systems
* Resultants and structured matrices for symbolic-numeric computation
* Differential equations for symbolic-numeric computation
* Symbolic-numeric methods for geometric computation
* Symbolic-numeric algorithms in algebraic geometry
* Symbolic-numeric algorithms for nonlinear optimization
* Numeric computation of characteristic sets and Gr�bner bases
* Implementation of symbolic-numeric algorithms
* Model construction by approximate algebraic algorithms (e.g. numerical
sparse interpolation, the approximate Buchberger-Moeller algorithm)
* Applications of symbolic-numeric computation

Conference Organization:

General Chair: Stephen Watt <watt@orcca.on.ca>
PC Chair: Jan Verschelde <jan@math.uic.edu>
Local Arrangements: Oleg Golubitsky <oleg@orcca.on.ca>
Web site: Francois Lemaire <lemaire@lifl.fr>
Administration: Meg Borthwick <meg@csd.uwo.ca>

Program Committee:

Dario Bini, Universita di Pisa, Italy
Robert Corless, University of Western Ontario, Canada
James Demmel, University of California Berkeley, USA
Ioannis Emiris, University of Athens, Greece
Marc Moreno Maza, University of Western Ontario, Canada
Bernard Mourrain, INRIA Sophia Antipolis, France
Victor Pan, Lehman College CUNY, USA
Greg Reid, University of Western Ontario, Canada
Tateaki Sasaki, University of Tsukuba, Japan
Andrew Sommese, University of Notre Dame, USA
Jan Verschelde (PC Chair), University of Illinois at Chicago, USA
Dongming Wang, Beihang University, China and UPMC-CNRS, France
Zhonggang Zeng, Northeastern Illinois University, USA

Support:

Support from the following organizations is gratefully acknowledged:

The Fields Institute for Research in Mathematical Sciences
The MITACS Network of Centers of Excellence
The Natural Sciences and Engineering Research Council of Canada
The University of Western Ontario:
VP Research, Faculty of Science, Deparment of Computer Science
The Ontario Research Centre for Computer Algebra
Maplesoft
SHARCNET

Links:

SNC 2007

http://www.orcca.on.ca/conferences/snc2007

PASCO 2007

http://www.orcca.on.ca/conferences/pasco2007

ISSAC 2007

http://www.cs.uwaterloo.ca/conferences/issac2007

_______________________________________________
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] RDP'07 Registration open until May 31

RDP 2007 - 2nd Call for Participation
Federated Conference on Rewriting, Deduction, and Programming
June 25 to 29, Paris, France

http://www.rdp07.org

========================================================================
Regular registrations are open until May, 31. After that date there will
be only limited possibilities for late registration for an elevated fee.
Details of that will be posted on the web page.
========================================================================

RDP'07 is the fourth edition of the International Conference on Rewriting,
Deduction, and Programming, consisting of two main conferences
* Rewriting Techniques and Applications (RTA'07)
* Typed Lambda Calculi and Applications (TLCA'07)

a colloquium
* From Type Theory to Morphologic Complexity: a Colloquium in Honor of
Giuseppe Longo

as well as the following workshops:
* Higher Order Rewriting (HOR)
* Proof Assistants and Types in Education (PATE)
* Rule-Based Programming (RULE)
* Security and Rewriting Techniques (SecReT)
* Unification (UNIF)
* Functional and (Constraint) Logic Programming (WFLP)
* Reduction Strategies in Rewriting and Programming (WRS)
* Termination (WST)

Invited Speakers:
=================
Joint RTA/TLCA: * Frank Pfenning (Carnegie Mellon University)
TLCA: * Patrick Baillot (CNRS, University Paris 13)
* Greg Morrisett (Harvard University)
RTA: * Xavier Leroy (INRIA Rocquencourt)
* Robert Nieuwenhuis (Technical University of Catalonia)

Celebration of the 75th anniversary of the lambda calculus:
* Henk Barendregt (Nijmegen University)

Registration:
=============
http://www.rdp07.org/registration.html

_______________________________________________
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

Functional Programming School + PhD workshop, June 23-30, 2007

2nd Central-European Functional Programming School
CEFP 2007
Cluj-Napoca, June 23-30, 2007

http://cs.ubbcluj.ro/cefp2007/

Second Call for PhD student presentation - Call for participation

PhD students are invited to submit the abstract of their
presentations to be included in the workshop session of
the summer school. The selected and reviewed workshop
papers and the revised lectures will be published in
the post-conference LNCS Volume of the Summer School.
The deadline for registration and submissions is
1 June 2007.

Aims and Scopes:

The Central-European Functional Programming School (CEFP)
is an intensive summer school series in the field of functional
programming. The main goal is to bring together computer
scientists, researchers, graduate and especially PhD students.
The school would like to promote the research and the education
of the functional programming languages, software technologies
and programming methodologies.

The second CEFP school will be organized by the Babeş-Bolyai
University (Cluj-Napoca / Kolozsvár / Klausenburg) between
23-30 June, 2007. The previous school was held in Budapest,
Hungary, July, 2005 (LNCS 4164).

The invited lecturers are prominent researchers in the field,
and they will present state-of-the-art functional programming
techniques. Beside the lectures practical courses will be held.
The school includes a workshop for PhD students to present
their work and get feed-back from the lecturers.

Invited Lecturers:

Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands):
iTasks: Defining Interactive Workflows for the Web

Werner Kluge (Christian-Albrechts-Universität zu Kiel,
Germany): Abstract Lambda Calculus Machines

Marko van Eekelen (Radboud University Nijmegen, The
Netherlands): Proving Properties of Lazy Functional Programs

Tim Sheard (Portland State University, USA): The Omega
Programming Language

Ralf Hinze (Universität Bonn, Germany): Generic Programming, Now!

Three additional short courses will be given:

Zoltán Horváth (Eötvös Loránd University, Budapest, Hungary):
Refactoring Erlang Programs

Zoltán Csörnyei (Eötvös Loránd University, Budapest, Hungary):
Lambda-Calculus

Horia F. Pop (Babeş-Bolyai University, Cluj-Napoca, Romania):
A Tutorial on Object Orientedness in Functional Programming

Submissions for the workshop session:

Each presentation can be of max. 25 minutes. The full paper
version can be submitted after the summer school for
post-conference reviewing.

Venue:

Cluj-Napoca / Kolozsvár / Klausenburg, formerly the capital of
Transylvania, is one of the most beautiful medieval cities with
a huge multicultural and historical inheritance. Surrounded by
marvelous hills and mountains, the city provides fascinating
environment for experiencing the unique ambience of a
diversified culture, society and nature.

Registration and costs:

The registration fee (260 Euro) includes the course materials
distributed during the school, the post-school volume, lunches,
the excursion and the summer school banquet. For further
information, accommodation possibilities and registration
please visit the web-page of the event:
http://www.cs.ubbcluj.ro/cefp2007.

Call for Participation: CAV 2007

CALL FOR PARTICIPATION

COMPUTER AIDED VERIFICATION (CAV)
19th International Conference

July 3 - 7, 2007, Berlin, Germany

http://www.cav2007.org

Early registration deadline: May 25.

CAV 2007 is the 19th Computer-Aided Verification conference. It will be
held at the Park Inn Hotel, Alexanderplatz, Berlin, Germany, July 3-7, 2007.
The conference will start with one day of tutorials (July 3rd), followed by 4
days of the main conference (July 4-7th). Seven affiliated workshops will be
held in the two days before and the day after CAV (July 1st-2nd and
July 8th).You can find the preliminary program for CAV 2007, links to
affiliated workshops, and information on how to register for CAV and the
workshops at the conference web site: http://www.cav2007.org

IMPORTANT: Early registration deadline is May 25.

The CAV'07 conference is the 19th in a series dedicated to the advancement
of the theory and practice of computer-aided formal analysis methods for
hardware and software systems. CAV considers it vital to continue its
leadership in hardware verification, and maintain its recent momentum in
software verification. The conference covers the spectrum from theoretical
results to concrete applications, with an emphasis on practical verification
tools and the algorithms and techniques that are needed for their
implementation. The proceedings of the conference will be published in the
Springer-Verlag Lecture Notes in Computer Science series. A selection of papers
will be invited to a special issue of the International Journal on Formal
Methods and System Design.

INVITED TALKS:
==============

* Byron Cook (Microsoft Research): "Automatically Proving Program Termination"

* David Russinoff (AMD): "A Mathematical Approach to RTL Verification"

* Thomas Kropf (Robert Bosch AG): "Software Bugs seen from an Industrial
Perspective; or: Can Formal Methods help
on Automotive Software Development?"

TUTORIALS (July 3rd):
====================

"Modeling, Verification, and Synthesis of Component Interfaces"
by Tom Henzinger (EPFL)

"A Tutorial on Satisfiability Modulo Theories"
by Natarajan Shankar (SRI)

"A JML Tutorial: Modular Specification and Verification of Functional
Behavior for Java"
by Gary T. Leavens (Iowa State U.)

"Verification of Hybrid Systems"
by Martin Fränzle (CvO U Oldenburg)

Conference Program
==================

The main CAV 2007 program consists of 33 regular papers and 14 tool papers.

Affiliated Events
==================

CAV 2007 will be preceeded by two (July 1st-2nd) and followed by one
day (July 8th) of workshops.

* FMICS 2007: 12th Intl. Workshop on Formal Methods for Industrial Critical
Systems, July 1-2

* SMT 2007: 5th International Workshop onSatisfiability Modulo Theories,
July 1-2

* ARTIST Workshop on tool platforms for modelling, analysis and validation
of embedded systems, July 1-2

* PDMC 2007: 6th Int. Workshop on Parallel and Distributed Methods in
verifiCation, July 8

* AHA 2007: International Symposium on Automatic Heap Analysis, July 2

* GVD 2007: 3rd German Verification Day, July 1

* SPIN 2007: 14th International SPIN Workshop on Model Checking of
Software, July 1-3

In addition, the results of two tool competitions, the "Satisfiability
Modulo Theories Competition" SMT-COMP (held in parallel with CAV), and
the "Hardware Model Checking Competition" HWMCC'07 (held before CAV), will
be presented within the scientific program of CAV 2007.

Acknowledgement
===============

CAV 2007 gratefully acknowledges the generous financial support of the
following companies and institutions:
Artist2 Network of Excellence, Cadence Design Systems, the German
Science Foundation, IBM, Informatik Saarland, Intel Corporation, Microsoft
Research, NEC and Synopsys.

CAV 2007 Program Chairs:
=======================

* Werner Damm, CvO U Oldenburg
* Holger Hermanns, Saarland U

CAV 2007 Program Committee
==========================

* Parosh Aziz Abdulla, Uppsala U
* Rajeev Alur, U Penn
* Sergey Berezin, Synopsys
* Armin Biere, JKU Linz
* Roderick Bloem, TU Graz
* Ahmed Bouajjani, U Paris 7
* Alessandro Cimatti, IRST Trento
* Edmund M. Clarke, CMU
* Werner Damm, U Oldenburg
* Limor Fix, Intel
* Patrice Godefroid, Microsoft Research
* Ganesh Gopalakrishnan, U of Utah
* Susanne Graf, Verimag
* Orna Grumberg, Technion
* Holger Hermanns, Saarland U
* Robert Jones, Intel
* Orna Kupferman, Hebrew U
* Robert P. Kurshan, Cadence
* John Lygeros, ETH Zuerich
* Tom Melham, Oxford U
* Ken McMillan, Cadence
* Jakob Rehof, U Dortmund
* Koushik Sen, UC Berkeley
* Fabio Somenzi, U Boulder
* Ashish Tiwari, SRI International
* Frits Vaandrager, U Nijmegen
* Yaron Wolfstal, IBM Haifa

CAV Steering Committee
=======================

* Edmund M. Clarke, CMU
* Mike Gordon, U. Cambridge
* Robert Kurshan, Cadence
* Amir Pnueli, NYU

_______________________________________________
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

AXMEDIS2007 Call for Papers: content production protection distribution DRM

Dear Caml List

You are cordially invited to participate at the AXMEDIS2007 International
Conference, 28th - 30th November 2007, Barcelona, Spain,
at the Universitat Politecnica de Catalunya

This 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 modelling, business models,
security and distribution, legal aspects, accessibility, transaction models,
multimedia music, workflow, and much more.

The AXMEDIS2007 International Conference is a perfect occasion to discover
the state of the art and beyond, on the above mentioned technologies
and developments and to meet the industry 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.

AXMEDIS is supported by 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 Lituania), KTU, VRS Grupe, ACIT, Telecom Italia,
Strategica, EXITECH, XIM, the MUSICNETWORK International Association,
the European Commission and many more.

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

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 and Jaime Delgado

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

CALL for PAPERS
AXMEDIS2007
3rd International Conference on Automated Production of Cross Media Content
for Multi-channel Distribution
HTTP://www.axmedis.org/axmedis2007

Submission due: 15 May 2007
Conference date: 28th-30th Nov. 2007
Conference venue: Universitat Politècnica de Catalunya, Barcelona (Spain)

In the Internet as well as in the digital era, cross-media production and
distribution represent key developments and innovations that are fostered
by emergent technologies to ensure better value for money while optimising
productivity and market coverage. AXMEDIS2007 aims to explore all subjects
and topics related to cross-media and digital-media content production,
processing, management, standards, representation, sharing, protection and
rights management interoperability, to address the latest developments and
future trends of the technologies and their applications, its impact and
exploitation. We are particularly interested in exchanging concepts,
requirements, prototypes, research ideas, and findings which could contribute
to academic research or could be beneficial to business and industrial
communities.

Recommended topics include, but are not limited to, the following:
- Automatic cross-media production, collection, crawling,
composition, formatting, P2P, etc.
- Formats and models for multi-channel content distribution and interoperability
- Multimedia standards: MPEG-7, MPEG-21, DMP, etc.
- High quality audio visual coding
- Multimedia music representation and formatting
- Watermarking and fingerprinting techniques
- GRID and distributed systems for content production
- Real-time streaming media distribution
- Multimedia middleware
- Workflow management systems
- Web services for content distribution
- Semantic Web for multimedia production and distribution
- Collaborative models and tools
- Distribution with P2P architectures
- Legal aspects related to digital content
- Collecting and clearing of rights and licences
- Business, payment and transaction models
- Digital Rights Management (DRM) models, tools, and interoperability
- Context Awareness
- Archives management for cultural and educational applications
- Synchronisation technologies and solutions
- Systems and approaches for content production/distribution on demand
- Content adaptation
- Accessibility and multimodal user interfaces
- Novel applications and case-studies of relevant technologies
- etc. etc.

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

Research and applications Papers: Papers should describe original and
significant work in the research and application of related topics.
(i) Long papers: up to 8 pages, typically focused on research studies,
applications and experiments (ii) Short papers: up to 4 pages,
suitable for reporting work-in-progress or interim results.

Industrial Panels: The Conference will hold an Industrial Track composed
by Panels consisting of position papers and round-tables on specific
topics. For Panel Proposal (topic, prospective speakers etc), please
see the Conference website.

Workshops: Proposals for workshops are welcome. The format is open.
European Commission and/or other large Research and Development projects
are invited to consider proposing a Workshop.

Please contact conference@axmedis.org for details.

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 15 May 2007. Document style for research papers
is available at the conference website. The conference proceedings are to
be published by the IEEE Computer Society Press. Selected papers will be
considered for publication in special issues of one or more major
peer-reviewed Journals in this domain. Papers from Industrial Panels and
Workshops will be published in a separate volume of the proceedings by a
University Press.

Jaime Delgado, Universitat Politècnica de Catalunya, Spain
Kia Ng, University of Leeds, UK
Domenico Dato, TISCALI, Italy
AXMEDIS 2007 Chairs
http://www.axmedis.org/axmedis2007

past conferences had more than 200 registered people each:
http://www.axmedis.org/axmedis2006
http://www.axmedis.org/axmedis2005

- - - - - - -

RDP'07 Student Travel Grants

RDP'07 Student Travel Grants
Call for Applications

**********************************************************************

RDP'07 is the fourth edition of the International Conference on
Rewriting, Deduction and Programming, to be held June 25 to 29 in
Paris, France. Please consult the RDP'07 web page http://www.rdp07.org
for more information.

A limited number of travel grants is available for students who would
not otherwise have resources to attend RDP'07, and whose attendance
would benefit both the applicant and the conference.

The number of grants and the per-grant amount will be established on a
case by case basis, depending on the applicant's need and the total
amount of funds available for the program. Applicants should note that
a grant is limited, and that costs in excess of the grant will not be
reimbursed.

Grants will be awarded based on the evaluating committee's assessment
of the applicant's genuine financial need, the potential benefit to
the applicant's education, research, and career, and the potential
benefit to the conference or workshop. Among those applicants who
genuinely could not attend the conference without a grant, the
evaluating committee gives priority to (co-)authors of accepted
papers.

Applications should explain
- the current status of the applicant
- the kind of participation of the applicant in RDP
- a breakdown of the estimated amount needed

Applications should be send by May 20, midnight UT time zone, by email
to registration@rdp07.org. Applicants should have their supervisor
send a recommendation email to the same address and by the same
deadline. This letter should describe the student's work, the benefit
to that work of attending the conference, and an assessment of the
student's financial need.

Timeline:
- Sunday, May 20, midnight UT Deadline for applications and recommendation
letters
- Thursday, May 24 Notification about acceptance or rejection
- Thursday, May 31 Deadline for RDP'07 registration

_______________________________________________
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

The 2007 ACM SIGPLAN Workshop on ML (Call for Papers)

---

The 2007 ACM SIGPLAN Workshop on ML
Call for Papers

To be held in conjunction with ICFP'07
on Friday, October 5, 2007, in Freiburg, Germany.

---

Goals of the Workshop

The ML family of programming languages, whose most popular dialects are Standard ML and Objective Caml, has inspired a tremendous amount of computer science research, both practical and theoretical. ML continues to be employed successfully in applications ranging from compilers and theorem provers to low-level systems software, web applications and video games. The Workshop on ML aims to bring together researchers, developers and users of ML to hear about and discuss the latest work on the design, semantics, implementation and application of ML and ML-like languages. Previous ML workshops have been held in Orlando, Florida (1994), Baltimore, Maryland (1998), Tallinn, Estonia (2005), and Portland, Oregon (2006).

The 2007 Workshop on ML will be held in conjunction with the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007) in Freiburg, Germany on Friday, October 5, 2007.

Submission Guidelines

This year, we are seeking paper submissions of two varieties: research papers and work-in-progress reports.

Research papers must present original research that has not been published elsewhere. We welcome research papers on any ML-related topic, including (but not limited to):

• applications
• concurrent programming
• formal semantics
• language design
• language formalization and mechanization
• language implementation
• programming environments
• type systems

Work-in-progress reports need not present original research. Rather, they are intended as a way of informing others in the ML community about the status of ML-related research or implementation projects, as well as communicating insights gained from such projects that do not quite constitute a full research paper. As such, we expect that work-in-progress reports will be shorter than research papers, and we will not judge them to the same standard. If you have any questions regarding the appropriate paper category for a potential submission or its overall suitability for the workshop, please contact the program chair.

All paper submissions must be at most 12 pages total length in the standard ACM SIGPLAN two-column conference format. Authors of work-in-progress report submissions should designate their papers as such by including the words "work in progress" or "status report" in the title. Submissions authored by program committee members are permitted, with the usual stipulation that they will be judged to a higher standard.

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

Details of the submission process will be provided at a time closer to the submission deadline.

Important Dates

Submission deadline:	Friday, June 15, 2007
Notification of acceptance:	Friday, July 13, 2007
Final revision due:	Friday, August 3, 2007
Workshop:	Friday, October 5, 2007

Workshop Organizer

• Claudio Russo (Microsoft Research, Cambridge)

Program Chair

• Derek Dreyer (Toyota Technological Institute at Chicago)

Program Committee

• Lars Birkedal (IT University of Copenhagen)
• Derek Dreyer (Toyota Technological Institute at Chicago)
• Jacques Garrigue (Nagoya University)
• Luc Maranget (INRIA Rocquencourt)
• Greg Morrisett (Harvard University)
• Atsushi Ohori (Tohoku University)
• Peter Sestoft (IT University of Copenhagen)
• Peter Sewell (University of Cambridge)
• Mark Shinwell (CodeSourcery UK Ltd)
• Don Syme (Microsoft Research, Cambridge)

---

RDP'07 First Call for Participation

RDP 2007 - Call for Participation
Federated Conference on Rewriting, Deduction, and Programming
June 25 to 29, Paris, France

http://www.rdp07.org

========================================================================
Online Registration is open unil May, 31.
========================================================================

RDP'07 is the fourth edition of the International Conference on Rewriting,
Deduction, and Programming, consisting of two main conferences
* Rewriting Techniques and Applications (RTA'07)
* Typed Lambda Calculi and Applications (TLCA'07)

a colloquium
* From Type Theory to Morphologic Complexity: a Colloquium in Honor of
Giuseppe Longo

as well as the following workshops:
* Higher Order Rewriting (HOR)
* Proof Assistants and Types in Education (PATE)
* Rule-Based Programming (RULE)
* Security and Rewriting Techniques (SecReT)
* Unification (UNIF)
* Functional and (Constraint) Logic Programmming (WFLP)
* Reduction Strategies in Rewriting and Programming (WRS)
* Termination (WST)

Invited Speakers:
=================
Joint RTA/TLCA: * Frank Pfenning (Carnegie Mellon University)
TLCA: * Patrick Baillot (CNRS, University Paris 13)
* Greg Morrisett (Harvard University)
RTA: * Xavier Leroy (INRIA Rocquencourt)
* Robert Nieuwenhuis (Technical University of Catalonia)

Celebratation of the 75th anniversary of the lambda calculus:
* Henk Barendregt (Nijmegen University)

Registration:
=============
http://www.rdp07.org/registration.html

Student Travel Grants:
======================
A limited number of travel grants for students is available. A call
for applications will be issued separately. Information about travel
grants will also be published on http://www.rdp07.org/grants.

Calculemus 2007: Call for Participation

Call for Participation

--------------------------
C A L C U L E M U S 2007
--------------------------

June 27--30, 2007
RISC Institute
Castle of Hagenberg, Austria

http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/

News
----

* Early registration deadline approaching: May 13, 2007.

* 10 papers have been accepted for presentation at the conference.

* 5 invited speakers (including 2 speakers of MKM 2007) confirmed.

* Conference registration includes registration for all satellites.

General
-------
Calculemus is a series of conferences dedicated to the integration of
computer algebra systems (CAS) and automated deduction systems (ADS)
towards the development of universal mathematical assistant systems
(MAS).

Currently, symbolic computation is divided into several (more or less)
independent branches, traditional ones (e.g. computer algebra and
theorem proving) as well as newly emerging ones (on user interfaces,
knowledge management, theory exploration, etc.). The main concern of
the Calculemus community is to bring these developments together in
order to facilitate the theory, design, and implementation of
integrated MAS that will routinely be used by mathematicians, computer
scientists, and engineers in their every-day business.

For the upcoming Calculemus meeting, which will be held jointly with
MKM 2007 in Hagenberg, Austria, we seek original research papers in
this context.

Scope
-----
The scope of Calculemus covers all aspects of developing mathematical
assistant systems, in particular, the interplay of automated reasoning
and computer algebra. Potential areas of interest are:

o) Automated reasoning in computer algebra
o) Computer algebra in automated reasoning
o) Interdisciplinary systems
o) Infrastructure for mathematical services
o) Theory exploration techniques
o) Theory, design, and implementation of MAS
o) Case studies and applications of MAS

Keynote Speakers
----------------
Thomas Hales, University of Pittsburgh
John Harrison, Intel Inc.
Peter Paule, RISC-Linz

Important Dates
---------------
May 13, 2007: Early registration deadline
June 27--30, 2007: Calculemus 2007 in Hagenberg, Austria

Proceedings
-----------
Accepted papers will be published in the LNAI series of Springer.

Program Committee
-----------------
Alessandro Armando (University of Genova, Italy)
Christoph Benzmueller (University of Cambridge, UK)
Olga Caprotti (University of Helsinki, Finland)
Jacques Carette (McMaster, Canada)
Timothy Daly (Carnegie Mellon, USA)
William M. Farmer (McMaster, Canada)
Keith O. Geddes (Waterloo, Canada)
Tom Hales (Pittsburgh, USA)
Hoon Hong (North Carolina State University, USA)
Deepak Kapur (New Mexico, USA)
Manuel Kauers (RISC-Linz, Austria; Program Co-Chair)
Laura Kovacs (RISC-Linz, Austria; Local Chair)
Petr Lisonek (Simon Fraser University, Canada)
Roy McCasland (University of Edinburgh, UK)
Renauld Rioboo (Universtite Pierre et Marie Curie, France)
Volker Sorge (University of Birmingham, UK)
Klaus Sutner (Carnegie Mellon, USA)
Thomas Sturm (University of Passau, Germany)
Wolfgang Windsteiger (RISC-Linz, Austria; General Chair and Program Co-Chair)