- Haskell - Haskell.org

Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018)
by Achim D. Brucker 08 Jul '18

08 Jul '18

(Apologies for duplicates) ********************************************************** ** Only one week left until the submission deadline! *** ********************************************************** CALL FOR PAPERS 18th International Workshop on OCL and Textual Modeling Co-located with MODELS 2018: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and System, October 14, 2018, Copenhagen, Denmark http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed visual representations bear the risk of becoming overcrowded faster than textual models and some of the visual features lack the level of precision required to create complete and unambiguous specifications. These weaknesses of graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. 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 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. ## Venue This workshop will be organized as a part of MODELS 2018 Conference in Copenhagen, Denmark. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. ## Workshop Format The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. ## Submissions Two types of papers will be considered: * Short contributions (between 5 and 7 pages) describing new ideas, innovative tools or position papers. * Full papers (between 10 and 14 pages). in LNCS format. Submissions should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2018). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online, as part of the MODELS workshop proceedings, in [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: July 17, 2018 - Notification: August 17, 2018 - Workshop date: October 14, 2018 -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

PPDP 2018: Call for Participation
by David Sabel 06 Jul '18

06 Jul '18

====================================================================== PPDP 2018: Call for Participation ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html (co-located with LOPSTR 2018 and WFLP 2018) http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Registration ============ http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration Early registration ends on 15 August, 2018. Session in Honour of Martin Hofmann =================================== PPDP will include a session in honour of Martin Hofmann including a talk given by Nick Benton, Facebook on Semantic Equivalence Checking for HHVM Bytecode Invited Talks ============= - Philippa Gardner, Imperial College. Testing and Verification for JavaScript (joint with LOPSTR) - Jorge Navas, SRI International. Constrained Horn Clauses for Verification (joint with LOPSTR) - Chung-Chieh Shan, University of Indiana. Calculating Distributions Accepted Papers =============== - Maciej Bendkowski and Pierre Lescanne. Combinatorics of explicit substitutions - Manfred Schmidt-Schauss, David Sabel and Nils Dallmeyer. Sequential and Parallel Improvements in a Concurrent Functional Programming Language - Magnus Madsen and Ondrej Lhotak. Implicit Parameters for Logic Programming - Mistral Contrastin, Dominic Orchard and Andrew Rice. Automatic reordering for dataflow safety of Datalog - Danil Annenkov and Martin Elsman. Certified Compilation of Financial Contracts - José Fragoso Santos, Petar Maksimović, Théotime Grohens, Julian Dolby and Philippa Gardner. Cosette: Symbolic Execution for JavaScript - Michael Hanus. Verifying Fail-Free Declarative Programs - Dmitri Rozplokhas and Dmitry Boulytchev. Improving Refutational Completeness of Relational Search via Divergence Test - Martin Sulzmann and Kai Stadtmüller. Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks - Sylvia Grewe, Sebastian Erdweg, André Pacak and Mira Mezini. An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers - Gopalan Nadathur and Yuting Wang. Schematic Polymorphism in the Abella Proof Assistant - Stephan Adelsberger, Anton Setzer and Eric Walkingshaw. Declarative GUIs: Simple, Consistent, and Verified - Genki Sakanashi and Masahiko Sakai. Transformation of combinatorial optimization problems written in extended SQL into constraint problems - Yuki Nishida and Atsushi Igarashi. Nondeterministic Manifest Contracts - Alberto Pardo, Emmanuel Gunther, Miguel Pagano and Marcos Viera. An Internalist Approach to Correct-by-Construction Compilers - Falco Nogatz, Jona Kalkus and Dietmar Seipel. Web-based Visualisation for Definite Clause Grammars using Prolog Meta-Interpreters - Helmut Seidl and Ralf Vogler. Three improvements to the top-down solver - Flavien Breuvart and Ugo Dal Lago. On Intersection Types and Probabilistic Lambda Calculi - Taku Terao. Lazy Abstraction for Higher-Order Program Verification - Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, Jose F. Morales and Manuel V. Hermenegildo. Static Performance Guarantees for Programs with Run-time Checks - Abhishek Dang and Piyush Kurur. Verse: An EDSL for cryptographic primitives - Pablo Barenbaum, Eduardo Bonelli and Kareem Mohamed. Pattern Matching and Fixed Points: Resources Types and Strong Call-By-Need Sponsors ======== PPDP is financially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063, and by the Goethe-University Frankfurt am Main. Conference Organisers ===================== Program Committee See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc Program Chair Peter Thiemann, Universität Freiburg, Germany Organizing Committee (Goethe-University Frankfurt am Main, Germany) Ehud Cseresnyes Nils Dallmeyer Bircan Dölek Ronja Düffel Lars Huth Leonard Priester David Sabel (General Chair)

1 0

CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES (CPPS-2018)
by Samir ouchani 03 Jul '18

03 Jul '18

*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 <https://scholar.google.dk/citations?view_op=view_org&hl=en&org=123380132259…>, 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 <http://cs-conferences.acadiau.ca/euspn-18/paper-submission.html> proceedings and published by Elsevier. The authors must follow Elsevier guidelines provided at EUSPN-2018 <http://cs-conferences.acadiau.ca/euspn-18/paper-submission.html> 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 <https://easychair.org/conferences/?conf=cpps2018>, electronically in PDF format. Submit your workshop papers here <https://easychair.org/conferences/?conf=cpps2018>

1 0

2nd Call for Talks -- Haskell Implementors' Workshop
by Joachim Breitner 02 Jul '18

02 Jul '18

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(a)cis.upenn.edu> -- Joachim Breitner Post-Doctoral researcher http://cis.upenn.edu/~joachim

1 0

[ICTH-2018] FINAL deadline - Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018)
by Wim Ectors 02 Jul '18

02 Jul '18

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-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

1 0

[EUSPN-2018] FINAL CFP deadline - Conference on Emerging Ubiquitous Systems and Pervasive Networks. Leuven, Belgium (Nov. 5-8, 2018)
by Wim Ectors 02 Jul '18

02 Jul '18

********************************************************************************** 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, Netherlands David Taniar, Monash University, Australia Albert Zomaya, The University of Sydney, Australia Workshops Chair Muhammad Adnan, Hasselt University, Belgium Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic Mohamed Guerroumi, USTHB University, Algeria Hasibur Rahman, Stockholm University, Sweden Program Vice Chairs Syed Hassan Ahmed, University of Central Florida, USA Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Alfredo Cuzzocrea, University of Trieste, Italy StÃ©phane Galland, UniversitÃ© de Technologie de Belfort-MontbÃ©liard, France Abid Khan, CIIT, Pakistan Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Michael Sheng, Macquarie University, Australia Stelios Sotiriadis, University of Toronto, Canada Wei Zhang, Macquarie University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-18/organizing-commitee.html

1 0

Deadline extension for FARM 2018 (now July 8) - Workshop on Functional Art, Music, Modelling, and Design
by Brent Yorgey 28 Jun '18

28 Jun '18

