[Haskell] EUSPN 2019 (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7)

[Davidekova Monika]

The 10th International Conference on Emerging Ubiquitous Systems and Pervasive 
Networks (EUSPN 2019)

Date: November 4-7, 2019
Location: Coimbra, Portugal
Website: http://cs-conferences.acadiau.ca/euspn-19/

The 10th 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:

 - Paper Submission Due:  July 15 , 2019 (FINAL)
 - Author Notification:   August 6, 2019
 - Final Manuscript Due:   September 6, 2019

Publication
-
All EUSPN 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 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 2019 will be held in conjunction with the 9th International Conference on 
Current and Future Trends of Information and Communication Technologies in 
Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-19/). Papers on either 
completed or ongoing research are invited in the following and related tracks: 
http://cs-conferences.acadiau.ca/euspn-19/call-for-papers.html

EUSPN 2019 will be held in the city of Coimbra. Coimbra is a historical city 
and a municipality in Portugal. Among the many archaeological structures dating 
back to the Roman era, when Coimbra was the settlement of Aeminium, are its 
well-preserved aqueduct and cryptoporticus. Similarly, buildings from the 
period when Coimbra was the capital of Portugal (from 1131 to 1255) still 
remain. During the late Middle Ages, with its decline as the political centre 
of the Kingdom of Portugal, Coimbra began to evolve into a major cultural 
centre. This was in large part helped by the establishment of the University of 
Coimbra in 1290, the oldest academic institution in the Portuguese-speaking 
world. Apart from attracting many European and international students, the 
university is visited by many tourists for its monuments and history. Its 
historical buildings were classified as a World Heritage site by UNESCO in 
2013: "Coimbra offers an outstanding example of an integrated university cit!
y with a specific urban typology as well as its own ceremonial and cultural 
traditions that have been kept alive through the ages." Its atmospheric, 
beautiful historic core cascades down a hillside in a lovely setting on the 
east bank of the Rio Mondego: it's a multicoloured collage of buildings 
spanning nearly a millennium.

The conference take place in the environment of technology startups and 
laboratories within the installations of Instituto Pedro Nunes (IPN). IPN is 
created in 1991 through a University of Coimbra initiative, Instituto Pedro 
Nunes (IPN)2 is a private non-profit organization which promotes innovation and 
the transfer of technology, establishing the connection between the scientific 
and technological environment and the production sector. IPN mission is to 
leverage a strong university - enterprise relationship for the promotion of 
innovation, rigor, quality and entrepreneurship in private and public sector 
organizations by acting in three complementary areas: Research and 
technological development, consultancy and specialized services; Incubation 

[Haskell] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension

[Achim D. Brucker]

CALL FOR PAPERS
   19th International Workshop on OCL and Textual Modeling

   Co-located with 
   MODELS 2019 ACM/IEEE 22nd International Conference on Model
  Driven Engineering Languages and System,
September 15-20, 2019, Munich, Germany
 http://oclworkshop.github.io



***
 Deadline Extension: One week (21st of July, 2019 - AoE)    
 left to submit your papers!   
***

The goal of this workshop is to create a forum where researchers and
practitioners interested in building models using OCL or other kinds
of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can
directly interact, report advances, share results, identify tools for
language development, and discuss appropriate standards. In
particular, the workshop will encourage discussions for achieving
synergy from different modeling language concepts and modeling
language use. The close interaction will enable researchers and
practitioners to identify common interests and options for potential
cooperation.

## Topics of interest

Topics of interest include (but are not limited to):

- Mappings between textual modeling languages and other languages/formalisms
- Mathematical models and/or formal semantics for textual modeling languages
- Algorithms, evaluation strategies and optimizations in the context
  of textual modeling languages for:
  - validation, verification, and testing,
  - model transformation and code generation,
  - meta-modeling and DSLs, and
  - query and constraint specifications
- Alternative graphical/textual notations for textual modeling languages
- Evolution, transformation and simplification of textual modeling
  expressions
- Libraries, templates and patterns for textual modeling languages
- Tools that support textual modeling languages (e.g., verification of
  OCL formulae, runtime monitoring of invariants)
- Model-driven security using textual modeling languages 
- Complexity results for textual modeling languages
- Quality models and benchmarks for comparing and evaluating
  textual modeling tools and algorithms
- Successful applications of textual modeling languages
- Case studies on industrial applications of textual modeling languages
- Experience reports:
  - usage of textual modeling languages and tools in complex domains,
  - usability of textual modeling languages and tools for end-users
- Empirical studies about the benefits and drawbacks of textual modeling
  languages
- Innovative textual modeling tools
- Comparison, evaluation and integration of modeling languages
- Correlation between modeling languages and modeling tasks

We particularly encourage submissions describing applications and case studies 
of textual modeling as well as test suites and benchmark collections for 
evaluating 
textual modeling tools.

## Submissions

Four types of submissions will be considered:

* Presentation only submission (not included in the workshop
  proceedings), e.g., for already published work. Authors should
  submit a short (1 page) abstract of their presentation.
* Short papers (between 5 and 7 pages) describing new ideas or
  position papers.
* Tool papers (between 5 and 7 pages) describing tools supporting
  textual modeling tools
* Full papers (between 10 and 14 pages).

All submissions should follow the LNCS format guidelines and should be
uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2019).

Accepted papers will be published online in [CEUR](http://www.ceur-ws.org).

## Important Dates

- Submission of papers:  21 Jul 2019, AoE (extended)
- Notification:  25 Aug 2019, AoE
- Pre-Workshop CRC:   9 Sep 2019, AoE
- Post-Workshop CRC:  5 Oct 2019, AoE

-- 
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of 
Exeter
   https://www.brucker.ch | https://logicalhacking.com/blog
 @adbrucker | @logicalhacking
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell