[Haskell] [EUSPN-2018] FINAL CFP deadline - Conference on Emerging Ubiquitous Systems and Pervasive Networks. Leuven, Belgium (Nov. 5-8, 2018)

[Wim Ectors]

**


The 9th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks (EUSPN 2018)

Date: November 5-8, 2018

Location: Leuven, Belgium

Website: http://cs-conferences.acadiau.ca/euspn-18/

**


The 9th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks (EUSPN) is a premier venue for bringing together
multi-disciplinary researchers, professionals and practitioners from both
academia and industry, who are engaged in different facets of ubiquitous
systems and pervasive networks. The conference encourages innovative
research contributions providing the recent significant developments and
promising future trends of EUSPN based applications, systems, tools,
environments and infrastructures in the fields of EUSPN and related areas.

Important Dates:



- Workshop Proposals: May 28, 2018

- Paper Submission Due: July 16, 2018 (FIRM)

- Author Notification: August 8, 2018

- Final Manuscript Due: September 8, 2018

Publication

-

All EUSPN 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)

- IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645)

EUSPN 2018 will be held in conjunction with the 8th International
Conference on Current and Future Trends of Information and Communication
Technologies in Healthcare (ICTH:
http://cs-conferences.acadiau.ca/icth-18/). Papers on either completed or
ongoing research are invited in the following and related tracks:
http://cs-conferences.acadiau.ca/euspn-18/call-for-papers.html

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

Conference Tracks



- Ad hoc and Pervasive Networks

- Adaptive Systems, Intelligent Computing and Applications

- Big Data and Big Data Science

- Cloud, Cluster, Grid and Social Computing

- Emerging Pervasive/Ubiquitous Technologies

- Intelligent Traffic and Transportation Systems

- Internet of Things

- Mobile Computing and Wireless Communications

- Security, Privacy, and Trust

- Semantic Web Technologies

Committees



General Chair

Atta Badii, University of Reading, UK

Program Chairs

Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium

Francesco Piccialli, Francesco Piccialli, University of Naples, Federico
II, Italy, Italy

Advisory Committee

Ali Ghorbani, University of New Brunswick, Canada

Hossam Hassanein, Queen's University, Canada

Vincenzo Loia, University of Salerno, Italy

Zakaria Maamar, Zayed University, UAE

Makoto Takizawa, Seikei University, Japan

Peter Sloot, Nethe

[Haskell] [ICTH-2018] FINAL deadline - Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018)

[Wim Ectors]

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: July 16, 2018 (FIRM)

- 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-communications/1158)


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

[Haskell] 2nd Call for Talks -- Haskell Implementors' Workshop

[Joachim Breitner]

Call for Contributions
   ACM SIGPLAN Haskell Implementors’ Workshop

https://icfp18.sigplan.org/track/hiw-2018-papers

 Co-located with ICFP 2018
  St. Louis, Missouri, US
  https://conf.researchr.org/home/icfp-2018

Important dates
---

Proposal Deadline:  Friday, 20 July, 2018
Notification:   Friday, 3 August, 2018
Workshop:   Sunday, 23 September, 2018

Keynote speaker
---

This year, the Haskell Implementors’ Workshop is proud to present
Rahul Muttineni as the keynote speaker. Rahul brough the joys of
Haskell to the realm of Java by creating the Eta programming language.

   Title: Let's Go Mainstream with Eta!


   Eta is a fork of GHC that focuses on three core principles: user
   experience, performance, and safety. We'll discuss how we used these
   principles to guide the re-implementation of the GHC runtime and
   code generator on the JVM. Moreover, will also cover the inner
   workings of the FFI and the typechecker support we added for
   subtyping to make it smooth to interact with Java libraries.
   Finally, we'll round out with a look at where Eta is headed and how
   Eta and GHC can collaborate in the future.


About the Haskell Implementors’ Workshop


The 10th Haskell Implementors’ Workshop is to be held alongside ICFP
2018 this year in St. Louis. It is a forum for people involved in the
design and development of Haskell implementations, tools, libraries,
and supporting infrastructure, to share their work and discuss future
directions and collaborations with others.

Talks and/or demos are proposed by submitting an abstract, and
selected by a small program committee. There will be no published
proceedings. The workshop will be informal and interactive, with open
spaces in the timetable and room for ad-hoc discussion, demos and
lightning talks.

Scope and Target Audience
-

It is important to distinguish the Haskell Implementors’ Workshop from
the Haskell Symposium which is also co-located with ICFP 2018. The
Haskell Symposium is for the publication of Haskell-related research.
In contrast, the Haskell Implementors’ Workshop will have no
proceedings – although we will aim to make talk videos, slides and
presented data available with the consent of the speakers.

The Implementors’ Workshop is an ideal place to describe a Haskell
extension, describe works-in-progress, demo a new Haskell-related
tool, or even propose future lines of Haskell development. Members of
the wider Haskell community encouraged to attend the workshop – we
need your feedback to keep the Haskell ecosystem thriving. Students
working with Haskell are specially encouraged to share their work.

The scope covers any of the following topics. There may be some topics
that people feel we’ve missed, so by all means submit a proposal even
if it doesn’t fit exactly into one of these buckets:

 *  Compilation techniques
 *  Language features and extensions
 *  Type system implementation
 *  Concurrency and parallelism: language design and implementation
 *  Performance, optimisation and benchmarking
 *  Virtual machines and run-time systems
 *  Libraries and tools for development or deployment

Talks
-

We invite proposals from potential speakers for talks and
demonstrations. We are aiming for 20-minute talks with 5 minutes for
questions and changeovers. We want to hear from people writing
compilers, tools, or libraries, people with cool ideas for directions
in which we should take the platform, proposals for new features to be
implemented, and half-baked crazy ideas. Please submit a talk title
and abstract of no more than 300 words.

Submissions can be made via HotCRP at
https://icfp-hiw18.hotcrp.com/
until July 20th (anywhere on earth).

We will also have lightning talks session. These have been very well
received in recent years, and we aim to increase the time available to
them. Lightning talks be ~7mins and are scheduled on the day of the
workshop. Suggested topics for lightning talks are to present a single
idea, a work-in-progress project, a problem to intrigue and perplex
Haskell implementors, or simply to ask for feedback and collaborators.

Program Committee
-

 * Edwin Brady (University of St. Andrews, UK)
 * Joachim Breitner – chair (University of Pennsylvania)
 * Ben Gamari (Well-Typed LLP)
 * Michael Hanus (Kiel University)
 * Roman Leshchinsky (Facebook)
 * Niki Vazou (University of Maryland)

Contact
---

 * Joachim Breitner 


-- 
Joachim Breitner
Post-Doctoral researcher
http://cis.upenn.edu/~joachim
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES (CPPS-2018)

[Samir ouchani]

*CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES (CPPS-2018)*

*November 5-8, 2018, Leuven, Belgium*



*Organized by:*

CESI Research/LINEACT
CESI High Engineering School



*Aims:*

Industry 4.0 is the new generation of manufacturing systems called
Cyber-Physical Production Systems (CPPS) that are able to face the current
economic and societal challenges. Its implementation is based on a set of
new manufacturing technologies (IoT and Industrial IoT, Robotics and
Cobotics, Augmented/Virtual Reality, Additive Manufacturing, Cloud
Manufacturing …), data collection, storage and analysis, and digital twin
(Digital Factory, Simulation and Decision Tools …). In general, CPPS are
complex due to the composition and the combination of the system’s
components: digital, software, and physical elements. The physical parts
are connected to a network, which is controlled by software components or,
sometimes, manually. Examples of such systems can be found in
manufactories, avionics, automotive systems, nuclear power plants, etc.

Interoperability, safety, reliability, maintenance and security aspects of
CPPS is challenging due to the inherent complexity of CPPS. Moreover, it is
not sufficient to ascertain one aspect of the individual components in
isolation: faults and threats in CPPS systems could also be due to the
interaction between the physical, digital and software parts of CPPS.
Therefore, the system must be studied as a whole, which sets this emerging
discipline apart from these individually established fields. CPPS-2018
event provides a platform for professionals from academia, government, and
industry to discuss how to address the increasing the issues challenges
facing CPPS.



*Scope:*

CPPS-2018 invites submissions discussing the employment of data-driven,
model-based, and statistical approaches in CPPS. Topics of either
theoretical, empirical or applied interest include, but are not limited to:

• CPPS Modeling (forma, semi-formal, UML, SysML, ADAAL, etc).
• Formal methods for CPPS (abstraction, compositional verification, model
checking, theorem proving, simulation, testing, etc)
• Decision making process in CPPS
• IoT architecture and protocol for CPPS
• Design safe, reliable, and secure CPPS
• Data collection, extraction and analysis in CPPS
• Safety, reliability, and Risk analysis techniques for CPPS
• Threat modeling for CPPS
• Security requirements specification, Security policies and access control
for CPPS
• Human aspects and robot interactions in CPPS
• Case studies, tools, and experimental results for CPPS



*Program committee (Initial list):*

• Abdelaziz Khaled (GeantSoft, Fr)
• Abdelwahab Hamou-Lhadj (Concordia Unversity, CA)
• Amel Bennaceur (The Open University,UK)
• Antoine Rollet (University of Bordeaux, Fr)
• Baudry David (CESI / LINEACT, Fr)
• Bouziane Brik (University of Laghouat, Dz)
• Flavio Oquendo (IRISA (UMR CNRS) – Univ. Bretagne-Sud (UBS), Fr)
• GilesReger (The University of Manchester, UK)
• Hao Wu National (University of Ireland, Ir)
• Khadidja Chaib’Draa (University of Luxembourg, Lu)

• Łukasz Czajka (University of  Copenhagen
,
Dk)
• Philippe Palanque (ICS-IRIT, University Toulouse 3, Fr)
• Samiha Ayed (Telecom Bretagne,Fr)
• Thierry Lecomte (ClearSy, Fr)



*Organizing committee:*

• Garcia David (CESI / LINEACT, Fr)
• Messaadia Mourad (CESI / LINEACT, Fr)
• Ouchani Samir (*PC Chair**,* CESI / LINEACT, Fr)
• Sghaier Nouha  (CESI / LINEACT, Fr)
• Sahnoun M’Hammed (CESI / LINEACT, Fr)



*Important dates *

• Paper Submission: September 1, 2018

• Notification: October 01, 2018

• Camera-ready: October 12, 2018





*Submissions & Publications:*

Authors are invited to submit non-anonymized papers in English presenting
original and unpublished research. At least one author of each accepted
paper will be required to present the work at the workshop. All papers
accepted for the workshop will be included in the EUSPN-2018
 proceedings
and published by Elsevier. The authors must follow Elsevier guidelines
provided at EUSPN-2018
 website.
The number of pages for workshop papers is limited to 6 pages. Selected
outstanding papers presented at the workshop, after further revision, will
be considered for publication in special issues of selected journals.
Authors should submit their contributions here
, electronically in PDF
format.

Submit your workshop papers here

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell