[Caml-list] WETICE 2015: Final Call for Papers (*** extended submission deadline ***)

*** FINAL CALL FOR PAPERS *** 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) 15-17 June 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://www.cyprusconferences.org/wetice2015/ *** Extended Submission Deadline: 28 February 2015 *** The IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) is an international forum for the state-of-the-art research in enabling technologies for collaboration, consisting of a number of related conference tracks. The conference proceedings are published by IEEE Computer Society and are also available online through the IEEE's Xplore digital library. The proceedings will be submitted for indexing through INSPEC, Scopus, Compendex, Thomson Reuters, DBLP, Google Scholar and EI Index. The 24th WETICE edition, held on June 15-17, 2015 in Larnaca (Cyprus), consists of a set of self-contained and self-managed tracks. The Program Committee solicits the submission of papers to the following tracks: • ACEC – Adaptive Computing (and Agents) for Enhanced Collaboration • AROSA – Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures • CAGing – Collaborative and Autonomic Green Computing • CDCGM – Convergence of Distributed Clouds, Grids and their Management • COPECH – Collaboration tools for Preservation of Environment and CulturalHeritage • CPS – Capacity driven Processes and Services for Cyber Physical Society • CSP – Collaborative Software Processes • FISA – Future Internet Services and Applications (formerly PASCS and PROMASC) • FVSBS – Formal Verification of Service Based Systems • MADYNE – Management of Dynamic Networked Enterprises • VSC – Validating Software for Critical Systems • Web2Touch – Modeling the Collaborative Web Knowledge Prospective authors are invited to use the links available at the List of Tracks page of the WETICE 2015 main website (www.wetice.org) to get detailed information about the list of topics addressed by each single track. The paper submission procedure is carried out using the EasyChair conference management system; the link for submission is: https://easychair.org/conferences/?conf=wetice2015 IMPORTANT DATES • Submission deadline: February 28th, 2015 (extended) • Notification of acceptance: March 27th, 2015 • Camera-ready submission: April 10th, 2015 Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template, which is available at the link: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. At least one author for each accepted paper should register and attend WETICE 2015 to have the paper published in the proceedings. Please contact the Program Chairs for any additional information or request. Andrea D'Ambrogio (dambro@uniroma2.it) Khalil Drira (khalil@laas.fr) WETICE 2015 Program Chairs

-------------------------------------------------------------------- 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: First Call for Papers, Tutorial and Workshop Proposals

*** First Call for Papers, Tutorial and Workshop Proposals *** 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 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 03, 2015. 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. 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. 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 a number of top quality journals. Papers will be selected based on their reviewers' scores and appropriateness to a 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. TUTORIAL PROPOSAL REQUIREMENTS Each tutorial proposal must contain the following: • Title. • Name and Affiliation of the Speaker(s). • Abstract (one paragraph, 200 words max., including previous experience with such tutorials). • Intended Audience (one paragraph) and prerequisites: Describe the background assumed of tutorial attendees (i.e. beginner, intermediate, advanced), and any requirements needed (e.g. bring own laptop). • Learning Outcome (one paragraph): Describe the benefit, knowledge or skill that will be gained by attendees. • Description (no more than 2 pages): A statement giving clear motivation /justification for the topic to be presented at UCC 2015 and a comprehensive outline of the proposed content. • Statement on if this tutorial has been given before and if so how this presentation will be different. • Materials (one paragraph): A description of materials to be provided to attendees on the conference website – course slides, annotated bibliography, code snippets, etc. NOTE: the materials themselves do not need to be provided in the proposal. • Bio-sketch: A single paragraph bio-sketch per tutorial presenter. • Requested tutorial length (preferably half-a-day). • Tutorial proposals should be submitted in PDF format by email to the tutorial chairs by the 3rd of July, 2015. RESPONSIBILITIES Materials for the tutorial must be emailed by the 13th of November 2015 at the latest. The UCC 2015 Conference Organizing Committee will be responsible for the following: • Providing logistics support and a meeting place for the tutorial. • In conjunction with the organizers, determining the tutorial date and time. • Providing copies of the tutorial materials to attendees. WORKSHOP PROPOSAL REQUIREMENTS Proposals for workshops should be no more than 2 pages in length and should contain the following information: • Title and brief technical description of the workshop, specifying the goals and the technical issues that will be the focus of the workshop. • A brief description of why and to whom the workshop is of interest. • A list of related workshops or similar events held in the last 3 years, or to be held in 2015. • The names and contact information (web page, email address) of the proposed technical program committee. This committee should consist of at least 10 people knowledgeable about the technical issues to be addressed and preferably not more than two members of the same institution. • A description of the qualifications of the organizers (who would be the Workshop Chairs) with respect to organizing this workshop. This can include papers published in the proposed topic area, previous workshop organization, and other relevant information. • Workshop proposals should be submitted in PDF format by email to the workshop chairs by the 8th of May, 2015. RESPONSIBILITIES Workshop chair(s) will be responsible for the following: • Producing a web page and a "Call for Papers/Participation" for their workshop. The URL should be sent to the UCC Workshops chairs. The call must make it clear that the workshop is open to all members of the Cloud, Big Data, Grid and Cluster Computing community. It should mention that at least one author of each accepted submission must attend the workshop and that all workshop participants must pay the UCC 2015 workshop day or conference registration fee. The CfP should make it clear that the registration of at least one author requires the full (non-student, non- workshop) rate. • Ensure that all workshop papers are a maximum of 6 pages in length (in IEEE format). It is the responsibility of the workshop organizers to ensure that this page limit has been adhered to. Additional pages may be purchased (in some circumstances) subject to approval by the proceedings chairs. • Provide a brief description of the workshop for the conference web page and program. • Selecting the participants and the format of the workshop. The publication of proceedings will be by the IEEE in the same volume as the main conference. The acceptance notification (by workshop chairs) therefore should be the same as the conference paper acceptance notification (i.e. the dates should be the same). All other details can be up to workshop organizers to set. • Advertising the workshop beyond the conference web page. • Assistance in producing a camera-ready version of the workshop proceedings. IMPORTANT NOTE If the workshop is too small (i.e. does not attract enough submissions) the UCC 2015 Organizing Committee may decide to merge that workshop with another. So we encourage workshop organizers to attract a large community. In extreme situations we may also cancel workshops if there are not enough submissions. Workshop organizers must ensure that suitable quality measures have been taken to ensure that the accepted papers are of high quality. All papers must be reviewed by an International Technical Program Committee with a minimum of 3 reviews per paper. The workshop organizers should also try to observe an acceptance rate that is no higher than 50%. Unless indicated on the UCC website, there will be no travel support and no registration discounts for authors and organizers. Workshops are not automatically endorsed by IEEE or ACM and should not use the names of these organisations in their titles. The UCC 2015 Conference Organizing Committee will be responsible for the following: • Providing a link to a workshop's local page. • Providing logistics support and a meeting place for the workshop. • In conjunction with the organizers, determining the workshop date and time. • Providing copies of the workshop proceedings to attendees. IMPORTANT DATES • Tutorial proposals due: 03 July, 2015 • Notification of tutorial proposals: 14 August, 2015 • Final description of accepted proposals: 14 September, 2015 • Tutorial slides due: 13 November, 2015 • Workshop proposals due: 08 May, 2015 • Notification of workshop proposals: 22 May 2015 • Paper submissions due: 03 July, 2015 • 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

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

--------------------------------------------------------------------------------

CALL FOR PAPERS -- SETS 2015

********************************************************************************
2nd International Workshop about Sets and Tools (SETS 2015)
June 23, 2015, Oslo, Norway
Affiliated to FM 2015
http://sets2015.cnam.fr/
********************************************************************************

AIM

Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets also occur in the formalization of mathematics, as evidenced by the large
library of the Mizar proof system for example. In addition, still in the
domain of verification, there is an increasing interest to automate set theory
(which is known to be a difficult problem), with some concrete realizations,
such as mp (the "main prover" of Atelier B) or Muscadet (an automated theorem
prover for natural deduction, which gives some good performances in set
theory). Sets are also the main features of some programming languages like
the former SetL language or the more recent {log} language (pronounced as
setlog).

The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive or
automated theorem provers, proof checkers, theories for general purpose proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.

TOPICS

Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:

