The 8th IEEE International Symposium on Cloud and Service Computing
Paris, France, November 6-9, 2018
http://lipn.univ-paris13.fr/~cerin/sc2iovsoca2018.html
Dear Colleagues:
We cordially invite you to share your latest research results at the 2018 IEEE SC2 Conference.
---------------------------
CALL FOR PAPERS
---------------------------
The “Cloud” is a natural evolution of distributed computing and the widespread adaption of virtualization and Service-Oriented Architecture (SOA). …
[View More]Services computing is a new cross-discipline subject that covers the science and technology needed to bridge the gap between business services and IT services. In cloud computing, IT-related capabilities and resources are provided as services, via the Internet and on-demand, accessible without requiring detailed knowledge of the underlying technology.
SC2 2018 is an important forum for researchers and industry practitioners to exchange information regarding advancements in the state of art and practice of IT-driven cloud computing technologies and services, as well as to identify emerging research topics and define the future directions of cloud and services computing.
IEEE SC2 2018 will be held on Nov. 6-9, 2018 in Paris, France.
Topics of interest include, but are not limited to:
- Cloud architecture
- Cloud OS, middleware, and toolkits
- Storage architecture
- Big data infrastructure, systems, methodologies, and applications
- Virtualization techniques
- Resource provision, monitoring, and scheduling
- Privacy and access control for cloud computing
- Performance evaluation and modeling measurement for cloud computing
- Programming models for building cloud applications
- Networking in cloud computing
- Security, privacy and trustworthy in clouds
- Security, privacy and trustworthy for service oriented architectures and systems
- Energy efficient hardware and software solutions
- High availability and reliability
- Large scale cloud applications
- Internet/web computing and data mining
- Volunteer and utility computing
- Green and pervasive computing
- Service oriented architecture
- Discovery of services and data in cloud computing infrastructures
- Foundations of services computing
- Services-centric business models
- Business process integration and management
---------------------------------------
PUBLICATION HIGHLIGHTS
---------------------------------------
IEEE CS proceedings, indexed by
- IEEE Xplore
- Scopus
- Compendex EI
- ACM Digital Library
- DBLP
- Google Scholar
Extended version of the selected papers will be invited for publication in prestigious international journals.
Cluster Computing (Springer)
Journal of Supercomputing (Springer)
Vehicular Communications Journal
International Journal of Big Data Intelligence
International Journal of Grid and High-Performance Computing
Journal of Foundations of Computing and Decision Sciences
International Journal of Applied Mathematics and Computer Science
IEEE Transactions on Emerging Topics in Computing
------------------------
IMPORTANT DATES
------------------------
Workshop/Special Session Proposal
Paper Submission Deadline July 14, 2018
Acceptance Notification August 15, 2018
Registration Deadline September 15, 2018
Camera-Ready Submission September 15, 2018
------------------------------------------
PAPER FORMAT AND SUBMISSION
------------------------------------------
Authors are invited to submit their original research work that has
not previously been submitted or published in any other venue. Papers
should be prepared in IEEE format and submitted via the SC2 2018
submission site :
https://easychair.org/conferences/?conf=sc22018
Research paper (8 pages) should explore a specific technology problem
and propose a complete solution to it, with experimental results.
Works-in-Progess (WIP) (6 pages) papers are expected to present either
work currently in progress or less developed but highly innovative
ideas.
Demo/Poster papers (4 pages) must describe working systems and be
related to SC2. These systems may be innovative prototype
implementations or mature systems that use related
technology. Papers/proposals need to be submitted to the Demo/Poster
track.
Workshop and Special Session papers (6 pages) need to be submitted to
the corresponding workshops and special sessions.
---------------------------------------------
SUBMISSION and PUBLICATION
---------------------------------------------
Papers need to be prepared according to the IEEE format, and submitted in PDF format via the IEEE SC2 2017 submission site: https://easychair.org/conferences/?conf=sc22017
IEEE formatting information:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
----------------------------------
ORGANIZING COMMITTEES
----------------------------------
GENERAL CHAIRS
Omer Rana, Cardiff university, UK
Daqing Zhang, Institute Mines-Télécom/Télécom SudParis, France
GENERAL EXECUTIVE CHAIR
Christophe Cérin, Université Paris 13
Anna Kobusinska, Poznan University of Technology, Poland
PROGRAM CHAIRS
Shu Tao, IBM Research, USA
Pascal Bouvry, Univ. of Luxembourg, Luxembourg
PUBLICATION CHAIR
Jonathan Lejeune, Sorbonne Université
STEERING COMMITTEE
Hamid Arabnia, The University of Georgia, USA
Rajkumar Buyya, University of Melbourne, Australia
Robert Hsu, Chung Hua University, Taiwan
Chung-Ta King, National Tsing Hua University, Taiwan
H. J. Siegel, Colorado State University, USA
Philip Yu, University of Illinois at Chicago, USA
LOCAL ORGANIZING COMMITTEE
Christophe Cérin, Université Paris 13
Hanene Azzag, Université Paris 13
Leila Abidi, Université Paris 13
Jonathan Lejeune, Sorbonne Université
Mustapha Lebbah Université Paris 13
Arnaud Kaiser, IRT SystemX
Kais Klay, Université Paris 13
Tarek Menouer, Université Paris 13
Sondes Khemiri-Kallel, Université Versailles St Quentin
Walid Gaaloul, Télécom Sudparis, Evry
Khaled Boussetta, Université Paris 13
Nadjib Achir, Université Paris 13
[View Less]
********** WORKS 2018 Workshop **********
Workflows in Support of Large-Scale Science Workshop
http://works.cs.cardiff.ac.uk/
Sunday 11 November 2018, Dallas, TX.
Held in conjunction with SC18, http://sc18.supercomputing.org/
Paper submission deadline: 30 July 2018
*****************************************
Call For Papers
Data-intensive workflows (a.k.a. scientific workflows) are routinely used in
most scientific disciplines today, especially in the context of
high-performance, parallel and …
[View More]distributed computing. They provide a
systematic way of describing a complex scientific process and rely on
sophisticated workflow management systems to execute on a variety of
parallel and distributed resources. With the dramatic increase of raw data
volume in every domain, they play an even more critical role to assist
scientists in organizing and processing their data and to leverage HPC or
HTC resources, being at the interface between end-users and computing
infrastructures.
This workshop focuses on the many facets of data-intensive workflow
management systems, ranging from actual execution to service management and
the coordination and optimization of data, service and job dependencies. The
workshop covers a broad range of issues in the scientific workflow lifecycle
that include: data-intensive workflows representation and enactment;
designing workflow composition interfaces; workflow mapping techniques to
optimize the execution of the workflow for different infrastructures;
workflow enactment engines that need to deal with failures in the
application and execution environment; and a number of computer science
problems related to scientific workflows such as semantic technologies,
compiler methods, scheduling and fault detection and tolerance.
The topics of the workshop include but are not limited to:
Big Data analytics workflows
Data-driven workflow processing (including stream-based workflows)
Workflow composition, tools, and languages
Workflow execution in distributed environments (including HPC, clouds, and
grids)
Reproducible computational research using workflows
Dynamic data dependent workflow systems solutions
Exascale computing with workflows
In Situ Data Analytics Workflows
Interactive workflows (including workflow steering)
Workflow fault-tolerance and recovery techniques
Workflow user environments, including portals
Workflow applications and their requirements
Adaptive workflows
Workflow optimizations (including scheduling and energy efficiency)
Performance analysis of workflows
Workflow debugging
Workflow provenance
Workflows in constrained environments e.g. IoT, Edge computing, etc.
*****************************************
Important Dates
Papers due: 30 July 2018
Paper acceptance notification: 9 September 2018
E-copyright registration completed by authors: 1 October 2018
Camera-ready deadline: 1 October 2018
Submitted papers must be at most 10 pages long. The proceedings should be
formatted according to the IEEE format (see
https://www.ieee.org/conferences/publishing/templates.html). The 10-page
limit includes figures, tables, and appendices, but does not include
references, for which there is no page limit. WORKS papers will be published
in cooperation with TCHPC and will be available from IEEE digital
repository.
*****************************************
WORKS 2018 Organizing Committee
– PC Chairs
Sandra Gesing, University of Notre Dame, USA
Rafael Ferreira da Silva, University of Southern California, USA
– General Chair
Ian J. Taylor, Cardiff University, UK and University of Notre Dame, USA
– Steering Committee
David Abramson, University of Queensland, Australia
Malcolm Atkinson, University of Edinburgh, UK
Ewa Deelman, USC, USA
Michela Taufer, U Delaware, USA
– Publicity Chairs
Ilia Pietri, Intracom SA Telecom Solutions, Greece
Hoang Anh Nguyen, University of Queensland, Australia
*****************************************
WORKS 2018 Program Committee (Tentative)
Pinar Alper, King's College London, UK
Ilkay Altintas, San Diego Supercomputer Center, USA
Khalid Belhajjame, Universit. Paris-Dauphine, France
Adam Belloum, University of Amsterdam, the Netherlands
Ivona Brandic, TU Wien, Austria
Kris Bubendorfer, Victoria University of Wellington, New Zealand
Jesus Carretero, Universidad Carlos III de Madrid, Spain
Henri Casanova, University of Hawaii at Manoa, USA
Ewa Deelman, USC Information Sciences Institute, USA
Rafael Ferreira Da Silva, USC Information Sciences Institute, USA
Daniel Garijo, USC Information Sciences Institute, USA
Sandra Gesing, University of Notre Dame, USA
Tristan Glatard, CNRS, France
Daniel Katz, University of Illinois Urbana-Champaign, USA
Tamas Kiss, University of Westminster, UK
Dagmar Krefting, HTW Berlin, Germany
Maciej Malawski, AGH University of Science and Technology, Poland
Anirban Mandal, Renaissance Computing Institute, USA
Marta Mattoso, Federal Univ. Rio de Janeiro, Brazil
Andrew Stephen Mcgough, Newcastle University, UK
Paolo Missier, Newcastle University, UK
Jarek Nabrzyski, University of Notre Dame, USA
Daniel de Oliveira, Fluminense Federal University, Brazil
Ilia Pietri, Intracom SA Telecom Solutions, Greece
Radu Prodan, University of Innsbruck, Austria
Omer Rana, Cardiff University, UK
Ivan Rodero, Rutgers University, USA
Rizos Sakellariou, University of Manchester, UK
Domenico Talia, University of Calabria, Italy
Rafael Tolosana-Calasanz, Universidad de Zaragoza, Spain
Chase Wu, New Jersey Institute of Technology, USA
[View Less]
-----------------------------------------------------------------------
FINAL Call for Participation
*** UPDATED Program Summary ***
23rd International Conference on
Reliable Software Technologies - Ada-Europe 2018
18-22 June 2018, Lisbon, Portugal
http://www.ada-europe.org/conference2018
*** Check out tutorials …
[View More]and workshops! ***
*** Full Program available on conference web site ***
*** Online proceedings available at event ***
*** Register now! ***
-----------------------------------------------------------------------
Press release:
23rd Ada-Europe Conference on Reliable Software Technologies
International experts meet in Lisbon
Lisbon, Portugal (12 June 2018) - The University Lisboa and Ada-Europe
organize from 18 to 22 June 2018 the "23rd International Conference on
Reliable Software Technologies - Ada-Europe 2018" in Lisbon, Portugal.
The event is organized in cooperation with the Ada Resource Association
(ARA), and with ACM's Special Interest Groups on Ada (SIGAda), on
Embedded Systems (SIGBED) and on Programming Languages (SIGPLAN).
The Ada-Europe series of conferences has over the years become
a leading international forum for providers, practitioners and
researchers in reliable software technologies. These events
highlight the increased relevance of Ada in general and in safety-
and security-critical systems in particular, and provide a unique
opportunity for interaction and collaboration between academics and
industrial practitioners.
This year's conference offers two days of parallel tutorials and
workshops, three keynotes, a full technical program of refereed
papers and industrial presentations, an industrial exhibition and
vendor presentations, and a social program.
Eight excellent tutorials on Monday and Friday cover a broad range
of topics: Recent Developments in SPARK 2014; Scheduling analysis of
AADL architecture models; Access types and memory management in Ada
2012; Numerics for the Non-Numerical Analyst; Writing Contracts in
Ada; Introduction to Libadalang; Unit-testing with Ahven; Frama-C,
a Framework for Analysing C Code.
In addition, on Monday the conference hosts the new workshop on
"Runtime Verification and Monitoring Technologies for Embedded Systems"
(RUME 2018), and on Friday for the 5th consecutive year the workshop
on "Challenges and new Approaches for Dependable and Cyber-Physical
Systems Engineering" (DeCPS 2018).
Three eminent keynote speakers have been invited to open each day of
the core conference program. Paulo Esteves-Veríssimo (University of
Luxembourg, Luxembourg), on "Security and Dependability Challenges
of Information Technology (IT) and Operational Technology (OT)
Integration". Carl Brandon (Vermont Technical College, USA), on
"From Physicist to Rocket Scientist, and how to make a CubeSat that
works". Erhard Plödereder (University of Stuttgart, Germany), on
"Vulnerabilities in Safety, Security, and Privacy".
The technical program presents 10 refereed and carefully selected
technical papers and 4 presentations on the latest research, new tools,
applications and industrial practice and experience, a collection of
12 industrial presentations reflecting current practice and challenges,
and vendor presentations. Springer Verlag publishes all peer-reviewed
papers in the proceedings of the conference, as LNCS Vol. 10873.
The remainder of the proceedings will be published in the Ada User
Journal, the quarterly magazine of Ada-Europe.
The industrial exhibition opens Tuesday morning in the networking
area and runs until the end of Thursday afternoon. Exhibitors include
AdaCore, PTC Developer Tools, Rapita Systems, and Ada-Europe.
The social program includes on Tuesday evening a Welcome Reception on
board of modern catamaran, to see Lisbon from a different perspective
and watch the sunset from the Tagus river. On Wednesday evening
will be the traditional Ada-Europe Conference Banquet, held at
the restaurant "A Casa do Bacalhau", which means "The House of the
Codfish", located in the old stables of the Duke of Lafões palace.
Each day, coffee breaks in the exhibition area and sit-down lunches
offer ample time for interaction and networking.
The Best Paper Award will be presented during the Conference Banquet,
the Best Presentation Award during the Closing session.
The conference is hosted by Univ. Lisboa at the VIP Executive Art's
Hotel, strategically located in the Parque das Nações area, Lisbon's
modern business centre, close to the Tagus river and the Vasco da
Gama bridge, and can easily be accessed by metro.
The full program is available on the conference web site.
Online registration is still possible.
-------
Latest updates:
The 16-page "Final Program" is available at
<http://www.ada-europe.org/conference2018/AdaEurope2018%20Final%20Program.pdf>
Check out the 8 tutorials in the PDF program, or in the schedule at
<http://www.ada-europe.org/conference2018/tutorials.html>.
Registration fees are very reasonable and the registration process is
done on-line. Don't delay! For all details, select "Registration"
at <http://www.ada-europe.org/conference2018> or go directly to
<http://ae2018.di.fc.ul.pt/registration.html>.
The proceedings, published by Springer Verlag as Lecture Notes
in Computer Science Vol. 10873, are already available online.
See <https://link.springer.com/book/10.1007/978-3-319-92432-8>.
A printed copy is included in every full conference registration.
Help promote the conference by advertising for it!
<http://www.ada-europe.org/conference2018/promotion.html>.
Put up the poster at
<http://www.ada-europe.org/conference2018/picts/AE2018_poster.png>.
Recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2018.
For the latest information consult the conference web site
<http://www.ada-europe.org/conference2018>.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest(a)cs.kuleuven.be, Ada-Europe'2018 Publicity Chair
*** 23rd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2018
*** June 18-22, 2018 ** Lisbon, Portugal *** http://www.ada-europe.org
[View Less]
[Apologies for cross-posting. Please kindly disseminate this call to your colleagues and contacts]
***Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine***
hosted by CIBB 2018 <http://eventos.fct.unl.pt/cibb2018/>, 15th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics
6-8 September 2018, Caparica, Portugal
----------------------------------------------------------------------------------
Paper …
[View More]Submission Deadline: 10 June 2018 24 June 2018
----------------------------------------------------------------------------------
CALL FOR PAPERS
Systems Biology deals with the analysis of natural systems at different scales of complexity, requiring completely different modeling frameworks and computational methods. Given that Systems Biology approaches are becoming well established, the challenge is now to apply the developed techniques towards the definition of personalized models in order to identify individually tailored drugs and treatments; i.e. to realize the Personalized Medicine paradigm. The scope of this special session is to bring together researchers involved in the development of methods applied to the fields of Systems Biology and Systems Medicine.
Topics of interest include, but are not limited to:
analysis of robustness of cellular networks
biomedical model parameterization
cancer progression models
clinical image analysis
emergent properties in complex biological systems
flux balance analysis
metabolic engineering
metabolic pathway analysis
model verification and refinement methods
models of neural activity
multiscale modelling and simulation of biological systems
parameter estimation methods
personalized models
reverse engineering of reaction networks
software tools for systems biology
spatiotemporal modelling and simulation of biological systems
IMPORTANT DATES
Paper submission deadline: 10 June 2018 24 June 2018
Acceptance notification: 9 July 2018 19 July 2018
Author registration due: 20 July 2018 25 July 2018
Camera ready due: 29 July 2018
Conference: 6-8 September 2018
PROCEEDINGS
Pdf versions of accepted papers will be distributed at the conference. At least one author of an accepted paper is required to register and present their paper at the conference. Authors of accepted papers will be invited to submit an extended version of their work to a post-conference monograph.
We plan to invite all papers for a volume in the Springer series of Lecture Notes in Bioinformatics (LNBI). Continuing the tradition of CIBB, we are also planning to invite the best papers, as an alternative to the publication on LNBI, to a special issue of an international scientific journal (such as BMC Bioinformatics, as in the latest editions).
PAPER SUBMISSION
Instructions for submission can be found here <http://eventos.fct.unl.pt/cibb2018/pages/call-papers>
SESSION CHAIRS
Chiara Damiani, University of Milano-Bicocca, Italy
Marco S. Nobile, University of Milano-Bicocca, Italy
Giancarlo Mauri, University of Milano-Bicocca, Italy
Alex Graudenzi, University of Milano-Bicocca, Italy
Marzia Di Filippo, University of Milano-Bicocca, Italy
Dario Pescini, University of Milano-Bicocca, Italy
CONTACT
Chiara Damiani, PhD
Department of Informatics, Systems and Communication, University of Milan-Bicocca
mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it>
phone: +39 02 64487918
Chiara Damiani, Ph.D.
Department of Informatics, Systems and Communication
University of Milan Bicocca
Building U14 - Room 1002 - Viale Sarca 336I-20126 - Milan (MI) -
phone: +39 02 64487918
mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it>
Chiara Damiani, Ph.D.
Department of Informatics, Systems and Communication
University of Milan Bicocca
Building U14 - Room 1002 - Viale Sarca 336I-20126 - Milan (MI) -
phone: +39 02 64487918
mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it>
[View Less]
25th IEEE International Conference on
High Performance Computing, Data, and Analytics (HiPC 2018)
December 17-20, 2018
Bengaluru, India
http://www.hipc.org
IMPORTANT DATES FOR HiPC 2018
• Paper Abstract Submission: Monday, *June 18, 2018 (extended)*
• Paper Submission Deadline: Monday, *June 25, 2018 (extended)*
• Author Notifications for Rebuttal: Friday, August 10, 2018
• Author Rebuttal Response Due: Friday, August 24, 2018
• Acceptance/Rejection Notification: Friday, September 7, 2018
• …
[View More]Camera Ready paper Submission Due: Wednesday, October 3, 2018
Full information on what/where to submit is available at
http://hipc.org/call-for-papers/
2018 marks the Silver Anniversary of HiPC as we broaden the technical
program to specifically include topics related to data science. The
conference addresses a broad list of topics in three tracks:
• Algorithms
• Architectures
• Applications
CALL FOR WORKSHOP PAPERS
Complementing the main technical program, HiPC workshops serve to broaden
the technical scope of the conference in emerging areas of high performance
computing, communication, data and analytics and their applications.
Below is the listing of the workshops to be held on the first day of the
conference, December 17.
• Fourth Workshop on Computational Fluid Dynamics (CFD)
• Workshop on Artificial Intelligence Meets Blockchain (AIMB)
• First Workshop on the Convergence of High Performance Computing and
Artificial Intelligence
• Women in Data Science and High Performance Computing
• Parallel Fast Fourier Transforms
See details at http://hipc.org/workshops for workshop paper submission
deadlines and formatting requirements.
------------------------------------------------------------------------------------------------
Follow us on Twitter https://twitter.com/hipcconf
Google+ https://plus.google.com/+HipcOrg
Facebook https://www.facebook.com/hipc.conference/
LinkedIn https://www.linkedin.com/groups/53197/profile
------------------------------------------------------------------------------------------------
[View Less]
************************************************
Call for Papers
PAW-ATM:
Parallel Applications Workshop,
Alternatives To MPI
Held in conjunction with SC 18, Dallas, TX
In cooperation with: IEEE and TCHPC
<http://sourceryinstitute.github.io/PAW/>
************************************************
Summary
As high-performance computing hardware incorporates increasing levels of
heterogeneity, hierarchical organization, and …
[View More]complexity, parallel programming
techniques necessarily grow in complexity or in their ability to abstract
away complexity. The concurrent development of multi- and many-core processors,
deep memory hierarchies, and accelerators and the variety of ways to combine these
makes the low-level language route unmanageable for domain experts tasked with
developing applications. The technologies that a competent developer might be
expected to master and combine include MPI plus CUDA, OpenMP, and OpenACC, most
commonly denoted MPI + X. This approach inherently saddles the developer with
low-level details that might better be handled by high-level abstractions.
Higher-level parallel programming models offer rich sets of abstractions that
feel natural in the intended applications. Such languages and tools include
(Fortran, UPC, Julia), systems for large-scale data processing and analytics
(Spark, Tensorflow, Dask), and frameworks and libraries that extend existing
languages (Charm++, Unified Parallel C++ (UPC++), Coarray C++, HPX, Legion,
Global Arrays). While there are tremendous differences between these
approaches, all strive to support better programmer abstractions for concerns
such as data parallelism, task parallelism, dynamic load balancing, and data
placement across the memory hierarchy.
This workshop will bring together applications experts who will present concrete
practical examples of using such alternatives to MPI in order to illustrate the
benefits of high-level approaches to scalable programming. The workshop expands
upon the two similar workshops, PAW16 and PAW17, by broadening the theme beyond
partitioned global address space languages. We invite you to take part in the
Parallel Applications Workshop, Alternatives To MPI, and to join this vibrant
and diverse community of researchers and developers.
Scope and Aims
The scope of the PAW-ATM workshop is to provide a forum for exhibiting
case studies of higher-level programming models as MPI alternatives in
the context of applications as a means of better understanding applications
of MPI alternatives. We encourage the submission of papers and talks
detailing such applications, including characterizations of scalability
and performance, of expressiveness and programmability, as well as any
downsides or areas for improvement in existing higher-level programming models.
In addition to informing other application programmers about the
potential that is available through MPI alternatives, the workshop is
designed to communicate these experiences to compiler vendors,
library developers, and system architects in order to achieve broader
support for high-level approaches to scalable programming.
We also specifically encourage submissions covering big data
analytics, deep learning, and other novel and emerging application
areas, beyond well-established HPC domains.
Topics include, but are not limited to:
* Novel application development using parallel programming languages.
* Examples that demonstrate performance, compiler
optimization, error checking, and reduced software complexity.
* Applications from big data analytics, bioinformatics, and other
novel areas.
* Performance evaluation of applications developed using MPI alternatives.
* Algorithmic models enabled by high-level parallel abstractions.
* Experience with the use of new compiler and runtime environments.
* Libraries using or supporting MPI alternatives.
* Benefits of hardware abstraction and data
locality on algorithm implementation.
Submissions
Submissions are solicited in two categories:
Full-length papers presenting novel research results:
* Full-length papers will be published in the workshop
proceedings in cooperation with IEEE TCHPC. Submitted papers
must be original work that has not appeared in and is not under
consideration for another conference or a journal. Papers shall
not exceed ten (10) pages including text, appendices,
and figures. Appendix pages related to the reproducibility
initiative not included.
Extended abstracts summarizing published/preliminary results:
* Extended abstracts will be evaluated separately and will
not be included in the published proceedings; they are intended
for timely communications of novel work that is going to be
formally submitted elsewhere at a later stage, and/or of already
published work that is nonetheless deemed appropriate for
dissemination in this venue.
Extended abstracts shall not exceed four (4) pages.
Preferential treatment will be given to full-length paper submissions.
Accepted full-length papers will be given longer presentation
slots at the workshop than the abstract-only option.
Submissions shall be submitted through Linklings
( https://submissions.supercomputing.org ).
Submissions must use 10pt fonts in the IEEE format
( https://www.ieee.org/conferences/publishing/templates.html ).
The page limit (8 pages minimum for publication) includes figures,
tables, and your appendices, but does not include references,
for which there is no page limit. Reproducibility initiative dependencies
(Artifact Description or Computational Results Analysis)
are also not included in the page limit.
PAW-ATM follows the reproducibility initiative of SC18, please refer to
http://sourceryinstitute.github.io/PAW/ for additional information.
WORKSHOP CHAIR
* Karla Morris - Sandia National Laboratory
ORGANIZING COMMITTEE
* Bradford L. Chamberlain - Cray Inc.
* Salvatore Filippone - Cranfield University
* Costin Iancu - Lawrence Berkeley National Laboratory
PROGRAM COMMITTEE CHAIR
* Bill Long - Cray Inc.
PROGRAM COMMITTEE
* Bradford L. Chamberlain - Cray Inc.
* Valentin Churavy - Massachusetts Institute of Technology
* Salvatore Filippone - Cranfield University, UK
* Alex Gittens - Rensselaer Polytechnic Institute
* Costin Iancu - Lawrence Berkeley National Laboratory
* Hartmut Kaiser - Louisiana State University
* Laxmikant Kale - University of Illinois
* Seung-Hwan Lim - Oak Ridge National Laboratory
* Bill Long - Cray Inc.
* Karla Morris - Sandia National Laboratories
* Mitsuhisa Sato - RIKEN Advanced Institute for Computational Science
* Sean Treichler - NVIDIA
* Jeremiah J. Wilke - Sandia National Laboratories
ADVISORY COMMITTEE
* Damian W. I. Rouson - Sourcery Institute
* Katherine A. Yelick - Lawrence Berkeley National Laboratory
IMPORTANT DATES:
* Submission Deadline: July 31, 2018
* Author Notification: September 1, 2018
* Camera Ready: October 1, 2018
* Workshop Date: November 11--16, 2018
[View Less]
*Apologies if you receive multiple copies of this call for papers*
Call for Papers
Established in 1992, ICPADS has been a major international forum for
scientists and engineers to exchange and share new ideas and their latest
research results regarding systems that are inherently parallel and/or
distributed. The 24th IEEE International Conference on Parallel and
Distributed Systems (ICPADS 2018) will be held in Singapore in December
2018. The conference provides an international forum for …
[View More]scientists,
engineers and users to exchange and share their experiences, new ideas, and
latest research results on all aspects of parallel and distributed systems.
Contributions are solicited in all areas of parallel and distributed
systems research and applications. Singapore is a global city and thriving
international financial hub attracting international tech companies and is
accompanied by a vibrant and successful start-up culture. Related to
ICPADS, Singapore’s Smart Nation uses technology to provide a smart
infrastructure that enables visitors to enjoy its many sites and
attractions in a safe, clean and green environment.
Topics of Interest
Original, unpublished contributions are solicited covering the general
aspects of parallel and distributed systems. Topics of interest include,
but are not limited to:
· Parallel and Distributed Applications and Algorithms
· Cloud OS, Middleware, Toolkits, and Applications
· Data Intensive Computing and Data Centre Architecture
· Big Data Platforms
· High Performance Computational Biology and Bioinformatics
· Power-Aware and Green Computing
· Security and Privacy
· Dependable and Trustworthy Computing and Systems
· Internet of Things
· Fog/Edge Computing
· Cyber-Physical Systems and Sensor Networks
· Embedded systems
· Real-Time and Multimedia Systems
· Operating Systems, Distributed and Parallel Systems
· Communication and Networking Systems
· Ubiquitous and Mobile Computing
· Peer-to-Peer Computing
· Multi-Core and Multithreaded Architectures
· Virtualization Techniques
· Resource Provision, Management, and Scheduling
· Cluster and Grid Computing
· Web-Based Computing and Service-oriented Architecture
· Performance Modelling and Evaluation
Submission (https://easychair.org/conferences/?conf=icpads2018)
Papers must be unpublished and must not be submitted for publication
elsewhere. All papers will be reviewed by Program Committee members and
other experts active in the field to ensure high quality and relevance to
the conference. Submissions should include author information, abstract,
5-10 keywords, and be in PDF format. Each submission must not exceed 10
pages in the IEEE 8.5" x 11" two-column format with 10 point font,
including tables, figures and references. The final version will be limited
to 8 pages in IEEE proceeding format for conference papers. Up to 2 extra
pages may be purchased. Each submission should be regarded as an
undertaking that, should the submission be accepted, at least one of the
authors must register the paper and attend the conference to present the
work in order for the accepted paper to be included into the IEEE digital
library. Papers accepted for ICPADS 2018 conference will be published by
the IEEE Computer Society Press. All accepted papers will be included in
IEEE Xplore and indexed by EI. Best Paper Award will be presented in the
conference.
Important Dates
· *On-line submission system open:* 20 May, 2018
· *Deadline for paper submissions:* 13 July, 2018
· *Notification of paper acceptance:* 01 September, 2018
· *Deadline of camera-ready version:* 25 September, 2018
[View Less]
Call for Papers
---
PBio 2018, EuroMPI Workshop: 6th International Workshop on Parallelism
in Bioinformatics
+
In-Cooperation with ACM SIGHPC
+
Proceedings published by ACM Digital Library within its International
Conference Proceedings Series (ICPS)
+
Special Issue in the Journal of Supercomputing (Springer, Impact Factor:
1.326, Quartile Q2, ISSN: 0920-8542)
---
SUBMISSION DEADLINE: 15 JUNE 2018 (EXTENDED)
http://arco.unex.es/mavega/pbio/2018/
VENUE: Barcelona, Spain, 23 September 2018
…
[View More]
We seek original, high-quality research papers, clearly focused on the
application of Parallelism to any possible Bioinformatics problem. In
particular, contributions are solicited on, but are not limited to, the
following topics:
- Parallel and distributed algorithms in Bioinformatics.
- Workload partitioning strategies in Bioinformatics.
- Memory-efficient algorithms in Bioinformatics.
- Parallel tools and applications in Bioinformatics.
- Data-intensive Bioinformatics (including Big Data storage and processing).
- Multicore computing in Bioinformatics.
- Multithreaded computing in Bioinformatics.
- Cluster computing in Bioinformatics.
- Supercomputing in Bioinformatics.
- Cloud/Grid/P2P computing in Bioinformatics.
- Volunteer computing in Bioinformatics.
- Hardware accelerators (GPUs, FPGAs, etc.) in Bioinformatics.
- Heterogeneous computing in Bioinformatics.
- Green computing in Bioinformatics.
- Mobile computing in Bioinformatics.
- Emerging parallel programming models in Bioinformatics.
- Parallel performance evaluation, analysis, and optimization in
Bioinformatics.
- Parallel visualization, modelling, simulation, and exploration in
Bioinformatics.
With regard to the Bioinformatics problems, many different alternatives
exist: bioinformatics applied to biomedicine and drug design; biological
sequence analysis, comparison and alignment; motif, gene and signal
recognition/discovery; molecular evolution; phylogenetics and
phylogenomics; determination or prediction of the structure of RNA and
protein; DNA twisting and folding; gene expression and gene regulatory
networks; deduction of metabolic pathways; microarray design and
analysis; proteomics; functional genomics; molecular docking; design of
DNA sequences for molecular computing; etc.
All the details (paper format, submission system, important dates, etc.) at:
http://arco.unex.es/mavega/pbio/2018/
---
Kind regards.
--
-------------------------------------------------
Dr. Miguel A. Vega-Rodriguez <mavega(a)unex.es>
http://arco.unex.es/mavega
ARCO Research Group
University of Extremadura
Dept. Technologies of Computers & Communications
Escuela Politecnica. Campus Universitario, s/n
10003 Caceres. SPAIN
Tel: +34-927-257263
Fax: +34-927-257187
-------------------------------------------------
[View Less]
[Apologies for multiple copies]
FROM 2018 - First Call for Participation
WORKING FORMAL METHODS SYMPOSIUM (FROM)
http://fmse.info.uaic.ro/event/from-2018/
18 - 20 June 2018
Faculty of Computer Science
Alexandru Ioan Cuza University
Iasi, Romania
*** New ***
We included in the program of the conference a new category, short
contributions, where submissions may describe work in progress or PhD
progress/research reports. We still have 3-4 slots available for this
category. If …
[View More]you are interested in giving a short talk, please submit an
abstract of at most 2 pages using Easychair:
https://easychair.org/conferences/?conf=from2018
Deadline for submitting short contributions: June 6, 2018
Notification: June 8, 2018
*** Attendance ***
Everyone is welcome to attend. Registration is required and the
deadline is June 15.
Please register on the FROM 2018 webpage:
https://fmse.info.uaic.ro/from-2018-registration/
*** About ***
The Working Formal Methods Symposium (FROM) aims to bring together
researchers and practitioners who work on formal methods by
contributing new theoretical results, methods, techniques, and
frameworks, and/or make the formal methods to work by creating or
using software tools that apply theoretical contributions.
*** Invited speakers ***
Călin Belta, Boston University, US. Formal Synthesis of Control Strategies
for Dynamical Systems
Radu Călinescu, University of York, UK. Observation-enhanced stochastic
modelling
Cătălin Dima, Universite Paris-Est Creteil, France. Bisimulations for
logics for strategies
Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania.
TBA
Radu Grigore, School of Computing University of Kent, UK. Selective
Monitoring
Cătălin Hriţcu, INRIA Paris, France. Formally Secure Compilation
Mircea Marin, West University of Timișoara, Romania. Unification and
matching in unranked term algebras with regular expression
sorts
Grigore Roşu, University of Illinois at Urbana-Champaign, US. Formal
Design, Implementation and Verification of Blockchain Languages
and Virtual Machines
Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany. On
Symbol Elimination in Theory Extensions and Applications
Gheorghe Ștefănescu, University of Bucharest, Romania. Adaptive virtual
organisms: A compositional model for hardware-software binding in the IoT
era
*** Accepted papers ***
Bogdan Aman and Gabriel Ciobanu. Timed Migration with Costs in Distributed
Systems
Ruxandra Stoean. Machine Learning and Formal Methods or the Ballad of East
and West
Gabriel Ciobanu and Eneia Nicolae Todoran. Continuation Semantics for
Concurrent Languages
Stefan Popescu. Solving a variant of the 2-D pattern matching problem using
Networks of Polarized Evolutionary Picture Processors with a restriction in
polarity.
Vlad Rusu. Compositional Verification of Reachability-Logic Properties on
Reachability-Logic Specifications
Georgiana Caltais and Mohammadreza Mousavi. Encoding Causality via Modal
Formulae
Denisa Diaconescu. Bisimulations in many-valued modal logics
Andrei Alexandru and Gabriel Ciobanu. Infinite Sets in Fraenkel-Mostowski
Theory
Ioana Leustean and Natalia Moangă. A many-sorted polyadic modal logic
Andrei Arusoaie. Unification in Matching Logic
Ioana Leuștean and Traian Florin Serbanuta. An operational-semantics-based
approach to program verification using dynamic logic
Short Contributions:
Ana Turlea, Raluca Lefticaru and Felician Campean. Search based Model in
the Loop Testing for Cyber Physical Systems
We gratefully acknowledge financial support from Amazon’s Development
Center in Iasi and Continental Automotive in Iasi.
Laurențiu Leuștean, co-chair FROM 2018
Dorel Lucanu, co-chair FROM 2018
[View Less]