Geoff Sutcliffe | 7 Jul 18:57 2015
Picon

GCAI 2015 - Extended Deadline (for more good papers)

GCAI 2015: The First Global Conference on Artificial Intelligence

       Tbilisi, Georgia, October 16-19, 2015
    http://easychair.org/smart-program/GCAI2015/

     Second Call for Papers - Extended Deadline 
    (The program can accomodate more good papers)

  GCAI 2015 will be held in Tbilisi State University on October
  16-19, 2015. The conference is organized jointly by LRG and
  Tbilisi State University.

INVITED SPEAKERS:
  Sophia Ananiadou (The University of Manchester).
    Events, pathways and the Big Mechanism
  Robert Nieuwenhuis ((Technical University of Catalonia).
    SAT-based techniques for integer linear constraints

SUBMISSION

  Submissions in all areas of artifical intelligence are welcome.
  Submitted papers must be original and not submitted
  simultaneously elsewhere. More information can be found on the
  conference Web pages. The submission page is
  https://easychair.org/conferences/?conf=gcai2015 .

PROGRAM COMMITTEE

  The program committee contains 121 researchers from 34
  countries. The program chairs are
(Continue reading)

Maxence Guesdon | 7 Jul 15:30 2015
Picon
Picon

[ANN] stog 0.15.0 and friends

Hello,

I'm glad to announce the release 0.15.0 of Stog, a static website
compiler: https://zoggy.github.io/stog/index.html .

Changes are available from the release page:
  https://zoggy.github.io/stog/posts/release-0.15.0.html

One of the news is the introduction of the stog-tmpl tool, to generate
website skeletons. It was used for example to create website of
Ocf [http://zoggy.github.io/ocf/].

The stog package should be available soon in opam.

Two plugins are also released and numbered 0.15.0:
- stog-rdf [https://zoggy.github.io/stog/plugins/rdf.html]
    to specify RDF triples within documents, to produce a RDF graph for
    the whole generated site. It also permits executing Sparql queries
    to include data in the generated pages.

- stog-writing [https://zoggy.github.io/stog/plugins/writing.html]
    add new rewrite rules to use footnotes and bibliographies in
    your documents.

They will also be available in opam.

Regards,

Maxence

(Continue reading)

Mike Lin | 7 Jul 07:40 2015
Picon

Lwt and exceptions (2015)

Dear all,

I've long been observing the admonishment to avoid raising native exceptions in Lwt code [1,2]. However, it has not escaped my notice that between Lwt.catch, the try%lwt syntax extension, and the fact that Lwt.bind sets up a handler for native exceptions raised in asynchronous callbacks [3], they're usually handled just as one would naively expect. Actually, I spent a little time trying to come up with a non-terribly-contrived example where using a native exception breaks the intended handling logic, and did not succeed...

Perhaps the situation has evolved over time as some of the aforementioned features have been added to Lwt. Can anyone venture to define precisely when it's wrong to raise native exceptions in Lwt code, as of 2015?

[1] https://mirage.io/wiki/tutorial-lwt
[2] http://caml-list.inria.narkive.com/YRIVPWeD/lwt-and-exceptions
[3] https://github.com/ocsigen/lwt/blob/bb75e9185e2cf9a71d13b5008d08dae8fdc90f4d/src/core/lwt.ml#L653

Mike

Michael Hicks | 7 Jul 00:21 2015
Picon

Scanning objects outside the OCaml heap

From what I have found on-line (Chap 19 of the OCaml manual, and Chap 20 of Real-World OCaml), it seems that memory outside of the OCaml heap, but pointed to by it, is not scanned by the GC.

Does anyone know: Is there any way to make outside memory scannable by the GC?

The reason I ask: 

I'm interested in implementing a custom memory management strategy that I can prove is safe in a language I will compile to OCaml. I'm thinking I'd like to allocate freeable memory outside the OCaml heap, but as OCaml values. Since these values can point to OCaml heap-resident data, they need to be scanned. But I don't want to have to explicitly register/deregister them as roots to the GC, or track all mutations to the values, if I can help it. Rather, having a single "persistent root" to my memory area, for purposes of scanning, would be ideal.

Thanks in advance for any help,

-Mike


Yaron Minsky | 6 Jul 21:29 2015

[ANN] Incremental 112.35.00

I'm very pleased to announce the release of Incremental 112.35.00.

Incremental is a library for building self-adusting computations,
following the work of Acar et. al. [1]. Self adjusting computations
are designed so that they can be updated efficiently in response to
their inputs.  Incremental can be useful in a number of different
kinds of applications, including:

- Building large calculations (of the kind you might build into a
  spreadsheet) that can react efficiently to changing data.
- Constructing views in GUI applications that can incorporate new data
  efficiently.
- Designing online versions of existing combinatorial algorithms.

You can find detailed documentation of the library and how to use it
in incremental_intf.ml [2].  The full source is on github [3], and it
should show up in opam shortly as well.

[1]: http://www.umut-acar.org/self-adjusting-computation
[2]: https://github.com/janestreet/incremental/blob/master/src/incremental_intf.ml
[3]: https://github.com/janestreet/incremental/

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Picon
Picon

Service LCL : vous avez un message ! ⛔ 06/07/2015 04:20:14

> Message-Id: Date: Mon, 6 Jul 2015 02:20:14 +0000 (UTC)

Bonsoir


 

 Cher Client ,
   
  Le département technique de Le crédit Lyonnais procéde à une   mise à  jour de logiciel  programmée de façon à améliorer la  qualité des services bancaires.

  Nous vous demandons avec bienveillance de cliquer sure le lien
  ci-dessous et de confirmer vos détails bancaires.

  Nous nous excusons pour tout désagrément et vous remercions   de votre coopération.
                                                                                     

Copyright © 2014 Le crédit Lyonnais, Inc.. All rights reserved.
06/07/2015 04:20:14
Serge Autexier | 6 Jul 08:56 2015
Picon

CICM 2015: Final Call for Participation, Deadline July 6th, 2015

                     Final Call for Participation

            Conference on Intelligent Computer Mathematics
                              CICM 2015

                           13-17 July 2015
                          Washington DC, USA

                 Registration Deadline July 6th, 2015

The programme for this year's CICM in Washington can be found as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme

The accepted papers as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks

In addition we solicit for posters which will not be peer reviewed, but we
will just do a screen review for relevance to the conference. A poster
presentation will consist of a 5 minute teaser talk and the presentation of
the poster on Tuesday morning (together with the other presentations in the
Systems/Data/Projects track).

You can submit a brief abstract on a poster by 22 June 2015 via EasyChair:
https://www.easychair.org/conferences/?conf=cicm2015
You will be informed about acceptance shortly after your submission.

Registration to the conference will open shortly.

For details on the conference, registration, accommodation, etc. see
http://www.cicm-conference.org/2015/cicm.php

**********************************************************************
Invited Speakers:
**********************************************************************

*  Leonardo de Moura, https://leodemoura.github.io/
   "Formalizing mathematics using the Lean Theorem Prover"
   (http://leanprover.github.io/)
*  Tobias Nipkow, http://www21.in.tum.de/~nipkow/
   "Analyzing the Archive of Formal Proofs"
*  Jim Pitman, http://www.stat.berkeley.edu/~pitman/
   "Towards a Global Digital Mathematics Library"
*  Richard Zanibbi, http://www.cs.rit.edu/~rlaz/
   "Math Search for the Masses: Multimodal Search 
    Interfaces and Appearance-Based Retrieval"

**********************************************************************
The principal tracks of the conference will be:
**********************************************************************

* Calculemus (Symbolic Computation and Mechanised Reasoning)
  Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
  Chair: Volker Sorge
* MKM (Mathematical Knowledge Management)
  Chair: Cezary Kaliszyk
* Systems and Data
  Chair: Florian Rabe
* Doctoral Programme
  Chair: Umair Siddique

Publicity chair is Serge Autexier. The local arrangements are
coordinated by the Local Arrangements Chairs, Bruce R. Miller
(National Institute of Standards and Technology, USA) and Abdou
Youssef (The George Washington University, Washington, D.C.), and the
overall programme is organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK).

As in previous years, we have co-located workshops:

*  Formal Mathematics for Mathematicians
*  Theorem proving components for Educational software (ThEdu'15)
*  MathUI

Furthermore we have a doctoral programme to mentor doctoral
students giving presentations and a tutorial on the generic proof
assistant Isabelle.
--------------------------------------------------------------------------------

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

sympa_inria | 6 Jul 05:37 2015
Picon
Picon

Confirm a54b8dc07f9f853ad499c1d0244a557b

To distribute the attached message in list caml-list, click on the URL:

mailto:sympa_inria <at> inria.fr?subject=CONFIRM%20a54b8dc07f9f853ad499c1d0244a557b

Or send a message to sympa_inria <at> inria.fr <at>  with the following subject:

CONFIRM a54b8dc07f9f853ad499c1d0244a557b

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Picon Picon
From: To distribute the attached message in list caml-list, click on the URL: mailto:sympa_inria <at> inria.fr?subject=CONFIRM%20a54b8dc07f9f853ad499c1d0244a557b Or send a message to sympa_inria <at> inria.fr <at> with the following subject: CONFIRM a54b8dc07f9f853ad499c1d0244a557b -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs <caml-list <at> inria.fr>
Subject: Service LCL : vous avez un message ! ⛔ 06/07/2015 04:20:14

> Message-Id: Date: Mon, 6 Jul 2015 02:20:14 +0000 (UTC)

Bonsoir


 

 Cher Client ,
   
  Le département technique de Le crédit Lyonnais procéde à une   mise à  jour de logiciel  programmée de façon à améliorer la  qualité des services bancaires.

  Nous vous demandons avec bienveillance de cliquer sure le lien
  ci-dessous et de confirmer vos détails bancaires.

  Nous nous excusons pour tout désagrément et vous remercions   de votre coopération.
                                                                                     

Copyright © 2014 Le crédit Lyonnais, Inc.. All rights reserved.
06/07/2015 04:20:14
sympa_inria | 6 Jul 05:37 2015
Picon
Picon

Confirm c1b8a61c287beab2dccd52b7e1e021ec

To distribute the attached message in list caml-list, click on the URL:

mailto:sympa_inria <at> inria.fr?subject=CONFIRM%20c1b8a61c287beab2dccd52b7e1e021ec

Or send a message to sympa_inria <at> inria.fr <at>  with the following subject:

CONFIRM c1b8a61c287beab2dccd52b7e1e021ec

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Picon Picon
From: To distribute the attached message in list caml-list, click on the URL: mailto:sympa_inria <at> inria.fr?subject=CONFIRM%20c1b8a61c287beab2dccd52b7e1e021ec Or send a message to sympa_inria <at> inria.fr <at> with the following subject: CONFIRM c1b8a61c287beab2dccd52b7e1e021ec -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs <caml-list <at> yquem.inria.fr>
Subject: Service LCL : vous avez un message ! ⛔ 06/07/2015 04:20:15

> Message-Id: Date: Mon, 6 Jul 2015 02:20:15 +0000 (UTC)

Bonsoir


 

 Cher Client ,
   
  Le département technique de Le crédit Lyonnais procéde à une   mise à  jour de logiciel  programmée de façon à améliorer la  qualité des services bancaires.

  Nous vous demandons avec bienveillance de cliquer sure le lien
  ci-dessous et de confirmer vos détails bancaires.

  Nous nous excusons pour tout désagrément et vous remercions   de votre coopération.
                                                                                     

Copyright © 2014 Le crédit Lyonnais, Inc.. All rights reserved.
06/07/2015 04:20:15
Martin DeMello | 5 Jul 02:03 2015
Picon

looking for "real world" sqlite3 examples

Hi all,

I need to integrate an sqlite database in an app of mine, and I'm
trying to find existing code I can look at to get some idea of how to
go about it. I tried mirage/orm, but ran into some problems (I
reported the issue, and the author said the code hadn't been
maintained for a while), so I'm falling back on the idea of using
sqlite3 directly.

Things I am interested in:

1. database schema, versioning and migrations - will i need to do
those independently via sql/shell scripts, or is there some good way
to integrate them into my ocaml code?

2. type conversions - in the absence of an orm, do i have to write my
own by hand per resultset. or is there some intermediate-level library
that i haven't found that would automate some of it?

3. is there a maintained library for generating sql queries in a typed manner?

But mostly, I want to look at someone else's code and get an idea of
how this is done in ocaml; pretty much all my database code to date
has been written in dynamically typed languages and relied on code
generation.

martin

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Announce Announcements | 3 Jul 16:32 2015

Second IEEE/ACM International Conference on Big Data Computing (BDC 2015): Last Call for Papers (extended deadline!)

*** Last Call for Papers ***

Second IEEE/ACM International Conference on Big Data Computing
(BDC 2015)

December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus

Co-located with the 8th IEEE/ACM International Conference
on Utility and Cloud Computing (UCC 2015)

http://datasys.cs.iit.edu/events/BDC2015/

*** EXTENDED DEADLINE: 17 July, 2015 ***


CONTEXT AND SCOPE

Rapid advances in digital sensors, networks, storage, and computation along
with their availability at low cost is leading to the creation of huge collections
of data -- dubbed as Big Data. This data has the potential for enabling new
insights that can change the way business, science, and governments deliver
services to their consumers and can impact society as a whole. This has led
to the emergence of the Big Data Computing paradigm focusing on sensing,
collection, storage, management and analysis of data from variety of sources
to enable new value and insights.

To realize the full potential of Big Data Computing, we need to address
several challenges and develop suitable conceptual and technological
solutions for dealing them. These include life-cycle management of data,
large-scale storage, flexible processing infrastructure, data modeling,
scalable machine learning and data analysis algorithms, techniques for
sampling and making trade-off between data processing time and accuracy,
and dealing with privacy and ethical issues involved in data sensing, storage,
processing, and actions.

The International Symposium on Big Data Computing (BDC) 2015 -- held in
conjunction with 8th IEEE/ACM International Conference on Utility and Cloud
Computing (UCC) 2015, December 7-10, 2015, St. Raphael Resort, Limassol,
Cyprus, aims at bringing together international researchers, developers,
policy makers, and users and to provide an international forum to present
leading research activities, technical solutions, and results on a broad range
of topics related to Big Data Computing paradigms, platforms and their
applications. The conference features keynotes, technical presentations,
posters, and workshops.


TOPICS

Authors are invited to submit original unpublished research manuscripts
that demonstrate current research in all areas of Big Data Computing.

Topics of interest include but are not limited to:

I. Big Data Science
· Analytics
· Algorithms for Big Data
· Energy-efficient Algorithms
· Big Data Search
· Big Data Acquisition, Integration, Cleaning, and Best Practices
· Visualization of Big Data

II. Big Data Infrastructures and Platforms
· Programming Systems
· Cyber-Infrastructure
· Performance evaluation
· Fault tolerance and reliability
· I/O and Data management
· Storage Systems (including file systems, NoSQL, and RDBMS)
· Resource management
· Many-Task Computing
· Many-core computing and accelerators

III. Big Data Security and Policy
· Management Policies
· Data Privacy
· Data Security
· Big Data Archival and Preservation
· Big Data Provenance

IV. Big Data Applications
· Scientific application cases studies on Cloud infrastructure
· Big Data Applications at Scale
· Experience Papers with Big Data Application Deployments
· Data streaming applications
· Big Data in Social Networks
· Healthcare Applications
· Enterprise Applications

One or more best paper awards will be given for outstanding contributed
papers.


PAPER SUBMISSION

Authors are invited to submit papers electronically. Submitted manuscripts
should be structured as technical papers and may not exceed 10 letter size
(8.5 x 11) pages including figures, tables and references. Authors should
submit the manuscript in PDF format and make sure that the file will print
on a printer that uses letter size (8.5 x 11) paper. The official language of
the meeting is English. All manuscripts will be reviewed and will be judged
on correctness, originality, technical strength, significance, quality of
presentation, and interest and relevance to the conference attendees. Papers
conforming to the above guidelines can be submitted through the BDC 2015
paper submission system:

https://www.easychair.org/conferences/?conf=bdc2015).

Submitted papers must represent original unpublished research that is not
currently under review for any other conference or journal. Papers not
following these guidelines will be rejected without review and further action
may be taken, including (but not limited to) notifications sent to the heads of
the institutions of the authors and sponsors of the conference. Submissions
received after the due date, exceeding length limit, or not appropriately
structured may also not be considered. Authors may contact the conference
PC Chair for more information.

At least one author of each paper must be registered for the conference in
order for the paper to be published in the proceedings. Presentation of an
accepted paper at the conference is a requirement of publication. Any paper
that is not presented at the conference will not be included in IEEE Xplore.


SPECIAL ISSUES

Selected papers from BDC 2015 will be invited to extend and submit to the
Special Issue on Big Data Computing in the IEEE Transaction on Cloud
Computing.


IMPORTANT DATES

· Paper submissions due: 17 July, 2015 (extended!)
· Notification of acceptance: 21 August, 2015
· Camera ready papers due: 21 September, 2015

· Early and author registration deadline: 21 September, 2015

· Proceedings-published posters due: 28 August, 2015
· Notification of acceptance: 18 September, 2015
· Camera ready posters due: 21 September, 2015


ORGANIZATION

General Chairs
· Rajkumar Buyya, University of Melbourne, Australia
· George Papadopoulos, University of Cyprus

Program Committee Chairs (bdc15-chairs <at> datasys.cs.iit.edu)
· Amy Apon, National Science Foundation, USA
· Ioan Raicu, Illinois Institute of Technology & Argonne National Laboratory,
USA
· Manish Parashar, Rutgers University, USA

Program Committee Vice Chairs
· Ilkay Altintas, University of California, San Diego, USA
· Omer Rana, Cardiff University, UK

Program Committee Members
· Alexander Rasin, DePaul University, USA
· Alok Choudhary, Northwestern University, USA
· Abhishek Chandra, University of Minnesota, USA
· Andre Luckow, BMW IT Research Center, USA
· Daniel Katz, University of Chicago and Argonne National Lab, USA
· Dongfang Zhao, Illinois Institute of Technology, USA
· Douglas Thain, University of Notre Dame, USA
· Florian Schintke, Zuse Institute Berlin, Germany
· Giuliano Casale, Imperial College London, UK
· Jaliya Ekanayake, Microsoft, USA
· Jessica Chen-Burger, Heriot-Watt University, UK
· Judy Qiu, Indiana University, USA
· Justin Wozniak, Argonne National Lab, USA
· Ke Wang, Illinois Institute of Technology, USA
· Kesheng (John) Wu, Lawrence Berkeley National Lab, USA
· Kyle Chard, University of Chicago and Argonne National Lab, USA
· Lavanya Ramakrishnan, Lawrence Berkeley National Laboratory, USA
· Marco Netto, IBM Research, Brazil
· Matei Ripeanu, University of British Columbia, Canada
· Matei Stroila, HERE, USA
· Nagiza Samatova, North Carolina State University, USA
· Paolo Missier, Newcastle University, UK
· Paul Watson, NewCastle University, UK
· Peter Burnap, Cardiff University, UK
· Rahul Potharaju, Microsoft, USA
· Rajkumar Kettimuthu, Argonne National Lab and University of Chicago, USA
· Robert Ross, Argonne National Lab, USA
· Samer Al-Kiswany, University of British Columbia, Canada
· Scott Klasky, Oak Ridge National Lab, USA
· Wei Tang, Argonne National Lab, USA
· Weidong Shi, University of Houston, USA
· Xiaolin (Andy) Li, University of Florida, USA
· Yanlong Yin, Bloomberg, USA
· Yong Chen, Texas Tech University, USA
· Yong Zhao, University of Electronic Science and Technology, China
· Zhao Zhang, University of California, Berkeley, USA

Cyber Chair
· Dongfang Zhao, Illinois Institute of Technology, USA

Local Organizing Committee Chair
· George Angelos Papadopoulos, University of Cyprus, Cyprus


--------------------------------------------------------------------
This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at> cs.ucy.ac.cy] with the
single word 'remove' in the subject of the email.

Gmane