[Caml-list] OCaml Users and Developers Workshop: call for participation

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

OCAML 2015
The OCaml Users and Developers Workshop
http://ocaml.org/meetings/ocaml/2015/
Vancouver, British Columbia, Canada
September 4, 2015

CALL FOR PARTICIPATION

Co-located with ICFP 2015
Sponsored by SIGPLAN

Early registration deadline: Monday 3 August 2015

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

Register online: https://regmaster4.com/2015conf/ICFP15/register.php

The OCaml Users and Developers Workshop brings together industrial users of
OCaml with academics and hackers who are working on extending the language,
type system and tools.

OUD 2015 will be held in Vancouver on 4 September, immediately after
ICFP and ML 2015.


Programme
=========

8:40 - 8:45 Welcome

8:45 - 10:00 Session 1: debugging and profiling
- Towards A Debugger for Native-Code OCaml
Fabrice Le Fessant, Pierre Chambart
- Operf: Benchmarking the OCaml Compiler
Pierre Chambart, Fabrice Le Fessant, Vincent Bernardoff
- Core.Time_stamp_counter: A fast high resolution time source
Roshan James, Christopher Hardin

10:00 - 10:30 coffee

10:30 - 11:20 Session 2: Low-level concerns
- Specialization of Generic Array Accesses After Inlining
Ryohei Tokuda, Eijiro Sumii, Akinori Abe
- Inline Assembly in OCaml
Vladimir Brankov

11:20 - 11:40 break

11:40 : 12:30 Session 3: OCaml news
- The State of OCaml (invited talk)
Xavier Leroy
- The State of the OCaml Platform: September 2015
Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, Jeremy Yallop, David Sheets

12:30 - 14:00 lunch

14:00 - 14:50 Session 4: Front-end
- Modular macros
Jeremy Yallop, Leo White
- Typeful PPX and Value Implicits
Jun Furuse

14:50 - 15:10 break

15:10 - 16:00 Session 5: semantics and language features
- Global Semantic Analysis on OCaml programs
Thomas Blanc, Pierre Chambart, Michel Mauny, Fabrice Le Fessant
- Effective Concurrency through Algebraic Effects
Stephen Dolan, Leo White, Kc Sivaramakrishnan, Jeremy Yallop, Anil Madhavapeddy

16:00 - 16:30 tea

16:30 - 18:10 Session 6: Community and uses of OCaml
- A review of the growth of the OCaml community
Amir Chaudhry
- Persistent Networking with Irmin and MirageOS
Mindy Preston, Magnus Skjegstad, Thomas Gazagnaire, Richard Mortier, Anil Madhavapeddy
- Ketrew and Biokepi
Sebastien Mondet
- Four years of OCaml in production
Anders Fugmann, Jonas B. Jensen, Mads Hartmann Jensen


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

* Ashish Agarwal, Solvuu LLC, USA
* Sandrine Blazy, Universite Rennes 1, France
* Cristiano Calcagno, Facebook, USA
* Emmanuel Chailloux, Universite Paris 6, France
* Pierre Chambart, OCamlPro, France
* Damien Doligez, Jane Street, USA / Inria, France (chair)
* Martin Jambon, Esper, France
* Keigo Imai, IT Planning Inc, Japan
* Julien Verlaguet, Facebook, USA
* Markus Weissman, TU Muenchen, Germany
* Jeremy Yallop, University of Cambridge, UK


--
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] Call for participation: ML 2015

Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Thursday 3 September 2015, Vancouver, Canada (co-located with ICFP)

Call For Participation: http://www.mlworkshop.org/ml2015/

Early registration deadline: Monday 3 August 2015
Register online: https://regmaster4.com/2015conf/ICFP15/register.php

The ML Family Workshop brings together researchers, implementors and
users of languages in the extended ML family and provides a forum to
present and discuss common issues, both practical (compilation
techniques, tooling, embedded programming) and theoretical (fancy
types, module systems, type inference).

ML 2015 will be held in Vancouver on 3 September, immediately after
ICFP and close to a number of other related events, including the
OCaml Workshop on the following day.

Programme

