May 2019 - Haskell - Haskell.org

[TFP'19 and TFPIE'19] call for participation
by Peter Achten 21 May '19

21 May '19

--------------------------------- C A L L F O R P A R T I C I P A T I O N --------------------------------- ====== TFP 2019 ====== 20th Symposium on Trends in Functional Programming 12-14 June, 2019 Vancouver, BC, CA https://www.tfp2019.org/index.html ====== TFPIE 2019 ====== 8th International Workshop on Trends in Functional Programming in Education 11 June, 2019 Vancouver, BC, CA http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2019 will be the main event of a pair of functional programming events. TFP 2019 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 11. == Invited Speakers == TFP 2019 is pleased to announce keynote talks by the following two invited speakers: Nikhil Swamy, Microsoft Research: Structuring the Verification of Imperative Programs with Functional Programming Frank Wood, University of British Columbia: Probabilistic Programming TFPIE 2019 is pleased to have the following invited speaker: Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum == Scope == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: Leading-edge, previously unpublished research work Position Articles: On what new trends should or should not be Project Articles: Descriptions of recently started new projects Evaluation Articles: What lessons can be drawn from a finished project Overview Articles: Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2019 program chairs, William J. Bowman and Ron Garcia. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Instructions to Author == Papers must be submitted at: https://easychair.org/conferences/?conf=tfp2019 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Papers submitted for post-symposium review (draft papers) will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == There are two types of submission, each of which can be submitted either for pre-symposium or post-symposium review: Extended abstracts. Extended abstracts are 4 to 10 pages in length. Full papers. Full papers are up to 20 pages in length. Each submission also belongs to a category: research position project evaluation overview paper Each submission should clearly indicate to which category it belongs. Additionally, a draft paper submission—of either type (extended abstract or full paper) and any category—can be considered a student paper. A student paper is one for which primary authors are research students and the majority of the work described was carried out by the students. The submission should indicate that it is a student paper. Student papers will receive additional feedback from the PC shortly after the symposium has taken place and before the post-symposium submission deadline. Feedback is only provided for accepted student papers, i.e., papers submitted for presentation and post-symposium formal review that are accepted for presentation. If a student paper is rejected for presentation, then it receives no further feedback and cannot be submitted for post-symposium review. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site (http://www.springer.com/lncs) == Program Committee == Program Co-chairs William J. Bowman University of British Columbia Ronald Garcia University of British Columbia Matteo Cimini University of Massachusetts Lowell Ryan Culpepper Czech Technical Institute Joshua Dunfield Queen's University Sam Lindley University of Edinburgh Assia Mahboubi INRIA Nantes Christine Rizkallah University of New South Wales Satnam Singh Google AI Marco T. Morazán Seton Hall University John Hughes Chalmers University and Quviq Nicolas Wu University of Bristol Tom Schrijvers KU Leuven Scott Smith Johns Hopkins University Stephanie Balzer Carnegie Mellon University Viktória Zsók Eötvös Loránd University

1 0

Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers)
by nevrenato＠gmail.com 21 May '19

21 May '19

2nd Call for Papers Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt GOALS AND SCOPE A Doctoral Symposium will be held on the 7th October in conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods which will take place in Porto, Portugal, from 7 to 11 October 2019. This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant. There will be a best presentation award. Scholarships for attendance will also be available. RESEARCH ABSTRACTS Research Abstracts should be no more than 4 pages in LNCS format. Your Research Abstract should: - Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution. - Contain a very brief literature survey indicating the most important references related to: (a) the problem being addressed and/or (b) existing solutions as appropriate. - Indicate your progress to date and the current stage of research. The Research Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor. IMPORTANT DATES Submission deadline: June 10, 2019 (AoE)* Notification: July 5, 2019 Doctoral Symposium: October 7, 2019 HOW TO SUBMIT Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to: https://easychair.org/conferences/?conf=dsfm19 DOCTORAL SYMPOSIUM WEBSITE http://formalmethods2019.inesctec.pt/?page_id=361 ORGANISATION CHAIRS: Alexandra Silva, University College London Antonia Lopes, University of Lisbon PROGRAM COMMITTEE Alessandro Fantechi, University of Florence Ana Cavalcanti, University of York André Platzer, CMU Carlo A. Furia, USI - Università della Svizzera Italiana Dalal Alrajeh, Imperial College Einar Broch Johnsen, University of Oslo Elvira Albert, Universidad Complutense de Madrid Jaco van de Pol, University of Twente Matteo Rossi, Politecnico di Milano Stefania Gnesi, ISTI-CNR Stephan Merz, INRIA Nancy