* Proof tools for sets
* Constraint solvers for sets
* Set-based programming languages
* Automated verification in set theory
* Encoding of sets in provers
* Set theories for SMT solvers
* Use of set-based tools in formal methods
* Use of set-based tools in mathematics
* Comparison of set-based tools
* Comparison between set and type theories
* Experience reports

CONTRIBUTIONS AND PROCEEDINGS

Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:

* Research papers providing new concepts and results
* Position papers and research perspectives
* Experience reports
* Tool presentations

Proceedings, including all the papers selected for the workshop, will be
available electronically at the workshop. No copyright transfer agreement will
be required from the authors. For this first edition of this workshop, we
would like to put the emphasis on discussions rather than on conventional
publications.

PAPER SUBMISSION

Contributions must be submitted electronically in PDF using the SETS 2015
EasyChair web site at the following address:

https://www.easychair.org/conferences/?conf=sets2015

IMPORTANT DATES

Abstract submission: March 31, 2015
Submission deadline: April 7, 2015
Paper notification: May 7, 2015
Revised/final paper: May 22, 2015
Workshop: June 23, 2015

PROGRAMME CO-CHAIRS

David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)

PROGRAMME COMMITTEE

Mats Carlsson (Swedish Institute of Computer Science, Sweden)
Iliano Cervesato (Carnegie Mellon University, USA)
Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil)
Leo Freitas (Newcastle University, UK)
Michael Leuschel (University of Düsseldorf, Germany)
Stephan Merz (Inria Nancy - Grand Est, Loria, France)
Gianfranco Rossi (Università di Parma, Italy)
Arnaud Spiwack (MINES ParisTech, France)
Josef Urban (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)



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

---------------------------------------------------------------------
FIRST CALL FOR PAPERS

The 15th International Workshop on
Automated Verification of Critical Systems
AVoCS 2015

1-4 September 2015, Edinburgh, UK

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

IMPORTANT DATES
Submission of abstract (full papers): 5th June 2015
Submission of full papers: 12th June 2015
Notification (full papers): 14th July 2015
Submission of research idea papers: 7th 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)

SPONSORS
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
The subject 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.

The technical programme will consist of invited and contributed talks
and also allow for short presentations of research ideas. The workshop
will be relatively informal, with an emphasis on discussion where special
discussion sessions will be organised around the research ideas presentations.
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

WORKSHOPS
AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/

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.

STUDENT GRANTS
Thanks to sponsorships from 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 will be available in due course from the AVoCS
webpage.

SUBMISSION DETAILS
Submissions of full papers to the workshop must not have been published
or be concurrently considered for publication elsewhere. All submissions
will be peer-reviewed and judged on the basis of originality, contribution
to the field, technical and presentation quality, and relevance to the
workshop. Submissions are handled via Easychair:

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

The papers must be written in English and not exceed 15 pages and should
use the dedicated AVoCS 2015 EASST template available rom the the
following link (for LaTeX and Word):

http://journal.ub.tu-berlin.de/eceasst

AVoCS also encourages 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. Research ideas must be written in English and not exceed
2 pages using the EASST 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.

PROCEEDINGS
At the workshop, pre-proceedings will be available in the form of a Heriot-Watt
University Technical Report; this report will also include the research ideas.
After the workshop, the authors of accepted full papers will have about one
month in order to revise their papers for publication in the workshop post-
proceedings which will appear in the Electronic Communications of the EASST
Open Access Journal. Research ideas will not be part of the proceedings in the
Open Access Journal.

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