(Talk times and abstracts are available from the workshop website:
http://www.mlworkshop.org/ml2015/).

* The History of Standard ML: Ideas, Principles, Culture
(Invited Talk)
David MacQueen

* Generating code with polymorphic let
Oleg Kiselyov

* Polymorphism, subtyping and type inference in MLsub
Stephen Dolan and Alan Mycroft

* Arduino programming of ML-style in ATS
Kiwamu Okabe and Hongwei Xi

* Resource monitoring for Poly/ML processes
David Matthews, Magnus Stenqvist and Tjark Weber

* Full dependency and user-defined effects in F*
Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Pierre-Yves Strub,
Aseem Rastogi, Antoine Delignat-Lavaud, Karthikeyan Bhargavan, and
Cédric Fournet

* Dependent types for real-time constraints
William Blair and Hongwei Xi

* Manifest contracts for OCaml
Yuki Nishida and Atsushi Igarashi

* Lost in extraction, recovered
Éric Tanter and Nicolas Tabareau

* GADTs and exhaustiveness: looking for the impossible
Jacques Garrigue and Jacques Le Normand

--
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] ICFP 2015 Call for Participation

[ Early registration ends 3 August. ]

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

Call for Participation

ICFP 2015
20th ACM SIGPLAN International Conference on Functional Programming
and affiliated events

August 30 - September 5, 2015
Vancouver, British Columbia, Canada
http://icfpconference.org/icfp2015/

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

ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

A full week dedicated to functional programming:
1 conference, 1 symposium, 11 workshops, tutorials,
programming contest results, student research competition,
and mentoring workshop

* Program:
http://icfpconference.org/icfp2015/program.html

* Accepted Papers:
http://icfpconference.org/icfp2015/accepted.html

* Affiliated Events:
http://icfpconference.org/icfp2015/affiliated.html

* Local arrangements (including travel and accommodation):
http://icfpconference.org/icfp2015/local.html

* Registration is available via:
https://regmaster4.com/2015conf/ICFP15/register.php
Early registration is due 3 August, 2015.

* Programming contest, 7-10 August, 2015:
http://icfpcontest.org/

* Follow @icfp_conference on twitter for the latest news:
http://twitter.com/icfp_conference

There are several events affiliated with ICFP:

Sunday, August 30
Haskell Implementors Workshop
Workshop on Higher-order Programming with Effects
Workshop on Generic Programming
Programming Languages Mentoring Workshop
Ally Skills Tutorial

Monday, August 31 – Wednesday, September 2
ICFP

Thursday, September 3
Workshop on Functional High-Performance Computing
Haskell Symposium – Day 1
ML Family Workshop
Commercial Users of Functional Programming – Day 1

Friday, September 4
Erlang Workshop
Haskell Symposium – Day 2
OCaml Workshop
Commercial Users of Functional Programming – Day 2
Scheme and Functional Programming Workshop

Saturday, September 5
Functional Art, Music, Modeling and Design
Commercial Users of Functional Programming – Day 3

Conference Organizers

General Chair:
Kathleen Fisher, Tufts University
Program Chair:
John Reppy, University of Chicago
Local Arrangements Chair:
Ronald Garcia, University of British Columbia
Industrial Relations Chair:
Anil Madhavapeddy, University of Cambridge
Workshop Co-Chairs:
Tom Schrijvers, KU Leuven
Nicolas Wu, University of Bristol
Programming Contest Chair:
Joe Kiniry, Galois
Student Research Competition Chair:
Andrew Kennedy, Microsoft Research
Mentoring Workshop Co-Chairs:
Ronald Garcia, University of British Columbia
Stephanie Weirich, University of Pennsylvania
Publicity Chair:
David Van Horn, University of Maryland
Video Chair:
Iavor Diatchki, Galois
Student Volunteer Co-Chairs:
Felipe Bañados Schwerter, University of British Columbia
Gabriel Scherer, INRIA
Mobile App Chair:
Reid Holmes, University of Waterloo

Industrial partners:

Platinum partners
Jane Street Capital

Gold partners
Anonymous donor
Ahrefs
Google
Mozilla Research
Oracle Labs

Silver partners
Bloomberg
Tsuru Capital
Galois
The University of Chicago

Bronze partners
Erlang Solutions
FireEye
IntelliFactory
PivotCloud
Systor Vest

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

--
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] AVoCS 2015: Joint Call for Research Idea Papers & Participation

=======================================================================
|** AVoCS 2015: Joint Call for Research Idea Papers & Participation **|
=======================================================================

The 15th International Workshop on
Automated Verification of Critical Systems
1-4 September 2015, Edinburgh, UK

https://sites.google.com/site/avocs15/
avocs2015@easychair.org

