CALL FOR PAPERS
Fifth International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS18)
5-8 November, 2018, Leuven, Belgium.
In conjunction with the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks EUSPN 2018.
http://www.multiagent.fr/Conferences:IFSMS18
<p>The 5th International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS'18) provides an international forum on the latest technologies and research in the field of smart mobility solutions. We are living in a world where cars will soon all be very well-equipped with sensors such as GPS sensors, laser radars, infrared parking sensors, rear dead angle cameras, etc. Besides that, the infrastructure itself is likely to soon exploit technologies currently widely used, like smartphones, navigators and digital radio broadcast. Finally, there have been huge advances on traffic simulation, optimization, intensive computational techniques, distributed computing, data networks, wireless connectivity, and many others. If we combine all of this, there is the richest variety ever of information sources available for smart mobility solutions. The technology is out there, and now it is needed to take firm steps towards wisely combining the sources of information into smart applic
ations that make roads safer and ensure a smooth mobility of individuals.</p>
<p>IFSMS 2018 will be held in Leuven, Belgium (5-8 September 2018) in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2018) http://cs-conferences.acadiau.ca/euspn-18/
-----
Scope
-----
The aim of the proposed workshop is to enhance profitable discussions on what techniques, software, methodologies, transportation and traffic models, and in general, data fusion techniques are being explored for its use for traffic simulation and mobility management and other intelligent transportation system applications for smart mobility.
Topics of interest include (but are not limited to):
- Agent-based modeling and simulation;
- Data fusion and Smart Transportation;
- Models of autonomous cars or flying vehicles/drones for smart transportation;
- Social and emergent behavior in multi-agent systems applied to traffic and transport;
- Implementation Issues (algorithmic issues, real-world computational
demands, real-time constraints in the context of fusion systems for
transportation infrastructures);
- Environmental aware smart data fusion applications;
- Advanced architectures for traffic simulation using data mining as real-world input;
- Calibration and validation of agent-based models for traffic and transportation;
- Role of multi-agent methodologies for complex systems;
- Multi-modal routing of agents in a dynamic traffic environment.
---------------
Important Dates
---------------
- Submission deadline: June 30th, 2018 (extended)
- Notification: August 8th, 2018
- Final date for camera-ready copy: September 8th, 2018
- Workshop: November 5th, 2018 - November 8th, 2018
---------------
Workshop Chairs
---------------
- Ansar-Ul-Haque YASAR (Hasselt University, Belgium)
- Stephane GALLAND (Universite Bourgogne Franche-Comté, France)
Dear colleagues, please accept our apologies for cross-postings.
-----------------------------------------------------------------------------------------------------
C a l l F o r P a p e r s
14th International Workshop on Security and Trust Management (STM 2018)
Barcelona, Spain, September 6-7, 2018
www.nics.uma.es/pub/stm18
co-located with the 23rd European Symposium On Research in Computer
Security (ESORICS 2018)
Full-text paper submission due: June 29, 2018
-----------------------------------------------------------------------------------------------------
CONFERENCE OUTLINE:
===================
STM (Security and Trust Management) is a working group of ERCIM (European
Research Consortium in Informatics and Mathematics). STM 2018 is the
fourteenth workshop in this series and will be held in Barcelona, Spain, in
conjunction with the 23rd European Symposium On Research in Computer
Security (ESORICS 2018). The workshop seeks submissions from academia,
industry, and government presenting novel research on all theoretical and
practical aspects of security and trust in ICTs.
Topics of interest include, but are not limited to:
- Access control
- Anonymity
- Applied cryptography
- Authentication
- Complex systems security
- Data and application security
- Data protection
- Data/system integrity
- Digital rights management
- Economics of security and privacy
- Formal methods for security and trust
- Identity management
- Legal and ethical issues
- Mobile security
- Networked systems security
- Operating systems security
- Privacy
- Security and trust metrics
- Security and trust policies
- Security and trust management architectures
- Security and trust for big data
- Security and trust in cloud environments
- Security and trust in content delivery networks
- Security and trust in crowdsourcing
- Security and trust in grid computing
- Security and trust in the Internet of Things
- Security and trust in pervasive computing
- Security and trust in services
- Security and trust in social networks
- Social implications of security and trust
- Trust assessment and negotiation
- Trust in mobile code
- Trust models
- Trust management policies
- Trust and reputation systems
- Trusted platforms
- Trustworthy systems and user devices
PAPER SUBMISSION:
=================
All submissions should be appropriately anonymized (i.e., papers should not
contain author names or affiliations, or obvious citations). Submissions
should be at most 16 pages in the LNCS format, including the bibliography
and well-marked appendices.
All submissions must be written in English, and only PDF files will be
accepted (a Latex source file will be required for the final version of
accepted papers). The final version of an accepted paper must be in the
format required for publication in the LNCS series.
Submissions not meeting these guidelines risk rejection without
consideration of their merits.
Submissions are to be made to the submission web site at:
https://easychair.org/conferences/?conf=stm2018.
Papers must be received by the deadline of June 29, 2018 (11:59 p.m.
American Samoa time). Authors of accepted papers must guarantee that their
papers will be presented at the workshop. As in previous years, the
proceedings are planned to be published by Springer in the Lecture Notes in
Computer Science (LNCS) series.
A paper submitted to STM 2018 cannot be under review for any other
conference or journal during the time it is being considered for STM 2018.
Furthermore, after you submit to STM 2018, you must await our response
before submitting elsewhere. If you submit your paper to another conference
or journal either before/after submission of the paper to STM 2018, we will
reject your paper without review and will also notify the other
conference/journal. This restriction applies to identical as well as to
substantially similar papers.
IMPORTANT DATES:
================
Paper submission due: June 29, 2018
Notification to authors: July 30, 2018
Camera-ready due: August 6, 2018
Program Chairs:
===============
- Sokratis Katsikas, Open University of Cyprus and Norwegian University of
Science and Technology - NTNU
- Cristina Alcaraz, University of Malaga, Spain
Program Committee:
==================
- Ken Barker, University of Calgary, Canada
- Jorge Cuellar, Siemens AG, Germany
- Sabrina De Capitani di Vimercati, University of Milano, Italy
- Josep Domingo-Ferrer, Universitat Roviro i Virgili, Spain
- Carmen Fernández-Gago, University of Malaga, Spain
- Sara Foresti, Universita degli Studi di Milano, Italy
- Joaquin Garcia-Alfaro, Telecom SudParis, France
- Vasileios Gkioulos, Norwegian University of Science and Technology, Norway
- Ehud Gudes, Ben-Gurion University, Israel
- Nicholas Kolokotronis, University of the Peloponnese, Greece
- Giovanni Livraga, University of Milano, Italy
- Fabio Martinelli, IIT-CNR, Italy
- Sjouke Mauw, University of Luxembourg, Luxembourg
- Chris Mitchell, Royal Holloway, University of London, UK
- Charles Morisset, Newcastle University, UK
- Günther Pernul, Universität Regensburg, Germany
- Marinella Petrocchi, IIT-CNR, Italy
- Silvio Ranise, FBK, Italy
- Pierangela Samarati, University of Milano, Italy
- Ralf Sasse, ETH Zurich, Switzerland
- Daniele Sgandurra, Royal Holloway, University of London, UK
- Georgios Spathoulas, University of Thessaly, Greece
Publicity Chair:
================
- Nicholas Kolokotronis, University of the Peloponnese, Greece
Conference: The 8th International Conference on Current and Future Trends
of Information and Communication Technologies in Healthcare
Date: November 5-8, 2018
Location: Leuven, Belgium
Website: http://cs-conferences.acadiau.ca/icth-18/
**********************************************************************************
Important Dates
------------------
- Workshop Proposals: May 28, 2018
- Paper Submission Due: June 30, 2018 (Extended)
- Author Notification: August 8, 2018
- Final Manuscript Due: September 8, 2018
Publication
-------------
All ICTH 2018 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 and on Elsevier content
platform ScienceDirect (www.sciencedirect.com), and will be freely
available worldwide. All papers in Procedia will be indexed by Scopus (
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) and
Engineering Village (Ei) (www.engineeringvillage.com). This includes EI
Compendex (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. Selected papers will be
invited for publication, in the special issues of:
- 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)
- International Journal of E-Health and Medical Communications, by IGI
Global: (
http://www.igi-global.com/journal/international-journal-health-medical-comm…)
ICTH 2018 will be held in conjunction with the 9th International Conference
on Emerging Ubiquitous Systems and Pervasive Networks (EUSN:
http://cs-conferences.acadiau.ca/euspn-18/). Papers on either completed or
ongoing research are invited in the following and related tracks:
http://cs-conferences.acadiau.ca/icth-18/call-for-papers.html
ICTH 2018 will be held in the city of Leuven. Leuven is the capital of the
province of Flemish Brabant in Belgium. It is located about 25 kilometres
(16 miles) east of Brussels. It is the 10th largest municipality in Belgium
and the fourth in Flanders. Leuven is home to the Katholieke Universiteit
Leuven, the largest and oldest university of the Low Countries and the
oldest Catholic university still in existence. The related university
hospital of UZ Leuven, is one of the largest hospitals of Europe. The city
is also known for being the headquarters of Anheuser-Busch InBev, the
world's largest brewer and one of the five largest consumer-goods companies
in the world.
The conference venue will be at Park Inn (by Radisson) Hotel (Leuven),
which is located right in the heart of the Leuven city. The hotel is less
than 2 mins walk from the Leuven train station. All you have to do is to
get off the train (or the taxi or the bus) and take the elevator to the
bridge connecting the hotel with the rest of the city. Leuven city is
directly connected with the Brussels International airport with a 13 min
connection via train, 45 mins via bus or a 20 min by taxi (or Uber).
Topics of interest include, but are not limited to:
------------------------------------------------------
- Ambient Assisted Living for Elderly Care
- Ambient Intelligence and Intelligent Service Systems
- Analysis and Evaluation of Healthcare Systems
- Clinical Data and Knowledge Management
- Cloud Computing for Healthcare
- Collaboration Technologies for Healthcare
- Context-aware Applications for Patient Monitoring and Care
- Data mining Techniques and Data Warehouses in Healthcare
- Data Visualization
- Decision Support Systems in Healthcare
- Design and Development Methodologies for Healthcare Systems
- Diagnostic and Therapeutic Technologies in Healthcare
- Digital Hospitals
- Drug Information Systems
- E-health & m-health
- Electronic Health Records (EHR) & Personal Health Records (PHR)
- Evidence Based Medicine (EBM)
- Healthgrids
- Health Portals
- Information and Knowledge Processing in Healthcare Environments
- Middleware Support for Smart Homes and Intelligent Applications
- Quantified Self for Pervasive Healthcare
- Privacy, Confidentiality and Security Issues in Healthcare Systems
- Related Real World Experimentations and Case Studies in Healthcare
- RFID Solutions for Healthcare
- Smart Homes and Home Care Intelligent Environments
- Telemedicine and Health Telematics
- Ubiquitous and Pervasive Computing in Healthcare
- Usability & Socio Technical studies
- User Interface Design for Healthcare Applications
- Virtual and Augmented Reality in Healthcare
- Virtual Environments for Healthcare
Committees
-------------
General Chair
Heiko Gewald, The Neu-Ulm University of Applied, Germany
Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel),
Brazil
Program Chairs
Haroon Malik, Marshall University, USA
Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium
Workshops Chairs
Wael M. El-Medany, University of Bahrain, Bahrain
Naba Haque, KellyOCG, Belgium
International Journals Chair
Bin Guo, Northwestern Polytechnical University, China
Publicity Chairs
Wim Ectors, IMOB, Hasselt University, Belgium
Al-Sakib Khan Pathan,Southeast University, Bangladesh
Technical Program Committee
 http://cs-conferences.acadiau.ca/icth-18/program-committees.html
Steering Committee Chair
 Elhadi Shakshuki, Acadia University, CanadaÂ
Advisory Committee
Sergio Camorlinga, Head eHealth Research, TRLabs, Canada
Kevin Daimi, University of Detroit Mercy, USA
Finn Kensing, University of Copenhagen, Denmark
Francesco Princiroli, Politecnico di Milano, Italy
Abdul Roudsari, University of Victoria, Canada
Dear colleagues,
The HPC symposium “Computational Science at Scale” CoSaS 2018 will take place
in Erlangen, Germany from Wednesday, September 5 until Friday, September 7, 2018.
This symposium is organized within the scope of the DFG priority programme
"Software for ExaScale Computing" (SPPEXA) that addresses fundamental research
on the various aspects of HPC software.
The main objectives of the symposium are to review the state of art in
large-scale numerical simulation with applications in science and engineering
and to be a forum for the exchange of results and ideas in HPC.
Specific topics of interest include, but are not limited to:
Large-scale parallel applications
Scalable parallel algorithms
Parallel computer architectures
Performance analysis, tuning, and debugging
Fault tolerance
The program will consist of high-level invited talks, a public evening lecture,
and a poster session. This session will include a Poster Blitz (i.e. a brief
presentation to promote your poster) and a Best Poster Award.
Abstracts (of up to 150 words) for the posters from the HPC community
are welcome and should be submitted before Friday, July 6, 2018
via https://www.cosas2018.fau.de .
Important dates:
July 6, 2018 poster abstract submission
July 23, 2018 acceptance notification
August 6, 2018 registration deadline
Invited speakers (preliminary):
Horst Simon - Lawrence Berkeley National Laboratory, USA
Martin Berzins - University of Utah, USA
Edmond Chow - Georgia Institute of Technology, Atlanta, USA
Thierry Poinsot, CERFACS, Toulouse, France
Program chairmen:
Ulrich Ruede - University of Erlangen-Nuernberg, Germany
Gerhard Wellein - University of Erlangen-Nuernberg, Germany
Harald Koestler - University of Erlangen-Nuernberg, Germany
Program committee:
Achim Basermann - German Aerospace Center (DLR), Cologne, Germany
Peter Bastian - University of Heidelberg, Germany
Matthias Bolten - University of Wuppertal, Germany
Hans-Joachim Bungartz, Technical University of Munich, Germany
Christian Engwer - University of Muenster, Germany
Dominik Goedekke - University of Stuttgart, Germany
Georg Hager - University of Erlangen-Nuernberg, Germany
Guido Kanschat - University of Heidelberg, Germany
Axel Klawonn, University of Cologne, Germany
Rolf Krause - Institute of Computational Science, Lugano, Switzerland
Olaf Schenk - Institute of Computational Science, Lugano, Switzerland
Stefan Turek - TU Dortmund University, Germany
Gerhard Wellein - University of Erlangen-Nuernberg, Germany
Gabriel Wittum - Goethe University Frankfurt, Germany
Felix Wolf - TU Darmstadt, Germany
Organizing committee:
Dominik Bartuschat - University of Erlangen-Nuernberg, Germany
Benjamin Uekermann - Technical University of Munich, Germany
Alexandra Lukas-Rother - University of Erlangen-Nuernberg, Germany
Iris Weiß - University of Erlangen-Nuernberg, Germany
Julia Deserno - University of Erlangen-Nuernberg, Germany
Frank Deserno - University of Erlangen-Nuernberg, Germany
For further information, registration, and poster submission,
please see our symposium website https://www.cosas2018.fau.de
In case of any further questions, please do not hesitate to email us at
conference-cosas2018-orga(a)fau.de
We are looking forward to welcoming you at CoSaS 2018.
With best regards,
Dominik Bartuschat
on behalf of the organizing committee
Call for papers:
The 16th IEEE International Symposium on Parallel and Distributed
Processing with Applications (ISPA 2018), 11-13 Dec. 2018, Melbourne,
Australia.
Website: http://www.swinflow.org/confs/2018/ispa/
Key dates:
Submission Deadline: August 31, 2018 (11:59pm UTC/GMT, firm)
Notification: September 30, 2018
Final Manuscript Due: October 15, 2018
Submission site: http://www.swinflow.org/confs/2018/ispa/submission.htm
Publication:
Proceedings will be published by IEEE CS Press.
Special issues:
Distinguished papers will be selected for special issues in Information
Sciences, Future Generation Computer Systems, Journal of Parallel and
Distributed Computing, Concurrency and Computation: Practice and Experience
===========
Introduction
The IEEE ISPA 2018 (16th IEEE International Symposium on Parallel and
Distributed Processing with Applications) is a forum for presenting leading
work on parallel and distributed computing and networking, including
architecture, compilers, runtime systems, applications, reliability,
security, parallel programming models and much more. During the symposium,
scientists and engineers in both academia and industry are invited to
present their work on concurrent and parallel systems (multicore,
multithreaded, heterogeneous, clustered systems, distributed systems,
grids, clouds, and large scale machines).
The 16th IEEE ISPA follows the tradition of previous successful IEEE ISPA
conferences in the years from 2003 to 2017 in Asia, Europe, Australia and
North America. It will feature sessions of regular presentations,
workshops, tutorials and keynote speeches. IEEE ISPA 2018 is sponsored by
the IEEE Technical Committee on Scalable Computing (TCSC) and the IEEE
Computer Society. IEEE ISPA is particularly interested in research
addressing heterogeneous computing with the use of accelerators, mobile
computing, approximate computing, tools and methodologies to improve the
quality of parallel programming and applying generic computing approaches
to networks, in particular Software Defined networking and its
applications.
Scope and Topics
*(1) Systems and Architectures Track*
- Cloud computing and data center technology
- Migration of computations
- Multi-clouds environments, cloud federation, interoperability
- Energy management and Green Computing
- Wireless and mobile networks
- Internet-Of-Things (IoT)
- Social Networks, crowdsourcing, and P2P systems
*(2) Technologies and Tools Track*
- Building block processors: FPGA, multicore, GPU, NoC, SoC
- Parallel and distributed algorithms
- Tools/environments for parallel/distributed software development
- Novel parallel programming paradigms
- Programming models for cloud services and applications
- Code generation and optimization
- Compilers for parallel computers
- Middleware and tools
- Scheduling and resource management
- Performance simulations, measurement, and evaluations
- Reliability, fault tolerance, dependability, and security
*(3) Applications Track*
- High-performance scientific and engineering computing
- Grid and cluster computing
- Pervasive and ubiquitous computing
- Databases, data mining, and data management
- Big data and business analytics
- Scientific cloud systems and services
- Internet computing and web services
- Application scenarios of IoT and ubiquitous computing
- Experience with computational, workflow and data-intensive
applications
- Software Defined Networks and its applications
Submission Guidelines
Submissions must include an abstract, keywords, the e-mail address of the
corresponding author and should not exceed 8 pages for main conference,
including tables and figures in IEEE CS format. The template files for
LATEX or WORD can be downloaded here. All paper submissions must represent
original and unpublished work. Each submission will be peer reviewed by at
least three program committee members. Submission of a paper should be
regarded as an undertaking that, should the paper be accepted, at least one
of the authors will register for the conference and present the work.
Submit your paper(s) in PDF file at the submission site:
http://www.swinflow.org/confs/2018/ispa/submission.htm.
Publications
Accepted and presented papers will be included into the IEEE
Conference Proceedings published by IEEE CS Press. Authors of accepted
papers, or at least one of them, are requested to register and present
their work at the conference, otherwise their papers may be removed from
the digital libraries of IEEE CS and EI after the conference.
Distinguished papers will be selected for special issues in Information
Sciences, Future Generation Computer Systems, Journal of Parallel and
Distributed Computing, Concurrency and Computation: Practice and Experience.
Honorary Chairs
Wanlei Zhou, Deakin University, Australia
Albert Zomaya, The University of Sydney, Australia
General Chairs
Geoffrey Fox, Indiana University, USA
Beniamino Di Martino, Universita' della Campania "Luigi Vanvitelli", Italy
Laurence Yang, St. Francis Xavier University, Canada
Program Chairs
Mianxiong Dong, Muroran Institute of Technology, Japan
Rajiv Ranjan, Newcastle University, UK
Massimo Cafaro, University of Salento, Lecce, Italy
Workshop Chairs
Young Choon Lee, Macquarie University, Australia
Wei Zheng, Xiamen University, China
Trustable Robotics and Autonomous Systems
http://www-instn.cea.fr/en/education-and-training/research-training/post-do…
CONTEXT
-------
The LSEA (Embedded and Autonomous Systems Design Laboratory) is working on methods, design principles and tools for the engineering of efficient and trustworthy software for embedded and autonomous systems. The laboratory has a recognized expertise in the field of model-based design of safety-critical systems, and has initiated an upstream work for the mastery of advanced technologies of safe self-adaptation and integration of trustworthy autonomy in critical systems. The lab plays an important role in standardization groups like AUTOSAR in the automotive domain as well as in the OMG (Object Management Group) standardization body responsible for the UML, SysML and MARTE standards, and contributes to the Eclipse open source model-based development platform Papyrus (www.eclipse.org/papyrus). Lab members are strongly involved in various industrial projects as well as collaborative French and European research projects for the development of model-based approaches for the design of autonomous real-time systems for robotics, automotive, railway, aerospace and smart energy systems.
WORK DESCRIPTION
----------------
The complexity of robotics and autonomous systems (RAS) can only be managed with well-designed software architectures and integrated tool chains that support the entire development process. Model-driven engineering (MDE) is an approach that allows RAS developers to shift their focus from implementation to the domain knowledge space and to promote efficiency, flexibility and separation of concerns for different development stakeholders. One key goal of MDE approaches is to be integrated with available development infrastructures from the RAS community, such as ROS middleware, OROCOS for real-time control, OpenCV for computer vision, or Gazebo for simulation.
These RAS platforms embrace communities of hundreds of stakeholders, which need to be preserved and strengthened. However, these communities are still rather fragmented, by representing specific technologies. To strengthen these platforms, to enable interconnections between them, and also between new ones e.g. Artificial Intelligence (AI)-based technologies, CEA envisions a model-driven approach built on top of the current code-centric platforms. To do so, the H2020 RobMoSys project (www.robmosys.eu), coordinated by CEA, is establishing the first EU Digital Industrial Platform for Model-Driven Development of Robotics Systems. To address the robotics domain according to the RobMoSys methodology and structures, a set of CEA tools are being collected under the Papyrus4Robotics [1] [2] [3] umbrella. This project is strategic for the LSEA laboratory and the DILS department.
The goal of this post-doc is to investigate and develop modular/compositional and predictable software architectures and interoperable design tools based on model-based (instead of code-centric) approaches. The work must be performed in the context of the RobMoSys project and other initiatives on assurance of robotics and autonomous systems. The main industrial goal is to simplify the effort of RAS engineers and thus allowing the development of more advanced, more complex autonomous systems at an affordable cost. In order to do so, the postdoctoral fellow will contribute to set-up and consolidate a vibrant ecosystem, tool-chain and community that will provide a unified model-based design, simulation, safety assessment and formal validation and verification environment.
PROFILE
-------
You did a PhD in the area of Software-intensive Systems Engineering not longer than two years ago. You have knowledge and expertise in developing tools for engineering embedded systems in any safety-critical industrial sector (e.g., energy, transport, health, or manufacturing). You are familiar with design methods, tools and middleware for the modelling, deployment, simulation of robotics software systems. You are aware of open software initiatives and you actively ensure that you remain aware of the latest developments in state-of-the art software technology. You are familiar with technology areas such as:
• (Mandatory) Programming skills in languages such as Java, C and C++
• (Mandatory) Software modelling and transformation techniques: metamodeling, UML
• (Highly Desirable) Knowledge of state-of-the-art software development environments and tools, in particular Eclipse: EMF, GMF
• (Highly Desirable) ROS, Gazebo and related robotics technologies
• (Desirable) knowledge on Artificial Intelligence: Machine/Deep Learning
The age limit is 30 years old for post-doc offers.
APPLICATION DOCUMENTS
---------------------
Send the following documents to huascar.espinoza(a)cea.fr
• Detailed CV
• Motivation letter
• Recommendation letters
CONTACT PERSON
--------------
Huascar ESPINOZA ORTIZ
CEA LIST - PC 174
91191 Gif-sur-Yvette
France
Email: huascar.espinoza(a)cea.fr
START DATE AND DURATION
-----------------------
Start as soon as possible. Post-Doc positions last one year and can be renewed once only (for 1 year).
[1] Kchir, S., Dhouib, S., Tatibouet, J., Gradoussoff, B., & Simoes, M. D. S. (2016, September). RobotML for industrial robots: Design and simulation of manipulation scenarios. In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on (pp. 1-8). IEEE.
[2] Nataliya Yakymets, Yupanqui Munoz Julho, Agnes Lanusse. Sophia framework for model-based safety analysis. Congrès Lambda Mu de maîtrise des risques et de sûreté de fonctionnement, October 21-23, Dijon, France, 2014
[3] Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, "Safe adaptation of vehicle software systems”, Microprocessors and Microsystems - Embedded Hardware Design 52: 272-286 (2017).
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). 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
********** 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 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
-----------------------------------------------------------------------
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 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
[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 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>