[Caml-list] PLMMS-2010 call for participation

[Apologies for possible multiple postings.]
-------------------------------------------------------------------
CALL FOR PARTICIPATION
-------------------------------------------------------------------
In co-operation with ACM SIGSAM, the International Workshop on

Programming Languages for Mechanized Mathematics Systems
(PLMMS 2010)

8th of July 2010

Co-located with Conferences in Intelligent Computer Mathematics
(CICM), including Calculemus, AISC and MKM; at CNAM, Paris.
-------------------------------------------------------------------

The scope of the workshop is the intersection of programming languages
and mechanized mathematics systems. This includes programming languages
and aspects of present-day computer algebra systems, interactive proof
assistants, and automated theorem provers, all heading towards fully
integrated mechanized mathematical assistants.

Registration for PLMMS and other CICM events is now open:

http://cicm2010.cnam.fr/registration.html

(PLMMS is on the 8th July 2010)

Invited Speakers
================

Mechanized Mathematics
-- Jacques Carette

Beluga: programming with contextual data, contexts, and ...
-- Brigitte Pientka

The Abella Interactive Theorem Prover
-- Andrew Gacek

Can we make Mathematics universal as well as fully reliable?
-- Pierre Cartier

Contributed Talks
=================

CTP-based program languages? Considerations about an experimental design
-- Walther Neuper, Cezary Kaliszyk and Florian Haftmann

Isabelle/ML vs. Isabelle/Scala
-- Makarius Wenzel

transalpyne: a language for automatic transposition
-- Luca De Feo and Eric Schost

LEMA: Towards a language for reliable arithmetic
-- Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre
Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol

The PIDE project
-- Burkhart Wolff

Recent Developments in Omega's Proof Search Programming Language
-- Serge Autexier and Dominik Dietrich

Program Committee
=================

* Thorsten Altenkirch (University of Nottingham, UK)
* Serge Autexier (DFKI, Germany)
* David Delahaye (CNAM, Paris, France)
* James Davenport [PC co-chair] (University of Bath, UK)
* Lucas Dixon [PC co-chair] (University of Edinburgh, UK)
* Gudmund Grov (University of Edinburgh, UK)
* Ewen Maclean (University of Herriot Watt, UK)
* Dale Miller (INRIA, France)
* Gabriel Dos Reis (Texas A&M University, USA)
* Carsten Schuermann (IT University of Copenhagen, Denmark)
* Tim Sheard (Portland State University, USA)
* Sergei Soloviev (IRIT, Toulouse, France)
* Stephen Watt (The University of Western Ontario, Canada)
* Makarius Wenzel (ITU Munich, Germany)
* Freek Wiedijk (Radboud University Nijmegen, Netherlands)

Links
=====

* http://dream.inf.ed.ac.uk/events/plmms-2010/
the PLMMS 2010 web site

* http://cicm2010.cnam.fr/
the CICM 2010 conference web site

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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Call for Participation: Content Math Training Camp at CICM (July 5 to 9, Paris)

CONTENT MATH TRAINING CAMP
and
DOCTORAL PROGRAMME
at
Conferences on Intelligent Computer Mathematics (CICM 2010)
CNAM, Paris, France
5th-9th July (note change)

http://cicm2010.cnam.fr/cmtc

CALL FOR PARTICIPATION

CONTENT MATH TRAINING CAMP (5th-9th July):

This is a training school comprising tutorial sessions and practical labs with
an integrated Doctoral Programme (see homepage for that). Its aim is to
disseminate the latest developments and emerging trends in intelligent
computational mathematics as well as to familiarise, in particular young
researchers, with the leading state of the art technologies for authoring,
presenting, conserving and accessing mathematical knowledge and their
applications.

List of topics (links, details and updates: http://cicm2010.cnam.fr/cmtc)
* Gemse, a visual editor for Content and Presentation MathML 3
* OMDoc import/export of Hets (Heterogeneous Tool Set)
* jEditOQMath, an editor for OMDoc documents targetting ActiveMath
* JOBAD, a framework for integrating interactive mathematical services into web documents
* JOMDoc, a Java API for OMDoc
* MathDox formula editor, LaTeX to MathDox translator, possibly a text+formula editor
* MMT, a module system for mathematical theories
* an OpenMath Content Dictionary Editor
* SCIEnce libraries for symbolic computation with OpenMath:
o the SCSCP C Library (for C and C++)
o possibly POPCORN and the Java libraries
* sTeX, a semantically enhanced (La)TeX input language for OMDoc
* TNTBase, a versioned database for XML documents (with some special OMDoc support)

If you are interested in a particular topic or have anything particular to
offer, please let us know (mail to Christoph Lange
<ch.lange@jacobs-university.de>).

There will be short presentations introducing most of these topics, followed
by individual programming sessions.

Content Math Training Camp Organisers:
* Michael Kohlhase (Jacobs University Bremen, Germany)
* Christoph Lange (Jacobs University Bremen, Germany)
* Volker Sorge (University of Birmingham, UK)

--
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701

[Caml-list] MKM 2010: Call for Participation

CALL FOR PARTICIPATION
The 9th International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT

MKM 2010

http://cicm2010.cnam.fr/mkm/

CNAM, Paris, France, 8th-9th July 2010

as part of CICM 2010 - Conferences on Intelligent Computer Mathematics
http://cicm2010.cnam.fr/

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

The conference is concerned with all aspects of mathematical knowledge
management. More information about the MKM conference series can be
found at the MKM Interest Group Webpage: http://www.mkm-ig.org/

As part of the Conferences on Intelligent Computer Mathematics, it
will be co-located with the 17th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning (Calculemus 2010) and
the 10th International Conference on Artificial Intelligence and
Symbolic Computation (AISC 2010), and a number of workshops and a
doctoral programme. For more information, see http://cicm2010.cnam.fr/

Registration to the conference is now open and online at

http://cicm2010.cnam.fr/registration.html

Registration includes one hard-copy of the Springer LNAI proceedings
of the CICM conferences and one social event. Information on
accommodation and travelling is also available on the CICM 2010 web
pages.

For further information:
Email: mkm10@easychair.org
Website: http://cicm2010.cnam.fr/mkm/

Scientific Programme (MKM 2010)
====================

Invited Talks
- Can we make Mathematics universal as well as fully reliable ?
Pierre Cartier
- Against Rigor
Doron Zeilberger

Research papers and presentations
- Smart matching
Andrea Asperti, Enrico Tassi
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
Xiaoyu Chen
- An OpenMath Content Dictionary for Tensor Concepts
Joseph Collins
- On Duplication in Mathematical Repositories
Adam Grabowski, Christoph Schwarzweller
- Adapting Mathematical Domain Reasoners
Bastiaan Heeren, Johan Jeuring
- Integrating multiple sources to answer questions in Algebraic Topology
Jönathan Heras, Vico Pascual, Ana Romero, Julio Rubio
- Towards Automatic Formalization of Informal Mathematics with MathNat
Muhammad Humayoun and Christophe Raffalli
- sTeXIDE: An Integrated Development Environment for sTeX Collections
Constantin Jucovschi, Michael Kohlhase
- Proofs, proofs, proofs, and proofs
Manfred Kerber
- Dimensions of Formality: A Case Study for MKM in Software Engineering
Andrea Kohlhase, Michael Kohlhase, Christoph Lange
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev
- The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents
Andriy Kovalchuk, Vyacheslav Levitsky, Igor Samolyuk, Valentyn Yanchuk
- Notations Around the World: Census and Exploitation
Paul Libbrecht
- Evidence Algorithm and System for Automated Deduction: A Retrospective View
Alexander Lyaletski, Konstantin Verchinine
- On Building a Knowledge Base for Stability Theory
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
- Proviola: a Tool for Proof Re-animation
Carst Tankink, James McKinna, Herman Geuvers, Freek Wiedijk
- A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers

Co-Located Events
=================

Conferences
- 17th Symposium on the Integration of Symbolic Computation and
Mechanised Reasoning (Calculemus 2010)
- 10th International Conference on Artificial Intelligence and
Symbolic Computation (AISC 2010)

Workshops
- 3rd Workshop on Compact Computer Algebra (CCA)
- 3rd Workshop, Towards a Digital Mathematics Library (DML)
- 6th Workshop on Mathematical User-Interfaces (MathUI)
- Workshop on Mathematically Intelligent Proof Search (MIPS)
- 23rd Workshop on OpenMath (OpenMath)
- 4th Workshop on Programming Languages for Mechanized
Mathematics Systems (PLMMS)
- Content Math Training Camp with Doctoral Programme (CMTC+DP)

Social Events
=============

- Conference reception with Wine & Cheese buffet
- Conference Banquet at the "Cafe des Techniques" at the CNAM Museum

_______________________________________________
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] LOPSTR/PPDP 2010 Early Registration Deadline: June 21