-----------------------|*** HIGHLIGHTS ***|----------------------------
+ *NEW* Registration is now open!
+ *NEW* Special research ideas session: short papers due 10th August
+ *NEW* Several student grants available: application due 10th August
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================

REGISTRATION
Registration for AVoCS is available from

https://sites.google.com/site/avocs15/registration

Early registration ends 18 August.

SPONSORS
Altran
D-RisQ Software Systems
Formal Methods Europe (FME)
The Scottish Informatics & Computer Science Alliance (SICSA)

BACKGROUND
The aim of Automated Verification of Critical Systems (AVoCS) 2015
is to contribute to the interaction and exchange of ideas among members
of the international research community on tools and techniques for the
verification of critical systems.

SCOPE
We encourage the submissions of research ideas in order to stimulate
discussions at the workshop. Reports on ongoing work or surveys on work
published elsewhere are welcome. The Programme Committee will select
research ideas on the basis of submitted abstracts according to significance
and general interest. The subject of the ideas is to be interpreted broadly
and inclusively. It covers all aspects of automated verification, including
model checking, theorem proving, SAT/SMT constraint solving, abstract
interpretation, and refinement pertaining to various types of critical
systems which need to meet stringent dependability requirements
(safety-critical, business-critical, performance-critical, etc.). Contributions
that describe different techniques, or industrial case studies are encouraged.
Topics include (but are not limited to):
- Model Checking
- Automatic and Interactive Theorem Proving
- SAT, SMT or Constraint Solving for Verification
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems
- Dependable Systems
- Verified System Development
- Industrial Applications

IMPORTANT DATES
Submission of research idea papers: 10th August 2015
Submission of student grant application: 10th August 2015
Notification (research idea): 14th August 2015
Early registration: 18th August 2015
Submissions of final versions: 21st August 2015

INVITED SPEAKERS
Colin O'Halloran (D-RisQ & the University of Oxford)
Don Sannella (Contemplate & the University of Edinburgh)

WORKSHOPS
AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/
including invited talk by J Strother Moore (Univerity of Texas at Austin)

VENUE
The event will be held in the International Centre for Mathematical Sciences
(ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world
heritage site.

SUBMISSION DETAILS
Research ideas must be written in English and not exceed 2 pages using the
dedicated AVoCS 2015 EASST template available from the the following link
(for LaTeX and Word):

http://journal.ub.tu-berlin.de/public/template/

The presentation of these ideas will be organised around discussions, where the
presenter should also prepare a set of question in which the audience will discuss.
Submissions are handled via Easychair:

https://easychair.org/conferences/?conf=avocs2015

The research ideas will be included in the pre-proceedings, which will be available
in the form of a Heriot-Watt University Technical Report and will be available at the
workhsop.

STUDENT GRANTS
Thanks to sponsorships from Altran, FME and SICSA we can offer financial
support for a limited number of students registering for AVoCS in the form
of a registration fee waiver (full or partial). As this is limited, we
ask the students that would like to take the advantage of this support
to submit a short application. The details on how to apply is available
from AVoCS webpage.

SPECIAL SCP JOURNAL ISSUE
Authors of a selection of the best papers presented at the workshop will be
invited to submit extended versions of their work for publication in a
special issue of Elsevier's journal Science of Computer Programming.

PROGRAM COMMITTEE
Ernie Cohen, University of Pennsylvania, USA
Ewen Denney, NASA Ames, USA
Jean-Christophe Filliatre, CNRS, France
Michael Goldsmith, University of Oxford, UK
Gudmund Grov, Heriot-Watt University, UK (co-chair)
Keijo Heljanko, Aalto University, Finland
Mike Hinchey, University of Limerick, Ireland
Marieke Huisman, University of Twente, Netherlands
Andrew Ireland, Heriot-Watt University, UK (co-chair)
Gerwin Klein, NICTA/UNSW, Australia
Thierry Lecomte, ClearSy, France
Yuhui Lin, Heriot-Watt University, UK
Peter Gorm Larsen, Aarhus University, Denmark
Panagiotis (Pete) Manolios, Northeastern University, USA
Stephan Merz, INRIA Nancy & LORIA, France
Jaco van de Pol, University of Twente, Netherlands
Markus Roggenbach, Swansea University, UK
Marco Roveri, FBK, Italy
Thomas Santen, Microsoft Research, Germany
Bernard Steffen, Technical University Dortmund, Germany
Jan Strejček, Masaryk University, Czech Republic
Jun Sun, Singapore University of Technology and Design, Singapore
Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France
Helen Treharne, University of Surrey, UK
Laurent Voisin, Systerel, France
Angela Wallenburg, Altran, UK
John Wickerson, Imperial College London, UK
Peter Ölveczky, University of Oslo, Norway

ORGANISERS
Gudmund Grov, Heriot-Watt University, UK
Andrew Ireland, Heriot-Watt University, UK
Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair)

