archives

Recent Progress in Quantum Algorithms

Quantum theory has acquired a reputation as an impenetrable theory accessible only after acquiring a significant theoretical physics background. One of the lessons of quantum computing is that this is not necessarily true: quantum computing can be learned without mastering vast amounts of physics, but instead by learning a few simple differences between quantum and classical information.

A well written article in the CACM.

There's also slides for a talk by Rob Pike on the same topic.

OCaml Meeting 2010 in Paris

I would like to announce the OCaml Meeting 2010 in Paris. This meeting is about OCaml PL in general. This event will be followed by a full day of workshop in Paris.

The detailed announcement can be found here.

If this subject is off-topic, please forgive me and delete this topic.

Regards
Sylvain Le Gall

Call for Papers - SLE'2010

CALL FOR PAPERS

3rd International Conference on Software Language Engineering

SLE 2010
12-13 Oct 2010 -- Eindhoven, The Netherlands

http://planet-sl.org/sle2010/

Co-located with the International Conference on Generative
Programming and Component Engineering (GPCE'10).
------------------------------------------------------------
DATES

Jun 28: Abstract submission (required)
Jul 05: Paper submission (midnight Apia Samoa time)
Aug 27: Author notification
Sep 17: Paper submission for online proceedings
Oct 12-13: SLE 2010
Dec 03: Camera-ready copy submission for post-proceedings
------------------------------------------------------------
Software language engineering is devoted to topics related
to artificial languages in software engineering. The foremost
mission of the International Conference on Software Language
Engineering (SLE) is to encourage and organize communication
between communities that traditionally have looked at soft-
ware languages from different, more specialized, and yet
complementary perspectives. Thus, technologies, methods,
experiments and case studies from modelware, grammarware,
and ontologyware serving the objectives of software languages
are of particular relevance to SLE.

We invite high-quality submissions to all conference tracks.
Submissions must be PDF files following the Springer LNCS
style and will be managed using the EasyChair submission system.
Please check the conference web site for further information.

New at SLE 2010 is a Doctoral Symposium that will provide
a supportive yet questioning setting in which PhD students
can present their work, including goals, methods, and
preliminary results. The Symposium aims to provide students
with useful guidance and feedback on various aspects of their
research from established researchers and the other student
attendees.

Please forward this call to anyone who might be interested.

http://planet-sl.org/sle2010/
------------------------------------------------------------
PAPER SUBMISSION

Submitted papers must be original work and must not be
previously published in, currently submitted to, or currently
in consideration for any journal, book, conference, or
workshop. Each submitted paper will be reviewed closely by
at least three members of the program committee. Accepted
papers will be distributed at the conference via the online
proceedings as well as published in the post-proceedings,
which will appear in the Springer Lecture Notes in Computer
Science (LNCS) series. Authors will have the opportunity
to revise their accepted paper(s) for the pre- and post-
proceedings. For an accepted paper to appear in the proceedings,
at least one author must attend the event and present the work.
------------------------------------------------------------
RESEARCH PAPERS

Research papers should report a substantial research contribution
to SLE and/or a successful application of SLE techniques. We
solicit high-quality contributions in the area of SLE ranging
from theoretical and conceptual contributions to tools, techniques,
and frameworks that support the aforementioned lifecycle activities.
We list examples of tools, techniques, applications, and problems of
interest to clarify the types of contributes that we seek:

* Formalisms used in designing and specifying languages and
tools that analyze such language descriptions
* Language implementation techniques
* Program and model transformation tools
* Composition, integration, and mapping tools for managing
different aspects of software languages or different
manifestations of a given language
* Transformations and transformation languages between
languages and models
* Language evolution
* Approaches to elicitation, specification, or verification
of requirements for software languages
* Language development frameworks, methodologies, techniques,
best practices, and tools for the broader language lifecycle
covering phases such as analysis, testing , and documentation.
* Design challenges in SLE
* Applications of languages including innovative domain-specific
languages or "little" languages

The preceding list is not exclusive or exhaustive. Visit
the conference web site for more information about the scope
and topics of interest of SLE, or contact the program co-chairs
with questions.

Page limit: 20
------------------------------------------------------------
SHORT PAPERS

Short paper may describe interesting or thought-provoking
concepts that are not yet fully developed or evaluated, make
an initial contribution to challenging research issues in SLE,
or discuss and analyze controversial issues in the field.

Page limit: 10
------------------------------------------------------------
TOOL DEMONSTRATION PAPERS

Because of SLE's ample interest in tools, we seek papers
that present software tools related to the field of SLE.
These papers will accompany a tool demonstration to be given
at the conference. The selection criteria include the
originality of the tool, its innovative aspects, the relevance
of the tool to SLE, and the maturity of the tool. Submissions
may also include an appendix (that will not be published)
containing additional screen-shots and discussion of
the proposed demonstration.

Page limit: 10
------------------------------------------------------------
MINI-TUTORIAL PAPERS

SLE is composed of various research areas, such as grammarware,
modelware, language schemas, and semantic technologies. The
cross product of attendees at SLE creates a situation where
the contribution from one session may be difficult to
understand by those not initiated to the area. To help unite
the various communities of SLE 2010, we solicit mini-tutorials
that provide discussion points for mapping common ideas between
related and complementary research topics of SLE.

A mini-tutorial submission should be between 15 and 20 pages.
------------------------------------------------------------
GENERAL CHAIR

Mark van den Brand
Eindhoven University of Technology, The Netherlands
m.g.j.v.d.brand@tue.nl

PROGRAM CO-CHAIRS

Brian Malloy
Clemson University, USA
malloy@cs.clemson.edu

Steffen Staab
University of Koblenz-Landau, Germany
staab@uni-koblenz.de

DOCTORAL SYMPOSIUM CHAIRS

Eric van Wyk
University of Minnesota, USA
evw@cs.umn.edu

Steffen Zschaler
Lancaster University, UK
szschaler@acm.org

ORGANIZATION COMMITTEE

Anthony Cleve (Publicity Co-Chair)
INRIA Lille, France

Nicholas Kraft (Publicity Co-Chair)
University of Alabama, USA

Arjan van der Meer (Web Chair)
Eindhoven University of Technology, The Netherlands

Alexander Serebrenik (Finance Chair)
Eindhoven University of Technology, The Netherlands

PROGRAM COMMITTEE

Uwe Assmann, Dresden University of Technology, Germany
Colin Atkinson, University of Mannheim , Germany
Sonia Bergamaschi, University of Modena and Reggio Emilia, Italy
John Boyland, University of Wisconsin-Milwaukee, USA
Jordi Cabot, University of Toronto, Canada
Silvana Castano, University of Milan, Italy
Anthony Cleve, INRIA Lille, France
Michael Collard, University of Akron, USA
Charles Consel, LaBRI / INRIA, France
Stephen Edwards, Columbia University, USA
Gregor Engels, University of Paderborn, Germany
Aldo Gangemi, Semantic Technology Laboratory, Italy
Chiara Ghidini, FBK-irst, Italy
Jeff Gray, University of Alabama, USA
Peter Haase, University of Karlsruhe, Germany
Gorel Hedin, Lund University, Sweden
Geert-Jan Houben, Delft University of Technology, The Netherlands
Adrian Johnstone, University of London, UK
Nicholas Kraft, University of Alabama, USA
Ivan Kurtev, University of Twente, The Netherlands
Julia Lawall, University of Copenhagen, Denmark
Marjan Mernik, University of Maribor, Slovenia
Pierre-Etienne Moreau, Ecole des Mines in Nancy, France
Peter Mosses, Swansea University, UK
Ralf Möller, Hamburg University of Technolog, Germany
Istvan Nagy, ASML, The Netherlands
Daniel Oberle, SAP Research, Germany
Richard Paige, University of York, UK
Jeff Z. Pan, University of Aberdeen, UK
Bijan Parsia, University of Manchester, UK
James Power, National University of Ireland, Ireland
Alexander Serebrenik, Eindhoven University of Technology, The Netherlands
Fernando Silva Parreiras, University of Koblenz-Landau, Germany
Anthony Sloane, Macquarie University, Australia
Eleni Stroulia, University of Alberta, Canada
York Sure, University of Koblenz-Landau, Germany
Gabriele Taentzer, Technical University of Berlin, Germany
Jurgen Vinju, CWI, The Netherlands
Eelco Visser, Delft University of Technology, The Netherlands
Steffen Zschaler, Lancaster University, UK

Analog computing

A set of two amazingly detailed US Navy films explaining the Basic Mechanics in Fire Control Computers is sure to interest many here. In addition to being amazingly cool and historically significant, analog computation is in some respects analogous to FRP (couldn't resist the pun). Compiling to analog components can be a fun project for enterprising hardware hackers/makers, methinks.