From icfp.publicity at googlemail.com Tue Feb 2 15:57:37 2021 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Tue, 02 Feb 2021 10:57:37 -0500 Subject: [Haskell] Call for Papers: PACMPL issue ICFP 2021 Message-ID: <60197671c8cec_c46e221c136c@homer.mail> PACMPL Volume 5, Issue ICFP 2021 Call for Papers Accepted papers to be invited for presentation at The 26th ACM SIGPLAN International Conference on Functional Programming To Be Held Virtualy http://icfp21.sigplan.org/ ### Important dates Submissions due: 2 March 2021 (Tuesday) Anywhere on Earth https://icfp21.hotcrp.com Author response: 20 April (Tuesday) - 23 April (Friday) 17:00 UTC Notification: 7 May (Friday) Final copy due: 30 June (Wednesday) Conference: 22 August (Sunday) - 27 August (Friday) ### About PACMPL Proceedings of the ACM on Programming Languages (PACMPL ) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicized Calls for Papers, like this one. ### Scope [PACMPL](https://pacmpl.acm.org/) issue ICFP 2021 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * Language Design: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; macros; pattern matching; type systems; type inference; dependent types; session types; gradual typing; refinement types; interoperability; domain-specific languages; imperative programming; object-oriented programming; logic programming; probabilistic programming; reactive programming; generic programming; bidirectional programming. * Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; runtime systems; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling; build systems; program synthesis. * Foundations: formal semantics; lambda calculus; program equivalence; rewriting; type theory; logic; category theory; monads; continuations; control; state; effects; names and binding; program verification. * Analysis and Transformation: control flow; data flow; abstract interpretation; partial evaluation; program calculation. * Applications: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; graphics and multimedia; GPU programming; scripting; system administration; security. * Education: teaching introductory programming; parallel programming; mathematical proof; algebra. Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. PACMPL issue ICFP 2021 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such when submitted and that need not report original research results. Detailed guidelines on both categories are given at the end of this call. Please contact the associate editor if you have questions or are concerned about the appropriateness of a topic. ### Preparation of submissions **Deadline**: The deadline for submissions is **Tuesday, March 2, 2021**, Anywhere on Earth (). This deadline will be strictly enforced. **Formatting**: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from . There is a limit of **25 pages for a full paper or Functional Pearl** and **12 pages for an Experience Report**; in either case, the bibliography will not be counted against these limits. Submissions that exceed the page limits or, for other reasons, do not meet the requirements for formatting, will be summarily rejected. Supplementary material can and should be **separately** submitted (see below). See also PACMPL's Information and Guidelines for Authors at . **Submission**: Submissions will be accepted at Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. **Author Response Period**: Authors will have a 72-hour period, starting at 17:00 UTC on **Tuesday, April 20, 2021**, to read reviews and respond to them. **Supplementary Material**: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should **not** be submitted as part of the main document; instead, it should be uploaded as a **separate** PDF document or tarball. Supplementary material should be uploaded **at submission time**, not by providing a URL in the paper that points to an external repository. Authors are free to upload both anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). **Authorship Policies**: All submissions are expected to comply with the ACM Policies for Authorship that are detailed at . **Republication Policies**: Each submission must adhere to SIGPLAN's republication policy, as explained on the web at . ### Review Process This section outlines the two-stage process with lightweight double-blind reviewing that will be used to select papers for PACMPL issue ICFP 2021. We anticipate that there will be a need to clarify and expand on this process, and we will maintain a list of frequently asked questions and answers on the PACMPL issue website to address common concerns. **PACMPL issue ICFP 2021 will employ a two-stage review process.** The first stage in the review process will assess submitted papers using the criteria stated above and will allow for feedback and input on initial reviews through the author response period mentioned previously. As a result of the review process, a set of papers will be conditionally accepted and all other papers will be rejected. Authors will be notified of these decisions on **May 7, 2021**. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. After four weeks (June 4, 2021), the authors will provide a second submission. The second and final reviewing phase assesses whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. The intent and expectation is that the mandatory revisions can be addressed within four weeks and hence that conditionally accepted papers will in general be accepted in the second phase. The second submission should clearly identify how the mandatory revisions were addressed. To that end, the second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper. The cover letter will facilitate a quick second review, allowing for confirmation of final acceptance within two weeks. Conversely, the absence of a cover letter will be grounds for the paper’s rejection. **PACMPL issue ICFP 2021 will employ a lightweight double-blind reviewing process.** To facilitate this, submitted papers must adhere to two rules: 1. **author names and institutions must be omitted**, and 2. **references to authors' own related work should be in the third person** (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. ### Information for Authors of Accepted Papers * As a condition of acceptance, final versions of all papers must adhere to the new ACM Small format. The page limit for the final versions of papers will be increased by two pages to help authors respond to reviewer comments and mandatory revisions: **27 pages plus bibliography for a regular paper or Functional Pearl, 14 pages plus bibliography for an Experience Report**. * Authors of accepted submissions will be required to agree to one of the three ACM licensing options: open access on payment of a fee (**recommended**, and SIGPLAN can cover the cost as described next); copyright transfer to ACM; or retaining copyright but granting ACM exclusive publication rights. Further information about ACM author rights is available from . * PACMPL is a Gold Open Access journal, and authors are encouraged to publish their work under a CC-BY license. Gold Open Access guarantees permanent free online access to the definitive version in the ACM Digital Library, and the recommended CC-BY option also allows anyone to copy and distribute the work with attribution. Gold Open Access has been made possible by generous funding through ACM SIGPLAN, which will cover all open access costs in the event authors cannot. Authors who can cover the costs may do so by paying an Article Processing Charge (APC). PACMPL, SIGPLAN, and ACM Headquarters are committed to exploring routes to making Gold Open Access publication both affordable and sustainable. * ACM offers authors a range of copyright options, one of which is Creative Commons CC-BY publication; this is the option recommended by the PACMPL editorial board. A reasoned argument in favour of this option can be found in the article [Why CC-BY?](https://oaspa.org/why-cc-by/) published by OASPA, the Open Access Scholarly Publishers Association. * ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to the definitive version of an ACM article should reduce user confusion over article versioning. After an article has been published and assigned to the appropriate ACM Author Profile pages, authors should visit to learn how to create links for free downloads from the ACM DL. * The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to *two weeks prior* to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. * Authors of each accepted submission are invited to attend and be available for the presentation of that paper at the conference. The schedule for presentations will be determined and shared with authors after the full program has been selected. ### Artifact Evaluation Authors of papers that are conditionally accepted in the first phase of the review process will be encouraged (but not required) to submit supporting materials for Artifact Evaluation. These items will then be reviewed by an Artifact Evaluation Committee, separate from the paper Review Committee, whose task is to assess how the artifacts support the work described in the associated paper. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers will be encouraged to make the supporting materials publicly available upon publication of the papers, for example, by including them as "source materials" in the ACM Digital Library. An additional seal will mark papers whose artifacts are made available, as outlined in the ACM guidelines for artifact badging. Participation in Artifact Evaluation is voluntary and will not influence the final decision regarding paper acceptance. ### Special categories of papers In addition to research papers, PACMPL issue ICFP solicits two kinds of papers that do not require original research contributions: Functional Pearls, which are full papers, and Experience Reports, which are limited to half the length of a full paper. Authors submitting such papers should consider the following guidelines. #### Functional Pearls A Functional Pearl is an elegant essay about something related to functional programming. Examples include, but are not limited to: * a new and thought-provoking way of looking at an old idea * an instructive example of program calculation or proof * a nifty presentation of an old or new data structure * an interesting application of functional programming techniques * a novel use or exposition of functional programming in the classroom While pearls often demonstrate an idea through the development of a short program, there is no requirement or expectation that they do so. Thus, they encompass the notions of theoretical and educational pearls. Functional Pearls are valued as highly and judged as rigorously as ordinary papers, but using somewhat different criteria. In particular, a pearl is not required to report original research, but, it should be concise, instructive, and entertaining. A pearl is likely to be rejected if its readers get bored, if the material gets too complicated, if too much specialized knowledge is needed, or if the writing is inelegant. The key to writing a good pearl is polishing. A submission that is intended to be treated as a pearl must be marked as such on the submission web page, and should contain the words "Functional Pearl" somewhere in its title or subtitle. These steps will alert reviewers to use the appropriate evaluation criteria. Pearls will be combined with ordinary papers, however, for the purpose of computing the conference's acceptance rate. #### Experience Reports The purpose of an Experience Report is to help create a body of published, refereed, citable evidence that functional programming really works -- or to describe what obstacles prevent it from working. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using functional programming * comparison of functional programming with conventional programming in the context of an industrial project or a university curriculum * project-management, business, or legal issues encountered when using functional programming in a real-world project * curricular issues encountered when using functional programming in education * real-world constraints that created special challenges for an implementation of a functional language or for functional programming in general An Experience Report is distinguished from a normal PACMPL issue ICFP paper by its title, by its length, and by the criteria used to evaluate it. * Both in the papers and in any citations, the title of each accepted Experience Report must end with the words "(Experience Report)" in parentheses. The acceptance rate for Experience Reports will be computed and reported separately from the rate for ordinary papers. * Experience Report submissions can be at most 12 pages long, excluding bibliography. * Each Experience Report accepted to the PACMPL issue will be presented at the conference, but depending on the number of Experience Reports and regular papers accepted, authors of Experience reports may be asked to give shorter talks. * Because the purpose of Experience Reports is to enable our community to accumulate a body of evidence about the efficacy of functional programming, an acceptable Experience Report need not add to the body of knowledge of the functional-programming community by presenting novel results or conclusions. It is sufficient if the Report states a clear thesis and provides supporting evidence. The thesis must be relevant to the PACMPL issue, but it need not be novel. The review committee will accept or reject Experience Reports based on whether they judge the evidence to be convincing. Anecdotal evidence will be acceptable provided it is well argued and the author explains what efforts were made to gather as much evidence as possible. Typically, more convincing evidence is obtained from papers which show how functional programming was used than from papers which only say that functional programming was used. The most convincing evidence often includes comparisons of situations before and after the introduction or discontinuation of functional programming. Evidence drawn from a single person's experience may be sufficient, but more weight will be given to evidence drawn from the experience of groups of people. An Experience Report should be short and to the point: it should make a claim about how well functional programming worked on a particular project and why, and produce evidence to substantiate this claim. If functional programming worked in this case in the same ways it has worked for others, the paper need only summarize the results; the main part of the paper should discuss how well it worked and in what context. Most readers will not want to know all the details of the project and its implementation, but the paper should characterize the project and its context well enough so that readers can judge to what degree this experience is relevant to their own projects. The paper should take care to highlight any unusual aspects of the project. Specifics about the project are more valuable than generalities about functional programming; for example, it is more valuable to say that the team delivered its software a month ahead of schedule than it is to say that functional programming made the team more productive. If the paper not only describes experience but also presents new technical results, or if the experience refutes cherished beliefs of the functional-programming community, it may be better to submit it as a full paper, which will be judged by the usual criteria of novelty, originality, and relevance. The associate editor will be happy to advise on any concerns about which category to submit to. ### ICFP Organizers General Chair: Sukyoung Ryu (KAIST, South Korea) Accessibility Co-Chairs: Lindsey Kuper (UC Santa Cruz, USA), Kathrin Stark (Princeton University, USA) Artifact Evaluation Co-Chairs: Gabriel Scherer (INRIA Saclay, France), Brent Yorgey (Hendrix College, USA) Industrial Relations Co-Chairs: Alan Jeffrey (Roblox, USA), Simon Marlow (Facebook, England) Programming Contest Co-Organisers: Alex Lang, Jasper Van der Jeugt (Fugue, Switzerland) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: Anders Miltner (University of Texas, USA) Student Volunteer Co-Chairs: Lily Bryant (University of British Columbia, Canada), Jaemin Hong (KAIST, South Korea), Hanneli Tavante (McGill University, Canada) Video Co-Chairs: Leif Andersen (Northeastern University, USA), Benjamin Chung (Northeastern University, USA) Workshops Co-Chairs: Leonidas Lampropoulos (University of Maryland, USA), Zoe Paraskevopoulou (Princeton University, USA) ### PACMPL Volume 5, Issue ICFP 2021 Associate Editor: Ronald Garcia, (University of British Columbia, Canada) Review Committee: Zena Ariola (University of Oregon, USA) Stephanie Balzer (Carnegie Mellon University, USA) Matteo Cimini (UMass Lowell, USA) Youyou Cong (Tokyo Institute of Technology, Japan) Harley Eades (University of Augusta, USA) Andrew Gordon (Microsoft Research & University of Edinburgh, United Kingdom) Benjamin Greenman (Brown University, USA) Arjun Guha (Northeastern University, USA) Jurriaan Hage (Utrecht, The Netherlands) Favonia (University of Minnesota, USA) Suresh Jagannathan (Purdue University, USA) Patricia Johann (Appalachian State University, USA) Ralf Jung (Max Planck Institute, Germany) Ekaterina Komendantskaya (Heriot-Watt, Scotland) Leonidas Lampropoulos (University of Maryland, USA) Kazutaka Matsuda (Tohoku University, Japan) Akimasa Morihata (Univeristy of Tokyo, Japan) Stefan Muller (Illinois Institute of Technology, USA) Max New (Wesleyan University, USA) Rishiyur Nikhil (Bluespec , USA) Cyrus Omar (University of Michigan, USA) Brigitte Pientka (McGill University, Canada) Norman Ramsey (Tufts University, USA) Christine Rizkallah (University of New South Wales, Australia) Taro Sekiyama (National Institute for Informatics, Japan) Eijiro Sumii (Tohoku University, Japan) Amin Timany (Aarhus University, Denmark) Mitchell Wand (Northeastern University, USA) Steve Zdancewic (University of Pennsylvania, USA) From orven.llantos at g.msuiit.edu.ph Wed Feb 3 07:43:34 2021 From: orven.llantos at g.msuiit.edu.ph (Orven Llantos) Date: Wed, 3 Feb 2021 15:43:34 +0800 Subject: [Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing Message-ID: -- Apologies for cross-posting. -- The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-21 Important Dates Workshop Proposal: February 21, 2021 Submission Deadline March 19, 2021 Author Notification: May 17, 2021 Final Manuscript Due: June 15, 2021 Mobile system and Pervasive computing have evolved into an active area of research and development, due to the tremendous advances in a broad spectrum of technologies and topics including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2021 solicits papers that focus on the theory, system, practice and challenge of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computer, computing resources and applications, as well the systems, services and technology enabling those applications. MobiSPC-2021 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the-art research and developmental work in the broad areas of pervasive computing and communications. The topics include but are not limited to: Component-based IoT - Cloud support for the IoT - Composition of IoT services and components - Distribution and binding models for IoT applications - Experiences applying component-based design to IoT systems - Interoperability of IoT services and components - Modelling, development and simulation support for the IoT - Modular hardware/software co-design - Modular or component based FPGA development - Novel component models for the IoT - Privacy of modular IoT systems - Security of modular IoT systems Enabling Technologies and Emerging Topics - Agents and Intelligent Computing - Big data - Cyber Physical Social Systems - Mobile Applications - Mobile Crowd-sourcing and Human-in-the-Loop Design - Mobile Services and Platforms - Mobile Sensor Based Personal Informatics - Mobile Web - Near Field Communication - New Mobile Sensing Hardware - Robotic Sensor Networking - Vehicular Social Networks - Wearable Augmented Reality Systems Internet of Things (IoT) - Data Mining on IoT systems - Edge Computing solutions for IoT - IoT applied to Cultural Heritage - IoT for e-health - IoT platforms for Data analytics on pervasive and mobile environments - IoT tools and applications - Network Design and Architecture - Sensor networks, Remote Diagnosis and Development Mobile Cloud Computing - Advertisement - Computing Performance Evaluation - Contest Based Sensing - Data and Storage Architecture - Data Storage Management for Mobile Cloud Computing Service Provider and Users - Games - Multimedia Services - Privacy Protection - Quality of Experiences and (QoE) Studies - Security - Service Models - Service Platform - Software Development Platform and Enabled New Applications - Virtualization and Programmable Infrastructure Mobile Data Management - Context-aware Computing for Intelligent Mobile Services - Data Management for Emerging Smart Urban Systems - Data management for Next-Gen Mobile and Ad-Hoc Networks - Data Management for the Internet of Things (IoT) - Data Management in the Mobile Cloud - Data replication, migration and dissemination in mobile environments - Data stream processing in mobile/sensor network - Mobile Activity Recognition - Mobile Data Analytics - Mobile Data and User/Behavioural Understanding - Mobile Location-Based Social Networks - Mobile Situation Inference - Query Processing for moving objects/users - Recommendations for Mobile Users - Semantic Data Management for Mobile Devices/Applications - Transactions and workflows in mobile environments Mobile Social Networking - MSN Advertising, Business to Business (B2B) Marketing - MSN Algorithms for Social Search - MSN Analytics - MSN Architecture - MSN Brand Management (social brand strategic development and product management) - MSN Data Mining and Machine Learning - MSN Infrastructure Support - MSN Marketing (digital, direct and mobile marketing) - MSN Privacy in Data Collection and Management - Trust and Reputations in MSN Pervasive Computing - Adaptive, Autonomic and Context-Aware Computing - Architectures, Protocols, and Technologies for Pervasive Communications - Cognitive Computing in Pervasive Systems - Context Modelling and Reasoning - Data Management for Pervasive Computing - Energy-Efficient and Green Pervasive Computing - Innovative Pervasive Computing Applications - Machine Learning for Activity Recognition - Middleware for Pervasive Services and Applications - Mobile/Wearable Computing Systems and Services in Pervasive Computing - Multimodal Sensing and Context for Pervasive Applications - Opportunistic Networking and Sensing in Pervasive Systems - Participatory and Social Sensing - Pervasive Computing Aspects of Social Networks - Positioning and Tracking Technologies - Programming Paradigms for Pervasive Systems - Sensors and RFID in Pervasive Systems - Smart Devices and Intelligent Environments - Social and Economic Models for Pervasive Systems - Software Evolution and Maintenance in Pervasive Systems - Trust, Security and Privacy Issues in Pervasive Systems - User Interface, Interaction, and Persuasion - Virtual Immersive Communications Honorary Chair Luc De Schepper, Rector, Hasselt University, Belgium General Chair Danny Hughes, KU Leuven, Belgium Program Chairs Hossam Hassanein, Queen's University, Canada Ansar Yasar, Hasselt University, Belgium Workshops Chair Muhammad Adnan, Hasselt University, Belgium Tracks Chairs Longbiao Chen, Xiamen University, China Salimur Choudhury, Lakehead University, Canada Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Uneb Gazger, University of Bahrain, Bahrain Camille Kamga, The City College of New York, USA Yongrui (Louie) Qin, University of Huddersfield, UK Hamid Mcheick, UQAC, Canada Wendy Osborn, University of Lethbridge, Canada Rahim Rahmani, Stockholm University, Sweden Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs El Arbi Abdellaoui Alaoui, EIGSI-Casablanca, Morocco Orven E. Llantos, MSU-IIT, Philippines Advisory Committee Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Steering Committee Elhadi Shakshuki, Acadia University, Canada (Chair and MobiSPC Founder) -- Orven E. Llantos, PhD Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology   (MSU-IIT) makes no warranties of any kind, whether expressed or implied, with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not be responsible for damages resulting from the use of MSU-IIT e-mail resources, including, but not limited to, loss of data resulting from delays, non-deliveries, missed deliveries, service interruptions caused by the negligence of a MSU-IIT employee, or by the User's error or omissions. MSU-IIT specifically denies any responsibility for the accuracy or quality of information obtained through MSU-IIT e-mail resources, except material represented as an official MSU-IIT record. Any views expressed in this e-mail are those of the individual sender and may not necessarily reflect the views of MSU-IIT, except where the message states otherwise and the sender is authorized to state them to be the views of MSU-IIT. The information contained in this e-mail, including those in its attachments, is confidential and intended only for the person(s) or entity(ies) to which it is addressed. If you are not an intended recipient, you must not read, copy, store, disclose, distribute this message, or act in reliance upon the information contained in it. If you received this e-mail in error, please contact the sender and delete the material from any computer or system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From emilypi at cohomolo.gy Wed Feb 3 15:47:39 2021 From: emilypi at cohomolo.gy (Emily Pillmore) Date: Wed, 03 Feb 2021 15:47:39 +0000 Subject: [Haskell] Haskell.org nomination results In-Reply-To: References: Message-ID: Welcome aboard, Ida :) On Wed, Feb 03, 2021 at 10:14 AM, Ryan Trinkle < ryan at trinkle.org > wrote: > > > > Great to meet you, Ida! > > > On 2/3/21 9:57 AM, Alexandre ... wrote: > > >> Hello people, >> >> >> I'm here to announce the results for the Haskell. org ( http://haskell.org/ >> ) committee. >> >> >> The final results are: >> >> >> >> >> * Ida 5 >> * Ryan 5 >> * Tikhon 5 >> >> >> >> >> >> With no votes to anyone else. Ryan and Tikhon are renominated and Ida is a >> new member. Welcome aboard, Ida. >> >> >> Alexandre. >> > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Thu Feb 4 18:02:53 2021 From: ben at well-typed.com (Ben Gamari) Date: Thu, 04 Feb 2021 13:02:53 -0500 Subject: [Haskell] [ANNOUNCE] GHC 9.0.1 released Message-ID: <87wnvnsoc5.fsf@smart-cactus.org> The GHC team is very pleased to announce the availability of GHC 9.0.1. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/9.0.1/ In addition to numerous bug fixes, GHC 9.0.1 will bring a number of new features: * A first cut of the new LinearTypes language extension [2], allowing use of linear function syntax and linear record fields. * A new bignum library, ghc-bignum, improving portability and allowing GHC to be more easily used with integer libraries other than GMP. * Improvements in code generation, resulting in considerable runtime performance improvements in some programs. * Improvements in pattern-match checking, allowing more precise detection of redundant cases and reduced compilation time. * Implementation of the "simplified subsumption" proposal [3] simplifying the type system and paving the way for QuickLook impredicativity in GHC 9.2. * Implementation of the QualifiedDo extension [4], allowing more convenient overloading of `do` syntax. * An experimental new IO manager implementation for Windows platforms, both improving performance and fixing many of the quirks with the old manager built on POSIX-emulation. * Improvements in compilation time. And many more. See the release notes [5] for a full accounting of the changes in this release. As always, feel free to report any issues you encounter via gitlab.haskell.org. Cheers, - Ben [1]: https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.0#ghc-prim-07 [2]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst [3]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst [4]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-qualified-do.rst [5]: https://downloads.haskell.org/ghc/9.0.1/docs/html/users_guide/9.0.1-notes.html -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From hemdanimayssa at gmail.com Fri Feb 5 12:47:44 2021 From: hemdanimayssa at gmail.com (Mayssa HEMDANI) Date: Fri, 5 Feb 2021 16:47:44 +0400 Subject: [Haskell] [CFP] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Message-ID: Call for papers ************************************************* International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( https://easychair.org/conferences/?conf=irsh2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/irsh/ *************************************************************************** CONTACT For more information, please send an email to info-irsh at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From muhammad.adnan at uhasselt.be Fri Feb 5 19:13:50 2021 From: muhammad.adnan at uhasselt.be (Muhammad ADNAN) Date: Fri, 5 Feb 2021 20:13:50 +0100 Subject: [Haskell] FNC 2021: Call for Workshop Proposals (The 16th International Conference on Future Networks and Communications) Message-ID: ******** Call for Workshops Proposals ******** The 16th International Conference on Future Networks and Communications http://cs-conferences.acadiau.ca/fnc-21/#workshop_call August 9-12, 2021 Leuven, Belgium Important Dates =========== - Workshop Proposal Due: February 21, 2021 - Acceptance Notification: February 25, 2021 The FNC 2021 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 FNC 2021 and its related areas. All papers accepted for workshops will be included in the FNC 2021 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in FNC 2021 Website. Proposal Format =========== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops' Chair ============== Dr. Muhammad Adnan, Hasselt University, Belgium ( muhammad.adnan at uhasselt.be) -- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From emilia at confscience.com Sat Feb 6 07:50:58 2021 From: emilia at confscience.com (Emilia Marc) Date: Sat, 6 Feb 2021 08:50:58 +0100 Subject: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Message-ID: <00e801d6fc5c$ced143e0$6c73cba0$@confscience.com> Call for papers ************************************************* International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=rtatm2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/rtatm/ *************************************************************************** CONTACT For more information, please send an email to info-rtatm at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Sat Feb 6 16:12:53 2021 From: ben at well-typed.com (Ben Gamari) Date: Sat, 06 Feb 2021 11:12:53 -0500 Subject: [Haskell] [ANNOUNCE] GHC 8.10.4 released Message-ID: <874kip41kq.fsf@smart-cactus.org> The GHC team is very pleased to announce the availability of GHC 8.10.4. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.4/ This is a small bug-fix release, fixing two bugs present in 8.10.3: * Fix a linker hang triggered by dynamic code loading on Windows (#19155) * Fix a crash caused by inappropriate garbage of heap-allocated data reachable from foreign exports (#19149) As always, feel free to report any issues you encounter via [gitlab.haskell.org](https://gitlab.haskell.org/ghc/ghc/-/issues/new). Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From ksk at riec.tohoku.ac.jp Sun Feb 7 03:05:24 2021 From: ksk at riec.tohoku.ac.jp (Keisuke Nakano) Date: Sun, 7 Feb 2021 12:05:24 +0900 Subject: [Haskell] WPTE 2021 (FIRST Call For Papers) Message-ID: --------------------------------------------------------------------------- WPTE 2021: 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation Held online on July 18, 2021 --------------------------------------------------------------------------- Conference Web site: https://www.ipl.riec.tohoku.ac.jp/wpte2021/ Submission link: https://easychair.org/conferences/?conf=wpte2021 Submission deadline: May 10, 2021 --------------------------------------------------------------------------- The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2021) is affiliated with FSCD 2021, https://fscd2021.dc.uba.ar/ List of Topics --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline an extended abstract of at most 10 pages is required to be submitted. The extended abstract may present original work or also work in progress. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions will be electronic via https://easychair.org/conferences/?conf=wpte2021. Formal Proceedings --------------------------------------------------------------------------- WPTE post-proceedings of selected papers will be published in a JLAMP special issue. For this, full papers must be submitted until the post-proceedings deadline. The authors of selected contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These must represent original work and should not be submitted to another conference at the same time. The submission deadline for these post-proceedings will be after the workshop in September 2021. There will be a second round of reviewing for selecting papers to be published in the formal proceedings. Important Dates --------------------------------------------------------------------------- Submission of extended abstracts: May 10, 2021 (AoE) Notification of acceptance: May 31, 2021 Final version for proceedings deadline: June 13, 2021 Workshop: July 18, 2021 Submission to post-proceedings: September 2021 Program Committees --------------------------------------------------------------------------- Keisuke Nakano, Tohoku University, Japan (Chair) Adrian Riesco, Universidad Complutense de Madrid, Spain. (co-Chair) Ștefan Ciobâcă, Universitatea Alexandru Ioan Cuza din Iași, Romania Makoto Hamana, Gunma University, Japan Akimasa Morihata, the University of Tokyo, Japan Shin-Cheng Mu, Academia Sinica, Taiwan Koko Muroya, Kyoto University, Japan David Sabel, LMU, Germany Julia Sapiña, Polytechnic University of Valencia, Spain Janis Voigtländer, University of Duisburg-Essen, Germany Contact --------------------------------------------------------------------------- All questions about submissions should be emailed to wpte2021 (at) easychair.org From wim.ectors at uhasselt.be Mon Feb 8 17:01:00 2021 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 8 Feb 2021 11:01:00 -0600 Subject: [Haskell] [FNC-2021] Call for workshop proposals: Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021) Message-ID: ------------------------------------------------------------------------ The 16th International Conference on Future Networks and Communications Leuven, Belgium August 9-12, 2021 http://cs-conferences.acadiau.ca/fnc-21/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help to achieve a major promise of emerging technologies such as ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. The scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: February 21, 2021 - Paper Submission Due: March 19, 2021 - Acceptance Notification: May 17, 2021 - Final Manuscript Due: June 15, 2021 Publication ------------ All FNC 2021 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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) FNC 2021 will be held in conjunction with the 17th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-21/). FNC 2021 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 kilometers (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 in 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. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. The facade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Haroon Malik, Marshall University, USA Yves Vanrompay, Hasselt University, Belgium Workshops Chair Muhammad Adnan, Hasselt University, Belgium International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohammed Erritali, University Sultane Moulay Slimane, Morocco Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/fnc-21/#programCommittees Sent via Mail Merge for Gmail -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Tue Feb 9 05:42:02 2021 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Tue, 9 Feb 2021 05:42:02 +0000 Subject: [Haskell] SEIT-21: 11th International Conference on Sustainable Energy Information Technology (SEIT 2021) Leuven, Belgium In-Reply-To: References: Message-ID: Call for Papers **************************************************************************** The 11th International Conference on Sustainable Energy Information Technology (SEIT 2021) Leuven, Belgium August 9-12, 2021 Conference Website: http://cs-conferences.acadiau.ca/seit-21 **************************************************************************** Important Dates - Workshop Proposal Due: February 20, 2021 - Paper Submission Due: March 19, 2021 - Acceptance Notification: May 17, 2021 - Final Manuscript Due: June 15, 2021 The goal of the SEIT 2021 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. All SEIT 2021 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted 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/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in an international journal. SEIT 2021 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. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. Conference Main Topics: ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Honorary Chair Luc De Schepper, Rector, Hasselt University, Belgium General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesus Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Davy Janssens, Hasselt University, Belgium Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Ansar-Ul-Haque Yasar, IMOB - Hasselt University, Belgium Publicity Chairs Hana Gharrad, Hasselt University, Belgium Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-21/#programCommittees ________________________________ [Politechnika Łódzka / Lodz University of Technology] [Facebook] [Twitter] [Youtube] [Linkedin] ________________________________ Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę, prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Tue Feb 9 11:36:48 2021 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Tue, 9 Feb 2021 12:36:48 +0100 (CET) Subject: [Haskell] The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021) Message-ID: <1477084484.8097498.1612870608590.JavaMail.zimbra@utbm.fr> Please, accept our apologies in case of multiple copies of this CFP. ************************************************************************************************************************************* The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021) https://extraamas.ehealth.hevs.ch/ held in conjunction with: 20th International Conference on Autonomous Agents and Multiagent Systems May 17-21, 2021 London, UK https://aamas2021.soton.ac.uk/ ************************************************************************************************************************************** Aim and Scope ============ The workshop aims to gather researchers interested in developing explainable approaches to artificial intelligence, in particular to explainable agency, learning, reasoning, and their intersections. Participants are invited to submit papers addressing whichever phase of explainability (e.g., generation, communication, and reception) fostering transparency in autonomous agents and Multi-Agent Systems (MAS), robots, and other intelligent systems. Compliance with such requirements is becoming necessary in most systems where agent-oriented approaches are increasingly employed. Important Dates: ============= Deadline for Submissions: 22 February 2021 Notification of acceptance: 7 March 2021 Camera-ready: 20 May 2021 Workshop day: 5-7 May 2021 Topics: ====== # Special Focus: Explainable Reasoning in Face of Contradictions - Principle-based symbolic reasoning and explainable loop-busting - XAI and formal models of human reasoning - Neuro-symbolic approaches to explainable and principle-based reasoning - Principle-based and explainable legal reasoning - Cross-disciplinary explainable reasoning and contradiction resolution # Explainable Agents and Robots - Explainable agent architectures - Personalized XAI - Explainable & Expressive robots - Explainable human-robot collaboration - Reinforcement Learning Agents - Multi-modal explanations # Interdisciplinary Aspects - Cognitive and social sciences perspectives on explanations - HCI for XAI - Legal aspects of explainable agents - Explanation visualization # XAI & Ethics - Social XAI - AI, ethics, and explainability - XAI vs AI # XAI Machine learning and Knowledge Representation - Bridging symbolic and subsymbolic XAI - Knowledge generation from interpretations - Explanation visualization - Explainable knowledge generation # XAI & MAS - Multi-actors interaction in XAI - XAI for agent/robots teams - Simulations for XAI Chairs: ====== Davide Calvaresi, HES-SO, Switzerland Amro Najjar, University of Luxembourg, Luxembourg Kary Framling, Umea University, Sweden Michael Winikoff, Victoria University of Wellington, in Aotearoa, New Zealand Timotheus Kampik, Signavio GmbH/Umeå University (Industry Chair) Advisory Board: ============ Tim Miller, School of Computing and Information Systems at The University of Melbourne Leon van der Torre, University of Luxembourg Virginia Dignum, Umea University, Sweden Michael Ignaz Schumacher, HES-SO, Switzerland Dov Gabbay (keynote speaker), Professor emeritus, King’s College, London, UK Assistant Chairs: ============= Giovanni Ciatto, Università di Bologna, Italy Sviatlana Höhn, University of Luxembourg Submission: ========== https://easychair.org/conferences/?conf=extraamas2021 All accepted papers can be published in the Springer post-proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length (5 pages incl. references for demo papers), addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS post-proceedings template) and have to be submitted electronically as PDF files via the EasyChair submission page. Special Issue: =========== Selected accepted papers that present relevant formal results will be invited to a special issue in the Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications (ISSN (E): 055-3714, ISSN (P): 2055-3706). Contact: ======= For questions regarding the Workshop, please contact the conference organizers at davide.calvaresi at hevs.ch, amro.najjar at uni.lu, tkampik at cs.umu.se. -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrei.h.popescu at gmail.com Tue Feb 9 17:15:00 2021 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Tue, 9 Feb 2021 17:15:00 +0000 Subject: [Haskell] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation Message-ID: CALL FOR PARTICIPATION 21st Midlands Graduate School in the Foundations of Computing Science MGS 21 12-16 April 2021, virtually https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html OVERVIEW The annual Midlands Graduate School in the Foundations of Computing Science (MGS) offers an intensive programme of lectures on the mathematical foundations of computing. It addresses first of all PhD students in their first or second year, but is open to anyone interested in its topics, from academia to industry and around the world. The MGS has been run since 1999 and is hosted alternately by the Universities of Birmingham, Leicester, Nottingham and Sheffield. MGS 21 is its 21st incarnation. Information about previous events can be found at the MGS web site http://www.cs.nott.ac.uk/MGS PROGRAMME MGS 21 consists of eight courses, each with four or five hours of lectures and a similar number of exercise sessions. Three courses are introductory; one is given by an invited lecturer. These should be attended by all participants. The remaining more advanced courses should be selected based on interest. MGS 21 aims at a mix of livestreamed and prerecorded lectures and livestreamed exercise sessions, with additional social online events. Invited lectures: Monads and Interactions Tarmo Uustalu, Reykjavik Introductory courses: Category Theory Jacopo Emmenegger, Birmingham Type Theory Thorsten Altenkirch, Nottingham Proof Theory Anupam Das, Birmingham Advanced courses: Homotopy Type Theory Nicolai Kraus, Nottingham Inductive and Coinductive Reasoning with Isabelle/HOL Andrei Popescu, Sheffield Effects and Call-by-Push-Value Paul Levy, Birmingham Formal Modelling and Analysis of Concurrent Systems Mohammad Mousavi, Leicester In addition we are organising a session where participants can briefly present and discuss their own research. A call will be made in March. REGISTRATION Participation at MGS 21 is free of charge, but selective. Requests must be submitted online via https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html Registration deadline is April 1. ORGANISATION Please direct all queries about MGS 21 to Georg Struth. The Sheffield organisers are Harsh Beohar (H.Beohar at sheffield.ac.uk) Andrei Popescu (A.Popescu at sheffield.ac.uk) Georg Struth (G.Struth at sheffield.ac.uk) From hemdanimayssa at gmail.com Wed Feb 10 10:13:29 2021 From: hemdanimayssa at gmail.com (Mayssa HEMDANI) Date: Wed, 10 Feb 2021 14:13:29 +0400 Subject: [Haskell] CFP : International Conference on Applied Data Science and Intelligence Message-ID: Call for papers ************************************************* International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *************************************************************************** CONTACT For more information, please send an email to info-adsi at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From emilia at confscience.com Wed Feb 10 13:21:56 2021 From: emilia at confscience.com (Emilia Marc) Date: Wed, 10 Feb 2021 14:21:56 +0100 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Message-ID: <00d501d6ffaf$b4a2dbe0$1de893a0$@confscience.com> Call for papers ************************************************* International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=irsh2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/irsh/ *************************************************************************** CONTACT For more information, please send an email to info-irsh at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Thu Feb 11 14:22:26 2021 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Thu, 11 Feb 2021 14:22:26 +0000 Subject: [Haskell] 10 PhD studentships in Nottingham Message-ID: <3AC69D59-038A-4A0A-9E78-F61397983BD3@nottingham.ac.uk> Dear all, The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/ten-phds-2021 Applicants in the area of the Functional Programming Laboratory (https://tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible (the application deadline is 15th March): Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Graham Hutton - mathematics of program construction, category theory, program correctness and efficiency, Haskell. Nicolai Kraus - homotopy type theory, higher category theory, constructive mathematics, and related topics. Henrik Nilsson - functional reactive programming, domain- specific languages, generalised notions of computation. The studentships are open to applicants of any nationality. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK tinyurl.com/ten-phds-2021 Applications are invited for a number of fully funded PhD studentships offered by the School of Computer Science at the University of Nottingham, starting on 1st October 2021. The topics for the studentships are open, but should relate to the interests of one of the School’s research groups: Computational Optimisation and Learning Lab; Computer Vision Lab; Cyber Security; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality Lab and Uncertainty in Data and Decision Making. The studentships are for three and a half years and include a stipend of (minimum) £15,609 per year and tuition fees. Applicants are normally expected to have a 2:1 Bachelor or Masters degree or international equivalent, in Computer Science or a related discipline, and must obtain the support of a potential supervisor in the School prior to submitting their application. Please contact potential supervisors at least two weeks prior to the closing date for applications. Informal enquiries may be addressed to Professor Tony Pridmore (tony.pridmore at nottingham.ac.uk). To apply, please submit the following items by email to Lindsay.Norman at nottingham.ac.uk: (1) A copy of your CV, including your actual or expected degree class(es), and results of all University examinations; (2) An example of your technical writing, such as a project report or dissertation; (3) Contact details for two academic referees - it is the applicant’s responsibility to ensure that references are requested and sent to Lindsay.Norman at nottingham.ac.uk; (4) A research proposal – max 2 x sides A4; (5) A covering letter, which must include the name of the member of staff who has agreed to support your application (without this your application cannot be considered), and the University’s job reference number (SCI1979). Closing date for applications: Monday 15th March 2021. +-----------------------------------------------------------+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From yazan.mualla at utbm.fr Fri Feb 12 10:43:16 2021 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Fri, 12 Feb 2021 11:43:16 +0100 (CET) Subject: [Haskell] Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France In-Reply-To: References: Message-ID: <683565700.11772560.1613126596621.JavaMail.zimbra@utbm.fr> Dear All, Kindly find below an announcement for a position of Research Engineer at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project. Best Regards, Dr. Yazan Mualla Researcher and Lecturer Laboratoire Connaissance et Intelligence Artificielle Distribuées (CIAD) EA 7533 Université de Bourgogne Franche-Comté Postal Address: Université de Technologie de Belfort-Montbéliard, 13, rue Ernest Thierry-Mieg, 90010 Belfort Cedex, FRANCE From: "Stéphane GALLAND" Cc: "Yazan Mualla" , "Abdeljalil Abbas-Turki" Sent: Friday, 12 February, 2021 11:26:36 Subject: Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France Dear all. A position of Research Engineer is open at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project. The topics of this position are to contribute to an AI-based mobility simulator in the context of the local energy market. Details on the new position could be found on one of the three websites: [ http://www.ciad-lab.fr/job-offers-at-ciad-laboratory/ | http://www.ciad-lab.fr/job-offers-at-ciad-laboratory/ ] [ https://www.ubfc.fr/recrutement-2/ ] [ https://www.ubfc.fr/recrutement-2/ | https://www.ubfc.fr/recrutement-2/ ] [ https://euraxess.ec.europa.eu/jobs/604054 | https://euraxess.ec.europa.eu/jobs/604054 ] All the best. -- [ http://www.ciad-lab.fr/ ] Laboratoire C onnaissance et I ntelligence A rtificielle D istribuées CIAD UMR 7533 [ http://www.utbm.fr/ ] Prof. Dr. Stéphane GALLAND Full Professor of Computer Science and Multiagent Systems [ http://www.ubfc.fr/ ] Deputy Director of [ http://ciad.fr/ | CIAD ] French Head of ARFITEC ARF-17-11 & ARF-19-11 "Energy, Transport, Industry, Challenges for tomorrow" Senior member of the [ http://www.ciad-lab.fr/ | Multiagent Group ] Member of [ http://afia.asso.fr/ | AFIA ] [ https://www.ic-arts.eu/ ] Université de Technologie de Belfort-Montbéliard - UBFC 13, rue Ernest Thierry-Mieg 90010 Belfort Cedex, FRANCE CIAD Lab: [ http://www.ciad-lab.fr/ | www.ciad-lab.fr ] Web: [ http://www.ciad-lab.fr/author-10836/ | www.ciad-lab.fr/author-10836 ] Phone: +33 384 583 418 (work office) Mobile: +33 662 274 442 (private) -------------- next part -------------- An HTML attachment was scrubbed... URL: From trupill at gmail.com Sat Feb 13 20:20:40 2021 From: trupill at gmail.com (Alejandro Serrano Mena) Date: Sat, 13 Feb 2021 20:20:40 +0000 Subject: [Haskell] Request for Nominations to the GHC Steering Committee Message-ID: Dear Haskell community, The three-year term limit of some of the GHC Steering committee members has expired. We are really grateful for the awesome work that Iavor, Richard, and Joachim have done through these years (especially the latter, who has acted as secretary.) As a result, the GHC Steering committee is seeking nominations for new members. The committee scrutinizes, nitpicks, improves, weights and eventually accepts or rejects proposals that extend or change the language supported by GHC and other (public-facing) aspects of GHC. Our processes are described at https://github.com/ghc-proposals/ghc-proposals which is also the GitHub repository where proposals are proposed. We are looking for members who have the ability * to understand such language extension proposals, * to find holes and missing corner cases in the specifications, * foresee the interaction with other language features and specifications, * comment constructively and improve the proposals, * judge the cost/benefit ratio and * finally come to a justifiable conclusion. We look for committee members who have some of these properties: * have substantial experience in writing Haskell applications or libraries, which they can use to inform judgements about the utility or otherwise of proposed features, * have made active contributions to the Haskell community, for some time, * have expertise in language design and implementation, in either Haskell or related languages, which they can share with us. The committee’s work requires a small, but non-trivial amount of time, especially when you are assigned a proposal for shepherding. We estimate the workload to be around 2 hours per week, and our process works best if members usually respond to technical emails within 1-2 weeks (within days is even better). Please keep that in mind if your email inbox is already overflowing. The GHC developers themselves are already well represented already. We seek Haskell _users_ more than GHC hackers. There is no shortage of people who are eager to get fancy new features into the language, both in the committee and the wider community. But each new feature imposes a cost, to implement, to learn, (particularly) through its unexpected interaction with other features. We need to strike a balance, one that encourages innovation (as GHC always has) while still making Haskell attractive for real-world production use and for teaching. We therefore explicitly invite “conservative” members of the community to join the committee. To make a nomination, please send an email to me (as the interim committee secretary) at trupill at gmail.com until February 28th. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. We explicitly encourage self-nominations. You can nominate others, but please obtain their explicit consent to do so. (We don’t want to choose someone who turns out to be unable to serve.) On behalf of the committee, Alejandro Serrano -------------- next part -------------- An HTML attachment was scrubbed... URL: From emilia at confscience.com Mon Feb 15 13:59:45 2021 From: emilia at confscience.com (Emilia Marc) Date: Mon, 15 Feb 2021 14:59:45 +0100 Subject: [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Message-ID: <00c201d703a2$d129c5c0$737d5140$@confscience.com> Call for papers ************************************************* International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *************************************************************************** CONTACT For more information, please send an email to info-adsi at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From hemdanimayssa at gmail.com Mon Feb 15 14:42:29 2021 From: hemdanimayssa at gmail.com (Mayssa HEMDANI) Date: Mon, 15 Feb 2021 18:42:29 +0400 Subject: [Haskell] CFP : International Conference on Recent Theories and Applications in Transportation and Mobility Message-ID: Call for papers ************************************************* International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systems’ Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( https://easychair.org/conferences/?conf=rtatm2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/rtatm/ *************************************************************************** CONTACT For more information, please send an email to info-rtatm at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefan.wehr at gmail.com Wed Feb 17 07:28:27 2021 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Wed, 17 Feb 2021 08:28:27 +0100 Subject: [Haskell] Final Call for Participation: BOB 2021 (February 26, online) Message-ID: ============================================================================ BOB 2021 Conference “What happens if we simply use what’s best?” February 26, 2021, online (UTC+0100) http://bobkonf.de/2021/ Program: http://bobkonf.de/2021/program.html Registration: http://bobkonf.de/2021/registration.html ============================================================================ BOB conference is a place for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2021/program.html The subject range includes functional programming, logic programming, revision control, formal methods, mindfulness, event sourcing, front-end development, and more. Jeremy Gibbons will give the keynote talk. BOB 2021 will take place online. We are working towards fostering lively exchange of exciting ideas and enable meaningful social interactions. Registration is open online: http://bobkonf.de/2021/registration.html Registration is €30 for a regular ticket, €15 for a student ticket. (If you need financial aid, let us know.) We intend to make this the most diverse, colorful, fun BOB ever! -------------- next part -------------- An HTML attachment was scrubbed... URL: From J.Hage at uu.nl Wed Feb 17 12:26:49 2021 From: J.Hage at uu.nl (Hage, J. (Jurriaan)) Date: Wed, 17 Feb 2021 12:26:49 +0000 Subject: [Haskell] First Call for Papers for the Haskell Symposium 2021 Message-ID: <2FCB042C-3B0D-4801-A1DD-051F695451A6@uu.nl> Dear all, This is the first call for papers for the upcoming Haskell Symposium. Please forward to anyone that you believe might be interested. Apologies for receiving multiple copies of this announcement. Best regards, Jurriaan Hage Chair PS. Note that the website is not up yet (but will be soon). ================================================================================ ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2021 ** virtual ** Thu 26 -- Fri 27 August, 2021 http://www.haskell.org/haskell-symposium/2021/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2021 will be co-located with the 2021 International Conference on Functional Programming (ICFP). Due to COVID-19 it will take place **virtually** this year. Like last year, we will be using a lightweight double-blind reviewing process. See further information below. Different from last year is that we offer a new submission category: the tutorial. Details can be found below. The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: * Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts; * Tutorials, to document how to use a particular language feature, programming technique, tool or library within the Haskell ecosystem; * System Demonstrations, based on running software rather than novel research results. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and functional pearls need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementers, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. A new submission category for this year's Haskell Symposium is the tutorial. Like with the experience report and the functional pearl, the key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. What distinguishes a tutorial is that its focus is on explaining an aspect of the Haskell language and/or ecosystem in a way that is generally useful to a Haskell audience. Tutorials for many such topics can be found online; the distinction here is that by writing it up for formal review it will be vetted by experts and formally published. System demonstrations should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. If your contribution is not a research paper, please mark the title of your experience report, functional pearl, tutorial or system demonstration as such, by supplying a subtitle (Experience Report, Functional Pearl, Tutorial Paper, System Demonstration). Submission Details ================== Early and Regular Track ----------------------- The Haskell Symposium uses a two-track submission process so that some papers can gain early feedback. Strong papers submitted to the early track are accepted outright, and the others will be given their reviews and invited to resubmit to the regular track. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings. Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas. Formatting ---------- Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the `review` option when submitting a paper; this option enables line numbers for easy reference in reviews. Functional pearls, experience reports, tutorials and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing ---------------------------------- Haskell Symposium 2021 will use a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. Author names and institutions must be omitted, and 2. References to authors' own related work should be in the third person (e.g., not "We build on our previous work" but rather "We build on the work of "). The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. A reviewer will learn the identity of the author(s) of a paper after a review is submitted. Page Limits ----------- The length of submissions should not exceed the following limits: Regular paper: 12 pages Functional pearl: 12 pages Tutorial: 12 pages Experience report: 6 pages Demo proposal: 2 pages There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against these page limits. Deadlines --------- Early track: Submission deadline: 19 March 2021 (Fri) Notification: 23 April 2021 (Fri) Regular track and demos: Submission deadline: 21 May 2021 (Fri) Notification: 23 June 2021 (Wed) Deadlines are valid anywhere on Earth. Submission ---------- Submissions must adhere to SIGPLAN's republication policy (http://sigplan.org/Resources/Policies/Republication/), and authors should be aware of ACM's policies on plagiarism (https://www.acm.org/publications/policies/plagiarism). Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through HotCRP at: https://haskell21.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Supplementary material: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. Authors can distinguish between anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). Resubmitted Papers: authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the conference chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Proceedings =========== Accepted papers will be included in the ACM Digital Library. Their authors will be required to choose one of the following options: - Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license (and, optionally, licenses the work with a Creative Commons license); - Author retains copyright of the work and grants ACM an exclusive permission-to-publish license; - Author transfers copyright of the work to ACM. For more information, please see ACM Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and ACM Author Rights (http://authors.acm.org/main.html). Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. Publication date: The official publication date of accepted papers 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 the conference. The official publication date affects the deadline for any patent filings related to published work. Artifacts ========= Authors of accepted papers are encouraged to make auxiliary material (artifacts like source code, test data, etc.) available with their paper. They can opt to have these artifacts published alongside their paper in the ACM Digital Library (copyright of artifacts remains with the authors). If an accepted paper's artifacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artifacts Available badge (https://www.acm.org/publications/policies/artifact-review-badging#available). Applications for such a badge can be made after paper acceptance and will be reviewed by the PC chair. Program Committee ================= Edwin Brady University of St Andrews Koen Claessen Chalmers University of Technology Dominique Devriese Vrije Universiteit Brussel Andy Gill University of Kansas Jurriaan Hage (chair) Universiteit Utrecht Zhenjiang Hu Peking University Ranjit Jhala University of California Patricia Johann Appalachian State University Yukiyoshi Kameyama University of Tsukuba George Karachalias Tweag Ralf Laemmel University of Koblenz-Landau Daan Leijen Microsoft Research Ben Lippmeier Ghost Locomotion Neil Mitchell Facebook Alberto Pardo Universidad de la Republica, Uruguay Matt Roberts Macquarie University Janis Voigtlaender University of Duisburg-Essen Nicolas Wu Imperial College London If you have questions, please contact the chair at: j.hage at uu.nl ================================================================================ From orven.llantos at g.msuiit.edu.ph Fri Feb 19 08:24:33 2021 From: orven.llantos at g.msuiit.edu.ph (Orven Llantos) Date: Fri, 19 Feb 2021 16:24:33 +0800 Subject: [Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing Message-ID: -- Apologies for Cross-Posting --- The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-21 Important Dates Workshop Proposal: February 21, 2021 Submission Deadline March 19, 2021 Author Notification: May 17, 2021 Final Manuscript Due: June 15, 2021 Mobile system and Pervasive computing have evolved into an active area of research and development, due to the tremendous advances in a broad spectrum of technologies and topics including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2021 solicits papers that focus on the theory, system, practice and challenge of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computer, computing resources and applications, as well the systems, services and technology enabling those applications. MobiSPC-2021 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the-art research and developmental work in the broad areas of pervasive computing and communications. The topics include but are not limited to: Component-based IoT - Cloud support for the IoT - Composition of IoT services and components - Distribution and binding models for IoT applications - Experiences applying component-based design to IoT systems - Interoperability of IoT services and components - Modelling, development and simulation support for the IoT - Modular hardware/software co-design - Modular or component based FPGA development - Novel component models for the IoT - Privacy of modular IoT systems - Security of modular IoT systems Enabling Technologies and Emerging Topics - Agents and Intelligent Computing - Big data - Cyber Physical Social Systems - Mobile Applications - Mobile Crowd-sourcing and Human-in-the-Loop Design - Mobile Services and Platforms - Mobile Sensor Based Personal Informatics - Mobile Web - Near Field Communication - New Mobile Sensing Hardware - Robotic Sensor Networking - Vehicular Social Networks - Wearable Augmented Reality Systems Internet of Things (IoT) - Data Mining on IoT systems - Edge Computing solutions for IoT - IoT applied to Cultural Heritage - IoT for e-health - IoT platforms for Data analytics on pervasive and mobile environments - IoT tools and applications - Network Design and Architecture - Sensor networks, Remote Diagnosis and Development Mobile Cloud Computing - Advertisement - Computing Performance Evaluation - Contest Based Sensing - Data and Storage Architecture - Data Storage Management for Mobile Cloud Computing Service Provider and Users - Games - Multimedia Services - Privacy Protection - Quality of Experiences and (QoE) Studies - Security - Service Models - Service Platform - Software Development Platform and Enabled New Applications - Virtualization and Programmable Infrastructure Mobile Data Management - Context-aware Computing for Intelligent Mobile Services - Data Management for Emerging Smart Urban Systems - Data management for Next-Gen Mobile and Ad-Hoc Networks - Data Management for the Internet of Things (IoT) - Data Management in the Mobile Cloud - Data replication, migration and dissemination in mobile environments - Data stream processing in mobile/sensor network - Mobile Activity Recognition - Mobile Data Analytics - Mobile Data and User/Behavioural Understanding - Mobile Location-Based Social Networks - Mobile Situation Inference - Query Processing for moving objects/users - Recommendations for Mobile Users - Semantic Data Management for Mobile Devices/Applications - Transactions and workflows in mobile environments Mobile Social Networking - MSN Advertising, Business to Business (B2B) Marketing - MSN Algorithms for Social Search - MSN Analytics - MSN Architecture - MSN Brand Management (social brand strategic development and product management) - MSN Data Mining and Machine Learning - MSN Infrastructure Support - MSN Marketing (digital, direct and mobile marketing) - MSN Privacy in Data Collection and Management - Trust and Reputations in MSN Pervasive Computing - Adaptive, Autonomic and Context-Aware Computing - Architectures, Protocols, and Technologies for Pervasive Communications - Cognitive Computing in Pervasive Systems - Context Modelling and Reasoning - Data Management for Pervasive Computing - Energy-Efficient and Green Pervasive Computing - Innovative Pervasive Computing Applications - Machine Learning for Activity Recognition - Middleware for Pervasive Services and Applications - Mobile/Wearable Computing Systems and Services in Pervasive Computing - Multimodal Sensing and Context for Pervasive Applications - Opportunistic Networking and Sensing in Pervasive Systems - Participatory and Social Sensing - Pervasive Computing Aspects of Social Networks - Positioning and Tracking Technologies - Programming Paradigms for Pervasive Systems - Sensors and RFID in Pervasive Systems - Smart Devices and Intelligent Environments - Social and Economic Models for Pervasive Systems - Software Evolution and Maintenance in Pervasive Systems - Trust, Security and Privacy Issues in Pervasive Systems - User Interface, Interaction, and Persuasion - Virtual Immersive Communications Honorary Chair Luc De Schepper, Rector, Hasselt University, Belgium General Chair Danny Hughes, KU Leuven, Belgium Program Chairs Hossam Hassanein, Queen's University, Canada Ansar Yasar, Hasselt University, Belgium Workshops Chair Muhammad Adnan, Hasselt University, Belgium Tracks Chairs Longbiao Chen, Xiamen University, China Salimur Choudhury, Lakehead University, Canada Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Uneb Gazger, University of Bahrain, Bahrain Camille Kamga, The City College of New York, USA Yongrui (Louie) Qin, University of Huddersfield, UK Hamid Mcheick, UQAC, Canada Wendy Osborn, University of Lethbridge, Canada Rahim Rahmani, Stockholm University, Sweden Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs El Arbi Abdellaoui Alaoui, EIGSI-Casablanca, Morocco Orven E. Llantos, MSU-IIT, Philippines Advisory Committee Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Steering Committee Elhadi Shakshuki, Acadia University, Canada (Chair and MobiSPC Founder) -- Orven E. Llantos, PhD Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology   (MSU-IIT) makes no warranties of any kind, whether expressed or implied, with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not be responsible for damages resulting from the use of MSU-IIT e-mail resources, including, but not limited to, loss of data resulting from delays, non-deliveries, missed deliveries, service interruptions caused by the negligence of a MSU-IIT employee, or by the User's error or omissions. MSU-IIT specifically denies any responsibility for the accuracy or quality of information obtained through MSU-IIT e-mail resources, except material represented as an official MSU-IIT record. Any views expressed in this e-mail are those of the individual sender and may not necessarily reflect the views of MSU-IIT, except where the message states otherwise and the sender is authorized to state them to be the views of MSU-IIT. The information contained in this e-mail, including those in its attachments, is confidential and intended only for the person(s) or entity(ies) to which it is addressed. If you are not an intended recipient, you must not read, copy, store, disclose, distribute this message, or act in reliance upon the information contained in it. If you received this e-mail in error, please contact the sender and delete the material from any computer or system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From muhammad.adnan at uhasselt.be Fri Feb 19 09:38:15 2021 From: muhammad.adnan at uhasselt.be (Muhammad ADNAN) Date: Fri, 19 Feb 2021 10:38:15 +0100 Subject: [Haskell] MobiSPC 2021 : Call for Workshop Proposals (The 18th International Conference on Mobile Systems and Pervasive Computing Message-ID: ******** Call for Workshops Proposals ******** The 18th International Conference on Mobile Systems and Pervasive Computing http://cs-conferences.acadiau.ca/mobispc-21/#workshop_call August 9-12, 2021 Leuven, Belgium Important Dates =========== - Workshop Proposal Due: February 21, 2021 - Acceptance Notification: February 25, 2021 The MobiSPC 2021 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 MobiSPC 2021 and its related areas. All papers accepted for workshops will be included in the MobiSPC 2021 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in MobiSPC 2021 Website. Proposal Format =========== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops' Chair ============== Dr. Muhammad Adnan, Hasselt University, Belgium ( muhammad.adnan at uhasselt.be) -- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From muhammad.adnan at uhasselt.be Fri Feb 19 15:08:54 2021 From: muhammad.adnan at uhasselt.be (Muhammad ADNAN) Date: Fri, 19 Feb 2021 16:08:54 +0100 Subject: [Haskell] FNC 2021: Call for Workshop Proposals (The 16th International Conference on Future Networks and Communications) Message-ID: ******** Call for Workshops Proposals ******** The 16th International Conference on Future Networks and Communications http://cs-conferences.acadiau.ca/fnc-21/#workshop_call August 9-12, 2021 Leuven, Belgium Important Dates =========== - Workshop Proposal Due: February 21, 2021 - Acceptance Notification: February 25, 2021 The FNC 2021 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 FNC 2021 and its related areas. All papers accepted for workshops will be included in the FNC 2021 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in FNC 2021 Website. Proposal Format =========== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops' Chair ============== Dr. Muhammad Adnan, Hasselt University, Belgium ( muhammad.adnan at uhasselt.be) -- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From hemdanimayssa at gmail.com Sun Feb 21 12:09:51 2021 From: hemdanimayssa at gmail.com (Mayssa HEMDANI) Date: Sun, 21 Feb 2021 16:09:51 +0400 Subject: [Haskell] CFP : International Conference on Informatics Revolution for Smarter Healthcare Message-ID: Call for papers ************************************************************************** International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( https://easychair.org/conferences/?conf=irsh2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/irsh/ *************************************************************************** CONTACT For more information, please send an email to info-irsh at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From emilia at confscience.com Sun Feb 21 12:51:56 2021 From: emilia at confscience.com (Emilia Marc) Date: Sun, 21 Feb 2021 13:51:56 +0100 Subject: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Message-ID: <000801d70850$57652010$062f6030$@confscience.com> Call for papers ************************************************* International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=rtatm2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/rtatm/ *************************************************************************** CONTACT For more information, please send an email to info-rtatm at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Tue Feb 23 14:04:42 2021 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Tue, 23 Feb 2021 15:04:42 +0100 (CET) Subject: [Haskell] The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021) Message-ID: <1051134965.1702300.1614089082464.JavaMail.zimbra@utbm.fr> Please, accept our apologies in case of multiple copies of this CFP. ************************************************************************************************************************************* The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021) https://extraamas.ehealth.hevs.ch/ held in conjunction with: 20th International Conference on Autonomous Agents and Multiagent Systems May 17-21, 2021 London, UK https://aamas2021.soton.ac.uk/ ************************************************************************************************************************************** Aim and Scope ============ The workshop aims to gather researchers interested in developing explainable approaches to artificial intelligence, in particular to explainable agency, learning, reasoning, and their intersections. Participants are invited to submit papers addressing whichever phase of explainability (e.g., generation, communication, and reception) fostering transparency in autonomous agents and Multi-Agent Systems (MAS), robots, and other intelligent systems. Compliance with such requirements is becoming necessary in most systems where agent-oriented approaches are increasingly employed. Important Dates: ============= Deadline for Submissions: 22 February 2021 1 March 2021 (extended) Notification of acceptance: 7 April 2021 Camera-ready: 20 May 2021 Workshop day: 5-7 May 2021 Topics: ====== # Special Focus: Explainable Reasoning in Face of Contradictions - Principle-based symbolic reasoning and explainable loop-busting - XAI and formal models of human reasoning - Neuro-symbolic approaches to explainable and principle-based reasoning - Principle-based and explainable legal reasoning - Cross-disciplinary explainable reasoning and contradiction resolution # Explainable Agents and Robots - Explainable agent architectures - Personalized XAI - Explainable & Expressive robots - Explainable human-robot collaboration - Reinforcement Learning Agents - Multi-modal explanations # Interdisciplinary Aspects - Cognitive and social sciences perspectives on explanations - HCI for XAI - Legal aspects of explainable agents - Explanation visualization # XAI & Ethics - Social XAI - AI, ethics, and explainability - XAI vs AI # XAI Machine learning and Knowledge Representation - Bridging symbolic and subsymbolic XAI - Knowledge generation from interpretations - Explanation visualization - Explainable knowledge generation # XAI & MAS - Multi-actors interaction in XAI - XAI for agent/robots teams - Simulations for XAI Chairs: ====== Davide Calvaresi, HES-SO, Switzerland Amro Najjar, University of Luxembourg, Luxembourg Kary Framling, Umea University, Sweden Michael Winikoff, Victoria University of Wellington, in Aotearoa, New Zealand Timotheus Kampik, Signavio GmbH/Umeå University (Industry Chair) Advisory Board: ============ Tim Miller, School of Computing and Information Systems at The University of Melbourne Leon van der Torre, University of Luxembourg Virginia Dignum, Umea University, Sweden Michael Ignaz Schumacher, HES-SO, Switzerland Dov Gabbay (keynote speaker), Professor emeritus, King’s College, London, UK Assistant Chairs: ============= Giovanni Ciatto, Università di Bologna, Italy Sviatlana Höhn, University of Luxembourg Submission: ========== https://easychair.org/conferences/?conf=extraamas2021 All accepted papers can be published in the Springer post-proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length (5 pages incl. references for demo papers), addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS post-proceedings template) and have to be submitted electronically as PDF files via the EasyChair submission page. Special Issue: =========== Selected accepted papers that present relevant formal results will be invited to a special issue in the Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications (ISSN (E): 055-3714, ISSN (P): 2055-3706). Contact: ======= For questions regarding the Workshop, please contact the conference organizers at davide.calvaresi at hevs.ch, amro.najjar at uni.lu, tkampik at cs.umu.se. -------------- next part -------------- An HTML attachment was scrubbed... URL: From emilia at confscience.com Thu Feb 25 10:57:32 2021 From: emilia at confscience.com (Emilia Marc) Date: Thu, 25 Feb 2021 11:57:32 +0100 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Message-ID: <010b01d70b65$04907f20$0db17d60$@confscience.com> Call for papers ************************************************* International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=irsh2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/irsh/ *************************************************************************** CONTACT For more information, please send an email to info-irsh at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From hemdanimayssa at gmail.com Thu Feb 25 18:26:30 2021 From: hemdanimayssa at gmail.com (Mayssa HEMDANI) Date: Thu, 25 Feb 2021 22:26:30 +0400 Subject: [Haskell] CFP : International Conference on Applied Data Science and Intelligence - (ADSI 2021) Message-ID: Call for papers ************************************************************************** International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *************************************************************************** CONTACT For more information, please send an email to info-adsi at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From pangjun at gmail.com Fri Feb 26 07:36:43 2021 From: pangjun at gmail.com (Jun PANG) Date: Fri, 26 Feb 2021 08:36:43 +0100 Subject: [Haskell] Formal Methods 2021 -- Call for papers In-Reply-To: References: Message-ID: ****************************************************************** FM 2021: 24th International Symposium on Formal Methods Beijng, China, November 20 - 26, 2021 https://lcs.ios.ac.cn/fm2021/ ****************************************************************** FM 2021 is the 24th international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work. FM 2021 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. FM 2021 will highlight the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems. We are in particular interested in the application of formal methods in the areas of systems-of-systems, security, artificial intelligence, human-computer interaction, manufacturing, sustainability, power, transport, smart cities, healthcare, biology. We also welcome papers on experiences from application of formal methods in industry, and on the design and validation of formal methods tools. We are monitoring closely the COVID-19 situation and, although we hope for an in-person event, we are also planning carefully for a virtual event or a hybrid virtual/person event, in case there will be travel restrictions or health advisories following the global Covid-19 crisis. We will announce a decision on the nature of the meeting in due course. ---------------- Important Dates ---------------- Abstract submission: April 30, 2021, 23:59 AoE Full paper submission: May 6, 2021, 23:59 AoE Notification: July 16, 2021 Camera ready: August 16, 2021 Conference: November 20-26, 2021 ---------------- Topics of Interest ---------------- FM 2021 encourages submissions on formal methods in a wide range of domains including software, computer-based systems, systems-of-systems, cyber-physical systems, security, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. The broad topics of interest for FM 2021 include, but are not limited to: ● Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. ● Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. ● Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. ● Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. ● Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. ---------------- Submission Guidelines ---------------- Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://easychair.org/conferences/?conf=fm2021 Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers and tool demonstration papers should explain enhancements made compared to previously published work. A tool demonstration paper need not present the theory behind the tool, but can focus on the tool’s features, how it is used, its evaluation, and examples and screenshots illustrating the tool’s use. Authors of tool and tool demonstration papers should make their tool available for use by the reviewers. We solicit various categories of papers: ● Regular Papers (max 15 pages) ● Long tool papers (max 15 pages) ● Case study papers (max 15 pages) ● Short papers (max 6 pages), including tool demonstration papers. Besides short tool demo papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be given short presentations at the conference. All page limits do not count references and appendices. For all papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary for the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. ---------------- Best Paper Award ---------------- At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2021 Best Paper. ---------------- Publication ---------------- Accepted papers will be published in the Symposium Proceedings to appear in Springer’s Lecture Notes in Computer Science in the subline on Formal Methods. Traditionally, extended versions of selected papers will be invited for publication in a special issue of one or more journals. ---------------- Invited Speakers ---------------- ● Prof. Clark Barrett, Stanford University, USA ● Prof. Mingsheng Ying, University of Technology Sydney, Australia ● Prof. Assia Mahboubi, INRIA, France ● Prof. Paula Herber, University of Münster, Germany ---------------- General Chair ---------------- Huimin Lin, Chinese Academy of Sciences, China ---------------- Program Committee Chairs ---------------- Marieke Huisman, University of Twente, Netherlands Corina Pasareanu, Carnegie Mellon University, USA Naijun Zhan, Chinese Academy of Science, China ---------------- Program Committee ---------------- Bernhard K. Aichernig, TU Graz, Austria Christel Baier, TU Dresden, Germany Gustavo Betarte, Universidad de la República, Uruguay Ivana Cerna, Masaryk University, Czech Pedro R. D'Argenio, Universidad Nacional de Córdoba – CONICET, Argentina Alessandro Fantechi, DINFO - Universita' di Firenze, Italy Bernd Fischer, Stellenbosch University, South Africa Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany Vijay Ganesh, University of Waterloo, Canada Fatemeh Ghassemi, University of Tehran, Iran Stefania Gnesi, ISTI-CNR, Italy Ichiro Hasuo, National Institute of Informatics, Japan Paula Herber, University of Münster, Germany Peter Höfner, Australian National University, Australia Marieke Huisman, University of Twente, Netherlands Nils Jansen, Radboud University, Netherlands Einar Broch Johnsen, University of Oslo, Norway Jan Kofron, Charles University, Czech Dorel Lucanu, Alexandru Ioan Cuza University, Romania Radu Mateescu, INRIA, France Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA Annabelle McIver, Macquarie University, Australia Rosemary Monahan, Maynooth University, Ireland Nina Narodytska, VMware Research, USA David Naumann, Stevens Institute of Technology, USA Jose Oliveira, University of Minho, Portugal Jun Pang, University of Luxembourg, Luxembourg Dave Parker, University of Birmingham, UK Corina Pasareanu, CMU/NASA Ames Research Center, USA Gustavo Petri, IRIF, Université Paris Diderot, France Akshay Rajhans, MathWorks, USA Tamara Rezk, INRIA, France Partha Roop, University of Auckland, New Zealand Jun Sun, Singapore Management University, Singapore Maurice H. ter Beek, ISTI-CNR, Italy Elena Troubitsyna, KTH, Sweden Sebastian Uchitel, University of Buenos Aires and Imperial College London, UK Mattias Ulbrich, Karlsruhe Institute of Technology, Germany Tarmo Uustalu, Reykjavik University, Iceland Jaco van de Pol, Aarhus University, Denmark Michael Whalen, University of Minnesota, USA Ji Wang, National Laboratory for Parallel and Distributed Processing, China Anton Wijs, Eindhoven University of Technology, Netherlands Jim Woodcock, University of York, UK Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China ---------------- Publicity Chair ---------------- Eunsuk Kang, Carnegie Mellon University, US Jun Pang, University of Luxembourg, Luxembourg ---------------- Local Organizers ---------------- Naijun Zhan (chair), Chinese Academy of Sciences, China Bai Xue, Chinese Academy of Sciences, China Bohua Zhan Chinese Academy of Sciences, China Zhilin Wu, Chinese Academy of Sciences, China Andrea Turrini, Chinese Academy of Sciences, China David Jansen, Chinese Academy of Sciences, China Peng Wu, Chinese Academy of Sciences, China ---------------- Web Team ---------------- Bohua Zhan, Chinese Academy of Sciences, China Bai Xue, Chinese Academy of Sciences, China Andrea Turrini, Chinese Academy of Sciences, China From yazan.mualla at utbm.fr Sun Feb 28 18:41:55 2021 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Sun, 28 Feb 2021 19:41:55 +0100 (CET) Subject: [Haskell] Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France In-Reply-To: <683565700.11772560.1613126596621.JavaMail.zimbra@utbm.fr> References: <683565700.11772560.1613126596621.JavaMail.zimbra@utbm.fr> Message-ID: <1918609843.9802210.1614537715654.JavaMail.zimbra@utbm.fr> Dear All, Kindly find below an announcement for a position of Research Engineer at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project. Best Regards, Dr. Yazan Mualla Researcher and Lecturer Laboratoire Connaissance et Intelligence Artificielle Distribuées (CIAD) EA 7533 Université de Bourgogne Franche-Comté Postal Address: Université de Technologie de Belfort-Montbéliard, 13, rue Ernest Thierry-Mieg, 90010 Belfort Cedex, FRANCE From: "Stéphane GALLAND" Cc: "Yazan Mualla" , "Abdeljalil Abbas-Turki" Sent: Friday, 12 February, 2021 11:26:36 Subject: Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France Dear all. A position of Research Engineer is open at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project. The topics of this position are to contribute to an AI-based mobility simulator in the context of the local energy market. Details on the new position could be found on one of the three websites: [ http://www.ciad-lab.fr/job-offers-at-ciad-laboratory/ | http://www.ciad-lab.fr/job-offers-at-ciad-laboratory/ ] [ https://www.ubfc.fr/recrutement-2/ ] [ https://www.ubfc.fr/recrutement-2/ | https://www.ubfc.fr/recrutement-2/ ] [ https://euraxess.ec.europa.eu/jobs/604054 | https://euraxess.ec.europa.eu/jobs/604054 ] All the best. -- [ http://www.ciad-lab.fr/ ] Laboratoire C onnaissance et I ntelligence A rtificielle D istribuées CIAD UMR 7533 [ http://www.utbm.fr/ ] Prof. Dr. Stéphane GALLAND Full Professor of Computer Science and Multiagent Systems [ http://www.ubfc.fr/ ] Deputy Director of [ http://ciad.fr/ | CIAD ] French Head of ARFITEC ARF-17-11 & ARF-19-11 "Energy, Transport, Industry, Challenges for tomorrow" Senior member of the [ http://www.ciad-lab.fr/ | Multiagent Group ] Member of [ http://afia.asso.fr/ | AFIA ] [ https://www.ic-arts.eu/ ] Université de Technologie de Belfort-Montbéliard - UBFC 13, rue Ernest Thierry-Mieg 90010 Belfort Cedex, FRANCE CIAD Lab: [ http://www.ciad-lab.fr/ | www.ciad-lab.fr ] Web: [ http://www.ciad-lab.fr/author-10836/ | www.ciad-lab.fr/author-10836 ] Phone: +33 384 583 418 (work office) Mobile: +33 662 274 442 (private) -------------- next part -------------- An HTML attachment was scrubbed... URL: