[Caml-list] PPDP2015 First Call for papers -- 17th International Symposium on Principles and Practice of Declarative Programming

Call for papers
17th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2015

Siena, Italy, July 14-16, 2015
(co-located with LOPSTR 2015)

http://costa.ls.fi.upm.es/ppdp15

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

SUBMISSION DEADLINE: 20 MARCH, 2015

PPDP 2015 is a forum that brings together researchers from the
declarative programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to

* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application

This year the conference will be co-located with the 25th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2015).

The conference will be held in Siena, Italy. Previous symposia were
held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense
(Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain),
Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy),
Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal
(Canada), and Paris (France). You might have a look at the contents of
past PPDP symposia.

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).

Important Dates

Abstract Submission: 14 March, 2015
Paper submission: 20 March, 2015
Notification: 14 May, 2015
Camera-ready: To be announced

Symposium: 14-16 July, 2015

Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2015. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.

Program Committee

Michael Adams, University of Utah, USA
Puri Arenas, Complutense University of Madrid, Spain
Amir Ben-Amram, Tel-Aviv Academic College, Israel
Ines Castro, Universidade do Porto, Portugal
Patrick Cousot, New York University, USA
Gregory Duck, National University of Singapore, Singapore
Fabio Fioravanti, University of Chieti-Pescara, Italy
Thom Fruhwirth, University of Ulm, Germany
Roberto Giacobazzi, University of Verona, Italy
Michael Hanus, CAU Kiel, Germany
Andy King, University of Kent, UK
F. Lopez-Fraguas, Complutense University of Madrid, Spain
Ian Mackie, University of Sussex, UK
Dale Miller, INRIA and LIX/Ecole Polytechnique, France
Torsten Schaub, University of Potsdam, Germany
Tom Schrijvers KU Leuven, Belgium
Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France
German Vidal, Universitat Politecnica de Valencia, Spain
Marina Vos, University of Bath, UK
Nobuko Yoshida, Imperial College London, UK

Program Chair

Elvira Albert
Complutense University of Madrid
C/ Profesor Garcia Santesmases
E-28040 Madrid, Spain
Email: elvira@sip.ucm.es

Symposium Chair

Moreno Falaschi
Department of information engineering and mathematics
University of Siena, Italy
Email: moreno.falaschi@unisi.it

--
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] ISCC 2015: Second Call for Papers

*** Second Call for Papers *** The 20th IEEE Symposium on Computers and Communications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 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. You are invited to submit a full paper or a proposal for a panel/invited session or a tutorial, related to the following topics of interest. Topics of interest include, but are not limited to, the following: * ACCESS NETWORKS * DIGITAL MEDIA TECHNOLOGIES * BIOINFORMATICS AND MEDICAL INFORMATICS * MODELING AND SIMULATION * BIG DATA, DATA MINING AND DATABASE * APPLICATIONS * DIGITAL SATELLITE COMMUNICATIONS SERVICE * NETWORK DESIGN, OPTIMIZATION, AND MANAGEMENT * NEXT GENERATION NETWORKS INFRASTRUCTURES AND MANAGEMENT * DISTRIBUTED SYSTEMS ARCHITECTURE AND MANAGEMENT * NETWORK RELIABILITY, QUALITY OF SER-VICE AND QUALITY OF EXPERIENCE * ECONOMIC AND REGULATORY ISSUES * OPTICAL NETWORKING * E-COMMERCE AND E-SERVICES * FAULT-TOLERANCE AND ERROR RECOVERY * PEER-TO-PEER COMPUTING * REAL TIME COMMUNICATION SERVICES * GRID, CLUSTER AND CLOUD COMPUTING * ROUTING AND MULTICAST * HUMAN LANGUAGE TECHNOLOGIES * IMAGE PROCESSING AND VISUALIZATION * SECURITY, CRYPTOGRAPHY AND PRIVACY * SOFTWARE ENGINEERING * INTERNET SERVICES AND APPLICATIONS * STANDARDS EVOLUTION * ADVANCES IN INTERNET PROTOCOLS * MANAGEMENT OF TELECOMMUNICATIONS AND NETWORKS * COGNITIVE RADIO NETWORKING * SENSOR NETWORKS AND MOBILE SENSING * DISTRIBUTED AND MOBILE MIDDLEWARE * OVERLAY AND PROGRAMMABLE NETWORKS * WEB SERVICES AND SERVICE ORIENTED ARCHITECTURES * WIRELESS, CELLULAR AND MOBILE COMMUNICATIONS * GREEN NETWORKING AND SMART GRID * CLOUD COMPUTING * INTERNET OF THE FUTURE * BIO-INSPIRED COMPUTING IN COMMUNICATIONS * COMMUNICATIONS SERVICES AND MANAGEMENT * INTERNET OF THINGS AND SMART CITIES * ARTIFICIAL INTELLIGENT SYSTEMS * SOCIAL NETWORKS AND CROWDSOURCING * SERVICES AND SUPPORT FOR SMART CITIES * WIRELESS BODY AREA NETWORKS AND WIRELESS HEALTH Review manuscripts should describe original work and should be no more than 8 pages in the IEEE double column proceedings format including tables, figures and references. Note that accepted papers up to 6 pages will be published with no additional charge. Exceeding pages will be charged an additional fee. Extended versions of selected best papers will be recommended for publication in a Special Issue of a prestigious International Journal. Papers must be submitted electronically, in PDF format, on-line via the EDAS system: http://edas.info/N18819 Paper Submission Deadline: January 26th, 2015 Notification of Paper Acceptance: March 27th, 2015 Submission of Camera-Ready Paper: April 17th, 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@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email.

