François Pessaux | 4 Mar 10:22 2015

[CFP] F-IDE 2015

Dear all,

Sorry if you get multiple copies.

 — François

               F-IDE 2015 - CALL FOR PAPERS

      The 2nd Formal Integrated Development Environment Workshop
                          (F-IDE 2015)
                  22 June 2015, Oslo, Norway


The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015) will be held in Oslo, Norway, in June, 2015.

High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs.

Ideally, an F-IDE dedicated to such developments should comply with several requirements. The first one is to associate a logical theory with a programming language, in a way that facilitates the tightly coupled handling of specification properties and program constructs. The second one is to offer a language/environment simple enough to be usable by most developers, even if they are not fully acquainted with higher-order logics or set theory, in particular by making development of proofs as easy as possible. The third one is to offer automated management of application documentation. It may also be expected that developments done with such an F-IDE are reusable and modular. Moreover, tools for testing and static analysis may be embedded in this F-IDE, to help address most steps of the assessment process.

The workshop is opened to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. It should allow the presentation of tools, methods, techniques and experiments. Topics of interest include, but are not limited to, the following:

– F-IDE building: design and integration of languages, compilation
– How to make high-level logical and programming concepts palatable to industrial developers
– Integration of Object-Oriented and modularity features
– Integration of static analyzers
– Integration of automatic proof tools, theorem provers and testing tools
– Documentation tools
– Impact of tools on certification
– Experience reports of developing F-IDE
– Experience reports of using F-IDE
– Experience reports of formal methods-based assessments of industrial applications

Papers must be written in English, not exceed 15 pages in LNCS format, not counting references, and follow the FM 2015 Format and Submission Guidelines.

They can be:
- Research papers providing new concepts and results
- Position papers and research perspectives
- Experience reports
- Tool presentations

Papers can be submitted through Easychair:

- Preliminary proceedings, including all the papers selected for the workshop, will be available electronically at the workshop.
- Post proceedings are under consideration as Electronic Proceedings in Theoretical Computer Science (ETPCS) proceedings.

Abstract submission:  March 24, 2015 (23h59 GMT)
Paper submission:     March 31, 2015 (23h59 GMT)
Notification:         April 30, 2015
Camera-ready:         May 15, 2015
Workshop:             June 22, 2015

Catherine Dubois     ENSIIE, Cedric, catherine (dot) dubois (at) ensiie (dot) fr
Paolo Masci          Queen Mary University of London, paolo (dot) masci (at) eecs (dot) qmul (dot) ac (dot) uk
Dominique Mery       Université de Lorraine, dominique (dot) mery (at) loria (dot) fr

PC MEMBERS (to be completed)
Bernhard Beckert     Karlsruhe Institute of Technology
Jose     Campos      Universidade do Minho
Paul     Curzon      Queen Mary University of London
Carlo Alberto Furia  ETH Zurich
Therese  Hardin      UPMC
Rustan   Leino       Microsoft Research
Michael  Leuschel    University of Dusseldorf
Claude   Marche      INRIA
Stefan   Mitsch      Carnegie Mellon University
Patrick  Oladimeji   Swansea University
Suzette  Person      NASA Langley Research Center
Francois Pessaux     ENSTA ParisTech
Marie-Laure Potet    Laboratoire Verimag
Steve    Reeves      Waikato University
John     Rushby      SRI International
Rene     Thiemann    University of Innsbruck
Boris    Yakobowski  CEA LIST

François Bobot | 3 Mar 14:15 2015

Dependencies between plugins

Hi everyone,

	I'm wondering how people are handling dependencies between libraries dynamically linked.

Even if many libraries compile a cmxs and have in their META file `archive(plugin,native)=...`. I 
know only one tool that uses this information: the ocsigen server. The code to gather all the cmxs 
or cma is not hard to write, thanks to findlib:

Does someone wrote a library that does that?

Gerd, do you think that something that does that could be added to ocamlfind? One tricky thing is to 
know the library statically linked (ie. `Ocsigen_config.builtin_packages`), perhaps ocamlfind can 
during linking add this information.




Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:

MUNOZ, CESAR (LARC-D320 | 2 Mar 20:18 2015

[fm-announcements] CFP: 11th International Workshop on Developments in Computational Models

11th International Workshop on
Developments in Computational Models

October 28, 2015, Cali, Colombia

A satellite event of ICTAC 2015 -



Several new models of computation have emerged in the last few years, and
many developments of traditional computational models have been proposed
with the aim of taking into account the new demands of computer systems
users and the new capabilities of computation engines. A new computational
model, or a new feature in a traditional one, usually is reflected in a
new family of programming languages, and new paradigms of software

DCM 2015 is the eleventh in a series of international workshops focusing
on new computational models. The aim of this workshop is to bring together
researchers who are currently developing new computational models or new
features for traditional computational models, in order to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
this area.

DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth
International Colloquium on Theoretical Aspects of Computing.

Topics of interest include all abstract models of computation and their
properties, and their applications to the development of programming
languages and systems:

- functional calculi: lambda-calculus, rho-calculus, term and graph
- quantum computation, including implementations and formal methods in
quantum protocols;
- probabilistic computation and verification in modeling situations;
- chemical, biological and bio-inspired computation, including spatial
models, self-assembly, growth models;
- models of concurrency, including the treatment of mobility, trust, and
- infinitary models of computation;
- information-theoretic ideas in computing.

- Submission Deadline for Extended Abstracts: August 3
- Notification: 13 September
- Pre-proceedings version due: 5 October
- Workshop: 28 October
- Submission Deadline for EPTCS Proceedings: 7 December

Mauricio Ayala Rincón, Universidade de Brasilia (Brazil).
Gilles Dowek, INRIA (France).

Submit your paper in PDF format via the conference EasyChair submission

Submissions should be an abstract of at most 5 pages, written in English.
Simultaneous submission to journals, conferences or other workshops is not
Please use the EPTCS macro package and follow the instructions of EPTCS,
following the EPTCS style:

A submission may contain an appendix, but reading the appendix should not
be necessary to assess its merits. After the workshop authors are invited
to submit a full paper of their presentation. Accepted contributions will
appear in an issue of EPTCS.

Mario Benevides (Brazil)
Luís Caires (Portugal)
Ugo Dal Lago (Italy)
Nachum Dershowitz (Israel)
Jérôme Feret (France)
Marcelo Frias (Argentina)
Russ Harmer (France)
Ivan Lanese (Italy)
Radu Mardare (Denmark)
Elvira Mayordomo (Spain)
César A. Muñoz (USA) - chair
Jorge A. Pérez (The Netherlands) - chair
Andrés Sicard-Ramírez (Colombia)
Alexandra Silva (The Netherlands)
Daniele Varacca (France)


Cesar A. Munoz (cesar.a.munoz <at>
Jorge A. Perez (j.a.perez <at>

To opt-out from this mailing list, send an email to

fm-announcements-request <at>

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner <at> 


Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:
Maxence Guesdon | 2 Mar 18:48 2015

syntax extensions with ocamlfind


I wrote a simple preprocessor, say mypp in a mykg package, and would
like to make ocamlfind add "-pp mypp" when I call it this way:
  ocamlfind ocamlc -syntax mypp -package mypkg.syntax

(Ideally, -syntax mypp would even be useless)

It seems that ocamlfind only supports camlp4 for preprocessors. Am I
right ? Does anybody known how to achieve this ?




Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:

Jordan W | 2 Mar 07:25 2015

Mutual recursion propagates individual recursion. Why?

(Note: When trying any of these examples, make sure to kill/restart
your top level between each examples - non-recursive bindings that
should fail will appear to work because they use existing bindings in
the environment).

My understanding is that self-recursion in OCaml is introduced via the
`let rec` binding keyword pair.

    let rec x a = x a

A sequence of let bindings are made *both* mutually recursive, *and*
individually self-recursive via a combination of `let rec` and the
`and` keyword.

   (* Notice how y is made self recursive as well *)
   let rec x a = (x a + y a) and y a = (x a + y a);;

The `and` keyword by itself is not sufficient to introduce mutual
recursion, and not sufficient to introduce self-recursion for any of
the bindings joined by the `and`.

    (* Does not work *)
    let x a = x a and y a = (x a + y a)
    (* Does not work *)
    let x a = y a and y a = x a

My questions are:
1. Is there any effect to having the `and` keyword, without a `let
rec` that initiates the let binding sequence?
2. Is there any way to introduce mutual recursion without also
introducing self-recursion on *all* of the bindings?

I would like self-recursion to be independent from mutual recursion.
It would be nice to be able to create several mutually recursive
bindings that are not individually self-recursive. I imagine the
syntax to accomplish this would require each binding to be opened with
"let" or "let rec" which would be totally reasonable.

    (* Three mutually recursive functions that are not self-recursive *)
    let rec thisOneIsSelfRecursive x = ... and
    let thisOneIsNotSelfRecursive y = ... and
    let rec thisOneIsAlsoSelfRecursive z = ...;

This becomes more desirable when one of the mutually recursive
bindings is a non-function value that you did not want to make
self-recursive by accident (which causes cycles).



Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:

GRLMC | 28 Feb 17:13 2015

AlCoB 2015: extended submission deadline 9 March

*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*




AlCoB 2015

Mexico City, Mexico

August 4-6, 2015

Organized by:

Centre for Complexity Sciences (C3)
School of Sciences
Institute for Research in Applied Mathematics and Systems (IIMAS)
Graduate Program in Computing Science and Engineering
National Autonomous University of Mexico

Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University



AlCoB aims at promoting and displaying excellent research using string and
graph algorithms and combinatorial optimization to deal with problems in
biological sequence analysis, genome rearrangement, evolutionary trees, and
structure prediction.

The conference will address several of the current challenges in
computational biology by investigating algorithms aimed at: 1) assembling
sequence reads into a complete genome, 2) identifying gene structures in the
genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and
comparing genomes, 5) reconstructing regulatory networks of genes, and 6)
inferring the evolutionary phylogeny of species.