*** Second Call for Papers *** 5th International Conference on Web Intelligence, Mining and Semantics WIMS 2015 July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/wims2015/ Conference Purpose and Scope WIMS is a series of peer-reviewed International Computer Science conferences. It is a forum for researchers and practitioners to present their state-of-the-art results in building Intelligent Web, to examine performance characteristics of various approaches in Web-based intelligent information technology, and to cross-fertilize their ideas on the development of Web -based intelligent information management solutions across different domains. The purpose of the WIMS series is to: * Provide a forum for established researchers and practitioners to present their contributions to the state of the art research and development in Web technology and applications. * Give doctoral students an opportunity to present their research to a friendly and knowledgeable audience and receive valuable feedback. * Provide an informal social event where Web technology researchers and practitioners can meet. WIMS traditionally hosts a small number of short tutorials on the topics related to the scope of the conference series. The role of a WIMS tutorial is to be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials is published separately. WIMS also offers its infrastructure and facilities for the organizers of satellite workshops that complement the scope of the conference. The call for WIMS 2015 workshops is also published separately. Companies or individuals interested in presenting their industrial products or methodologies are invited to contact the conference chairs. Conference Scope WIMS solicits regular and work-in-progress research, discussion papers and industry experience report papers in related fields. Papers exploring new directions or areas are also welcome. In particular but not exclusively the submissions within the following areas are relevant: * Scalable Web and Data Architectures and Infrastructures - Crawling, caching and querying Linked (Semantic) Data - Dataset dynamics and synchronization - Big Data computing - User Interfaces and visualization for the Web of (Linked Semantic) Data at scale - Indexing and information extraction from the (Semantic) Deep Web - 3D media and content - Sensing Web and the Web of Things - Web-based Health- and Bio- Information Systems - Web security, integrity, privacy, and trust - Nature-inspired models and approaches in Web and data processing infrastructures * Web Intelligence (WI) - Semantic Agent Systems for WI - Advanced Interaction and Communication Paradigms with WI - Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces - Intelligence for Visualizing (Linked Semantic) Web Data at scale - Intelligence for Big Data Analytics - Ubiquitous Intelligence and the Internet of Things - WI in Social Media - WI in Human Computation and Social Games - Opinion Mining / Sentiment Analysis on the Social Web - Social Monetization and Computational Advertising - Visualising social network data - WI for services, grids, and middleware - Nature-inspired Models and approaches for WI * Web Mining, Information and Knowledge Extraction - Text, data stream, web and multimedia content mining - Contextualization and clustering in web mining and information extraction - Knowledge extraction and ontology learning from the Web - Linked Data mining - Information Extraction and Knowledge Discovery from Big Data - Mining and Information Extraction from the Deep Web - Semantic Deep Web data fusion * Web Semantics and Reasoning - Knowledge Representation for the Web - Ontology specification: expressivity versus usability - Ontologies and Linked Semantic Data - Development and re-use of ontologies for the Web - Crowdsourcing for ontology engineering and management on the Social Web - Lifecycle, management, and evolution of Web ontologies - Ontology merging and alignment - Rule markup languages and systems - Semantic annotation - Reasoning: scalability, expressivity, incompleteness, vagueness, and/or uncertainty * WIMS Applications - Web applications of semantic agent systems - Semantics-driven information retrieval - Semantic search - Intelligent e-Technology and the Semantic Web - Intelligence and semantics for business information management and integration - Intelligence and semantic technologies in Digital Media - Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health, e-Science, e-Government, e-Learning - WI for multimedia, sensors, and situational awareness - WI for software and systems engineering - Quality of Life Technology for Web Access - Nature-inspired models and approaches in WIMS applications * Evaluation and Validation of WIMS Technologies and Applications - Evaluation and validation Methodologies - Datasets and Benchmarks for cross-evaluations and competitions - Evaluation and validation Infrastructures - Evaluation and validation metrics (e.g. fitness, quality, completeness, correctness, etc.) Submission Guidelines Four types of submissions are solicited for the main conference: i. Regular research papers ii. Short research papers iii. Case Studies and Applications papers iv. Posters The papers in all the categories should describe original results that have not been accepted or submitted for publication elsewhere. All submissions will be evaluated by at least three members of the international program committee. Regular Research Papers The papers in this category are the reports on accomplished research work or in-depth discussions and analysis of a certain problem. The first type of papers can present a novel method, technique or analysis with appropriate empirical or other type of evaluation as a proof of validity. The main evaluation criteria for this category are originality, technical soundness, and the soundness of evaluation. For the second type within the genre we expect receiving reasonable overviews placing a problem onto the state-of-the-art landscape and analyzing how far current solutions fall short. We also expect in-depth discussions and analysis of a certain problem, with clear definitions and argumentation in terms of qualitative or quantitative representation of the main characteristics of the problem. Page limit: 12 ACM pages Short Research Papers The papers in this category are the short reports of the preliminary results or describing the work in progress. The main evaluation criteria for this category are originality, technical correctness, and possible value of the planned results in a short to mid-term perspective. Short papers can be also presented in a form of a poster. Page limit: 6 ACM pages Case Studies and Applications Papers The papers in this category describe case studies of deployed applications, lessons learnt, and examples of measurable benefits. This category also includes papers that reports innovative applications of WIMS in areas of industry and government, as well as industrial experience and demonstrations of innovative systems. Page limit: 12 ACM pages Posters WIMS poster track is a venue for late-breaking results, ongoing research activities, and speculative or innovative work in progress. This track is intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters provide authors with a unique opportunity to draw attention to their work during the conference. Page limit: 4 ACM pages Submissions should be made electronically in PDF or DOC/DOCX (MS/Open Word) format via the electronic submission system of the WIMS2015 Conference Management system at: https://www.easychair.org/conferences/?conf=wims15 Publication Accepted papers/tutorials/posters will be published by ACM and disseminated through the ACM Digital Library through the International Conference Proceedings Series (ICPS). Important Dates 24.03.2015 Submission of papers/posters 27.04.2015 Notification of acceptance for papers/posters 11.05.2015 Camera ready versions of the accepted papers, posters, tutorial papers 30.05.2015 Author registration deadline 13-15.07.2015 Conference All the above deadlines are 23:59 Hawaii Time. WIMS Conferences Chair Rajendra Akerkar, Western Norway Research Institute, Norway General Chair Marios D. Dikaiakos, University of Cyprus, Cyprus Program Committee Co-Chairs Achilleas P. Achilleos, University of Cyprus, Cyprus Tope Omitola, University of Southampton, United Kingdom Advisory Committee Grigoris Antoniou, University of Huddersfield, UK Harold Boley, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA Guus Schreiber, VU University, Amsterdam, the Netherlands Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA Industrial Track Chair John Davies, BT Research & Innovation, UK Publicity Chair Christos Mettouris, University of Cyprus, Cyprus Local Organization Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Chair Kyriakos Georgiadis, EasyConferences LTD, Cyprus The proceedings of the previous WIMS conferences are available at: - WIMS2011: https://dl.acm.org/citation.cfm?id=1988688 - WIMS?2012: https://dl.acm.org/citation.cfm?id=2254129 - WIMS?2013: https://dl.acm.org/citation.cfm?id=2479787 - WIMS?2014: https://dl.acm.org/citation.cfm?id=2611040 Look for updates and more details at: http://cyprusconferences.org/wims2015/ http://www.linkedin.com/groups?gid=3933343 https://www.facebook.com/groups/WIMSCon/ https://twitter.com/wims2015

-------------------------------------------------------------------- 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] Mathematics of Program Construction (MPC 2015): final call for papers

Apologies for multiple copies.

FINAL CALL FOR PAPERS

12th International Conference on Mathematics of Program Construction, MPC 2015
Königswinter, Germany, 29 June - 1 July 2015
http://www.cs.ox.ac.uk/conferences/MPC2015/


BACKGROUND

The MPC conferences aim to promote the development of mathematical principles
and techniques that are demonstrably practical and effective in the process
of constructing computer programs, broadly interpreted.

The 2015 MPC conference will be held in Königswinter, Germany, from 29th June
to 1st July 2015. The previous conferences were held in Twente, The
Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995),
Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany
(2002), Stirling, UK (2004, colocated with AMAST), Kuressaare, Estonia (2006,
colocated with AMAST), Marseille, France (2008), Québec City, Canada (2010,
colocated with AMAST), and Madrid, Spain (2012).


TOPICS

Papers are solicited on mathematical methods and tools put to use in program
construction. Topics of interest range from algorithmics to support for
program construction in programming languages and systems. The notion of
"program" is broad, from algorithms to hardware. Some typical areas are type
systems, program analysis and transformation, programming-language semantics,
security, and program logics. Theoretical contributions are welcome, provided
that their relevance to program construction is clear. Reports on
applications are welcome, provided that their mathematical basis is evident.

We also encourage the submission of "pearls": elegant, instructive, and fun
essays on the mathematics of program construction.


IMPORTANT DATES

* Submission of abstracts: 26 January 2015
* Submission of full papers: 2 February 2015
* Notification to authors: 16 March 2015
* Final version: 13 April 2015


SUBMISSION

Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be
submitted by 26 January 2015. Full papers (pdf) adhering to the LaTeX llncs
style must be submitted by 2 February 2015. There is no official page limit,
but authors should strive for brevity. The web-based system EasyChair will be
used for submission (https://easychair.org/conferences/?conf=mpc2015).

Papers must report previously unpublished work, and must not be submitted
concurrently to a journal or to another conference with refereed proceedings.
Accepted papers must be presented at the conference by one of the authors.
Please feel free to write to mpc2015@easychair.org with any questions about
academic matters.

The proceedings of MPC 2015 will be published in Springer-Verlag's Lecture
Notes in Computer Science series, as have all the previous editions. Authors
of accepted papers will be expected to transfer copyright to Springer for
this purpose. After the conference, authors of the best papers will be
invited to submit revised versions to a special issue of the Elsevier journal
Science of Computer Programming.


PROGRAMME COMMITTEE

Ralf Hinze University of Oxford, UK (chair)

Eerke Boiten University of Kent, UK
Jules Desharnais Université Laval, Canada
Lindsay Groves Victoria University of Wellington, New Zealand
Zhenjiang Hu National Institute of Informatics, Japan
Graham Hutton University of Nottingham, UK
Johan Jeuring Utrecht University and Open University, The
Netherlands
Jay McCarthy Vassar College, US
Larissa Meinicke The University of Queensland, Australia
Bernhard Möller Universität Augsburg, Germany
Shin-Cheng Mu Academia Sinica, Taiwan
Dave Naumann Stevens Institute of Technology, US
Pablo Nogueira Universidad Politécnica de Madrid, Spain
Ulf Norell University of Gothenburg, Sweden
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong
José Nuno Oliveira Universidade do Minho, Portugal
Alberto Pardo Universidad de la República, Uruguay
Christine Paulin-Mohring INRIA-Université Paris-Sud, France
Tom Schrijvers KU Leuven, Belgium
Emil Sekerinski McMaster University, Canada
Tim Sheard Portland State University, US
Anya Tafliovich University of Toronto Scarborough, Canada
Tarmo Uustalu Institute of Cybernetics, Estonia
Janis Voigtländer Universität Bonn, Germany


VENUE

The conference will take place in Königswinter, Maritim Hotel, where
accommodation has been reserved. Königswinter is situated on the right bank
of the river Rhine, opposite Germany's former capital Bonn, at the foot of
the Siebengebirge.


LOCAL ORGANIZERS

Ralf Hinze University of Oxford, UK (co-chair)
Janis Voigtländer Universität Bonn, Germany (co-chair)
José Pedro Magalhães University of Oxford, UK
Nicolas Wu University of Oxford, UK

For queries about local matters, please write to jv@informatik.uni-bonn.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] WETICE 2015: Second Call for Papers

*** SECOND CALL FOR PAPERS *** 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) 15-17 June 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://www.cyprusconferences.org/wetice2015/ The IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) is an international forum for the state-of-the-art research in enabling technologies for collaboration, consisting of a number of related conference tracks. The conference proceedings are published by IEEE Computer Society and are also available online through the IEEE's Xplore digital library. The proceedings will be submitted for indexing through INSPEC, Scopus, Compendex, Thomson Reuters, DBLP, Google Scholar and EI Index. The 24th WETICE edition, held on June 15-17, 2015 in Larnaca (Cyprus), consists of a set of self-contained and self-managed tracks. The Program Committee solicits the submission of papers to the following tracks: • ACEC – Adaptive Computing (and Agents) for Enhanced Collaboration • AROSA – Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures • CAGing – Collaborative and Autonomic Green Computing • CDCGM – Convergence of Distributed Clouds, Grids and their Management • COPECH – Collaboration tools for Preservation of Environment and CulturalHeritage • CPS – Capacity driven Processes and Services for Cyber Physical Society • CSP – Collaborative Software Processes • FISA – Future Internet Services and Applications (formerly PASCS and PROMASC) • FVSBS – Formal Verification of Service Based Systems • MADYNE – Management of Dynamic Networked Enterprises • VSC – Validating Software for Critical Systems • Web2Touch – Modeling the Collaborative Web Knowledge Prospective authors are invited to use the links available at the List of Tracks page of the WETICE 2015 main website (www.wetice.org) to get detailed information about the list of topics addressed by each single track. The paper submission procedure is carried out using the EasyChair conference management system; the link for submission is: https://easychair.org/conferences/?conf=wetice2015 IMPORTANT DATES • Submission deadline: February 13th, 2015 • Notification of acceptance: March 27th, 2015 • Camera-ready submission: April 10th, 2015 Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template, which is available at the link: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. At least one author for each accepted paper should register and attend WETICE 2015 to have the paper published in the proceedings. Please contact the Program Chairs for any additional information or request. Andrea D'Ambrogio (dambro@uniroma2.it) Khalil Drira (khalil@laas.fr) WETICE 2015 Program Chairs