The FARM submission deadline for papers and demo proposals has been extended to July 8 (the same as the performance submission deadline). 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design St. Louis, Missouri, USA, September 29th 2018 Call for Papers and Performances Key Dates ========= Paper submission deadline (extended) July 8 Performance submission deadline July 8 Author Notification July 21 Camera Ready August 5 Workshop September 29 About FARM ========== The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. It is co-located with ICFP 2018, the 23rd ACM SIGPLAN International Conference on Functional Programming, and with Strange Loop, in St. Louis, Missouri, USA. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. The language used need not be purely functional (“mostly functional” is fine), and may be manifested as a domain specific language or tool. Moreover, submissions focusing on questions or issues about the use of functional programming are within the scope. FARM 2018 website : http://functional-art.org/2018/ Call for Performances ===================== Submission deadline: July 8, 2018. Submission URL: https://easychair.org/conferences/?conf=farm2018 . FARM also hosts a traditional evening of performances. For this year’s event, FARM 2018 is seeking proposals for live performances which employ functional programming techniques, in whole or in part. We would like to support a diverse range of performing arts, including music, dance, video animation, and performance art. We encourage both risk-taking proposals which push forward the state of the art and refined presentations of highly-developed practice. In either case, please support your submission with a clear description of your performance including how your performance employs functional programming and a discussion of influences and prior art as appropriate. Call for Papers and Demos ========================= Submission deadline (extended): July 8 Submission URL: https://easychair.org/conferences/?conf=farm2018 . We welcome submissions from academic, professional, and independent programmers and artists. Submissions are invited in three categories: 1) Original papers We solicit original papers in the following categories: - Original research - Overview / state of the art - Technology tutorial All submissions must propose an original contribution to the FARM theme. FARM is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), using the ACM SIGPLAN style guidelines and the ACM SIGPLAN template. [ http://www.sigplan.org/Resources/Author/ -- use the 'sigplan' sub-format. ] Accepted papers will be published in the ACM Digital Library as part of the FARM 2018 proceedings. See http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. 2) Demo proposals Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in plain text, HTML or Markdown format, and not exceed 2000 words. A demo proposal should be clearly marked as such, by prepending Demo Proposal: to the title. Demo proposals will be published on the FARM website. A summary of the demo performances will also be published as part of the conference proceedings, to be prepared by the program chair. 3) Calls for collaboration Calls for collaboration should describe a need for technology or expertise related to the FARM theme. Examples may include but are not restricted to: - art projects in need of realization - existing software or hardware that may benefit from functional programming - unfinished projects in need of inspiration Calls for collaboration should be in plain text, HTML or Markdown format, and not exceed 5000 words. A call for collaboration should be clearly marked as such, by prepending Call for Collaboration: to the title. Calls for collaboration will be published on the FARM website. Authors take note ================= The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. All presentations at FARM 2018 will be recorded. Permission to publish the resulting video (in all probability on YouTube, along with the videos of ICFP itself and the other ICFP-colocated events) will be requested on-site. Questions ========= If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: farm-2018(a)functional-art.org Workshop Organization ==================== Brent Yorgey (general chair) Donya Quick (program chair) Tom Murphy (performance chair) Program Committee ================= Heinrich Apfelmus (self-employed) Chuck Jee Chau (Hong Kong University of Science and Technology, Hong Kong) Brian Heim (Yale, USA) Can Ince (ince.io) Chris Martens (NC State University, USA) Eduardo Miranda (University of Plymouth, UK) Ivan Perez Dominguez (University of Nottingham, UK) Iris Ren (Utrecht University, Netherlands) Henning Thielemann (self-employed) Didier Verna (EPITA, France) Dan Winograd-Cort (Target, USA) Halley Young (University of Pennsylvania, USA) Code of Conduct =============== FARM adheres to ICFP 2018's Code of Conduct: http://icfp18.sigplan.org/attending/code-of-conduct

1 0

PhD Position in Functional Programming and Programming Language Theory
by Tom Schrijvers 27 Jun '18

27 Jun '18

