From yazan.mualla at utbm.fr Wed Dec 2 10:20:17 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 2 Dec 2020 11:20:17 +0100 (CET) Subject: [Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) Message-ID: <1005418312.10427839.1606904417377.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ ------------------------------------------------------------------------------------------- In conjunction with * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ March 23 - 26, 2021, Warsaw, Poland. ------------------------------------------------------------------------------------------- Description =========== Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. SARL-21 provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. SARL workshop was born with the SARL agent programming language, but the scientific results presented in SARL-20 are not restricted to SARL; other languages and agent platforms may be presented. SARL aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy and dynamic reconfiguration. These high-level features are now considered as the major requirements for an easy and practical implementation of modern complex software applications. We are convinced that the agent-oriented paradigm holds the keys to effectively meet these features. Considering the variety of existing approaches and meta-models in the field of agent-oriented engineering and more generally multi-agent systems, our approach remains as generic as possible and highly extensible to easily integrate new concepts and features. The goal of SARL-21 is to provide a place where the different points of view on the modeling and the simulation with agent platforms and agent programming languages may be discussed. SARL-21 will be held in Warsaw, Poland (March 23 - 26, 2021) in conjunction with the 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) and the European SarlCon 2021. Topics ====== The main topics of the SARL-21 workshop are (but not restricted to): * Methods and Models: * Agent based Modeling and Simulation; * Agent programming language; * Agent based Simulation; * Agent oriented analysis and design methods; * Ontologies and theories about large urban systems; * Formal models of agent-based simulation; * Organizational models. * Applications: * Traffic/Transport; * Crowds; * Smart grids and smart buildings; * Land-Use; * Energy. Important Dates =============== * Submission deadline: December 15, 2020 (extended, hard) * Notification: December 30, 2020 * Final date for camera-ready copy: January 27, 2021 * Workshop: March 23-26, 2021 Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. You are invited to submit full length papers in PDF format on EasyChair, not exceeding 6 pages in length, in single-column format including diagrams and references while following the Procedia Computer Science guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. All papers will be reviewed by at least two Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed above. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== * Stéphane GALLAND (Belfort-Montbeliard University of Technology, France) * Sebastian RODRIGUEZ (Royal Melbourne Institute of Technology, Australia) Publicity Chairs ================ Yazan MUALLA (Belfort-Montbeliard University of Technology, France) Registration ============ Please visit the ANT21 Registration Page for more information: http://cs-conferences.acadiau.ca/ant-21/#registration Venue, Accommodation & Visa Requirements ======================================== Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Wed Dec 2 10:20:32 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 2 Dec 2020 11:20:32 +0100 (CET) Subject: [Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) Message-ID: <896814265.10428500.1606904432878.JavaMail.zimbra@utbm.fr> INVITATION FOR PAPERS AND TALKS The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ ----------------------------------------------------------------------- In conjunction with: * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ March 23-26, 2021, Warsaw, Poland. ------------------------------------------------------------------- Description =========== The 2021 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on March 23-26, 2021, in Warsaw, Poland (one half-day in the program of the associated ANT-21 conference). Abstracts and/or short papers are due on January 27, 2021. The papers are expected to be very short (< 2500 equivalent words) through EasyChair. SARL-21 is providing an alternative for publishing longer papers. Submissions =========== You are invited to submit the abstract in PDF format on EasyChair, not exceeding 1000 words in length. General Chair ============= Stéphane GALLAND (UBFC, France) Program Chair ============= Yazan MUALLA (UBFC, France) Registration ============ Because EuSarlCon21 is organized in conjunction with ANT21, there is no specific fee for EuSarlCon21 itself, but for the ANT21 conference, which provides the access to its facilities. You must register yourself to the ANT21 in order to be included in the list of the participants. When registering, you could select the specific fee of EuSarlCon21 about 100 Euros. Venue, Accommodation & Visa Requirements ======================================== The date and hour of the forum will be published as soon as the program of the associated ANT-21 conference is fixed. Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From jaspervdj at gmail.com Thu Dec 3 18:53:37 2020 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Thu, 3 Dec 2020 19:53:37 +0100 Subject: [Haskell] 2020 Haskell.org Call for Nominations Message-ID: <20201203185337.GB7027@taiyaki> Dear Haskellers, It is time to put out a call for new nominations (typically but not necessarily self-nominations) to the haskell.org committee. Three members of the committee are at the ends of their current terms: Ryan Trinkle, George Wilson and Tikhon Jelvis. The Haskell Foundation has also recently put out a call for nominations. How does Haskell.org differ from the new Haskell Foundation? Why should you nominate yourself for a role? While the Haskell.org committee shares many goals with the Haskell Foundation, it remains an independent organization to operate the haskell.org website, provide resources and infrastructure, and run programs such as GSoC, like it has been doing for years. The Haskell.org committee has voted to affiliate itself with the Haskell Foundation and several of its members were involved in the founding of the Haskell Foundation. We believe that Haskell.org can represent the community as a stakeholder in the Haskell Foundation and help drive it forward. This makes it an exciting time to nominate yourself, as we'll be able to serve the community better, working closely with other groups in the Haskell community. To nominate yourself, please send an email to committee at haskell.org by the 7th of January, 2020. Current members are eligible to re-nominate themselves. Please feel free to include any information about yourself that you think will help us to make a decision. Being a member of the committee does not necessarily require a significant amount of time, but committee members should aim to be responsive during discussions when the committee is called upon to make a decision. Committee members do not need to be deep technical Haskell experts. Instead we look for enthusiasm towards improving the Haskell community. We aim to represent the different facets of the community. We aim to be diverse in terms of industry or research, and in terms of gender, race and location. The role is about setting policy, providing direction/guidance for Haskell.org infrastructure, planning for the long term, and being fiscally responsible with the Haskell.org funds and donations. As overseers for policy regarding the open source side of Haskell, committee members must also be able to set aside personal or business related bias and make decisions with the good of the open source Haskell community in mind. More details about the committee's roles and responsibilities are on https://www.haskell.org/haskell-org-committee/ If you have any questions about the process, please feel free to e-mail us at committee at haskell.org, or contact one of us individually. Warm regards Jasper From rae at richarde.dev Tue Dec 8 03:50:30 2020 From: rae at richarde.dev (Richard Eisenberg) Date: Tue, 8 Dec 2020 03:50:30 +0000 Subject: [Haskell] Help lead Haskell: Executive Director sought for Haskell Foundation Message-ID: <010f01764078da35-f8ff6647-14b8-4af0-b45a-18a342697dd7-000000@us-east-2.amazonses.com> Posting on behalf of the Haskell Foundation Working Group. Please forward widely! -------- The Haskell Foundation is seeking an Executive Director. Please find the job description here: https://haskell.foundation/ ed-job-description The Haskell Foundation (HF) is an independent, non-profit organization dedicated to driving Haskell adoption and open-source development. HF seeks a full-time Executive Director (ED) to lead and develop the organization going forward. The ED is responsible for furthering the HF’s mission and vision, ensuring that resources are in place to accomplish its goals. The HF is supported by an active group of volunteers, and the ED will be a key focal point for that community, in addition to hiring support staff. This is a salaried position. Salary will be commensurate with the experience, qualities, and location of the individual, and will also reflect the Foundation’s status as a non-profit organisation funded by donations. -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefan.wehr at gmail.com Tue Dec 8 08:55:08 2020 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Tue, 8 Dec 2020 09:55:08 +0100 Subject: [Haskell] Call for Participation: BOB 2021 (February 26, online, early-bird until Dec 31) Message-ID: “What happens if we simply use what’s best?” BOB Conference 2021 February 26, 2021, online (0100+UTC) http://bobkonf.de/2021/ Program: http://bobkonf.de/2021/program.html Registration: http://bobkonf.de/2021/registration.html Keynote: Jeremy Gibbons 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 The early-bird registration is €10 for a regular ticket, €5 for a student ticket. (If you need financial aid, let us know.) We intend to make this the most diverse, colorful, fun BOB ever! NOTE: The early-bird rates expire on December 31, 2020! -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Tue Dec 8 15:58:45 2020 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 8 Dec 2020 16:58:45 +0100 Subject: [Haskell] [TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021) Message-ID: <714c591a-0991-798f-e2bb-b6f7572eda84@cs.ru.nl> -------------------------------------------------------------------------                      Second call for papers         22nd Symposium on Trends in Functional Programming                           tfp2021.org ------------------------------------------------------------------------- Did you miss the deadline to submit a paper to Trends in Functional Programming http://tfp2021.org/? No worries -- it's not too late! Submission is open until January 15th 2021, for a presentation slot at the event and post-symposium reviewing. The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. * TFP offers a supportive reviewing process designed to help less experienced   authors succeed, with two rounds of review, both before and after the   symposium itself. Authors have an opportunity to address reviewers' concerns   before final decisions on publication in the proceedings. * TFP offers two "best paper" awards, the John McCarthy award for best paper,   and the David Turner award for best student paper. * TFP is co-located with Lambda Days in beautiful Krakow. Lambda Days is a vibrant   developer conference with hundreds of attendees and a lively programme of talks on   functional programming in practice. Due to the covid pandemic, the event is online   with a lot of attention to interaction and getting to socialize with the community. Important Dates --------------- Submission deadline for pre-symposium review:   20th November, 2020  -- passed -- Submission deadline for draft papers:           15th January, 2021 Symposium dates:                                18-19th February, 2021 Visit http://tfp2021.org/ for more information. From pomarien at gmail.com Wed Dec 9 12:04:49 2020 From: pomarien at gmail.com (Samir ouchani) Date: Wed, 9 Dec 2020 13:04:49 +0100 Subject: [Haskell] [MEDI 2021] Call for Workshops Message-ID: Call for Workshops: 10th International Conference on Model and Data Engineering (MEDI 2021) 21 - 23 June 2021, Tallinn, Estonia https://cs.ttu.ee/events/medi2021/ The MEDI Main Conference: ----------------------- The Tenth International Conference on Model & Data Engineering (MEDI) will be held from 21 to 23 June 2021 in Tallinn, Estonia. Its main objective is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration between the models and data research communities. MEDI 2021 provides an international platform for the presentation of research on models and data theory, development of advanced technologies related to models and data and their advanced applications. This international scientific event, initiated by researchers from Euro-Mediterranean countries, also aims at promoting the creation of north-south scientific networks, projects and faculty/student exchanges. The conference is accompanied by satellite events, including demonstration papers and workshops. Workshops --------- Typically, workshops focus on multiple topics related to model and data engineering. For this edition, we would also like to encourage workshops focusing on practical applications of research in business/industry and on joint projects run by industry and research entities. The list of workshop topics is not limited to the aforementioned and we encourage representatives of research and business to submit workshop proposals promoting their achievements. Workshop Proposal Submission Procedure -------------------------------------- Workshop proposals should be emailed to the workshop chairs: · George Chernishev, Saint-Petersburg University, Russia: g.chernyshev at spbu.ru · Samir Ouchani, Lineact CESI Engineering School, France: souchani at cesi.fr · Antonio Corral, University of Almeria, Spain: acorral at ual.es · Jüri Vain, Tallinn University of Technology, Estonia: juri.vain at taltech.ee The proposal should include: · Workshop title · Estimated length (one day or half day) · Names, affiliations, and e-mails of PC chairs · Short bios of the workshop PC chairs, including previous experience in organizing workshops or conferences (if applicable) · A (tentative) list of PC (if possible) · The main goals of the workshop · The list of workshop topics o Preliminary CFP o How information about the workshop will be disseminated and how papers will be solicited The organizers of accepted workshops are expected to organize the workshop's program committee, disseminate the workshop call for papers, solicit submissions, conduct the reviewing process, and prepare the final workshop program. The official language of workshops is English. Organizational Support ---------------------- Workshops will benefit from the MEDI 2021 organizational infrastructure and receive support w.r.t. registration, badges, lunches, coffee breaks, and publication of the workshop proceedings. Publication ----------- Workshop papers will be published by Springer in "Communications in Computer and Information Science". Best papers from all accepted workshops will be selected for a special issue. Important Dates --------------- • Submission of workshop proposals: March 30, 2021 • Workshop acceptance/rejection notification: April 9, 2021 • Camera-ready: June 9, 2021 • Workshops: June 21-22, 2021 A detailed workshop timeline, i.e., deadlines for submissions, reviews, camera-ready due, are proposed by the workshop PC chairs, in agreement with the MEDI 2021 workshop chairs. MEDI 2021 workshop chairs George Chernishev, Samir Ouchani, Corral Antonio, and Jüri Vain -------------- next part -------------- An HTML attachment was scrubbed... URL: From mihaela.rozman at tuwien.ac.at Thu Dec 10 14:36:06 2020 From: mihaela.rozman at tuwien.ac.at (Rozman, Mihaela) Date: Thu, 10 Dec 2020 14:36:06 +0000 Subject: [Haskell] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture In-Reply-To: <1607610918422.81880@tuwien.ac.at> References: <1607599369858.53819@tuwien.ac.at>, <1607599465850.57543@tuwien.ac.at>, <1607599726151.25463@tuwien.ac.at>, <1607609014213.91058@tuwien.ac.at>, <1607609127663.94110@tuwien.ac.at>, <1607609210451.95766@tuwien.ac.at>, <1607609228102.31652@tuwien.ac.at>, <1607609303172.44132@tuwien.ac.at>, <1607609454920.24271@tuwien.ac.at>, <1607609618061.69080@tuwien.ac.at>, <1607609754453.25371@tuwien.ac.at>, <1607609849778.67989@tuwien.ac.at>, <1607610026889.21552@tuwien.ac.at>, <1607610270104.36065@tuwien.ac.at>, <1607610340353.72380@tuwien.ac.at>, <1607610395649.66189@tuwien.ac.at>, <1607610542553.68908@tuwien.ac.at>, <1607610613392.85833@tuwien.ac.at>, <1607610789942.32111@tuwien.ac.at>, <1607610918422.81880@tuwien.ac.at> Message-ID: <1607610965135.22600@tuwien.ac.at> Dear colleagues, dear friends of logic, On 14 January 2021, you are cordially invited to celebrate the World Logic Day digitally with the community from the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle. The Vienna Center for Logic and Algorithms at Vienna University of Technology (VCLA at TU Wien) represents six research groups celebrating the World Logic Day 2021 (WLD) with: ---------------------------------------------------------- Vienna World Logic Day Lecture ---------------------------------------------------------- Vienna World Logic Day Lecture with Prof. Georg Gottlob on the future of logic in the world shaped by Artificial intelligence Date: 14 January 2021 Time: 8am PST | 11am EST | 1pm GMT-3 | 5pm CET Digital venue: Zoom or YouTube ---------------------------------------------------------- Ambassadors of Logic ---------------------------------------------------------- We asked renowned logicians from the fields of computer science, philosophy, mathematics, artificial intelligence to provide us with short statements on the WLD. This is what they have to say: https://logicday.vcla.at ---------------------------------------------------------- Celebrating World Logic Day 2021 around the globe ---------------------------------------------------------- We are featuring events celebrating World Logic Day 2021 around the globe. Send us an email, and we will include you on our website. Additionally, if you are organising an event and wish to be listed in the official list of the World Logic Day 2021 events and use the official WLD logo in your announcements, please submit your event as listed on the website of the WLD 2021. UNESCO proclaimed World Logic Day in 2019, in association with the International Council for Philosophy and Human Sciences (CIPSH), to enhance public understanding of logic and its implications for science, technology and innovation. "In the twenty-first century - indeed, now more than ever - the discipline of logic is a particularly timely one, utterly vital to our societies and economies. Computer science and information and communications technology, for example, are rooted in logical and algorithmic reasoning." - Audrey Azoulay, Director General of UNESCO ---------------------------------------------------------- Free access and non-obligatory registration on the website ---------------------------------------------------------- Please visit the website of Vienna World Logic Day at: https://logicday.vcla.at/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Tue Dec 15 12:49:54 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Tue, 15 Dec 2020 13:49:54 +0100 (CET) Subject: [Haskell] CFP - The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021) Message-ID: <1100551032.28314546.1608036594245.JavaMail.zimbra@utbm.fr> 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 at hevs.ch, amro.najjar at uni.lu, [ mailto:tkampik at cs.umu.se | tkampik at cs.umu.se ] . -------------- next part -------------- An HTML attachment was scrubbed... URL: From orven.llantos at g.msuiit.edu.ph Thu Dec 17 07:49:07 2020 From: orven.llantos at g.msuiit.edu.ph (Orven Llantos) Date: Thu, 17 Dec 2020 15:49:07 +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 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   (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 wim.ectors at uhasselt.be Fri Dec 18 09:26:16 2020 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Fri, 18 Dec 2020 01:26:16 -0800 Subject: [Haskell] [EDI40-2021] FINAL DEADLINE CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021) Message-ID: *************************************************************************** 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-practice/) - 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Fri Dec 18 15:59:20 2020 From: P.Achten at cs.ru.nl (Peter Achten) Date: Fri, 18 Dec 2020 16:59:20 +0100 Subject: [Haskell] [TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021) Message-ID: <6443e563-4f8d-0aca-8515-e84586634100@cs.ru.nl> -----------------------------------    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 From aneta.poniszewska-maranda at p.lodz.pl Sat Dec 19 02:23:48 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Sat, 19 Dec 2020 02:23:48 +0000 Subject: [Haskell] ODP: ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , , , , , Message-ID: Call for Papers The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland March 23-26, 2021 Conference Website: http://cs-conferences.acadiau.ca/ant-21/ Workshops: http://cs-conferences.acadiau.ca/ant-21/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-21/#tutorial 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 ANT 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-practice/) - 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) ANT 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. ANT 2021 will be held in conjunction with the 3rd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-21/). Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modelling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track Committees General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB Hasselt University, Belgium Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Vice Chairs Omar Alam, Trent University, Canada Nik Bessis, Edge Hill University, UK Azedine Boulmakoul, Hassan II University, Morocco Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Stefano Cresci, National Research Council, Italy Robertas Damasevicius, Kaunas University of Technology, Lithuania Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Silvana Di Sabatino, University of Bologna, Italy Elsayed Mohamed Abdelkareem Elalfy, KFUPM, Saudi Arabia Jason Jaskolka, Carleton University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Bouabdellah Kechar, Oran 1 Ahmed BenBella University, Algeria Natalia Kryvinska, University of Vienna, Austria Flavio Lombardi, Roma Tre University of Rome, Italy Vuk Marojevic, Mississippi State University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Cristina Seceleanu, Mälardalen University, Sweden Miguel Sepulcre, Miguel Hernandez University of Elche, Spain Khaled Shaaban, University of Central Florida, USA Javid Taheri, Karlstad University, Sweden Publicity Chairs Hana Gharrad, Hasselt University, Belgium Sony Guntuka, Acadia University, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Josep-Maria Salanova, CERTH, Greece International Journals Chair Haroon Malik, Marshall University, USA Michael Sheng, Macquarie University, Australia Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ibad Kureshi, Inlecomm Systems, Belgium Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-21/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada ________________________________ [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 aneta.poniszewska-maranda at p.lodz.pl Sat Dec 19 02:45:01 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Sat, 19 Dec 2020 02:45:01 +0000 Subject: [Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , , , , , Message-ID: Call for Papers *************************************************************************** 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-practice/) - 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-Maranda, 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 ________________________________ [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 mycolleagues at mailman.ufsc.br Thu Dec 17 07:49:07 2020 From: mycolleagues at mailman.ufsc.br (Orven Llantos via Mycolleagues) Date: Thu, 17 Dec 2020 15:49:07 +0800 Subject: [Haskell] [Mycolleagues] 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 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   (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: -------------- next part -------------- ------------------------------------------------------- We love you. We are sorry. Please forgive us. Thank you. _______________________________________________ Mycolleagues mailing list Mycolleagues at mailman.ufsc.br https://mailman.ufsc.br/mailman/listinfo/mycolleagues - Through this links above you can "subscribe", "unsubscribe", or change your settings in the list. OR - Easy unsubscribe: https://mailman.ufsc.br/mailman/options/mycolleagues From ben at well-typed.com Sun Dec 20 00:21:42 2020 From: ben at well-typed.com (Ben Gamari) Date: Sat, 19 Dec 2020 19:21:42 -0500 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released Message-ID: <87wnxdfht8.fsf@smart-cactus.org> 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 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From ben at well-typed.com Sun Dec 20 17:27:07 2020 From: ben at well-typed.com (Ben Gamari) Date: Sun, 20 Dec 2020 12:27:07 -0500 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released In-Reply-To: References: <87wnxdfht8.fsf@smart-cactus.org> Message-ID: <87tusgfkwr.fsf@smart-cactus.org> Shayne Fletcher writes: > On Sat, Dec 19, 2020 at 7:23 PM Ben Gamari 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 at gitlab.haskell.org:ghc/ghc.git repository. Shouldn't there be? > Indeed. Fixed! 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 wim.ectors at uhasselt.be Sun Dec 20 23:37:27 2020 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Sun, 20 Dec 2020 18:37:27 -0500 Subject: [Haskell] [FNC-2021] CFP: 16th International 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 l.t.vanbinsbergen at uva.nl Tue Dec 22 08:30:35 2020 From: l.t.vanbinsbergen at uva.nl (Thomas van Binsbergen) Date: Tue, 22 Dec 2020 08:30:35 +0000 Subject: [Haskell] PhD position in Software Language Engineering @ University of Amsterdam In-Reply-To: References: , , , , Message-ID: 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-software-language-engineering.html 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 at uva.nl Twitter: https://twitter.com/lthomasvb From aneta.poniszewska-maranda at p.lodz.pl Tue Dec 29 09:40:44 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Tue, 29 Dec 2020 09:40:44 +0000 Subject: [Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , , , , , , Message-ID: Call for Papers The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland March 23-26, 2021 Conference Website: http://cs-conferences.acadiau.ca/ant-21/ Workshops: http://cs-conferences.acadiau.ca/ant-21/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-21/#tutorial 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 ANT 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-practice/) - 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) ANT 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. ANT 2021 will be held in conjunction with the 3rd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-21/). Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modelling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track Committees General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB Hasselt University, Belgium Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Vice Chairs Omar Alam, Trent University, Canada Nik Bessis, Edge Hill University, UK Azedine Boulmakoul, Hassan II University, Morocco Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Stefano Cresci, National Research Council, Italy Robertas Damasevicius, Kaunas University of Technology, Lithuania Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Silvana Di Sabatino, University of Bologna, Italy Elsayed Mohamed Abdelkareem Elalfy, KFUPM, Saudi Arabia Jason Jaskolka, Carleton University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Bouabdellah Kechar, Oran 1 Ahmed BenBella University, Algeria Natalia Kryvinska, University of Vienna, Austria Flavio Lombardi, Roma Tre University of Rome, Italy Vuk Marojevic, Mississippi State University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Cristina Seceleanu, Mälardalen University, Sweden Miguel Sepulcre, Miguel Hernandez University of Elche, Spain Khaled Shaaban, University of Central Florida, USA Javid Taheri, Karlstad University, Sweden Publicity Chairs Hana Gharrad, Hasselt University, Belgium Sony Guntuka, Acadia University, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Josep-Maria Salanova, CERTH, Greece International Journals Chair Haroon Malik, Marshall University, USA Michael Sheng, Macquarie University, Australia Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ibad Kureshi, Inlecomm Systems, Belgium Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-21/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada ________________________________ [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 aneta.poniszewska-maranda at p.lodz.pl Tue Dec 29 09:46:48 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Tue, 29 Dec 2020 09:46:48 +0000 Subject: [Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , , , , , , Message-ID: Call for Papers *************************************************************************** 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-practice/) - 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-Maranda, 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 ________________________________ [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 ben at well-typed.com Wed Dec 30 15:16:33 2020 From: ben at well-typed.com (Ben Gamari) Date: Wed, 30 Dec 2020 10:16:33 -0500 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-rc1 released Message-ID: <878s9fs4s2.fsf@smart-cactus.org> 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-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-rc1/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: