December 2020 - Haskell

[ANNOUNCE] Glasgow Haskell Compiler 9.0.1-rc1 released
by Ben Gamari 30 Dec '20

30 Dec '20

Hello all, The GHC team is very pleased to announce the availability of the first release candidate of GHC 9.0.1 series. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/9.0.1-rc1/ This release candidate comes quite a bit later than expected after difficulty finding a performance neutral fix for a critical soundness bug, #17760. See [1] for details on the solution, particularly if you are a library maintainer currently using the touch# primop or withForeignPtr. Nevertheless, this release has nevertheless seen a considerable amount of testing and consequently we hope that this should be the last pre-release before the final release. 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), allowing GHC to be more easily used with integer libraries other than GMP. * Improvements in code generation, resulting in considerable 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. * Improvements in compilation time. And many more. See the release notes [5] for a full accounting of the changes in this release. As always, do test this release and open tickets for whatever issues you encounter. 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-l… [3] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-s… [4] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-q… [5] https://downloads.haskell.org/ghc/9.0.1-rc1/docs/html/users_guide/9.0.1-not…

1 0

SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
by Aneta Poniszewska-Marańda I72 29 Dec '20

29 Dec '20

Call for Papers The 10th International Conference on Sustainable Energy Information Technology (SEIT-20) http://cs-conferences.acadiau.ca/seit-20/ IMPORTANT DATES - Workshop Proposals Due: February 20, 2020 - Paper Submission Due: March 19, 2020 - Acceptance Notification: May 17, 2020 - Camera-Ready Submission: June 15, 2020 About SEIT 2020 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. SEIT 2020 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<http://www.elsevier.com/> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com/>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com/>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. 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 journals special issues. Conference Main Tracks - 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 Committees Honorary Chair Luc De Schepper, Rector, Hasselt University, Belgium General Chairs Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesús 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 Mustafa Gül, University of Alberta, Canada 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-20/#programCommittees ________________________________ [Politechnika Łódzka / Lodz University of Technology]<https://www.p.lodz.pl> 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.

2 19

PhD position in Software Language Engineering @ University of Amsterdam
by Thomas van Binsbergen 22 Dec '20

22 Dec '20

Hi all, With this e-mail I would like to draw your attention towards the vacancy "PhD position in Software Language Engineering" that is currently available at the Informatics Institute of the University of Amsterdam (closing date February 15th). https://www.uva.nl/en/content/vacancies/2020/12/20-782-phd-position-in-soft… Are you interested in this position? Or do you know someone who might be interested? Please feel free to contact me directly or to forward this e-mail. The position offers a large degree of freedom and the topic of research can be discussed. Potential candidates can send me their own project proposals touching upon one or more of the following topics: - Modular language definition and implementation in meta-languages, language workbenches and/or host languages for embedded languages - Component-based language definitions - Generalized parsing and disambiguation - (Modular) operational semantics and definitional interpreters - Rapid prototyping of domain-specific languages - Development environments for exploratory programming (e.g. notebooks and REPLs) Relevant terms, techniques, and technologies: attribute grammars, functional programming, (generalized) LL/LR parsing, structural operational semantics, static analyses, term rewriting, compilation, interpretation, language design, modularity, monads, algebraic effects For information about the offer, the Informatics Institute, and the University of Amsterdam I refer to the vacancy description linked to above. Kind regards, Thomas van Binsbergen Assistant Professor, University of Amsterdam Email: l.t.vanbinsbergen(a)uva.nl Twitter: https://twitter.com/lthomasvb

1 0

[FNC-2021] CFP: 16th International Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021)
by Wim Ectors 20 Dec '20

20 Dec '20

------------------------------------------------------------------------ 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…) - 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 <https://gsuite.google.com/marketplace/app/mail_merge_with_attachments/22340…>

1 0

Re: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released
by Ben Gamari 20 Dec '20

20 Dec '20

Shayne Fletcher <shayne.fletcher.50(a)gmail.com> writes: > On Sat, Dec 19, 2020 at 7:23 PM Ben Gamari <ben(a)well-typed.com> wrote: > >> Hello all, >> >> The GHC team is happy to announce the release of GHC 8.10.3. Source >> and binary distributions are available at the usual place: >> >> https://downloads.haskell.org/ghc/8.10.3/ > > > Thanks! > > There doesn't seem to be a ghc-8.10.3-release tag in > the git@gitlab.haskell.org:ghc/ghc.git repository. Shouldn't there be? > Indeed. Fixed! Cheers, - Ben

1 0

[ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released
by Ben Gamari 20 Dec '20

20 Dec '20

Hello all, The GHC team is happy to announce the release of GHC 8.10.3. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.3/ GHC 8.10.3 fixes a number of issues in present in GHC 8.10.2 including: * Numerous stability improves on Windows * More robust support for architectures with weak memory ordering guarantees (e.g. modern ARM hardware). * GHC can now split dynamic objects to accomodate macOS' RPATH size limitation when building large projects (#14444) * Several correctness bugs in the new low-latency garbage collector * Many, many other bug-fixes Note that at the moment we still require that macOS Catalina users exempt the binary distribution from the notarization requirement by running `xattr -cr .` on the unpacked tree before running `make install`. This situation will hopefully be improved for GHC 9.0.1 with the resolution of #17418 [1]. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/17418

1 0

[TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)
by Peter Achten 18 Dec '20

18 Dec '20

----------------------------------- TFPIE 2021 2nd Call for papers ----------------------------------- https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 (February 16 2021, co-organized with TFP 2021 and Lambda Days 2021) Because of the covid pandemic, the events are online this year. The goal of the International Workshops on Trends in Functional Programming in Education is to gather researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. TFPIE 2021 welcomes submissions in the above mentioned areas. This year many teaching programmes have had to make a rapid transition to online teaching, and we explicitly solicit papers that explore this area of teaching functional programming. Topics of interest include, but are not limited to: - FP and beginning CS students - FP and Computational Thinking - FP and Artificial Intelligence - FP in Robotics - FP and Music - Advanced FP for undergraduates - FP in graduate education - Engaging students in research using FP - FP in Programming Languages - FP in the high school curriculum - FP as a stepping stone to other CS topics - FP and Philosophy - The pedagogy of teaching FP - FP and e-learning: MOOCs, automated assessment etc. - Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. On top of the lecture itself, the presentation can also provide commentary on the lecture. Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2021 After the workshop, presenters are invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Dates - Submission deadline: January 11 2021, Anywhere on Earth. - Notification: January 15 2021 - Workshop: February 16 2021 - Submission for formal review: April 20 2021, Anywhere on Earth. - Notification of full article: June 7 2021 - Camera ready: July 1st 2021 Program Committee - Peter Achten, Radboud University, Netherlands (chair) - Edwin Brady, University of St Andrews, UK - Laura Castro, Universidade da Coruña, Spain - Stephen Chang, University of Massachusetts Boston, USA - Youyou Cong, Tokyo Institute of Technology, Japan - Matthew Flatt, University of Utah, USA - Seth Fogarty, Trinity University, USA - Alex Gerdes, University of Gothenburg, Sweden - Gabriele Keller, Utrecht University, Netherlands - Prabhakar Ragde, University of Waterloo, Canada - Melinda Tóth, Eötvös Loránd University, Budapest, Hungary Registration TFPIE is part of Lambda Days. Please visit the Lambda Days 2021 pages when registration information becomes available. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Information on Lambda Days is available at https://www.lambdadays.org/lambdadays2021 Information on TFP is available at http://tfp2021.org

1 0

[EDI40-2021] FINAL DEADLINE CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021)
by Wim Ectors 18 Dec '20

18 Dec '20

*************************************************************************** The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23-26, 2021 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-21/ Workshops: http://cs-conferences.acadiau.ca/EDI40-21/#workshop Important Dates - Workshops Proposals Due: October 1, 2020 - Paper Submission Due: December 30, 2020 (FINAL) - Acceptance Notification: January 15, 2021 - Camera-Ready Submission: January 30, 2021 EDI40 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 special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2021 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. EDI40 2021 will be held in conjunction with the 12th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-21/) Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Siddardha Kaja, Acadia University, Canada Faouzi Kammoun, Ecole SupÃ©rieure PrivÃ©e d'IngÃ©nierie et de Technologies, Tunis Aneta Poniszewska-MaraÅ„da, Lodz University of Technology, Poland Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-21/#programCommittees International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge for Gmail <https://gsuite.google.com/marketplace/app/mail_merge_with_attachments/22340…>

1 0

The 18th International Conference on Mobile Systems and Pervasive Computing
by Orven Llantos 17 Dec '20

17 Dec '20

Apologies for cross-posting. The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium 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 Important Dates Workshop Proposal: February 21, 2021 Submission Deadline: March 19, 2021 Author Notification: May 17, 2021 Final Manuscript Due: June 15, 2021 -- Orven E. Llantos, PhD (Cand.) Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology <http://www.iit.edu.ph/> (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.

1 0

CFP - The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021)
by Yazan Mualla 15 Dec '20

15 Dec '20

Please, accept our apologies in case of multiple copies of this CFP. ************************************************************************************************************************************* The 3 rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021) https://extraamas.ehealth.hevs.ch/ held in conjunction with: 20 th 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 Submission: ========== [ https://easychair.org/conferences/?conf=extraamas2021 | 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(a)hevs.ch, amro.najjar(a)uni.lu, [ mailto:tkampik@cs.umu.se | tkampik(a)cs.umu.se ] .

1 0