[Apologize for multiple copies]
====================================================================

*** CALL FOR PARTICIPATION ***

LOPSTR 2010
20th International Symposium on
Logic-Based Program Synthesis and Transformation
http://www.risc.jku.at/conferences/lopstr2010/
July 23-25, 2010

PPDP 2010
12th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
http://www.risc.jku.at/conferences/ppdp2010/
July 26-28, 2010

Hagenberg, Austria

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

IMPORTANT INFORMATION

Early registration deadline (for both conferences): June 21, 2010

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

LOPSTR 2010 INVITED SPEAKERS:

- Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
- Olivier Danvy (University of Aarhus, Denmark)
- Johann Schumann (RIACS/NASA Ames Research Center, USA)

LOPSTR 2010 PROGRAM:

http://www.risc.jku.at/conferences/lopstr2010/program.html

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

PPDP 2010 INVITED SPEAKERS:

- Maria Paola Bonacina (University of Verona, Italy)
- Sumit Gulwani (Microsoft Research)

PPDP 2010 PROGRAM:

http://www.risc.jku.at/conferences/ppdp2010/program.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

[Caml-list] AISC'10 - Call for Participation

[We apologise if you receive multiple copies]

CALL FOR PARTICIPATION
AISC 2010 - 10th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
CNAM, Paris, France, July 5th - July 6th, 2010
[http://cicm2010.cnam.fr/aisc/]

as part of CICM 2010 - Conferences on Intelligent Computer Mathematics
[http://cicm2010.cnam.fr/]
----------------------------------------------------------------------
Artificial Intelligence and Symbolic Computation are two views and
approaches for automating problem solving, in particular mathematical
problem solving, and AISC is the conference on all topics related to
applying Artificial Intelligence to Symbolic Computation or to
applying Symbolic Computation to Artificial Intelligence. This year's
AISC conference will consist of presentations of high-quality original
research papers, short presentations and invited talks.

As part of the Conferences on Intelligent Computer Mathematics it will
be co-located with the 17th Symposium on the Integration of Symbolic
Computation and Mechanised Reasoning (Calculemus 2010) and 9th
International Conference on Mathematical Knowledge Management (MKM
2010), and a number of workshops and a doctoral programme. For more
information see http://cicm2010.cnam.fr/

Registration to the conference is now open and online at

http://cicm2010.cnam.fr/registration.html

Registration includes one hard-copy of the Springer LNAI proceedings
of the CICM conferences and one social event. Information on
accommodation and travelling is also available on the CICM 2010 web
pages.

For further information: aisc2010_0@easychair.org
http://cicm2010.cnam.fr/aisc/
---------------------------------------------------------------------
* AISC 2010 - Scientific Programme

Invited Talks:
- The Challenges of Multivalued "Functions"
James Davenport
- The Dynamic Dictionary of Mathematical Functions
Bruno Salvy

Keynote Talk:
- A Revisited Perspective on Symbolic Mathematical Computing and
Artificial Intelligence
Jacques Calmet, John Campbell

Research papers and short presentations:
- I-terms in ordered resolution and superposition calculi: retrieving
lost completeness
Hicham Bensaid, Ricardo Caferra and Nicolas Peltier
- Structured Formal Development with Quotient Types in Isabelle/HOL
Maksym Bortin and Christoph Lueth
- Instantiation of SMT problems modulo Integers
Mnacho Echenim and Nicolas Peltier
- On Krawtchouk Transforms
Philip Feinsilver and Rene Schott
- A mathematical model of the competition between acquired immunity
and virus
Mikhail Kolev
- Some Notes upon "When does <T> equal sat(T)?"
Yongbin Li
- How to correctly prune tropical trees
Jean-Vincent Loddo and Luca Saiu
- From matrix interpretations over the rationals to matrix interpretations
over the naturals
Salvador Lucas
- Efficiency of Automating Problem Solving in Martin-Loef's Type Theory
(short presentation)
Gohar Marikyan
- Automated Reasoning and Presentation Support for Formalizing
Mathematics in Mizar
Josef Urban and Geoff Sutcliffe
----------------------------------------------------------------------------
* Co-Located Events

Conferences
- 17th Symposium on the Integration of Symbolic Computation and
Mechanised Reasoning (Calculemus 2010)
- 9th International Conference on Mathematical Knowledge
Management (MKM 2010)

Workshops
- 3rd Workshop on Compact Computer Algebra (CCA)
- 3rd Workshop, Towards a Digital Mathematics Library (DML)
- 6th Workshop on Mathematical User-Interfaces (MathUI)
- Workshop on Mathematically Intelligent Proof Search (MIPS)
- 23rd Workshop on OpenMath (OpenMath)
- 4th Workshop on Programming Languages for Mechanized
Mathematics Systems (PLMMS)
- Content Math Training Camp with Doctoral Programme (CMTC+DP)
----------------------------------------------------------------------------
* Social Events:
- Conference reception with Wine & Cheese buffet
- Conference Banquet at the "Cafe des Techniques" at the CNAM Museum

_______________________________________________
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] Calculemus 2010: Call for Participation

[Apologies for cross-postings.]

------------------------------------------
CALCULEMUS 2010 - Call for Participation
------------------------------------------

17th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning

CNAM, Paris, France, July 6-7, 2010

http://cicm2010.cnam.fr/calculemus/

*******************************************
>>>> Registration is now open! <<<<
(via CICM registration)

http://cicm2010.cnam.fr/registration.html

Registration deadline: July 4, 2010
*******************************************

Calculemus is a series of conferences dedicated to the integration of computer
algebra systems (CAS) and systems for mechanised reasoning, the interactive
theorem provers or proof assistants (PA) and the automated theorem provers
(ATP).

Currently, symbolic computation is divided into several (more or less)
independent branches: traditional ones (e.g., computer algebra and mechanised
reasoning) 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 systems for computer
mathematics that will routinely be used by mathematicians, computer scientists
and engineers in their every day business.

Calculemus 2010 will be held jointly with AISC 2010 and MKM 2010 (confederated
in the Conferences on Intelligent Computer Mathematics, CICM 2010) in Paris
(France).

Topics of Interest
==================

The scope of Calculemus covers all aspects of the interplay of mechanised
reasoning and computer algebra, including cross-fertilisation between those two
research areas, as well as the development of integrated systems that transcend
both computer algebra and theorem proving. Potential topics of interest
include:

* Theorem proving in computer algebra (CAS)
* Computer algebra in theorem proving (PA and ATP)
* Case studies and applications that both involve computer algebra and
mechanised reasoning
* Representation of mathematics in computer algebra
* Adding computational capabilities to PA and ATP
* Formal methods requiring mixed computing and proving
* Combining methods of symbolic computation and formal deduction
* Mathematical computation in PA and ATP
* Theory, design and implementation of interdisciplinary systems for computer
mathematics
* Infrastructure for mathematical services
* Theory exploration techniques

Accepted Papers
===============

This year, 7 full papers have been accepted for presentation at the conference.
These papers are the following:

* Formal Proof of SCHUR Conjugate Function
Franck Butelle, Florent Hivert, Micaela Mayero and Frédéric Toumazet

* Symbolic Domain Decomposition
Jacques Carette, Alan Sexton, Volker Sorge and Stephen Watt

* A Formal Quantifier Elimination for Algebraically Closed Fields
Cyril Cohen and Assia Mahboubi

* Computing in Coq with Infinite Algebraic Data Structures
Cesar Dominguez and Julio Rubio

* Formally Verified Conditions for Regularity of Interval Matrices
Ioana Pasca

* Reducing Expression Size using Rule-Based Integration
Albert Rich and David Jeffrey

* A Unified Formal Description of Arithmetic and Set Theoretical Data Types
Paul Tarau

In addition, there will be short presentations for extended abstracts on
emerging trends, and possibly, sessions dedicated to demos.

Invited Speakers
================

Andrea Asperti (University of Bologna, Italy)
Jacques Carette (McMaster University, Canada)

Proceedings
===========

The proceedings of full papers of the conference will be published as a volume
in the series Lecture Notes in Artificial Intelligence (LNAI) by
Springer-Verlag. In addition to the formal proceedings published by Springer,
we will provide links to online versions of the published papers from the
conference website.

Extended abstracts on emerging trends will be published as a technical report
of CEDRIC (CNAM/ENSIIE) and will be electronically available. These papers are
expected to be describing work in progress.

Important Dates
===============

The registration deadline is July 4, 2010.
The Calculemus conference is on July 6-7, 2010.

Programme Committee
===================

Markus Aderhold (TU Darmstadt, Germany)
Arjeh Cohen (Eindhoven University of Technology, The Netherlands)
Thierry Coquand (Chalmers University of Technology, Sweden)
James H. Davenport (University of Bath, UK)
David Delahaye (CNAM, France), Chair
Lucas Dixon (University of Edinburgh, UK)
William M. Farmer (McMaster University, Canada)
Temur Kutsia (RISC, Austria)
Assia Mahboubi (INRIA Saclay, France)
Renaud Rioboo (ENSIIE, France), Chair
Julio Rubio (Universidad de La Rioja, Spain)
Volker Sorge (University of Birmingham, UK)
Stephen M. Watt (University of Western Ontario, Canada)
Freek Wiedijk (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC, Austria)

_______________________________________________
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] CICM 2010 Call for participation