[Caml-list] ISPDC 2015: First Call for Papers

*** First Call for Papers *** The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) 29 June - 2 July, 2015, St. Raphael Resort 5*, Limassol, Cyprus http://www.cyprusconferences.org/ispdc2015/ Following very successful previous editions since 2002, the 14th ISPDC conference will be hosted in Limassol, a beautiful coastal Mediterranean city on the south coast of Cyprus. The conference will be devoted to a highly selective program with papers describing original and unpublished research advancing the state of the art in the field of Parallel and Distributed Computing paradigms and applications. The goal is to provide an interactive and friendly, yet professional forum, for original research contributions describing novel ideas, groundbreaking results and/or experiences. We kindly invite you to submit original contributions to ISPDC 2015 on topics including, but not limited to: System Architectures for Parallel and Distributed Computing - Multi-Cores, Virtualization - Clusters and Grid Computing - Methods and Tools for Parallel and Distributed Programming - Embedded, Mobile and Networking Environments - System Architecture and System Software for In-Memory Computing - Innovative System Architecture for Big Data Processing - System Architecture for Graph Computing/Processing - Interconnect Architecture for HPC and Data Centers High Performance Computing and Large Scale Applications - Tools and Environments for Parallel Program Design/Analysis - Scalable Algorithms and Applications - Urban Networks and Applications, Vehicular Networks - Parallel, Distributed and Mobile big-Data Management Parallel Computing and Algorithms - Parallel Programming Paradigms and APIs - GPU Programming - Bio-inspired Parallel Algorithms - Big Data and Graph Analytics - Algorithms, Models and Formal Verification Cloud Computing - Cloud Resource Provisioning and Allocation - Pricing of Cloud Resources - Cloud Performance, and Capacity Management - Green Cloud Computing - Mobile Clouds - Security and Privacy in Clouds - Cloud Computing Techniques for Big Data - Storage Architectures for Clouds and Big Data Processing Distributed and Embedded Computing - Collaborative Computing, P2P Computing - Mobile and Ubiquitous Computing - Web Services and Internet Computing - Distributed Software Components, Multi-agent Systems - Parallel Embedded Systems Programming - Highly Embedded Parallel Systems Support for Programming - FPGA and SoC Solutions Performance Modeling, Management and Optimization - Scheduling and Load Balancing - Performance Modeling, Analysis and Evaluation - Optimisation, Security and Dependability Interactivity - Real-time Distributed and Parallel Systems - Visualisation of Massively Parallel Data - IoT, Social Networks You are invited to submit original papers of up to 10 pages, written in English and compliant with the IEEE standard (8.5"x11", two-column). The IEEE Computer Society Press will publish the proceedings. A best paper award will be presented to paper(s) receiving the highest quality rating from the reviewers and the PC. Key Dates Submission of full papers: 15 January, 2015 Notification of authors: 15 March, 2015 Camera ready papers: 30 March, 2015 Authors and early registration deadline: 6 May, 2015 Symposium dates: 29 June - 2 July, 2015 General Chair George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Co-Chairs Daniel Grosu, Wayne State University, USA Hai Jin, Huazhong University of Science and Technology, China Steering Committee Ioana Banicescu, Mississippi State University, USA Hans-Joachim Bungartz, Technische Universität München, Germany Valentin Cristea, University Politehnica of Bucharest, Romania Bertil Folliot, University of Paris, France Dan Grigoras, University College Cork, Ireland John Morrison, University College Cork, Ireland Traian Muntean, Aix Marseille University, France Dana Petcu, Western Univ. of Timisoara and e-Austria, Timisoara, Romania Marek Tudruj, Polish Acad. of Sciences and PJIIT, Warsaw, Poland Program Committee TBD