1 0

Second Call for Tutorial Proposals: ICFP 2019
by Sam Tobin-Hochstadt 20 May '19

20 May '19

*EXTENDED DEADLINE* - CALL FOR TUTORIAL PROPOSALS ICFP 2019 24th ACM SIGPLAN International Conference on Functional Programming August 18 - 23, 2019 Berlin, Germany https://icfp19.sigplan.org/ The 24th ACM SIGPLAN International Conference on Functional Programming will be held in Berlin, Germany on August 18-23, 2019. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Tutorials may occur after ICFP co-located with the associated workshops, from August 22 till August 23. ---------------------------------------------------------------------- Submission details Deadline for submission: June 3rd, 2019 Notification of acceptance: June 10th, 2019 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2018 workshop co-chairs (Jennifer Hackett and Christophe Scholliers), via email to icfp-workshops-2019(a)googlegroups.com by June 3rd, 2019. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by June 10th, 2019. The proposal form is available at: http://www.icfpconference.org/icfp2019-files/icfp19-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2019 organizing committee. Tutorials Co-Chair: Jennifer Hackett (University of Nottingham) Tutorials Co-Chair: Christophe Scholliers (University of Ghent) General Chair: Derek Dreyer (MPI-SWS) Program Chair: François Pottier ( Inria, France) ---------------------------------------------------------------------- Further information Any queries should be addressed to the tutorial co-chairs (Jennifer Hackett and Christophe Scholliers), via email to icfp-workshops-2019(a)googlegroups.com

1 0

Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities
by Rodolfo I. Meneguette 16 May '19

16 May '19

Special Section: Advances in Intelligent Transportation Systems in Smart Cities International Journal of Distributed Sensor Network 2017 Impact Factor : 1.787 Deadline for manuscript submissions: June 30, 2019 Intelligent Transport Systems (ITS) comprise the union of several technologies with the aim of providing comprehensive optimization of the urban mobility of a city and bringing greater safety to drivers, as well as comfort and entertainment for passengers. As a result, ITS employ data, communication, and computing to provide services and applications for tackling and possibly solving a wide range of transportation problems in modern large cities. These applications rely on the collaboration between elements that integrate urban and transportation systems, such as sensors, mobile devices, and vehicles, for introducing real-time awareness of the environment. The appropriate junction of all these factors considerably contributes to the sensing and gathering of data for evaluation and later implementation of due responses by a control system. Due to the dynamic nature of entities in ITS, it offers a diverse set of challenges including, but not limited to, interoperability, high mobility, decentralization, anonymity, security, privacy, trust management, uncertainty, and pervasiveness. Besides these challenges, several issues like scalability, reliability, adaptability, and validity of available solutions are still unexplored. This Special Collection is expected to provide a platform for academics and industrial researchers to identify and debate technical problems and recent accomplishments associated with ITS. Specific topics include, but are not limited to: * Architecture, resource management and applications * Leveraging Fog Computing (Edge Computing) * Design challenges for protocol development in ITS * ITS security and privacy * Smart-cities-based Machine Learning; * Intelligent data mining and forecasting; * Multi-agent systems applications; * Inteligent structural engineering; * Computer graphics and performability; * Blockchain and remote sensing; * Ubiquitous computing; * Fuzzy logic and emerging applications in smart IoT/Cloud paradigms; * Designing energy efficient Road Side Units (RSUs) * Quality of Service (QoS) in ITS * Smart and connected vehicles: V2V; V2I V2X * Cloud based VANETs * Vehicular Cloud * Demand responsive smart vehicles * Detection, recognition, and classification of traffic * Vehicle location and event prediction * Autonomous vehicle technologies * Context-aware computing and Internet of Things Services in ITS * Artificial intelligent in ITS * Protocols and infrastructure and standards for ITS Guest Editors: Rodolfo Ipolito Meneguette, Federal Institute of São Paulo, Brazi, Luis Hideo Vasconcelos Nakamura, Federal Institute of São Paulo, Brazil Thiago Augusto Lopes Genez, University of Bern, Switzerland Stephan Reiff-Marganiec, University of Leicester, UK Manuscript Preparation and Submission Follow the guidelines in the International Journal of Distributed Sensor Networks https://us.sagepub.com/en-us/sam/manuscript-submission-guidelines . Please submit your manuscript in electronic form through Manuscript Central web site: https://mc.manuscriptcentral.com/tii . Submissions to this Special Section must represent original material that has been neither submitted to, nor published in, any other journal. Open access article processing charge (APC) information The APC for this journal is currently 2000 USD. The article processing charge (APC) is payable only if your article is accepted after peer review, before it is published. The APC is subject to taxes where applicable. Tax-exempt status can be indicated by providing appropriate registration numbers when payment is requested.

1 0

Fwd: [EUSPN-2019] Call for Workshop Proposals: Emerging Ubiquitous Systems and Pervasive Networks
by Muhammad ADNAN 16 May '19

16 May '19

------ Call for Workshops Proposals ------------ The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) November 4-7, 2019 Coimbra, Portugal Conference Website: http://cs-conferences.acadiau.ca/euspn-19/ **************************************************** Important Dates =========== - Workshop Proposal Due: May 30, 2019 The EUSPN-2019 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of EUSPN-2019 and its related areas. All papers accepted for workshops will be included in the EUSPN-2019 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in EUSPN-2019 Website. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. Pre-proposal Submission Inquiries ====================== If you are interested to organize a workshop and you wish to discuss ideas for a workshop proposal, please feel free to contact the Workshops Chair. Proposal Format =========== - Title of the workshop - Workshop website: tentative address, or old address (if applicable) - Draft call for papers of the workshop - Tentative list of TPC members Workshops Chair ============== Dr. Muhammad Adnan, Hasselt University, Belgium (Email: muhammad.adnan(a)uhasselt.be) Dr. Haroon Malik, Marshall University, USA (Email: malikh(a)marshall.edu) -- Dr. Muhammad Adnan Senior Navorser - Senior Researcher Instituut voor Mobiliteit (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be\imob Universiteit Hasselt - Campus Diepenbeek Wetenschapspark 5 bus 6 - B-3590 Diepenbeek Kantoor WETP5-0.10

1 0

[ICTH-2019] Call for Workshop Proposals and Paper Submissions: Current and Future Trends of Information and Communication Technologies in Healthcare
by Wim Ectors 16 May '19

16 May '19

Conference: The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 4-7, 2019 Location: Coimbra, Portugal Website: http://cs-conferences.acadiau.ca/icth-19/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 30, 2019 - Paper Submission Due: Jun 17, 2019 - Author Notification: August 6, 2019 - Final Manuscript Due: September 6, 2019 Publication ------------- All ICTH 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) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-comm…) ICTH 2019 will be held in conjunction with the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-19/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-19/call-for-papers.html ICTH 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 city 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 and acceleration of businesses and ideas; Highly specialized training and promotion of science and technology. In the year of 2010, the Instituto Pedro Nunes incubator3 has been awarded as the Best Science-based Incubator in the world. 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 Yasar, Hasselt University, Belgium Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Sofiane Hamrioui, University of Nantes, France An Neven, Hasselt University, 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-19/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman 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 Sent via Mail Merge <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

Utrecht Summer School on Advanced Functional Programming
by Swierstra, W.S. (Wouter) 13 May '19

13 May '19

# Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 27-31 August 2018 http://www.afp.school ## ABOUT The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * monads and monad transformers; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school consists of a mix of lectures, labs, and a busy social program. ## LECTURERS Utrecht staff: * Gabriele Keller * Trevor McDonell * Alejandro Serrano Mena * Wouter Swierstra ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. ## DATES Soft registration deadline: 1 August, 2019 School: 26-30 August ## COSTS 1700 euro - Housing and registration 1500 euro - Registration only We offer a 1000 discount for students and staff members affiliated with a university. ## SCHOLARSHIPS If you're struggling to finance your trip to Utrecht, please let us know. We have a limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under-represented minorities. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://www.afp.school

1 0

EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues)
by Davidekova Monika 13 May '19

13 May '19

CfP ********************************************************************************** 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: -------------------- - Workshop Proposals: May 30, 2019 - Paper Submission Due: Jun 17, 2019 - 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<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. 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 city 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 and acceleration of businesses and ideas; Highly specialized training and promotion of science and technology. In the year of 2010, the Instituto Pedro Nunes incubator3 has been awarded as the Best Science-based Incubator in the world. 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 Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Elhadi Shakshuki, Acadia University, Canada Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Muhammad Adnan, Hasselt University, Belgium Haroon Malik, Marshall University, USA Publicity Chair Monika Davidekova, Comenius University in Bratislava, Slovakia Program Vice Chairs Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Alfredo Cuzzocrea, University of Trieste, Italy Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Flavio Lombardi, Universita Roma Tre, Italy Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Yannis Korkontzelos, Edge Hill University, UK Fernando Moreira, Universidade Portucalense, Porto, Portugal Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Tarek Sheltami, KFUPM, Saudi Arabia Michael Sheng, Macquarie University, Australia Wei Zhang, Macquarie University, Australia Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-19/organizing-commitee.html9

1 0

CfP: Erlang Workshop 2019 [Deadline extended]
by Erlang Workshop 10 May '19

10 May '19

Hi everyone, We have decided to extend the paper submission deadline for the 18th ACM SIGPLAN Erlang Workshop. New final dates are as follows, there will not be any further extensions Submissions due: Sun, May 19, 2019 [extended] Author notification: Fri June 14, 2019 [extended] Final submission for the publisher: Sun June 30, 2019 [unchanged] Workshop date: Sun August 18, 2019 [unchanged] Apologies for any duplicates you may receive. Technical, practice, and application papers related to Erlang, BEAM, Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and functional programming are welcome and encouraged. *LAST CALL FOR PAPERS* Eighteenth ACM SIGPLAN Erlang Workshop https://icfp19.sigplan.org/home/erlang-2019 Berlin, Germany, 18 August 2019 Satellite event of the 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019) 18 - 23 August, 2019 The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above. The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc. We invite two types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and functional programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well. *Workshop Co-Chairs* Adrian Francalanza, University of Malta, Malta Viktória Fördős, Cisco Systems, Sweden *Program Committee* (Note: the Workshop Co-Chairs are also committee members) Annette Bieniusa, University of Kaiserslautern, Germany Christopher S. Meiklejohn, Carnegie Mellon University, USA Clara Benac Earle, Universidad Politecnica de Madrid, Spain Claudio Antares Mezzina, IMT Lucca, Italy Emilio Tuosto, University of Leicester, UK Felix Mulder, Klarna AB, Sweden Francesco Cesarini, Erlang Solutions Ltd, UK Julien Lange, University of Kent, UK Kenji Rikitake, KRPEO, Japan Melinda Tóth, ELTE Eötvös Loránd University, Hungary Natalia Chechina, Bournemouth University, UK Rumyana Neykova, Brunel University, UK Scott Lystig Fritchie, Wallaroo, USA Thomas Arts, Quviq AB, Sweden Torben Hoffmann, Alert Logic, Denmark *Important Dates* Submissions due: Sun, May 19, 2019 Author notification: Fri June 14, 2019 Final submission for the publisher: Sun June 30, 2019 Workshop date: Sun August 18, 2019 *Instructions to authors* Papers must be submitted online via HotCRP (via the "Erlang2019" event). The submission page is https://erlang19.hotcrp.com Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. *Venue & Registration Details* For registration, please see the ICFP 2019 web site at: http://icfp19.sigplan.org/ *Related Links* ICFP 2019 web site: http://icfp19.sigplan.org/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ HotCRP submission site: https://erlang19.hotcrp.com Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Attendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/CodeOfConduct/

