We apologize if you receive multiple copies of this notice.
-----------------------------------------------------------------------------
ScalA’17: 8th Workshop on Latest Advances in
Scalable Algorithms for Large-Scale Systems
held in conjunction with the
SC17: The International Conference on High Performance
Computing, Networking, Storage and Analysis
in cooperation with ACM SIGHPC
November 13, 2017, Denver, CO, USA
<http://www.csm.ornl.gov/srt/conferences/Scala/2017>
Novel scalable scientific algorithms are needed in order to enable key
science applications to exploit the computational power of large-scale
systems. This is especially true for the current tier of leading petascale
machines and the road to exascale computing as HPC systems continue to scale
up in compute node and processor core count. These extreme-scale systems
require novel scientific algorithms to hide network and memory latency, have
very high computation/communication overlap, have minimal communication, and
have no synchronization points.
Scientific algorithms for multi-petaflop and exa-flop systems also need to be
fault tolerant and fault resilient, since the probability of faults increases
with scale. Resilience at the system software and at the algorithmic level is
needed as a crosscutting effort. Finally, with the advent of heterogeneous
compute nodes that employ standard processors as well as GPGPUs, scientific
algorithms need to match these architectures to extract the most performance.
This includes different system-specific levels of parallelism as well as
co-scheduling of computation. Key science applications require novel
mathematical models and system software that address the scalability and
resilience challenges of current- and future-generation extreme-scale HPC
systems.
Submission Guidelines
Authors are invited to submit manuscripts in English structured as technical
papers not exceeding 8 letter size (8.5in x 11in) pages including figures,
tables, and references using the ACM format for conference proceedings.
Submissions not conforming to these guidelines may be returned without
review. Reference style files are available at
<http://www.acm.org/sigs/publications/proceedings-templates>.
All manuscripts will be reviewed and judged on correctness, originality,
technical strength, and significance, quality of presentation, and interest
and relevance to the workshop attendees. 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. At least one author of an accepted paper must register for
and attend the workshop. Authors may contact the workshop program chair for
more information. Papers should be submitted electronically at:
<https://easychair.org/conferences/?conf=scala17>.
Full papers will be published with the SC'17 workshop proceedings in the ACM
Digital Library and IEEE Xplore. Selected papers will be invited for an
extended version in a special issue of the Journal of Computational Science
(JoCS).
Important Dates
- Full paper submission: August 28, 2017
- Notification of acceptance: September 11, 2017
- Final paper submission (firm): October 9, 2017
- Workshop/conference early registration: TBD
- Workshop: November 13, 2017
Topics of interest include, but are not limited to:
- Novel scientific algorithms that improve performance, scalability,
resilience, and power efficiency
- Porting scientific algorithms and applications to many-core and
heterogeneous architectures
- Performance and resilience limitations of scientific algorithms and
applications at scale
- Crosscutting approaches (system software and applications) in addressing
scalability challenges
- Scientific algorithms that can exploit extreme concurrency (e.g. 1 billion
for exascale by 2020)
- Naturally fault tolerant, self-healing, or fault oblivious scientific
algorithms
- Programming model and system software support for algorithm scalability and
resilience
Workshop Chairs
- Vassil Alexandrov, Barcelona Supercomputing Center, Spain
- Al Geist, Oak Ridge National Laboratory, USA
- Jack Dongarra, University of Tennessee, Knoxville, USA
Workshop Program Chair
- Christian Engelmann, Oak Ridge National Laboratory, USA
Program Committee
- Vassil Alexandrov, Barcelona Supercomputing Center, Spain
- Hartwig Anzt, University of Tennessee, Knoxville, USA
- Rick Archibald, Oak Ridge National Laboratory, USA
- Franck Cappello, Argonne National Laboratory and
University of Illinois at Urbana Champaign, USA
- Zizhong Chen, University of California, Riverside, USA
- James Elliott, Sandia National Laboratories, USA
- Nahid Emad, University of Versailles SQ, France
- Christian Engelmann, Oak Ridge National Laboratory, USA
- Wilfried Gansterer, University of Vienna, Austria
- Michael Heroux, Sandia National Laboratories, USA
- Kirk E. Jordan, IBM T.J. Watson Research, USA
- Dieter Kranzlmueller, Ludwig-Maximilians-University Munich, Germany
- Ignacio Laguna, Lawrence Livermore National Laboratory, USA
- Piotr Luszczek, University of Tennessee, Knoxville, USA
- Michael Mascagni, Florida State University, USA
- Ron Perrot, University of Oxford, UK
- Yves Robert, ENS Lyon, France
- Stuart Slattery, Oak Ridge National Laboratory, USA
- Keita Teranishi, Sandia National Laboratories, USA
--
Christian Engelmann, Ph.D.
R&D Staff Scientist
Computer Science Research Group
Computer Science and Mathematics Division
Oak Ridge National Laboratory
Mail: P.O. Box 2008, Oak Ridge, TN 37831-6173, USA
Phone: +1 (865) 574-3132 / Fax: +1 (865) 576-5491
e-Mail: engelmannc(a)ornl.gov / Home: www.christian-engelmann.info
We apologize if you receive multiple copies of this call for papers.
--------------------------------------------------------------------------------
10th Workshop on Resiliency in High Performance Computing (Resilience)
in Clusters, Clouds, and Grids
<http://www.csm.ornl.gov/srt/conferences/Resilience/2017>
in conjunction with
the 23rd International European Conference on Parallel and Distributed
Computing (Euro-Par), Santiago de Compostela, Spain,
August 28 - September 1, 2017
<http://europar2017.usc.es>
Overview:
Resilience is a critical challenge as high performance computing (HPC)
systems continue to increase component counts, individual component
reliability decreases (such as due to shrinking process technology and
near-threshold voltage (NTV) operation), and software complexity increases.
Application correctness and execution efficiency, in spite of frequent
faults, errors, and failures, is essential to ensure the success of the
extreme-scale HPC systems, cluster computing environments, Grid computing
infrastructures, and Cloud computing services.
While a fault (e.g., a bug or stuck bit) is the cause of an error, its
manifestation as a state change is considered an error (e.g., a bad value
or incorrect execution), and the transition to an incorrect service is
observed as a failure (e.g., an application abort or system crash). A
failure in a computing system is typically observed through an application
abort or a full/partial service or system outage. A detectable correctable
error is often transparently handled by hardware, such as a single bit flip
in memory that is protected with single-error correction double-error
detection (SECDED) error correcting code (ECC). A detectable uncorrectable
error (DUE) typically results in a failure, such as multiple bit flips in
the same addressable word that escape SECDED ECC correction, but not
detection, and ultimately cause an application abort. An undetectable error
(UE) may result in silent data corruption (SDC), e.g., an incorrect
application output. There are many other types of hardware and software
faults, errors, and failures in computing systems.
Resilience for HPC systems encompasses a wide spectrum of fundamental and
applied research and development, including theoretical foundations, fault
detection and prediction, monitoring and control, end-to-end data integrity,
enabling infrastructure, and resilient solvers and algorithm-based fault
tolerance. This workshop brings together experts in the community to further
research and development in HPC resilience and to facilitate exchanges
across the computational paradigms of extreme-scale HPC, cluster computing,
Grid computing, and Cloud computing.
Submission Guidelines:
Authors are invited to submit papers electronically in English in PDF
format. Submitted manuscripts should be structured as technical papers and
BETWEEN 10 AND 12 PAGES, including figures, tables and references, using
Springer's Lecture Notes in Computer Science (LNCS) format at
<http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>. Papers with
less than 10 or more than 12 pages will not be accepted due to publisher
guidelines. Submissions should include abstract, key words and the e-mail
address of the corresponding author. Papers not conforming to these
guidelines may be returned without review. All manuscripts will be reviewed
and will be judged on correctness, originality, technical strength,
significance, quality of presentation, and interest and relevance to the
conference attendees. 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 or not
appropriately structured may also not be considered. The proceedings
will be published in Springer's LNCS as post-conference proceedings. At
least one author of an accepted paper must register for and attend the
workshop for inclusion in the proceedings. Authors may contact the workshop
program chairs for more information.
Important websites:
- Resilience 2017 Website: <http://www.csm.ornl.gov/srt/conferences/Resilience/2017>
- Resilience 2017 Submissions: <https://easychair.org/conferences/?conf=europar2017workshops>
- Euro-Par 2017 website: <http://europar2017.usc.es>
Topics of interest include, but are not limited to:
- Theoretical foundations for resilience:
- Metrics and measurement
- Statistics and optimization
- Simulation and emulation
- Formal methods
- Efficiency modeling and uncertainty quantification
- Fault detection and prediction:
- Statistical analyses
- Machine learning
- Anomaly detection
- Data and information collection
- Visualization
- Monitoring and control for resilience:
- Platform and application monitoring
- Response and recovery
- RAS theory and performability
- Application and platform knobs
- Tunable fidelity and quality of service
- End-to-end data integrity:
- Fault tolerant design
- Degraded modes
- Forward migration and verification
- Fault injection
- Soft errors
- Silent data corruption
- Enabling infrastructure for resilience:
- RAS systems
- System software and middleware
- Programming models
- Tools
- Next-generation architectures
- Resilient solvers and algorithm-based fault tolerance:
- Algorithmic detection and correction of hard and soft faults
- Resilient algorithms
- Fault tolerant numerical methods
- Robust iterative algorithms
- Scalability of resilient solvers and algorithm-based fault tolerance
Important Dates:
- Workshop papers due: May 5, 2017
- Workshop author notification: June 16, 2017
- Workshop early registration: TBD
- Workshop paper (for informal workshop proceedings): July 21, 2017
- Workshop camera-ready papers: October 3, 2017
General Co-Chairs:
- Stephen L. Scott
Senior Research Scientist - Systems Research Team
Tennessee Tech University and Oak Ridge National Laboratory, USA
scottsl(a)ornl.gov
- Chokchai (Box) Leangsuksun,
SWEPCO Endowed Associate Professor of Computer Science
Louisiana Tech University, USA
box(a)latech.edu
Program Co-Chairs:
- Patrick G. Bridges
University of New Mexico, USA
bridges(a)cs.unm.edu
- Christian Engelmann
Oak Ridge National Laboratory , USA
engelmannc(a)ornl.gov
Program Committee:
- Ferrol Aderholdt, Oak Ridge National Laboratory, USA
- Dorian Arnold, University of New Mexico, USA
- Rizwan Ashraf, Oak Ridge National Laboratory, USA
- Wesley Bland, Intel Corporation, USA
- Hans-Joachim Bungartz, Technical University of Munich, Germany
- Franck Cappello, Argonne National Laboratory and
University of Illinois at Urbana-Champaign, USA
- Marc Casas, Barcelona Supercomputer Center, Spain
- Zizhong Chen, University of California at Riverside, USA
- Robert Clay, Sandia National Laboratories, USA
- Miguel Correia, Universidade de Lisboa, Portugal
- Nathan DeBardeleben, Los Alamos National Laboratory, USA
- James Elliott, Sandia National Laboratories, USA
- Kurt Ferreira, Sandia National Laboratories, USA
- Michael Heroux, Sandia National Laboratories, USA
- Saurabh Hukerikar, Oak Ridge National Laboratory, USA
- Dieter Kranzlmueller, Ludwig-Maximilians University of Munich, Germany
- Sriram Krishnamoorthy, Pacific Northwest National Laboratory, USA
- Ignacio Laguna, Lawrence Livermore National Laboratory, USA
- Scott Levy, University of New Mexico, USA
- Kathryn Mohror, Lawrence Livermore National Laboratory, USA
- Christine Morin, INRIA Rennes, France
- Dirk Pflueger, University of Stuttgart, Germany
- Nageswara Rao, Oak Ridge National Laboratory, USA
- Alexander Reinefeld, Zuse Institute Berlin, Germany
- Rolf Riesen, Intel Corporation, USA
- Yves Robert, ENS Lyon, France
- Thomas Ropars, Universite Grenoble Alpes, France
- Martin Schulz, Lawrence Livermore National Laboratory, USA
- Keita Teranishi, Sandia National Laboratories, USA
--
Christian Engelmann, Ph.D.
R&D Staff Scientist
Computer Science Research Group
Computer Science and Mathematics Division
Oak Ridge National Laboratory
Mail: P.O. Box 2008, Oak Ridge, TN 37831-6173, USA
Phone: +1 (865) 574-3132 / Fax: +1 (865) 576-5491
e-Mail: engelmannc(a)ornl.gov / Home: www.christian-engelmann.info
We would like to invite you to submit your paper/poster/demo proposals for
the *Mediterranean Congress of Telecommunications 2019 (IEEE Conference) * that
will take place on *24th -26th October, 2019 in Fez, Morocco.*
The 7th Mediterranean Congress of Telecommunications "CMT’2019" is
dedicated to provide a platform for academic researchers and industry to
exchange and share new technologies and trends in the field of
Telecommunications and ICT.
The three days congress will address through posters and presentations
several current topics in the field of Information and Communication
Technologies (ICTs) and their applications. One third of the presentations
will be related to the current socio-economic sector problems. Invited
guest speakers will also give lectures in cutting edge technologies during
the event.
The "CMT’2019" edition will take place at the National School of Applied
Sciences ENSA of Fez. This edition is organized by the Transmission and
Information Processing Laboratory (LTTI) and The Computer Science and
Interdisciplinary Physics Laboratory (LIPI) in collaboration with the
Moroccan Association for Information Technlology (AMTI).
*Important Dates: *
*· Paper submission deadline: May 31 , 2019*
*· Notification of acceptance : June 30, 2019*
*· Camera Ready submission : July 31, 2019*
*· Conference date : October 24 -26 , 2019*
Complete details are available on the conference website :
www.ensaf.ac.ma/CMT2019
All accepted and presented papers will be published in the conference
proceedings and indexed by *IEEE Xplore Digital Library and Scopus. *
Looking forward to your contributions.
Best Regards,
** ACM Q2SWinet 2019 **
[aplogies if you receive multiple copies of this CFP]
**************************************************************
CALL FOR PAPERS
The 15th ACM* Symposium on QoS and Security
for Wireless Mobile Networks
(ACM Q2SWinet 2019)
Nov. 25th-29th, 2019 in Miami Beach, USA
http://q2swinet.com/2019/
*Pending Upon Approval
**************************************************************
SCOPE AND OVERVIEW
------------------
In recent years, wireless and mobile communication systems have become
increasingly popular as an inexpensive and promising means for ubiquitous
communications. In this scenario, the QoS provisioning and the management of
network security have become crucial tasks to determine the success of
future generation wireless mobile networks. This symposium calls for
cutting-edge research achievements on the provisioning of QoS and Security
in wireless and mobile networks. It also aims at increasing the synergy
between academic and industry professionals working in this area.
Authors are encouraged to submit complete papers presenting new research
related to theory or practice of all aspects of Quality of Service and
Security issues in mobile and wireless systems. Topics of interest for ACM
Q2SWinet 2018 include, but are not limited to:
- QoS for wireless networks,
- Intrusion detection in wireless ad hoc and sensor networks
- Privacy and authentication
- QoS for wireless multimedia systems, VoIP QoS
- Quality of control of wireless networks
- Power and energy management
- Wireless video surveillance networks
- QoS in the Wireless Internet
- QoS and Routing
- QoS Metrics
- QoS of Wireless Network Services
- Wireless Network Survivability
- QoS and Reliability
- Image Quality in Wireless Video-Surveillance Networks
- QoS provisioning in wireless multmedia systems.
- Wireless and mobile systems and applications
- Performance Modeling and Simulation Techniques
PAPER SUBMISSION AND PUBLICATION
--------------------------------
Papers should neither have been published elsewhere nor being currently
under review by another conference or journal. The maximum page limit for
regular papers is 10 pages, double column, and must strictly adhere to the
ACM template format:
https://www.acm.org/publications/proceedings-template
Guidelines on paper submission and formatting are available at:
http://q2swinet.com/2018/call-for-papers.html
Submission is managed electronically through EDAS:
http://edas.info/N25799
(please select Regular papers)
At least one author of each accepted paper must be registered for the
symposium in order for that paper to appear in the ACM proceedings and to be
scheduled for presentation. Furthermore, authors of accepted papers must
guarantee that their paper will be presented at the Symposium.
SPECIAL ISSUE
---------------
Best accepted papers will be selected for submission to a special issue of
Springer Computing journal (https://www.springer.com/computer/journal/607).
IMPORTANT DATES
---------------
Paper submission: June 15th, 2019
Acceptance Notification: July 30th, 2019
ORGANIZING COMMITTEE
--------------------
General Chair
- Geyong Min, University of Exeter, UK
Technical Program Committee Chair
- Ahmed Mostefaoui, University of Burgundy-Franche-Comte, France
Program commitee
- Rasool Asal, Chief Researcher at British Telecommunications Research and
Innovation, UK
- Raffaele Bruno, IIT-CNR, Italy
- Anthony Busson, Université Claude Bernard Lyon 1, France
- Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece
- Richard Chbeir, LIUPPA, University of Pau et Pays de l'Adour, France
- Stefano Chessa, University of Pisa, Italy
- Samir Chouali, University of Burgundy-Franche-Comte, France
- Marilia Curado, University of Coimbra, Portugal
- Ernesto Damiani, University of Milan, Italy
- Claudio Farias, Universidade Federal do Rio de Janeiro, Brazil
- Luca Foschini, University of Bologna, Italy
- Rosario Garroppo, University of Pisa, Italy
- Gabriele Giannini, Università degli Studi di Milano, Italy
- Peter Pocta, University of Zilina, Slovakia
- Stefano Secci, CNAM, France
- Paul Yoo, CEWIC, Cranfield University, Defence Academy of the United
Kingdom, Shrivenham, UK
Call for papers
The 14th International Conference on Risks and Security of Internet and
Systems (CRiSIS)
29-31 October 2019, Hammamet, Tunisia
http://crisis2019.redcad.org
The International Conference on Risks and Security of Internet and Systems
2019 will be the 14th in a series dedicated to security issues in
Internet-related applications, networks and systems. Internet has become
essential for the exchange of information between user groups and
organizations from different backgrounds and with different needs and
objectives. These users are exposed to increasing risks regarding security
and privacy, due to the development of more and more sophisticated online
attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack
motivation and they are more and more experienced. To make matters worse,
for performing attacks have become easily accessible. Moreover, the
increasing complexity as well as the immaturity of new technologies such as
pervasive, mobile and wireless devices and networks, raise new security
challenges.
In this context, new security mechanisms and techniques should be deployed
to achieve an assurance level acceptable for critical domains such as
energy, transportation, health, defence, banking, critical infrastructures,
embedded systems and networks, avionics systems, etc. The CRiSIS conference
offers a remarkable forum for computer and network security actors
from industry, academia and government to meet, exchange ideas and present
recent advances on Internet-related security threats and vulnerabilities,
and on the solutions that are needed to counter them.
=== TOPICS ===
The topics addressed by CRiSIS range from the analysis of risks, attacks to
networks and system survivability, to security models, security mechanisms
and privacy enhancing technologies. The authors are invited to submit
research results as well as practical experiment or deployment reports.
Industrial papers about applications or case studies are also welcomed in
different domains (e.g., telemedicine, banking, e-government, e-learning,
e-commerce, critical infrastructures, mobile networks, embedded
applications, etc.). The list of topics includes but is not limited to:
- Analysis and management of risk
- Attacks and defenses
- Attack data acquisition and network monitoring
- Cryptography, biometrics, watermarking
- Dependability and fault tolerance of Internet applications
- Distributed systems security and safety
- Embedded system security and safety
- Empirical methods for security and risk evaluation
- Hardware-based security and physical security
- Intrusion detection and prevention systems
- Organizational, ethical and legal issues
- Privacy protection and anonymization
- Risk-aware access and usage control
- Security and risk assessment
- Security and risks metrics
- Security and dependability of operating systems
- Security and safety of critical infrastructures
- Security and privacy of peer-to-peer system
- Security and privacy of wireless networks
- Security models and security policies
- Security of new generation networks, security of VoIP and multimedia
- Security of e-commerce, electronic voting and database systems
- Security of social networks
- Security of industrial control systems
- Smartphone security and privacy
- Traceability, metrology and forensics
- Trust management
- Use of smart cards and personal devices for Internet applications
- Web and cloud security
=== PAPER SUBMISSION ===
Submitted papers must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a conference
with proceedings. Papers must be written in English and must be submitted
electronically in PDF format.
The papers that will be selected for presentation at the conference will be
included in post-proceedings published by Springer in the Lecture Notes in
Computer Science (LNCS) series (prior to publication the papers should be
revised according to the review comments). Pre-proceedings will appear at
the time of the conference.
Maximum paper length will be 16 printed pages for full papers or 6 pages
for short papers, in LNCS style (
http://www.springer.de/comp/lncs/authors.html).
Authors of accepted papers must guarantee that their papers will be
presented at the conference.
All paper submissions will be handled through the Easy Chair conference
management system: https://easychair.org/conferences/?conf=crisis2019
=== IMPORTANT DATES ===
- Submission deadline: June 09, 2019
- Notification to authors: July 20, 2019
- Camera-ready versions: September 22, 2019
- Conference dates: October 29-31, 2019
=== GENERAL CHAIRS ===
Nora Cuppens, IMT Atlantique, France
Ahmed Hadj Kacem, University of Sfax, Tunisia
=== PC CHAIRS ===
Frédéric Cuppens, IMT Atlantique, France
Slim Kallel, University of Sfax, Tunisia
=== PUBLICATION CHAIRS ===
Nora Cuppens, IMT Atlantique, France
Mohamed Mosbah, Bordeaux INP, France
=== PUBLICITY CHAIRS ===
Saoussen Cheikhrouhou, University of Sfax, Tunisia
Reda Yaich, IRT SystemX, France
=== LOCAL ORGANISATION COMMITTEE===
Nesrine Khabou, University of Sfax, Tunisia
Fairouz Fakhfekh, University of Sfax, Tunisia
Riadh Ben Halima, University of Sfax, Tunisia
Ismail Bouassida, University of Sfax, Tunisia
Hatem Hadj Kacem, University of Sfax, Tunisia
=== PROGRAM COMMITTEE(to be completed) ===
Takoua Abdellatif, University of Carthage, Tunisia
Esma Aimeur, University of Montreal, Canada
Abderrahim Ait Wakrime, IRT Railenium, France
Jocelyn Aubert, University of Luxembourg, Luxembourg
Anis Bkakria, University of Bretagne Loire, France
Nora Cuppens-Boulahia, University of Bretagne Loire, France
Frédéric Cuppens, University of Bretagne Loire, France
Bogdan Groza, Politehnica University of Timisoara, Romania
Wided Guedria, Luxembourg Institute of Science and Technology, Luxembourg
Christos Kalloniatis, University of the Aegean, Greece
Sokratis Katsikas, Norwegian University of Science and Technology, Norway
Igor Kotenko, St. Petersburg Institute for Informatics and Automation,
Russia
Marc Lacoste, Orange labs, France
Jean-Louis Lanet, LHS Rennes, France
Mohamed Mosbah, University of Bordeaux, France
Raja Natarajan, Tata Institute of Fundamental Research, India
Roberto Di Pietro, Hamad Bin Khalifa University, Qatar
Kai Rannenberg, Goethe University Frankfurt, Germany
Michael Rusinowitch, Lorraine University, France
Ketil Stoelen, University of Oslo, Norway
Akka Zemmari, Université of Bordeaux, France
Lingyu Wang, Concordia University, Canada
** 1st Model-driven Simulation and Training Environments for Cybersecurity
Workshop **
****************************************************************************
************
1st Model-driven Simulation and Training Environments for Cybersecurity
Workshop (MSTEC)
within The European Symposium on Research in Computer Security (ESORICS
2019)
Luxembourg - September 27, 2019
https://www.threat-arrest.eu/html/mstec/
****************************************************************************
************
**** Abstract ****
The 1st Model-driven Simulation and Training Environments for Cybersecurity
(MSTEC) addresses recent advances in the field of cyber modeling and
simulation. It is aimed at providing a forum of practitioners and
researchers to discuss cyber modeling and simulation (M&S) as well as its
application to the development of cyber-security training scenarios and
courses of action (COAs). Specifically, it will focus on the verification
and validation (V&V) process, which provides the operational community with
confidence in knowing that cyber models represent the real world, and will
discuss how defense training may benefit from cyber models. It will also
investigate advances in emulators, simulators and their potential
combination. The workshop papers are expected to take a holistic approach to
the overall system assurance process, presenting advances in the simulation
of people, policies, processes, and technologies currently available in the
field. The workshop aims to connect the multiple threads that currently
compose cyber modelling and simulation into a coherent view of what is
usable in order to train experts and non-computer-savvy users toward and
assured operation of critical systems. The workshop will precede the ESORICS
2019 conference.
MSTEC encourages systems security researchers to share early iterations of
bleeding-edge ideas with the community, before they are further developed
into full papers. Reciprocally, authors receive feedback to help steer and
improve their research to its full potential.
**** Topics of Interest ****
We invite submissions of full research and survey papers as well as posters
on related topics to cybersecurity, including but not limited to:
- Cyber threat and training preparation models
- Cyber models and training design
- Cyber ranges for cybersecurity training and training facility
- Training platforms and evaluation scenarios
- On-line training procedures and courses of action (COAs)
- Training adaptation and training for non-cybersecurity experts
- Gamification and serious games
- Modeling and simulation for cyber training (M&S)
- Simulation and emulation of information systems, networks, and cyber
attacks
- Real-time monitoring and visualization
- System assurance verification and validation (V&V)
In accordance with the spirit of MSTEC, we also seek:
- Quantified or insightful experience with existing systems
- Reproduction or refutation of previous results
- Negative results and early ideas
**** Important dates ****
Paper submission deadline: May 31, 2019 (AoE, UTC-12)
Acceptance notification: June 30, 2019
Final paper due: July 31, 2019
**** Paper submissions ****
Submitted papers must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a
conference/workshop with proceedings. The symposium proceedings will be
published by Springer in the Lecture Notes in Computer Science series
(LNCS).
All submissions should follow the LNCS template (available from
http://www.springer.de/comp/lncs/authors.html) from the time they are
submitted. Submitted papers should be at most 16 pages (using 10-point
font), excluding the bibliography and well-marked appendices, and at most 20
pages total. Committee members are not required to read the appendices, so
the paper should be intelligible without them. All submissions must be
written in English. Submissions are to be made to the submission web site.
Only pdf files will be accepted. Submissions are not anonymous.
Submissions not meeting these guidelines risk rejection without
consideration of their merits. Authors of accepted papers must agree with
Springer LNCS copyright and guarantee that their papers will be presented at
the conference.
Submission website: https://easychair.org/conferences/?conf=esorics19
**** Committee ****
Program Chair
- Sotiris Ioannidis, FORTH, Greece
General Chairs
- Ernesto Damiani, University of Milan, Italy
- Vassilis Prevelakis, Technical University of Braunschweig, Germany
- George Spanoudakis, Sphynx Technology Solutions AG, Switzerland
- Michael Vinov, IBM Israel, Israel
Web Chairs
- Othonas Soultatos, FORTH, Greece
CallforPapers
The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada
http://cs-conferences.acadiau.ca/mobispc-19/
IMPORTANT DATES
- Paper Submission Due: April 30, 2019 (FIRM)
- Acceptance Notification: May 25, 2019
- Final Manuscript Due: June 25, 2019
About
Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications.
MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems.
Publication
All MobiSPC 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<http://www.elsevier.com/> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com/>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com/>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues:
- International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer
(http://www.springer.com/engineering/journal/12652)
- International Journal of Computing and Informatics (IF: 0.504)
(http://www.cai.sk/ojs/index.php/cai/index)
- IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE
(http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645)
MobiSPC 2019 will be held in conjunction with
The 14th International Conference on Future Networks and Communications (FNC'19).
http://cs-conferences.acadiau.ca/fnc-19/
Venue
MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario.
Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world.
Conference Tracks
Component-based IoT
Enabling Technologies and Emerging Topics
Internet of Things (IoT)
Mobile Cloud Computing
Mobile Data Management
Mobile Social Networking
Pervasive Computing
Smart Cities and Ubiquitous Climate Change Management
Smart Communities and Ubiquitous Systems
Mobile Systems and Applications
Committees
General Chair
Hossam Hassanein, Queen's University, Canada
Program Chair
Jamal Bentahar, Concordia University, Canada
Elhadi Shakshuki, Acadia University, Canada
Workshops Chair
Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France
Local Chair
Abdelouahed Gherbi, Quebec University, Canada
Ahsan Habib, Dalhousie University, Canada
Israat Haque, Dalhousie University, Canada
Tracks Chairs
Muhammad Adnan, Hasselt University, Belgium
Longbiao Chen, Xiamen University, China
Carmela Comito, National Research Council of Italy, Italy
Danny Hughes, K. U. Leuven, Belgium
Camille Kamga, The City College of New York, USA
Prashant Kumar, University of Surrey, UK
Hamid Mcheick, UQAC, Canada
Yongrui (Louie) Qin, University of Huddersfield, UK
Rahim Rahmani, Stockholm University, Sweden
Michael Sheng, Macquarie University, Australia
Qussai Yaseen, Jordan University of Science and Technology, Jordan
International Journals Chair
Atta Badii, Reading University, UK
Publicity Chairs
Monika Davidekova, Comenius University, Slovak Republic
B. B. Gupta, National Institute of Technology Kurukshetra, India
Advisory Committee
Abdelfettah Belghith, University of Manouba, Tunisia
Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France
Erol Gelenbe, Imperial College, UK
Vincenzo Loia, University of Salerno, Italy
Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain
Ralf Steinmetz, Technische Universitaet Darmstadt, Germany
Mohamed Younis, University of Maryland Baltimore County, USA
Technical Program Committee
http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees
—Call for papers: 16th International Colloquium on Theoretical Aspects of
Computing (ICTAC 2019).
http://ictac2019.redcad.org
(Apologies if you have received multiple copies of this call for papers)
We are pleased to invite you to submit papers for the 16th International
Colloquium on Theoretical Aspects of Computing (ICTAC 2019), which will be
held from 30th October to 4th November 2019, in Hammamet, Tunisia.
The aim of the colloquium is to bring together practitioners and
researchers from academia, industry and government to present research
results, and exchange experience, ideas, and solutions for their problems
in theoretical aspects of computing.
ICTAC also aims to promote research cooperation between developing and
industrial countries.
The important dates are:
Abstracts 5 May 2019
Papers 12 May 2019
Notification 21 July 2019
Final version 11 August 2019
Conference 30 October to 4 November 2019
Proceedings:
The proceedings will be published as a volume of Springer's LNCS series.
Special issue:
Authors of the best contributions will be invited to submit a revised and
extended version to a special issue, to be published in Elsevier's
Theoretical Computer Science.
Invited Speakers:
Thomas A. Henzinger, Institute of Science and Technology, Austria
Patrick Cousot, Courant Institute of Mathematical Sciences, New York
University, USA
Dominique MÈry, University of Lorraine, France
Topics of interest include, but are not limited to, the following:
Languages and automata
Semantics of programming languages
Logic in computer science
Lambda calculus, type theory and category theory
Domain-specific languages
Theories of concurrency and mobility
Theories of distributed, grid and cloud computing
Models of objects and components
Coordination models
Models of software architectures
Autonomous systems
Timed, hybrid, embedded and cyber-physical systems
Static analysis
Software verification
Software testing
Program generation and transformation
Model checking and automated theorem proving
Interactive theorem proving
Verified software, formalized programming theory
We solicit the following types of papers:
- Regular papers, with original research contributions;
- Short papers, with original work in progress or with proposals of new
ideas and emerging challenges;
- Tool papers, on tools that support formal techniques for software
modeling, system design, and verification.
Submissions must adhere to the LNCS format. Regular papers should not
exceed 18 pages (excluding bibliography of maximum 2 pages).
Short and tool papers should not exceed 10 pages.
Submissions must not have been published or be under consideration for
publication elsewhere.
All submissions will be judged on the basis of originality, contribution to
the field, technical and presentation quality, and relevance to the
conference.
Each paper submission will be reviewed by at least three members of the
Programme Committee.
All contributions to ICTAC 2019 have to be submitted electronically in PDF
format via Easy Chair
(https://easychair.org/conferences/?conf=ictac2019)and have
to follow the Springer LNCS paper format.
One author of each accepted paper must attend the conference to present it,
having paid the regular registration fee.
The ICTAC committee will evaluate and select the best paper award winner.
The winner will receive an award.
Steering Committee:
Ana Cavalcanti (University of York, UK) (chair)
Martin Leucker (Universit‰t zu L¸beck, DE)
Zhiming Liu (Southwest University, CN)
Tobias Nipkow (Technische Universit‰t M¸nchen, DE)
Augusto Sampaio (Universidade Federal de Pernambuco, BR)
Natarajan Shankar (SRI International, US)
General chairs:
Mohamed Jmaiel, University of Sfax, Tunisia
Walid Gaaloul, Paris-Saclay University, France
Programme chairs:
Robert M. Hierons, University of Sheffield, UK
Mohamed Mosbah, LaBRI, Bordeaux INP, FR
Programme Committee (provisional/draft)
Eric Badouel (IRISA, FR)
Kamel Barkaoui (CEDRIC - CNAM, FR)
FrÈdÈric Blanqui (INRIA, FR)
Eduardo Bonelli (Universidad Nacional de Quilmes, AR)
Ana Cavalcanti (University of York, UK)
Uli Fahrenberg (LIX, FR)
Adrian Francalanza (University of Malta, MT)
Ahmed Hadj Kacem (University of Sfax, TN)
Edward Hermann Haeusler (PontifÌcia Universidade CatÛlica do Rio de
Janeiro, BR)
Ross Horne (Nanyang Technological University, SG)
David Janin (University of Bordeaux, FR)
Jan Kretinsky (Technische Universit‰t M¸nchen, DE)
Martin Leucker (Universit‰t zu L¸beck, DE)
Radu Mardare (Aalborg Universitet, DK)
Dominique MÈry (LORIA, FR)
Mohammadreza Mousavi (University of Leicester, UK)
Tobias Nipkow (Technische Universit‰t M¸nchen, DE)
Maciej PirÛg (Wroclaw University, PL)
Sanjiva Prasad (IIT Delhi, IN)
Riadh Robbana (University of Carthage, TN)
Augusto Sampaio (Universidade Federal de Pernambuco, BR)
Georg Struth (University of Sheffield, UK)
Cong Tian (Xidian University, CN)
Tarmo Uustalu (Reykjavik University, IS / Tallinn University of
Technology, EE)
-------------------------------------------------------------------------------------------
DEADLINE EXTENDED: 15 MAY 2019
-------------------------------------------------------------------------------------------
CIBB 2019 - 16th International Conference on Computational Intelligence
methods for Bioinformatics and Biostatistics
Bergamo, Italy, 4-6 September 2019
www.cibb2019.it
The main goal of the 16th edition of the CIBB international conference is
to provide a multi-disciplinary forum open to researchers interested in the
application of computational intelligence, in a broad sense, to open
problems in bioinformatics, biostatistics, systems biology, synthetic
biology, and medical informatics. Cutting edge methodologies capable of
accelerating life science discoveries will be discussed.
Following its tradition and roots, this year's meeting will bring together
researchers from the international scientific community interested in
advancements and future perspectives in bioinformatics and biostatistics.
In addition, looking at current trends and future opportunities at the edge
of computer and life sciences, the application of computational
intelligence to systems and synthetic biology, and the consequent impact on
innovative medicine, will be of great interest for the conference.
Theoretical and experimental biologists are also invited to participate and
present novel challenges to foster multidisciplinary collaborations.
The scientific program of CIBB 2019 will include Keynote Speakers,
tutorials and special sessions. Contributed papers will be presented in
plenary oral sessions, special sessions, or poster sessions.
TOPICS
-----------------------------
Topics of interest include, but are not restricted to:
- Next generation sequencing algorithms
- Multi-omics data analysis
- High dimensional statistical analysis of omics data
- Algorithms for alternative splicing analysis
- Algorithms for molecular evolution and phylogenetic analysis
- Methods for the visualization of high dimensional complex omic data
- Software tools for bioinformatics
- Methods for comparative genomics
- Methods for functional classification of genes
- Methods for unsupervised analysis, validation and visualization of
structures discovered in bio-molecular data
- Health-informatics and medical informatics
- Methods for the integration of clinical and genetic data
- Heterogeneous data integration and data fusion for diagnostics
- Algorithms for pharmacogenomics
- Biomedical text mining and imaging
- Methods for diagnosis and prognosis within personalized medicine
- Statistical methods for the analysis of clinical data
- Prediction of secondary and tertiary protein structures
- Mass spectrometry data analysis in proteomics
- Algorithms for molecular evolution and phylogenetic analysis
- Bio-molecular databases and data mining
- Mathematical modeling and automated reasoning on biological and
synthetic systems
- Computational simulation of biological systems
- Methods and advances in systems biology
- Spatio-temporal analysis of synthetic and biological systems
- Network systems biology
- Models for cell populations and tissues
- Methods for the engineering of synthetic components
- Modeling and engineering of interacting synthetic and biological
systems
- Software tools for bioinformatics, biostatistics, systems and
synthetic biology
SPECIAL SESSIONS
-----------------------------
We are pleased to announce that seven special sessions will take place at
CIBB 2019. Additional information can be found on the website
<http://dinamico2.unibg.it/cazzaniga/cibb2019/specialsessions.html>.
-
Modeling and Simulation Methods for Computational Biology and Systems
Medicine
-
Machine Learning and Computational Intelligence in Multi-omics and
Medical Image Analysis
-
Machine Learning in Healthcare Informatics and Medical Biology
-
Algebraic and Computational Methods for the Study of RNA Behaviour
-
Engineering Bio-interfaces and Rudimentary Cells as a Way to Develop
Synthetic Biology
-
Intelligence Methods for Molecular Characterization and Dynamics in
Translational Medicine
-
Soft Computing Methods for Characterizing Diseases from Omics Data
KEYNOTE SPEAKERS
-----------------------------
Prof. M. Luz Calle, Biosciences Department, University of Vic - Central
University of Catalonia, Spain
Dr. Ana Cvejic, Wellcome Trust Sanger Institute, Cambridge, UK
Prof. Uzay Kaymak, Eindhoven University of Technology, The Netherlands
Title and abstract of the talks can be found on the website
<http://dinamico2.unibg.it/cazzaniga/cibb2019/invited.html>
GENERAL CHAIRS
-----------------------------
Paolo Cazzaniga, Department of Human and Social Sciences, University of
Bergamo, Italy
Ivan Merelli, Institute of Biomedical Technologies, National Research
Council, Italy
Daniela Besozzi, Department of Informatics, Systems and Communication,
University of Milano-Bicocca, Italy
TECHNICAL CHAIR
-----------------------------
Angela Serra, University of Tampere, Finland
LOCAL ORGANIZING COMMITTEE
-----------------------------
Riccardo Dondi, Department of Letters, Philosophy, Communication,
University of Bergamo, IT
Stefano Beretta, Department of Informatics, Systems and Communication,
University of Milano-Bicocca, IT
Marco S. Nobile, Department of Informatics, Systems and Communication,
University of Milano-Bicocca, IT
Dario Pescini, Department of Statistics and Quantitative Methods,
University of Milano-Bicocca, IT
Simone Spolaor, Department of Informatics, Systems and Communication,
University of Milano-Bicocca, IT
IMPORTANT DATES
-----------------------------
Paper submission deadline: 1 May 2019, 15 May 2019
Acceptance notification: 1 June 2019
Camera ready due: 1 July 2019
Author registration due: 31 July 2019
Conference: 4-6 September 2019
SUBMISSION OF PAPERS
-----------------------------
Prospective authors should submit papers prepared according to the
following instructions:
-
Papers should be submitted in PDF format (this is the only accepted
format)
-
Papers length should be at least 4 pages and should not exceed 6 pages
-
We warmly recommend the use of the provided latex template and
instructions
<http://dinamico2.unibg.it/cazzaniga/cibb2019/cibb2019-sample.zip>.
Should this not be possible, authors should reproduce the format and style
of the sample paper available in the latex template folder.
-
Papers should adhere, as much as appropriate, to the following structure
and sections:
1.
Scientific background
2.
Materials and methods
3.
Results
4.
Conclusions
5.
References
The submission website is https://easychair.org/conferences/?conf=cibb2019
PUBLICATION
-----------------------------
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
the paper at the conference.
IMPORTANT: An accepted paper will be published in the proceedings only if
the final camera-ready version is accompanied by the payment of at least
one full registration for one of the authors.
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 also plan 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).