PHD POSITION IN FUNCTIONAL PROGRAMMING AND PROGRAMMING LANGUAGE THEORY (ref. BAP-2018-431) The group of prof. Tom Schrijvers has expertise in a broad range of topics related to functional programming and programming language theory, including recent contributions to Haskell's type system and the implementation of algebraic effects and handlers The group is part of the Declarative Languages and Artificial Intelligence (DTAI) group of the Department of Computer Science, KU Leuven. The activities of DTAI are centred around research and education in programming languages and artificial intelligence. Other themes of study are in the fields of declarative languages, machine learning, data mining, and knowledge representation. DTAI started in the mid-seventies, closely following the invention of logic programming and became one of the world's leading centres for research in logic programming. Gradually, the scope of its research broadened, including functional programming and more artificial intelligence oriented topics in knowledge representation and machine learning. The use of logic is a common thread to almost all activities. Website unit <https://people.cs.kuleuven.be/~tom.schrijvers/research.html> Project You will work closely with prof. Schrijvers and his team to conduct research in one or several areas of interest in the field of functional programming and programming language theory. Research topics of particular interest are: - type systems - mechanisation of programming language meta-theory - category theoretical foundations of programming languages - monads, continuations, algebraic effects and handlers, ... - recursion schemes and equational reasoning - DSLs Profile We are looking for a candidate who exhibits the following qualities: - You are responsible, can work both independently and in a team, show initiative and seize opportunities. - You can judge the quality of your own work and strive to improve it. - You are comfortable with both theory and practical implementation. - You are a good communicator (writing/presenting). - You get things done. Offer The initial contract is for 1 year and after positive evaluation will be extended to allow completion of a PhD in 4 years. The salary is competitive and the starting date negotiable (ideally September 1 or October 1). Interested? Please include a cover letter and CV in your application; highlight your particular interest and relevant background. For more information please contact Prof. dr. ir. Tom Schrijvers, tel.: +32 16 32 78 30, mail: tom.schrijvers(a)kuleuven.be. You can apply for this job no later than July 04, 2018 via the online application tool <http://www.kuleuven.be/eapplyingforjobs/light/54703967> KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR(a)kuleuven.be.

1 0

Call for Presentations and Demonstrations: Workshop on Functional High-Performance Computing 2018 at ICFP
by Kei Davis 25 Jun '18

25 Jun '18

7th ACM SIGPLAN Workshop on Functional High-Performance Computing September 29, 2018, St. Louis, Missouri, USA https://icfp18.sigplan.org/track/FHPC-2018-papers The 7th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2018) is being held as in previous years in conjunction with the International Conference on Functional Programming (ICFP 2018) together with numerous other workshops/symposia, and as a first, colocated with Strange Loop, in St. Louis, MO, USA. Workshop Objectives The FHPC 2018 workshop seeks to bring together researchers and practitioners exploring uses of functional (or more generally, declarative or high-level) programming systems or concepts in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented (low-level) imperative implementations. All aspects of performance-critical programming and parallel programming are in scope for the workshop, irrespective of hardware target. This includes both traditional large-scale distributed-memory scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. FHPC 2018 seeks to encourage a range of submissions, focusing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. Original research, experience reports, case studies, and evaluations of programming systems are all welcome. Work on incorporation of functional programming concepts into more traditional (imperative) HPC applications is explicitly solicited. Papers, Presentations, and Demonstrations The refereed paper deadline has passed. In the workshop spirit, the refereed paper presentation program is being augmented to include less formally reviewed presentations in the form of talks not based on accepted papers, and software demonstrations. Topic areas of interest include research or development in progress, experience reports, and position/white paper statements. Proposals will be subject to a mild reviewing process to insure relevance and general interest to FHPC. We expect time slots to be between one-half and one hour. Prospective presenters are requested to submit an abstract describing their proposed contribution via the paper submission site. The deadline is July 29, 2018, midnight anywhere on Earth, but the PC reserves the right to accept proposals at any time after submission. As such, early submission is strongly encouraged. Important Dates - Submission Deadline: Midnight July 29, 2018 Anywhere on Earth. - Notification: early-mid August (TBD) - FHPC 2018: Saturday Sept. 29, 2018. Official website, submissions, registration details https://icfp18.sigplan.org/track/FHPC-2018-papers Previous FHPC websites https://icfp17.sigplan.org/track/FHPC-2017-papers https://sites.google.com/site/fhpcworkshops/ ICFP and related workshops https://conf.researchr.org/home/icfp-2018 https://icfp18.sigplan.org Strange Loop https://www.thestrangeloop.com/ Questions or comments? fhpc18(a)gmail.com

1 0

DS-RT 2018: CFP Special Sessions (extended deadlines)
by Robson De Grande 23 Jun '18

23 Jun '18