Particular focus will be put on methodology and significant room will be
reserved to young scholars at the beginning of their career.


AlCoB 2015 will take place in Mexico City, the oldest capital city in the
Americas and the largest Spanish-speaking city in the world. The venue will
be the main campus of the National Autonomous University of Mexico.


Topics of either theoretical or applied interest include, but are not
limited to:

Exact sequence analysis
Approximate sequence analysis
Pairwise sequence alignment
Multiple sequence alignment
Sequence assembly
Genome rearrangement
Regulatory motif finding
Phylogeny reconstruction
Phylogeny comparison
Structure prediction
Compressive genomics
Proteomics: molecular pathways, interaction networks ...
Transcriptomics: splicing variants, isoform inference and quantification,
differential analysis …
Next-generation sequencing: population genomics, metagenomics,
metatranscriptomics ...
Microbiome analysis
Systems biology


AlCoB 2015 will consist of:

invited lectures
peer-reviewed contributions


Julio Collado-Vides (National Autonomous University of Mexico, Cuernavaca),
From Curation of Information to Knowledge Encoding

Gaston Gonnet (Swiss Federal Institute of Technology, Zurich),
Human-Dog-Mouse, Probably and Provable Non-trivial Evolution Close to the
Root of the Mammalian Clade

Peter D. Karp (SRI International, Menlo Park), Algorithms for Metabolic
Route Search and Determination of Reaction Atom Mappings