-------------------------------------------------------------------- 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] Call for Participation: BOB 2015 (January 23, Berlin)

Check out the BOB program - many talks and tutorials on functional
programming and a keynote by Anil Madhavapeddy!

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

BOB 2015
Conference

"What happens if we simply use what's best?"
January 23.2015
Berlin
http://bobkonf.de/2015/
Program:
http://bobkonf.de/2015/programm.html
Registration:
http://bobkonf.de/2015/registration.html

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

BOB is the conference for developers, architects and decision-makers
to explore technologies beyond the mainstream in software development,
and to find the best tools available to software developers today.
Our goal is for all participants of BOB to return home with new
insights that enable them to improve their own software development
experiences.

The program features 14 talks and 8 tutorials on current topics:

http://bobkonf.de/2015/programm.html

The subject range of talks includes functional programming,
microservices, package management, and data management.

The tutorials feature introductions to Erlang, Haskell, Swift, and
ClojureScript, and their applications.

Anil Madhavapeddy will hold the keynote talk - about unikernels and
functional programming.

Registration is open online:

http://bobkonf.de/2015/registration.html

NOTE: The early-bird rates expire on Dec. 19, 2014!

BOB cooperates with the :clojured conference on the following day.
There is a registration discount available for participants of both events.

http://www.clojured.de/



--
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] CONTEXT 2015: Preliminary Call for Papers and Call for Workshop Proposals

*** Preliminary Call for Papers and Call for Workshop Proposals *** The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) 2–6 November 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://cyprusconferences.org/context2015 The CONTEXT conferences are the world’s prime forum for presentation and exchange of insights and cutting-edge results from the wide range of disciplines concerned with context. The main theme of CONTEXT 2015 is “Back to the roots”, focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. CONTEXT 2015 invites high-quality contributions from researchers and practitioners in foundational studies, applications and evaluations of modeling and use of context in all relevant fields. Areas of interest include, but are not limited to, the role of context seen from different perspectives in: • Agent-based architectures • Ambient intelligence • Cognition and perception by humans and artifacts • Context-aware and situated systems • Context modeling tools • Communication and dialogue • Data analysis and visualization • Decision making • Discourse comprehension and representation • Engineering, e.g., in transport networks, industrial plants etc. • Experimental philosophy and experimental pragmatics • (Formal) models of context • Human-computer interaction • Knowledge representation • Language acquisition and processing • Learning, knowledge management and sharing • Logic and reasoning • Machine learning • Ontology/ies • Semantics and Pragmatics • Smart and interactive spaces • Understanding art, images, music and theatre Proceedings Accepted papers and poster abstracts will be published in a volume of the Springer LNAI series. Submission format Submissions may be either full papers of up to 14 pages (in Springer LNCS format) or poster abstracts of 4–6 pages. Full papers may be accepted as such with oral presentation, or their authors may be invited to prepare a poster abstract. Detailed formatting and submissions instructions will be provided. Conference events CONTEXT 2015 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. All accepted authors will have the option of presenting a system demonstration at the poster session. Important dates Full papers and posters: • Submission deadline: June 1, 2015  • Notification: July 13, 2015 • Final version: August 17, 2015 Workshops CONTEXT 2015 workshops will provide a platform for presenting novel and emerging ideas in the use and the modelling of context in a less formal and possibly more focused way than the conference itself. The format of each workshop is to be determined by the organisers, but it is expected that workshops will contain ample time for general discussion and engagement by all participants - not just those presenting papers. Workshops that foster collaboration, discussion, group problem-solving and community-building initiatives are particularly encouraged. Researchers and practitioners from all relevant fields are invited to submit proposals for review. Proposals for workshops should contain: 1. A title and brief (2-page max) description of the workshop topic and content. 2. The desired workshop length (one day, two days or a half day) and an estimate of the number of attendees. 3. The names, postal addresses, phone numbers, and email addresses of the organisers, with one-paragraph statements of their research interests and areas of expertise. 4. A list of potential members of the program committee, with an indication of which members have already signed up. 5. A description of any shared tasks associated with the workshop. 6. A description of special requirements for technical needs. 7. An indication of whether posters are likely to be included in the workshop program. Please submit proposals in plain text in the body of an email to the workshop organiser Samia Oussena (samia.oussena@uwl.ac.uk) no later than March 20, 2015. Notification of acceptance of workshop proposals will occur no later than April 1, 2015. Organisers of accepted workshops will be responsible for publicising and running the workshop, including reviewing submissions and producing the camera-ready workshop proceedings and a possibly printed version; the conference website may link to online workshop proceedings. It is crucial that organisers commit to all deadlines. Workshop organisers cannot accept for publication papers that will be (or have been) published elsewhere, although they are free to set their own policies on simultaneous submission and review. At least one organiser of an accepted workshop is expected attend and lead the workshop; any participant and speaker must register for the conference. The CONTEXT 2015 organisers will set the workshop fees, provide rooms, equipment, technical support, coffee and lunch breaks. Workshop timeline • Submission of proposals: March 20, 2015 • Notification: April 1, 2015 • Submission deadline, workshop papers: August 1, 2015 • Notification for workshop papers: September 1, 2015 • Final version of workshop papers: October 1, 2015 Doctoral Consortium TBA Program Chairs Henning Christiansen, Roskilde University, Denmark Isidora Stojanovic, UPF, Spain & CNRS, France Workshop Chair Samia Oussena, University of West London, UK Local Arrangements Chair George Angelos Papadopoulos, University of Cyprus, Cyprus General Chair Henning Christiansen, Roskilde University, Denmark Chairs of the Community of Context Patrick Blackburn, Roskilde University, Denmark Patrick Brezillon, Université Pierre et Marie Curie, France Henning Christiansen, Roskilde University, Denmark Richard Dapoigny, Université de Savoie, France Thomas R. Roth-Berghofer, University of West London, UK Hedda R. Schmidtke, Carnegie Mellon University, USA Look for updates and more details at: - http://cyprusconferences.org/context2015 - https://www.facebook.com/context.conference

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

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

20th ACM SIGPLAN International Conference on Functional Programming

ICFP 2015

Vancouver, Canada, August 31 - September 2, 2015

http://www.icfpconference.org/icfp2015

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

Important Dates
~~~~~~~~~~~~~~~

Submissions due: Friday, February 27 2015, 23:59 UTC-11
Author response: Tuesday, April 21, 2015
through Thursday, 23 April, 2015
Notification: Friday, May 1, 2015
Final copy due: Friday, June 12, 2015

Scope
~~~~~

ICFP 2015 seeks original papers on the art and science of functional
programming. Submissions are invited on all topics from principles to
practice, from foundations to features, and from abstraction to
application. The scope includes all languages that encourage
functional programming, including both purely applicative and
imperative languages, as well as languages with objects, concurrency,
or parallelism. Topics of interest include (but are not limited to):

* Language Design: concurrency, parallelism, and distribution; modules;
components and composition; metaprogramming; type systems;
interoperability; domain-specific languages; and relations to
imperative, object-oriented, or logic programming.

* Implementation: abstract machines; virtual machines; interpretation;
compilation; compile-time and run-time optimization; garbage
collection and memory management; multi-threading; exploiting
parallel hardware; interfaces to foreign functions, services,
components, or low-level machine resources.

* Software-Development Techniques: algorithms and data structures;
design patterns; specification; verification; validation; proof
assistants; debugging; testing; tracing; profiling.

* Foundations: formal semantics; lambda calculus; rewriting; type
theory; monads; continuations; control; state; effects; program
verification; dependent types.

* Analysis and Transformation: control-flow; data-flow; abstract
interpretation; partial evaluation; program calculation.

* Applications: symbolic computing; formal-methods tools; artificial
intelligence; systems programming; distributed-systems and web
programming; hardware design; databases; XML processing;
scientific and numerical computing; graphical user interfaces;
multimedia and 3D graphics programming; scripting; system
administration; security.

* Education: teaching introductory programming; parallel programming;
mathematical proof; algebra.

* Functional Pearls: elegant, instructive, and fun essays on
functional programming.

* Experience Reports: short papers that provide evidence that
functional programming really works or describe obstacles that have
kept it from working.

If you are concerned about the appropriateness of some topic, do not
hesitate to contact the program chair.

Abbreviated instructions for authors
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

* By Friday, 27 February 2015, 23:59 UTC-11 (anywhere in the world),
submit a full paper of at most 12 pages (6 pages for an Experience
Report) in standard ACM conference format, including bibliography,
figures, and appendices.

The deadlines will be strictly enforced and papers exceeding the page
limits will be summarily rejected.

* Authors have the option to attach supplementary material to a submission,
on the understanding that reviewers may choose not to look at it.

* Each submission must adhere to SIGPLAN's republication policy, as
explained on the web at

http://www.sigplan.org/Resources/Policies/Republication

* Authors of resubmitted (but previously rejected) papers have the
option to attach an annotated copy of the reviews of their previous
submission(s), explaining how they have addressed these previous
reviews in the present submission. If a reviewer identifies
him/herself as a reviewer of this previous submission and wishes to
see how his/her comments have been addressed, the program chair will
communicate to this reviewer the annotated copy of his/her previous
review. Otherwise, no reviewer will read the annotated copies of
the previous reviews.

Overall, a submission will be evaluated according to its relevance,
correctness, significance, originality, and clarity. It should
explain its contributions in both general and technical terms, clearly
identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience. Functional Pearls
and Experience Reports are separate categories of papers that need not
report original research results and must be marked as such at the
time of submission. Detailed guidelines on both categories are on the
conference web site.

Proceedings will be published by ACM Press. Authors of accepted
submissions will have a choice of one of three ways to manage their
publication rights. These choices are described at

http://authors.acm.org/main.html

Presentations will be videotaped and released online if the presenter
consents. The proceedings will be freely available for download from
the ACM Digital Library from one week before the start of the
conference until two weeks after the conference.

Formatting: Submissions must be in PDF format printable in black and
white on US Letter sized paper and interpretable by
Ghostscript. Papers must adhere to the standard ACM conference format:
two columns, nine-point font on a ten-point baseline, with columns
20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc
(0.33in). A suitable document template for LaTeX is available at

http://www.acm.org/sigs/sigplan/authorInformation.htm

Submission: Submissions will be accepted on the web using a link
that will be posted at

http://icfpconference.org/icfp2015/

Improved versions of a paper may be submitted at any point before
the submission deadline using the same web interface.

Author response: Authors will have a 72-hour period, starting at 0:00
UTC on Tuesday, 21 April 2015, to read reviews and respond to them.

ACM Author-Izer is a unique service that enables ACM authors to
generate and post links on either their home page or institutional
repository for visitors to download the definitive version of their
articles from the ACM Digital Library at no charge. Downloads through
Author-Izer links are captured in official ACM statistics, improving
the accuracy of usage and impact measurements. Consistently linking
the definitive version of ACM article should reduce user confusion
over article versioning. After your article has been published and
assigned to your ACM Author Profile page, please visit

http://www.acm.org/publications/acm-author-izer-service

to learn how to create your links for free downloads from the ACM DL.

Publication date: The official publication date of accepted papers
is the date the proceedings are made available in the ACM Digital
Library. This date may be up to two weeks prior to the first day
of the conference. The official publication date affects the deadline
for any patent filings related to published work.