-------------------------------------------------------------------- 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: Final Call for Papers

*** Final 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/ *** Extended Submission Deadline: 30 January 2015 *** 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: 30 January, 2015 (extended) 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 http://www.cyprusconferences.org/ispdc2015/committees.html

-------------------------------------------------------------------- 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] SFM-16:MP school in Bertinoro -- first call for participation

***********************************************************
* *
* SFM-15:MP *
* *
* 15th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Multicore Programming *
* *
* Bertinoro (Italy), 15-19 June 2015 *
* *
* http://www.sti.uniurb.it/events/sfm15mp/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2015) *
***********************************************************


GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.

The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.

This year SFM is devoted to multicore programming and covers
topics such as concurrency and coordination mechanisms,
architecture and memory models, and type systems.


COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^

The school features the following lectures:

"Parallel Objects for Multicores"
Dave Clarke (Uppsala U, SE)

"Concurrency in Java"
Doug Lea (SUNY Oswego, US)

"Coordinating Multicore Computing"
Farhad Arbab (CWI Amsterdam, NL)

"Automated Inference of Atomic Sets for Safe Concurrent Execution"
Gul Agha (UI Urbana-Champaign, US)

"Modeling of Architectures"
Jade Alglave (UC London, UK)

"Memory Models for Programming Languages"
Francesco Zappa Nardelli (INRIA Paris-Rocquencourt, FR)

"Multiparty Session Types"
Nobuko Yoshida (IC London, UK)

"Ownership Types"
Sophia Drossopoulou (IC London, UK)

"Types and Permissions in Mezzo"
Francois Pottier (INRIA Paris-Rocquencourt, FR)

"Safe Concurrent Programming with Behavioral Types"
Luis Caires (UN Lisbon, PT)

All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.


LOCATION
^^^^^^^^

SFM-15:MP will be held in the medieval hilltop town of Bertinoro.

This place is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.
Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Parma, Rimini, Ravenna, Ferrara,
Padova, Venezia, Verona, Firenze, Pisa, Lucca, and Siena.

Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted into a modern conference center.
From the fortress, it is possible to enjoy a beautiful vista stretching
from the Apennines to the Adriatic Coast and the Alps over the Po Valley.


ORGANIZATION
^^^^^^^^^^^^

Scientific directors:
* Marco Bernardo (U Urbino, IT)
* Einar Broch Johnsen (U Oslo, NO)

Secretary:
* Monica Michelacci (CRU Bertinoro, IT)


APPLICATION
^^^^^^^^^^^

Prospective participants should send by 21 March 2015
the application form, available on the school website,
to the two e-mail addresses below:

Marco Bernardo
marco.bernardo AT uniurb.it

Monica Michelacci
mmichelacci AT ceub.it

The registration fee is 300 euros and includes the school material.

The accommodation fee is 350 euros and covers the period June 14-20
(6 nights), double room (to share with another participant),
half board (breakfast and lunch from June 15, lunch of June 20 excluded).

The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 15-19
(5 lunches).

A very limited number of grants is available to cover
the registration fee (no grant can be requested
to cover the accommodation fee or the travel expenses).

Notification of accepted/rejected applications and
grant requests will be communicated by March 31.

Registration to the school, including payment of fees,
is due by April 20.

No refund is possible for cancellation after May 15.

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