STEERING COMMITTEE
Michael Goldsmith, University of Oxford, UK
Stephan Merz, INRIA Nancy & LORIA, France
Markus Roggenbach, Swansea University, UK

-----
We invite research leaders and ambitious early career researchers to
join us in leading and driving research in key inter-disciplinary themes.
Please see www.hw.ac.uk/researchleaders for further information and how
to apply.

Heriot-Watt University is a Scottish charity
registered under charity number SC000278.

--
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] IEEE/ACM UCC 2015: Combined Call for Workshops Papers

*** Combined Call for Workshops Papers *** 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/ucc2015 This call informs about dedicated workshops which will be co-located with UCC 2015, a premier conference for discussing cloud systems, virtualisation and containers, utility computing, big data and cloud application management platforms. Twelve workshops are open for submissions of scientific papers. · 5th International Workshop on Network Infrastructure Services as part of Cloud Computing (NetCloud 2015) - http://www.cyclone-project.eu/netcloud2015 · 4th International Workshop on Clouds and (eScience) Applications Management (CloudAM 2015) - http://cloudam2015.lncc.br/ · 3rd International Workshop on Big Data and Social Networking Management and Security (BDSN 2015) - http://www.staffs.ac.uk/personal/engineering_and_technology/eb26/BDSN-2015/ · 2nd IEEE International Workshop on Cloud Federation Management: From the Network to the Applications (CFM 2015) - http://www.cloudfederationmanagement.org/ · 2nd International Workshop on Trust in Cloud Computing (IWTCC 2015) - http://computing.derby.ac.uk/IWTCC2015/ · 2nd International Workshop on Smart City Clouds: Technologies, Systems and Applications (SSCTSA 2015) - http://www1.uwe.ac.uk/et/research/cccs/events/scctsa2015.aspx · 2nd International Workshop on Education in the Cloud (EC 2015) - http://commerce3.derby.ac.uk/ec2015/ · 1st International Workshop on Cloud and Service Management and Simulation (CSMS 2015) - http://users.metu.edu.tr/elgedawy/CSMS.htm · 1st International Workshop on Cloud Security and Data Privacy by Design (CloudSPD 2015) - https://sites.google.com/site/cloudspd15/home · 1st International Workshop on Sustainable Data Centres and Cloud Computing (SD3C 2015) - http://www.zurich.ibm.com/sd3c/ · 1st International Workshop on Privacy In Cyber-physical Cloud Computing (PCPCC 2015) - http://computing.derby.ac.uk/pcpcc/ · 1st International Workshop on Information Security, Assurance and Reliability in the Cloud (WISARC 2015) - http://www.di.ubi.pt/~inacio/wisarc/ Please refer to the respective websites to find detailed call for papers, including deadlines, formatting instructions and any up-to-date information. COMMITTEES General Chairs • Ashiq Anjum, University of Derby, UK • George Papadopoulos, University of Cyprus Program Committee Chairs • Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu) • Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk) Standards/Plug-fest Chair • Alan Sill, Texas Tech, USA & Open Grid Forum Workshops Chairs • Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu) • Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de) Tutorials Chairs • Ewa Deelman, USC, USA (deelman AT isi.edu) • Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es) Posters Chair • Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair • Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair • Ian Taylor, Cardiff University, UK Industry Chair • Achilleas Achilleos, University of Cyprus, Cyprus Proceedings Chairs • Nick Antonopoulos, University of Derby, UK • George Palis, University of Cyprus, Cyprus Publicity Chair • Georgia Kapitsaki, University of Cyprus, Cyprus Program Committee http://cyprusconferences.org/ucc2015/?page_id=281

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

[Caml-list] 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

[Caml-list] 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@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@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email.

[Caml-list] IEEE/ACM UCC 2015: Fifth Call for Papers (Extension Deadline!)

*** Fifth Call for Papers *** 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/ucc2015 *** EXTENDED DEADLINE: 17 July, 2015 *** CONTEXT AND SCOPE Cloud Computing delivers computational resources on-demand as services that are commoditized and delivered analogous to traditional utilities such as electricity, gas, water and telephony. Cloud service offerings for compute, storage and communication resources as well as for hosted software and data are growing at a tremendous rate, and it is essential to understand how to effectively transform these services into Utilities that provide value to both users and providers. There is also increasing interest from commercial providers to offer business and revenue models around the services they offer. Understanding how these models could be used to provide utility for users, intermediary brokers (aggregators) and providers is also an area of active research. UCC is the premier IEEE/ACM conference covering all areas related to Cloud Computing as a Utility and provides an international forum for leading researchers and practitioners in this important and growing field. UCC 2015, to be held in Cyprus, will happen as Cloud providers worldwide add new services and increase Cloud utility at an accelerated pace, and Cloud service users explore new usage modes. This will be the 8th UCC in a successful conference series. Previous events were held in Shanghai, China (Cloud 2009), Melbourne, Australia (Cloud 2010 & UCC 2011), Chennai, India (UCC 2010), Chicago, USA (UCC 2012), Dresden, Germany (UCC2013), and London, UK (UCC 2014). CALL FOR PAPERS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Cloud and Utility computing including design and analysis of distributed and centralized Cloud systems, data centre design and engineering, economic and market models for cloud systems, revenue and business models and their applications in scientific, engineering, and commercial deployment. Topics of interest include but are not limited to: • Big Data and Analytics • Principles and theoretical foundations of Utility Computing, including pricing and service models • Policy languages and Programming models • Utility driven model and mechanisms for Cloud federations • Autonomic techniques for Clouds and Cloud applications • Utility-driven platforms for Clouds • Architectural models to achieve Utility in Clouds • Designs and deployment models for Clouds: private, public, hybrid, federated, aggregated • Cloud Computing middleware, stacks, tools, delivery networks and services at all layers (XaaS) • Virtualization technologies and other enablers • Economic models and scenarios of use • Scalability and resource management: brokering, scheduling, capacity planning, parallelism and elasticity, as well as marketplaces • Cloud management: autonomic, adaptive, self-*, SLAs, performance models and monitoring • Applications: games, social networks, scientific computing (e-science) and business • Mobile and energy-efficient use of Clouds • Beyond technology: Cloud business and legal implications, such as security, privacy, trust and jurisdiction, especially in Utility contexts One or more best paper awards will be given for outstanding contributed papers. Further details as well as submission guidelines are available at the conference website and below. MANUSCRIPT GUIDELINES Submitted manuscripts should be structured as technical papers and may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5x11 inch pages (IEEE conference style), including figures, tables, and references. Electronic submissions must be in the form of a readable PDF file. Manuscripts must be received by July 17, 2015 (extended!). All manuscripts will be reviewed by the Program Committee and evaluated on originality, relevance of the problem to the conference theme, technical strength, rigor in analysis, quality of results, and organization and clarity of presentation of the paper. Please use the following Easy Chair link to update your submission: https://easychair.org/conferences/?conf=ucc2015 . 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 Program Chairs at the email addressed below for further information or clarification. Notification of review decisions will be mailed by August 21, 2015. Camera -ready papers are due by September 21, 2015. Published proceedings will be available at the conference. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. There is NO student rate for the author who is responsible for registration for his/her published paper. If you have more than one accepted paper, you have to register for each one individually. There is no discount if you have two or more papers accepted. 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 the conference will be invited to submit an extended version to the IEEE Transactions on Cloud Computing. Papers will be selected based on their reviewers' scores and appropriateness to the journal's theme. All extended versions will undergo reviews and must represent original unpublished research work. Further details will be made available at the conference webpage. 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 COMMITTEES General Chairs • Ashiq Anjum, University of Derby, UK • George Papadopoulos, University of Cyprus Program Committee Chairs • Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu) • Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk) Standards/Plug-fest Chair • Alan Sill, Texas Tech, USA & Open Grid Forum Workshops Chairs • Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu) • Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de) Tutorials Chairs • Ewa Deelman, USC, USA (deelman AT isi.edu) • Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es) Posters Chair • Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair • Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair • Ian Taylor, Cardiff University, UK Industry Chair • Achilleas Achilleos, University of Cyprus, Cyprus Proceedings Chairs • Nick Antonopoulos, University of Derby, UK • George Palis, University of Cyprus, Cyprus Publicity Chair • Georgia Kapitsaki, University of Cyprus, Cyprus Program Committee http://cyprusconferences.org/ucc2015/?page_id=281

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