General Chair:
Kathleen Fisher Tufts University (USA)

Program Chair:
John Reppy University of Chicago (USA)

Program Committee:
Amal Ahmed Northeastern University (USA)
Jean-Philippe Bernardy Chalmers University of Technology (Sweden)
Matthias Blume Google (USA)
William Byrd University of Utah (USA)
Andy Gill University of Kansas (USA)
Neal Glew Google (USA)
Fritz Henglein University of Copenhagen (Denmark)
Gabriele Keller University of New South Wales and
NICTA (Australia)
Andrew Kennedy Microsoft Research Cambridge (UK)
Neelakantan Krishnaswami Birmingham University (UK)
Daan Leijen Microsoft Research Redmond (USA)
Keiko Nakata Institute of Cybernetics at Tallinn
University of Technology (Estonia)
Mike Rainey INRIA Rocquencourt (France)
Andreas Rossberg Google (Germany)
Manuel Serrano INRIA Sophia Antipolis (France)
Simon Thompson University of Kent (UK)
David Van Horn University of Maryland (USA)
Stephanie Weirich University of Pennsylvania (USA)

--
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] ISCC 2015: First Call for Papers

*** First Call for Papers *** The 20th IEEE Symposium on Computers and Comuunications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 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. You are invited to submit a full paper or a proposal for a panel/invited session or a tutorial, related to the following topics of interest. Topics of interest include, but are not limited to, the following: * ACCESS NETWORKS * DIGITAL MEDIA TECHNOLOGIES * BIOINFORMATICS AND MEDICAL INFORMATICS * MODELING AND SIMULATION * BIG DATA, DATA MINING AND DATABASE * APPLICATIONS * DIGITAL SATELLITE COMMUNICATIONS SERVICE * NETWORK DESIGN, OPTIMIZATION, AND MANAGEMENT * NEXT GENERATION NETWORKS INFRASTRUCTURES AND MANAGEMENT * DISTRIBUTED SYSTEMS ARCHITECTURE AND MANAGEMENT * NETWORK RELIABILITY, QUALITY OF SER-VICE AND QUALITY OF EXPERIENCE * ECONOMIC AND REGULATORY ISSUES * OPTICAL NETWORKING * E-COMMERCE AND E-SERVICES * FAULT-TOLERANCE AND ERROR RECOVERY * PEER-TO-PEER COMPUTING * REAL TIME COMMUNICATION SERVICES * GRID, CLUSTER AND CLOUD COMPUTING * ROUTING AND MULTICAST * HUMAN LANGUAGE TECHNOLOGIES * IMAGE PROCESSING AND VISUALIZATION * SECURITY, CRYPTOGRAPHY AND PRIVACY * SOFTWARE ENGINEERING * INTERNET SERVICES AND APPLICATIONS * STANDARDS EVOLUTION * ADVANCES IN INTERNET PROTOCOLS * MANAGEMENT OF TELECOMMUNICATIONS AND NETWORKS * COGNITIVE RADIO NETWORKING * SENSOR NETWORKS AND MOBILE SENSING * DISTRIBUTED AND MOBILE MIDDLEWARE * OVERLAY AND PROGRAMMABLE NETWORKS * WEB SERVICES AND SERVICE ORIENTED ARCHITECTURES * WIRELESS, CELLULAR AND MOBILE COMMUNICATIONS * GREEN NETWORKING AND SMART GRID * CLOUD COMPUTING * INTERNET OF THE FUTURE * BIO-INSPIRED COMPUTING IN COMMUNICATIONS * COMMUNICATIONS SERVICES AND MANAGEMENT * INTERNET OF THINGS AND SMART CITIES * ARTIFICIAL INTELLIGENT SYSTEMS * SOCIAL NETWORKS AND CROWDSOURCING * SERVICES AND SUPPORT FOR SMART CITIES * WIRELESS BODY AREA NETWORKS AND WIRELESS HEALTH Review manuscripts should describe original work and should be no more than 8 pages in the IEEE double column proceedings format including tables, figures and references. Note that accepted papers up to 6 pages will be published with no additional charge. Exceeding pages will be charged an additional fee. Extended versions of selected best papers will be recommended for publication in a Special Issue of a prestigious International Journal. Papers must be submitted electronically, in PDF format, on-line via the EDAS system: http://edas.info/N18819 Paper Submission Deadline: January 26th, 2015 Notification of Paper Acceptance: March 27th, 2015 Submission of Camera-Ready Paper: April 17th, 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@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email.