1 0

SPLASH 2019 Combined Call for Workshop Submissions
by Aggelos Biboudis 10 May '19

10 May '19

SPLASH 2019 Combined Call for Workshop Submissions ================================================== Following its long-standing tradition, SPLASH will host a variety of workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. The following workshops will be co-located with SPLASH 2019. * AGERE (Actors, Agents, and Decentralized Control) * AI-SEPS (AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems) * DSM (Domain-Specific Modeling) * IC (Incremental Computing) * LIVE (Live Programming) * META (Metaprogramming) * NJR (Normalized Java Resource) * REBLS (Reactive and Event-based Languages & Systems) * STOKED (Spatio-Temporal platforms for Observations and Knowledge of Earth Data) * VMIL (Virtual Machines and Intermediate Languages) *The submission deadline for all workshops is Fri 2 Aug 2019 (AoE).* AGERE (Actors, Agents, and Decentralized Control) ------------------------------------------------- Call: https://2019.splashcon.org/home/agere-2019 The AGERE! workshop focuses on programming systems, languages, and applications based on actors, active/concurrent objects, agents, and -- more generally -- on high-level programming paradigms which promote decentralized control in solving problems and developing software. AGERE covers both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. AI-SEPS (AI-Inspired and Empirical Methods for SE on Parallel Computing Systems) -------------------------------------------------------------------------------- Call: https://2019.splashcon.org/home/seps-2019 The AI-SEPS workshop provides a stable forum for researchers and practitioners addressing the challenges and issues of the software development life cycle on modern parallel platforms and HPC systems. Emerging artificial intelligence technologies are promising approaches to tackle these issues, as well as approaches that use traditional empirical and experimental methods. The workshop title reflects a change from the previous editions, with emphasis placed on the trend of AI-inspired software engineering techniques for performance. We aim to advance the state of the art in all aspects of techniques on software engineering and parallel computing systems such as requirements engineering and software specification; design and implementation; program analysis; performance analysis, profiling and tuning; testing and debugging. DSM (Domain-Specific Modeling) ------------------------------ Call: https://2019.splashcon.org/home/dsm-2019 Domain-Specific Modeling (DSM) languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems and software development faster and easier. In DSM, the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive themselves as working directly with domain concepts. Some possible topics for submission to the workshop include: experience reports, creation of metamodel-based languages, novel approaches for code generation from domain-specific models, language evolution, metamodeling frameworks and languages, and tool support for DSMs. IC (Incremental Computing) ----------------------------- Call: https://2019.splashcon.org/home/ic-2019 The second Workshop on Incremental Computing (IC) will provide a space where PL enthusiasts and researchers can discuss incremental computing problems and solutions. A good talk at IC probably consists of one or more of the following: explain an existing language or framework for incremental computing; outline an incremental computing domain in detail, highlighting challenges; outline a new incremental computing problem, or problem domain; or, propose a new language or framework for incremental computing. This list is not exhaustive, but merely suggestive. LIVE (Live Programming) ----------------------- Call: https://2019.splashcon.org/home/live-2019 The LIVE workshop invites submissions of ideas for improving programming via liveness. Live programming gives the programmer immediate feedback on the behavior of a program as it is edited, replacing the edit-compile-debug cycle with a fluid programming experience. The most commonly used live programming environment is the spreadsheet, but there are many others. The study of live programming is now a [re-]established area of research. This year we would like to reflect on what has been achieved, what has been learnt, and what remains to be done, growing up from a nascent community into a discipline that can build on previous work. We especially welcome reflection upon prior work, including proposals to integrate, generalize, or theoretically frame them. We will do this whilst maintaining the shared spirit of LIVE, encouraging a focus on the human experience of programming. The LIVE workshop is a forum for early-stage work to receive constructive criticism. We accept short papers, web essays with embedded videos, and demo videos. META (Metaprogramming) ---------------------- Call: https://2019.splashcon.org/home/meta-2019 The changing hardware and software landscape along with the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associated complexity. This workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The challenges which metaprogramming faces are manifold. They start with formal reasoning about reflective programs, continue with performance and tooling, and reach into the empirical field to understand how metaprogramming is used and how it affects software maintainability. While industry accepted metaprogramming on a wide scale with Ruby, Scala, JavaScript and others, academia still needs to bring it to the same level of convenience, tooling, and understanding as for direct programming styles. Contributions to the workshop are welcome on a wide range of topics related to the design, implementation, and application of metaprogramming techniques, as well as formal methods and empirical studies for such systems and languages. NJR (Normalized Java Resource) ------------------------------ Call: https://2019.splashcon.org/home/njr-2019 Software researchers increasingly take advantage of large software repositories when they design new tools. How do we make such repositories maximally useful for research? In particular, how do we make them more searchable, make interaction scriptable, and ensure that we can run both static and dynamic analyses? Additionally, how do we make the results from tools reproducible, how do we label programs with ground truth, and how do we measure whether a repository is representative of real-world applications? NJR 2019 will be the third workshop in a series that addresses these questions. The goal is for researchers in academia and industry to share new ideas, demonstrate recent tools, and discuss directions for research and development. REBLS (Reactive and Event-based Languages and Systems) ------------------------------------------------------ Call: https://2019.splashcon.org/home/rebls-2019 Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design -- so-called reactive and event-based languages and systems (REBLS) -- have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work. STOKED (Spatio-Temporal platforms for Observations and Knowledge of Earth Data) ------------------------------------------------------------------------------- Call: https://2019.splashcon.org/home/stoked-2019 Global coverage and temporal resolutions of earth observation imagery data is increasing at an unprecedented rate, generating trillions of new pixels of data daily. The challenge with this "big data" is finding practical ways to extract knowledge and deliver it to end users at scale, both due to the complex nature and the sheer volume of information. Detailed, standardized geographic information is required to enable a new era of spatial temporal analytics—enabling insights to understand, monitor, and manage the earth’s resources in a sustainable manner. This can be accomplished through massive aggregation of data from remote sensors coupled with novel approaches to preparing, analyzing, and interacting with data. Modern spatio-temporal platforms will soon be using 3D visual interactive maps with close to real-time deep learning algorithms. In addition to system infrastructure and UI/UX challenges, we also need to address the normalization problems of data, particularly with data generated from multiple sensors. Use cases in climate change and emergency response in "extreme events" would see immediate benefit from this kind of platform. STOKED will provide an opportunity for researchers and stakeholders from this broad spectrum of applications and domains to start to design future platforms from an interdisciplinary perspective. VMIL (Virtual Machines and Intermediate Languages) -------------------------------------------------- Call: https://2019.splashcon.org/home/vmil-2019 The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.

1 0