Please apolgy for multiple copies

We are pleased to announce CICM 2010 which will take place at
Conservatoire National des Arts et Métiers in Paris, France from July 5
to July 10, 2010. This continues the CICM series begun with the
successful CICM 2008 in in Birmingham, England and CICM 2009 in Grand
Bend, Ontario, Canada.

Please visit

http://cicm2010.cnam.fr/

Conferences on Intelligent Computer Mathematics gather several
conferences:

- 10th International Conference onArticficial Intelligence and Symbolic
Computation (AISC 2010)
- 17th Symposium on the Integration of Symbolic
Computation and Mechanised Reasoning (Calculemus 2010)
- 9th International Conference on Mathematical Knowledge Management
(MKM 2010)

Associated Workshops are:

- 3rd Workshop on Compact Computer Algebra (CCA 2010)
- 3rd Workshop, Towards a Digital Mathematics Library (DML 2010)
- 4th Workshop on Programming Languages for Mechanized Mathematics (PLMMS 2010)
- 23rd Workshop on OpenMath (OpenMath)
- Mathematically Intelligent Proof Search (MIPS 2010)
- 6th Workshop on Mathematical User-Interfaces (MathUI 2010)
- Content Math Training Camp with Doctoral Programme (CMTC+DP)

Further events include:

- A ScienCe Eu project meeting
- The EuDML European project kickoff meeting
- A program for doctoral students
- A special training camp on Content Markup for Mathematics
- A day program in honour of Therese Hardin

Social Events

- Conference reception with Wine & Cheese buffet at the "Cafe des
Techniques" at the CNAM Museum.
- Conference Banquet at restaurant le Grand Bleu, Port de l'Arsenal.

The full list of events is at

http://cicm2010.cnam.fr/programme.html

Looking forward to see you in Paris.

Laurence Rideau, Renaud Rioboo

_______________________________________________
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] CUFP 2010 reminder

Just a reminder.  The deadline for CUFP 2010 is approaching!  If you have experience using OCaml (or any other functional language) in a practical setting, the consider submitting a talk proposal.  Note that talk proposals are not hard to put together --- just email a short description of the talk that you'd like to give, and that's it.

The workshop is colocated with ICFP 2010, which is in Baltimore Maryland this year.

Cheers,
y

-----

Commercial Users of Functional Programming Workshop (CUFP) 2010
Call for Participation

Sponsored by SIGPLAN
Co-located with ICFP 2010

Baltimore, Maryland
Sep 27-29, 2010

Submission Deadline: 15 June 2010

Functional programming languages have been a hot topic of academic
research for over 35 years, and have seen an ever larger practical
impact in settings ranging from tech startups to financial firms to
biomedical research labs.  At the same time, a vigorous community of
practically-minding functional programmers has come into existence.