Dear Colleagues and Researchers, Apologies, if you have received multiple copies of this CFP. ********** CALL FOR PAPER ********** DS-RT 2018, the 22nd IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications, is running three special sessions this year: - Distributed Simulations of Distributed Systems - Agent-based Modeling and Simulation - Simulation of Urban Traffic Management and ITS These special sessions cover important areas of the field of distributed simulations and real time applications, and many papers were accepted in previous editions of DS-RT on the same topics. See below for more detailed descriptions of those special sessions. Accepted works will be published in the main track of IEEE DS-RT 2018 proceedings. ***** PAPER SUBMISSION AND REVIEW ***** Submitted manuscripts must be in standard IEEE two-column format that is used for IEEE conference proceedings and must not exceed "8 pages" (2-page extension allowed), including figures, tables and references. Standard IEEE templates for Microsoft Word or LaTeX formats can be found at: - http://www.ieee.org/conferences_events/conferences/publishing/templates.html A submission may present preliminary results, propose new research direction, provide insightful retrospective, or offer a provocative viewpoint on important topics related to the considered special session. Papers will be selected based on their likelihood of generating insightful technical discussions at the special session and influencing future research. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference and the special session. At least one author of accepted papers must attend the conference and present its contribution. Accepted papers will appear in the conference proceedings to be published by IEEE Press. ***** IMPORTANT DATES ***** Full paper submission deadline (extended): July 6th, 2018 Paper acceptance notification: July 22nd, 2018 ***** FOR MORE INFORMATION ***** For questions about the paper submission and review process, please contact the session organisers - find all relevant information on the corresponding web pages below. ***** DESCRIPTION OF THE SPECIAL SESSIONS ***** * Special Session on Distributed Simulations of Distributed Systems * Distributed simulation (DS) is a valuable tool for understanding and evaluating distributed systems. The current computing trend sees businesses and individuals moving toward a more centralized infrastructure, namely the cloud. On the one hand, as the computing infrastructure at data centers is highly complex and distributed, DS becomes essential for diagnosing and gaining insights of the system. On the other hand, the scale and nature of interaction between different components in the cloud present new challenges and push DS's state of the art. Another computing trend that has potential to drive DS is internet-of-things. Such complex systems consist of a large number of autonomous, heterogeneous devices communicating with one another in non-uniform manner. DS is valuable not only for discerning system properties but also for predicting the devices' emergent behavior. Finally, users in online social networks make up large distributed systems. Insights of user interaction and the network's collective behavior --- the study of which fits well into the realm of DS --- bring significant value to both the society and the business of social network providers. This special session seeks to bring together experts and practitioners in the domain of DS to discuss new opportunities and challenges for DS. We welcome research papers on both theoretical and empirical issues. Web page: http://ds-rt.com/2018/dsimdsys_2018.htm * Special Session on Agent-based Modeling and Simulation * This special session focuses on general aspects and special properties for agent-based modeling and simulations that allows them to be applied on several scientific domains, such as sociology, physics, chemistry, biology, ecology, and economy. The session is intended to bring together researchers and practitioners, so they can present the current status of their work and discuss the challenges they face in developing solutions and applications for agent-based simulations. Consequently, the design of these simulations aims not only to social contexts but also to more technical domains, which involves highly complex interactive systems. Web page: http://ds-rt.com/2018/abms_2018.htm * Special Session on Simulation of Urban Traffic Management and ITS * This special session focuses on simulation tools and real-time simulation applications used in and for evaluation, management, and design of Intelligent Transportation Systems (ITS), as well as Smart Cities. Such simulations are expected to offer prediction and on-the-flow feedback for the better decision-making, bringing up means for both the implementation of more complex traffic management systems and end-user applications. Off-line and real-time analyses of data collected from infrastructured systems (e.g. real-time traffic information), mobile, distributed technologies (e.g. communication devices), and socially-build systems (e.g. social networks applications) are of great interest for shaping and influencing how ITS solutions are designed. Thus, we are particularly interested in how these data and technologies can be incorporated in domain-related models and simulations. We aim to bring together experts from both industry and academia to discuss the challenges related to modelling and simulation for ITS. Web page: http://ds-rt.com/2018/soiits_2018.htm Best Regards, DS-RT 2018 Special Session Chairs

1 0