[Caml-list] ISPDC 2015: Preliminary Call for Papers

*** Preliminary Call for Papers *** The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) 29 June - 2 July, 2015, St. Raphael Resort 5*, Limassol, Cyprus http://www.cyprusconferences.org/ispdc2015/ Following very successful previous editions since 2002, the 14th ISPDC conference will be hosted in Limassol, a beautiful coastal Mediterranean city on the south coast of Cyprus. The conference will be devoted to a highly selective program with papers describing original and unpublished research advancing the state of the art in the field of Parallel and Distributed Computing paradigms and applications. The goal is to provide an interactive and friendly, yet professional forum, for original research contributions describing novel ideas, groundbreaking results and/or experiences. We kindly invite you to submit original contributions to ISPDC 2015 on topics including, but not limited to: System Architectures for Parallel and Distributed Computing - Multi-Cores, Virtualization - Clusters and Grid Computing - Methods and Tools for Parallel and Distributed Programming - Embedded, Mobile and Networking Environments - System Architecture and System Software for In-Memory Computing - Innovative System Architecture for Big Data Processing - System Architecture for Graph Computing/Processing - Interconnect Architecture for HPC and Data Centers High Performance Computing and Large Scale Applications - Tools and Environments for Parallel Program Design/Analysis - Scalable Algorithms and Applications - Urban Networks and Applications, Vehicular Networks - Parallel, Distributed and Mobile big-Data Management Parallel Computing and Algorithms - Parallel Programming Paradigms and APIs - GPU Programming - Bio-inspired Parallel Algorithms - Big Data and Graph Analytics - Algorithms, Models and Formal Verification Cloud Computing - Cloud Resource Provisioning and Allocation - Pricing of Cloud Resources - Cloud Performance, and Capacity Management - Green Cloud Computing - Mobile Clouds - Security and Privacy in Clouds - Cloud Computing Techniques for Big Data - Storage Architectures for Clouds and Big Data Processing Distributed and Embedded Computing - Collaborative Computing, P2P Computing - Mobile and Ubiquitous Computing - Web Services and Internet Computing - Distributed Software Components, Multi-agent Systems - Parallel Embedded Systems Programming - Highly Embedded Parallel Systems Support for Programming - FPGA and SoC Solutions Performance Modeling, Management and Optimization - Scheduling and Load Balancing - Performance Modeling, Analysis and Evaluation - Optimisation, Security and Dependability Interactivity - Real-time Distributed and Parallel Systems - Visualisation of Massively Parallel Data - IoT, Social Networks You are invited to submit original papers of up to 10 pages, written in English and compliant with the IEEE standard (8.5"x11", two-column). The IEEE Computer Society Press will publish the proceedings. A best paper award will be presented to paper(s) receiving the highest quality rating from the reviewers and the PC. Key Dates Submission of full papers: 15 January, 2015 Notification of authors: 15 March, 2015 Camera ready papers: 30 March, 2015 Authors and early registration deadline: 6 May, 2015 Symposium dates: 29 June - 2 July, 2015 General Chair George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Co-Chairs Daniel Grosu, Wayne State University, USA Hai Jin, Huazhong University of Science and Technology, China Steering Committee Ioana Banicescu, Mississippi State University, USA Hans-Joachim Bungartz, Technische Universität München, Germany Valentin Cristea, University Politehnica of Bucharest, Romania Bertil Folliot, University of Paris, France Dan Grigoras, University College Cork, Ireland John Morrison, University College Cork, Ireland Traian Muntean, Aix Marseille University, France Dana Petcu, Western Univ. of Timisoara and e-Austria, Timisoara, Romania Marek Tudruj, Polish Acad. of Sciences and PJIIT, Warsaw, Poland Program Committee TBD

-------------------------------------------------------------------- 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.