CUFP is designed to serve this community.  The annual CUFP workshop is
a place where people can see how others are using functional
programming to solve real world problems; where practitioners meet and
collaborate; where language designers and users can share ideas about
the future of their favorite language; and where one can learn
practical techniques and approaches for putting functional programming
to work.

# Giving a CUFP Talk #

If you have experience using functional languages in a practical
setting, we invite you to submit a proposal to give a talk at the
workshop.  We're looking for two kinds of talks:

*Experience reports* are typically 25 minutes long, and aim to inform
participants about how functional programming plays out in real-world
applications, focusing especially on lessons learned and insights
gained. Experience reports don't need to be highly technical;
reflections on the commercial, management, or software engineering
aspects are, if anything, more important. You do not need to submit a
paper!

*Technical talks* are expected to be 30-45 minutes long, and should
focus on teaching the audience something about a technical technique
or methodology, from the point of view of someone who has seen it play
out in practice.  These talks could cover anything from techniques for
building functional concurrent applications, to managing dynamic
reconfigurations, to design recipes for using types effectively in
large-scale applications.  While these talks will often be based on a
particular language, they should be accessible to a broad range of
functional programmers.

If you are interested in offering a talk, or nominating someone to do
so, send an e-mail to francesco(at)erlang-

consulting(dot)com or
yminsky(at)janestreet(dot)com by **15 June 2010** with a short description
of what you'd like to talk about or what you think your nominee should
give a talk about. Such descriptions should be about one page long.

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

# Program Committee #

* Francesco Cesarini, Erlang Training and Consulting (Co-Chair)
* Tim Dysinger, Sonian Networks
* Alain Frisch, LexiFi
* Nick Gerakines, Chegg
* Adam Granicz, IntelliFactory
* Amanda Laucher
* Romain Lenglet, Google Japan
* Yaron Misky, Jane Street (Co-Chair)
* Mary Sheeran, Chalmers
* Don Stewart, Galois
* Dean Wampler, DRW Trading

# More information #

For more information on CUFP, including videos of presentations from
previous years, take a look at the CUFP website at <http://cufp.org>.
Note that presenters, like other attendees, will need to register for
the event.  Presentations will be video taped and presenters will be
expected to sign an ACM copyright release form.  Acceptance and
rejection letters will be sent out by July 15th.