Stephen Altschul (National Center for Biotechnology Information, Bethesda,
Yurii Aulchenko (Russian Academy of Sciences, Novosibirsk, Russia)
Pierre Baldi (University of California, Irvine, USA)
Daniel G. Brown (University of Waterloo, Canada)
Yuehui Chen (University of Jinan, China)
Keith A. Crandall (George Washington University, Washington, USA)
Joseph Felsenstein (University of Washington, Seattle, USA)
Michael Galperin (National Center for Biotechnology Information, Bethesda,
Susumu Goto (Kyoto University, Japan)
Igor Grigoriev (DOE Joint Genome Institute, Walnut Creek, USA)
Martien Groenen (Wageningen University, The Netherlands)
Yike Guo (Imperial College, London, UK)
Javier Herrero (University College London, UK)
Karsten Hokamp (Trinity College Dublin, Ireland)
Hsuan-Cheng Huang (National Yang-Ming University, Taipei, Taiwan)
Ian Korf (University of California, Davis, USA)
Nikos Kyrpides (DOE Joint Genome Institute, Walnut Creek, USA)
Mingyao Li (University of Pennsylvania, Philadelphia, USA)
Yun Li (University of North Carolina, Chapel Hill, USA)
Jun Liu (Harvard University, Cambridge, USA)
Rodrigo López (European Bioinformatics Institute, Hinxton, UK)
Andrei N. Lupas (Max Planck Institute for Developmental Biology, Tübingen,
B.S. Manjunath (University of California, Santa Barbara, USA)
Carlos Martín-Vide (chair, Rovira i Virgili University, Tarragona, Spain)
Tarjei Mikkelsen (Broad Institute, Cambridge, USA)
Henrik Nielsen (Technical University of Denmark, Lyngby, Denmark)
Zemin Ning (Wellcome Trust Sanger Institute, Hinxton, UK)
Christine Orengo (University College London, UK)
Modesto Orozco (Institute for Research in Biomedicine, Barcelona, Spain)
Christos A. Ouzounis (Centre for Research & Technology Hellas, Thessaloniki,
Manuel Peitsch (Philip Morris International R&D, Neuchâtel, Switzerland)
David A. Rosenblueth (National Autonomous University of Mexico, Mexico City,
Julio Rozas (University of Barcelona, Spain)
Alessandro Sette (La Jolla Institute for Allergy and Immunology, USA)
Peter F. Stadler (University of Leipzig, Germany)
Guy Theraulaz (Paul Sabatier University, Toulouse, France)
Alfonso Valencia (Spanish National Cancer Research Centre, Madrid, Spain)
Kai Wang (University of Southern California, Los Angeles, USA)
Lusheng Wang (City University of Hong Kong, Hong Kong)
Zidong Wang (Brunel University, Uxbridge, UK)
Harel Weinstein (Cornell University, New York, USA)
Jennifer Wortman (Broad Institute, Cambridge, USA)
Jun Yu (Chinese Academy of Sciences, Beijing, China)
Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA)
Louxin Zhang (National University of Singapore, Singapore)
Hongyu Zhao (Yale University, New Haven, USA)


Adrian Horia Dediu (Tarragona)
Francisco Hernández-Quiroz (Mexico City)
Carlos Martín-Vide (Tarragona, co-chair)
David A. Rosenblueth (Mexico City, co-chair)
Florentina Lilica Voicu (Tarragona)


Authors are invited to submit non-anonymized papers in English presenting
original and unpublished research. Papers should not exceed 12 single-spaced
pages (including eventual appendices, references, proofs, etc.) and should
be prepared according to the standard format for Springer Verlag's LNCS
series (see

Submissions have to be uploaded to:


A volume of proceedings published by Springer in the LNCS/LNBI series will
be available by the time of the conference.

A special issue of the Journal of Computational Biology (Thomson Reuters
2013 impact factor: 1.670) will be later published containing peer-reviewed
substantially extended versions of some of the papers contributed to the
conference. Submissions to it will be by invitation.


The registration form can be found at:


Paper submission: March 9, 2015 (23:59 CET) – EXTENDED –
Notification of paper acceptance or rejection: April 10, 2015
Final version of the paper for the LNCS/LNBI proceedings: April 19, 2015
Early registration: April 19, 2015
Late registration: July 21, 2015
Submission to the journal special issue: November 6, 2015


florentinalilica.voicu <at>


AlCoB 2015
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386


National Autonomous University of Mexico
Rovira i Virgili University

Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.


Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:
Announce Announcements | 28 Feb 15:41 2015

The 20th IEEE Symposium on Computers and Communications (ISCC 2015): Call for Workshop Papers

*** Call for Workshop Papers ***

The 20th IEEE Symposium on Computers and Communications (ISCC 2015)

6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus

*** Final Submission Deadline: March 30th, 2015 (firm) ***

ISCC 2015, in its 20th anniversary, will provide an insight into the unique
world stemming from the interaction between the fields of computers and
communications. ISCC 2015 will provide an international technical forum for
experts from industry and academia to exchange ideas and present results of
ongoing research in most state-of-the-art areas of computer and
communications. This year, special focus will be on the challenging issues
and opportunities related to the computing, sensing and communication in
the era of the Internet of Things, Cloud Computing and Big Data.

The ISSC 2015 workshops cover topics such as 5G, Internet of Things,
Software-Defined Networking, Big Data, Cloud Computing, M2M
communications or Smart Grid. The purpose of these workshops is to
provide a platform for presenting novel ideas in a less formal and possibly
more sharply focused way than at the conference itself. All papers included
in the ISCC 2015 workshops, will be submitted for inclusion in the
conference proceedings published by IEEE.

ISCC 2015 will feature the following workshops:

• Management of Cloud and Smart city systems (MoCS 2015)

• Performance Evaluation of Communications in Distributed Systems
and Web based Service Architectures (PEDISWESA 2015)

• Smart City and Ubiquitous Computing Applications (SCUCA 2015)

• Distributed Mobile Systems & Services (DMSS 2015)

• A 5G Wireless Odyssey: 2020 (5G)

• Security and Forensics in Communication Systems (SFCS 2015)

More information about each workshop and submission guidelines
can be found at each workshop's web site, accessible from the conference
web site.

Important Dates
Paper Submission Deadline: March 30th, 2015 (firm)
Notification of Paper Acceptance: April 12th, 2015
Submission of Camera-Ready Papers Due: April 17th, 2015
Day of Workshops: July 6th, 2015

General Co-Chairs
Andreas Pitsillides, University of Cyprus, Cyprus
Mahmoud Daneshmand, Stevens Institute of Technology, USA

Technical Program Co-Chairs
Vasos Vassiliou, University of Cyprus, Cyprus
Honggang Wang, University of Massachusetts, Dartmouth, USA

Local Arrangement Co-Chairs
George Pallis, University of Cyprus, Cyprus
George Papadopoulos, University of Cyprus, Cyprus

Finance and Registration Co-Chairs
Reda Ammar, University of Connecticut, USA
Christos Douligeris, University of Piraeus, Greece

Publication Co-Chairs
Josephine Antoniou, University of Central Lancanshire, Cyprus
Nicos Komninos, City University London, UK

Keynote Speakers Co-Chairs
Panayiotis Kolios, University of Cyprus, Cyprus
Marios Lestas, Frederick University, Cyprus

Workshop Co-Chairs
Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece
Andreas Kamilaris, University of Cyprus, Cyprus
Massimo Villari, University of Messina, Italy

Publicity Co-Chairs
Habib M. Ammari, Univ. of Michigan-Dearborn, USA
Chrysostomos Chrysostomou, Frederick University, Cyprus
Mario Dantas, Universidade Federal de Santa Catarina, Brazil
Salil Kanhere, University of New South Wales, Australia
Ahmet Sekercioglu, Monash University, Australia
Qing Yang, Montana State University, USA

Steering Committee
Reda Ammar, University of Connecticut, USA
Antonio Corradi, University of Bologna, Italy
Mahmoud Daneshmand, Stevens Institute of Technology, USA
Christos Douligeris, Univ. of Piraeus, Greece
Adel S. Elmaghraby, Univ. of Louisville, USA
Hussein Mouftah, University of Ottawa, Canada
Sartaj Sahni, University of Florida, USA
Ahmed Tantawy, IBM, USA

This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at>] with the
single word 'remove' in the subject of the email.
Leonardo Laguna Ruiz | 27 Feb 23:40 2015

How to build a library with c++ stubs


I’m working on a library which wraps functions and clases written in C++. I’m trying to setup a build
system based in oasis but I haven’t found any example on how to do it.

So far I have been able of compiling my test programs using cmake and ocamlbuild. I use cmake to generate a
static library out of my C++ file. Then I call ocamlbuild (from cmake) to generate a object file from my main
file (main.native.o). Finally I link everything using cmake.

I have tried to link the my test program with ocambuild by passing all the necessary flags (use
stdlib=libc++ and link CoreFoundation and IOKit in OS X) but I haven’t succeeded using ocamlbuild (or oasis).

Does anyone has an example on how to build a library that uses C++ code?




Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:
Geoff Sutcliffe | 27 Feb 19:08 2015

Description Logics 2015 - Call for Papers

DL 2015: the 28th International Workshop on Description Logics, DL 2015
The DL workshop is the major annual event of the description logic research 
community. It is the forum at which those interested in description logics, 
both from academia and industry, meet to discuss ideas, share information and 
compare experiences.

The workshop will be held in Athens from June 7th to June 10th, 2015.

Submission of papers under review for a conference with a double-blind 
submission policy
Extended abstracts of papers that are currently under revision for a conference 
with a double-blind submission policy (e.g., IJCAI) should be submitted 
anonymously, i.e., without names in the pdf file, to avoid violations of the 
double-blind submission policy.  The names of the authors of such papers will 
not be revealed to the DL 2015 reviewers handling them.  All other papers 
should list the author names in the pdf file, as usual for DL.

Extended deadline
Paper registration deadline: March 9, 2015 (extended from March 2, 2015)
Paper submission deadline: March 16, 2015 (extended from March 9, 2015)
Notification of acceptance: April 17, 2015
Camera-ready copies: May 8, 2015
Workshop: June 7-10, 2015

Workshop Scope
We invite contributions on all aspects of description logics, including but not limited to:
* Foundations of description logics: decidability and complexity of reasoning, 
  expressive power, novel inference problems, inconsistency management, 
  reasoning techniques, and modularity aspects
* Extensions of description logics: closed-world and nonmonotonic reasoning, 
  epistemic reasoning, temporal and spatial reasoning, procedural knowledge, 
  query answering, reasoning over dynamic information
* Integration of description logics with other formalisms: object-oriented 
  representation languages, database query languages, constraint-based 
  programming, logic programming, and rule-based systems
* Applications and use areas of description logics: ontology engineering, 
  ontology languages, databases, ontology-based data access, semi-structured 
  data, graph structured data, linked data, document management, natural 
  language, learning, planning, Semantic Web, and cloud computing
* Systems and tools around description logics: reasoners, software tools for 
  and using description logic reasoning (e.g. ontology editors, database schema 
  design, query optimisation, and data integration tools), implementation and 
  optimisation techniques, benchmarking, evaluation, modelling

Invited Speakers
* Carsten Lutz (TU Bremen)
* Axel Polleres (TU Wien)
* Maarten de Rijke (University of Amsterdam)

* Submissions may be either full papers of up to 11 pages (excluding 
  references) presenting original research or extended abstracts of at most 
  3 pages (excluding references). There is no page limit on the list of 
* All submissions must be formatted in the Springer LNCS style.
* Extended abstracts of papers under review for a conference with a 
  double-blind submission policy should be submitted anonymously.
* Extended abstracts are designed only for authors who wish to announce results 
  that have been published elsewhere, or which the authors intend to submit or 
  have already submitted to a venue with an incompatible prior / concurrent 
  publication policy. Papers presenting original research should be submitted 
  as regular submissions.
* A clearly marked appendix (e.g., with additional proofs or evaluation data) 
  may optionally be appended. It will be read at the discretion of the 
  reviewers and not included in the proceedings. It does not need to be in 
  LNCS format.
* Authors submitting extended abstracts are encouraged to include such an 
  appendix, with sufficient material (e.g. copy of the already published paper 
  or technical report) to judge the scientific merit of the work described in 
  the extended abstract.
* Submission page:
* Accepted papers and extended abstracts will be made available electronically 
  in the CEUR Workshop Proceedings series (
* Accepted submissions, be they full papers or extended abstracts, will be 
  selected for either oral or poster presentation at the workshop. Submissions 
  will be judged solely based upon their content, and the type of submission 
  will have no bearing on the decision between oral and poster presentation.

* Diego Calvanese, Free University of Bozen-Bolzano (Programme co-Chair)
* Boris Konev, University of Liverpool (Programme co-Chair)
* Giorgos Stamou, National Technical University of Athens (Workshop co-Chair)
* Giorgos Stoilos, National Technical University of Athens (Workshop co-Chair)

* Information about submission, registration, travel information, etc., is 
  available on the DL 2015 homepage:
* Enquiries about the DL 2015 workshop can be made by contacting the 
  organising committee.
* The official description logic homepage is at


Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:

Jeremy Yallop | 27 Feb 13:15 2015

CFP: ML Workshop 2015

Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Thursday September 3, 2015, Vancouver, Canada
(immediately following ICFP and preceding OCaml Users and Developers Workshop)

Call for papers:

ML is a very large family of programming languages that includes Standard
ML, OCaml, F#, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML,
Flow Caml, and many others. All ML languages share several fundamental
traits, besides a good deal of syntax. They are higher-order, strict, mostly
pure, and typed, with algebraic and other data types. Their type systems are
derived from Hindley-Milner. The development of these languages has inspired
a significant body of computer science research and influenced the design of
many other programming languages, including Haskell, Scala and Clojure,
Rust, ATS and many others.

ML workshops have been held in affiliation with ICFP continuously since
2005. This workshop specifically aims to recognise the entire extended ML
family and to provide a forum for presenting and discussing common issues,
both practical (compilation techniques, implementations of concurrency and
parallelism, programming for the Web) and theoretical (fancy types, module
systems, metaprogramming). The scope of the workshop includes all aspects of
the design, semantics, theory, application, implementation, and teaching of
the members of the ML family. We also encourage presentations from related
languages (such as Scala, Rust, Nemerle, ATS, etc.), to exchange experience
of further developing ML ideas.

The ML family workshop will be held in close coordination with the OCaml
Users and Developers Workshop.


We acknowledge the whole breadth of the ML family and aim to include
languages that are closely related (although not by blood), such as Rust,
ATS, Scala, and Typed Clojure. Those languages have implemented and
investigated run-time and type system choices that may be worth considering
for OCaml, F# and other ML languages. We also hope that the exposure to the
state of the art ML might favourably influence those related
languages. Specifically, we seek research presentations on topics including
(but not limited to)

  * Language design: abstraction, higher forms of polymorphism, concurrency,
    distribution and mobility, staging, extensions for semi-structured data,
    generic programming, object systems, etc.

  * Implementation: compilers, interpreters, type checkers, partial
    evaluators, runtime systems, garbage collectors, foreign function
    interfaces, etc.

  * Type systems: inference, effects, modules, contracts, specifications and
    assertions, dynamic typing, error reporting, etc.

  * Applications: case studies, experience reports, pearls, etc.

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

  * Semantics: operational and denotational semantics, program equivalence,
    parametricity, mechanization, etc.

Four kinds of submissions will be accepted: Research Presentations,
Experience Reports, Demos and Informed Positions.

  * Research Presentations: Research presentations should describe new
    ideas, experimental results, or significant advances in ML-related
    projects. We especially encourage presentations that describe work in
    progress, that outline a future research agenda, or that encourage
    lively discussion. These presentations should be structured in a way
    which can be, at least in part, of interest to (advanced) users.

  * Experience Reports: Users are invited to submit Experience Reports about
    their use of ML and related languages. These presentations do not need
    to contain original research but they should tell an interesting story
    to researchers or other advanced users, such as an innovative or
    unexpected use of advanced features or a description of the challenges
    they are facing or attempting to solve.

  * Demos: Live demonstrations or short tutorials should show new
    developments, interesting prototypes, or work in progress, in the form
    of tools, libraries, or applications built on or related to ML and
    related languages. (You will need to provide all the hardware and
    software required for your demo; the workshop organisers are only able
    to provide a projector.)

  * Informed Positions: A justified argument for or against a language
    feature. The argument must be substantiated, either theoretically
    (e.g. by a demonstration of (un)soundness, an inference algorithm, a
    complexity analysis), empirically or by substantial experience. Personal
    experience is accepted as justification so long as it is extensive and
    illustrated with concrete examples.


The ML 2015 workshop will continue the informal approach used since
2010. Presentations are selected from submitted abstracts. There are no
published proceedings, so contributions may be submitted for publication
elsewhere. We hope that this format will encourage the presentation of
exciting (if unpolished) research and deliver a lively workshop atmosphere.

Each presentation should take 20-25 minutes, except demos, which should take
10-15 minutes. The exact time will be decided based on the number of
accepted submissions. The presentations will likely be recorded.


ML 2015 is an informal workshop without proceedings. We are planning to
publish a post-proceedings and to invite interested authors of selected
presentations to expand their abstracts for inclusion.

Coordination with the OCaml Users and Developers Workshop

The OCaml workshop is seen as more practical and is dedicated in significant
part to OCaml community building and the development of the OCaml system. In
contrast, the ML family workshop is not focused on any language in
particular, is more research-oriented, and deals with general issues of
ML-style programming and type systems. Yet there is an overlap, which we are
keen to explore in various ways. The authors who feel their submission fits
both workshops are encouraged to mention it at submission time or contact
the Programme Chairs.

Submission details

Submissions should be at most two pages, in PDF format, and printable on US
Letter or A4 sized paper. A submission should have a synopsis (2-3 lines)
and a body between 1 and 2 pages, in one- or two-column layout. The synopsis
should be suitable for inclusion in the workshop programme.

Submissions must be uploaded to the workshop submission website before the
submission deadline (Monday 18th May, 2015). If you have a question
concerning the scope of the workshop or the submission process, please
contact the programme chair.

Important dates

Monday 18th May (any time zone)   Abstract submission deadline
Monday 29th June                  Author notification
Thursday 3rd September 2015       ML Family Workshop

Programme committee

Damien Doligez (Inria Paris-Rocquencourt, France)
Suresh Jagannathan (Purdue University, USA)
Patricia Johann (Appalachian State University, USA)
Sam Lindley (University of Edinburgh, UK)
Moe Masuko (Ochanomizu University, Japan)
Adriaan Moors (Typesafe, USA)
Scott Owens (University of Kent, UK)
Jonathan Protzenko (Microsoft Research, USA)
Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany)
Jeremy Yallop (University of Cambridge, UK) (PC chair)


Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:

Gerd Stolpmann | 26 Feb 14:05 2015

[ANN] ocamlnet-4.0.2


just released ocamlnet-4.0.2, with some bug fixes (one important).

Note that I had to change the type of Uq_engines.engine (new method
request_proxy_notification). If you define your own engines, this may
break your builds. Most users won't be affected by this, though.

Download, changelog and other links under


Gerd Stolpmann, Darmstadt, Germany    gerd <at>
My OCaml site:
Contact details:
Company homepage: