From hannah.gharrad at gmail.com Tue Jun 1 06:13:27 2021 From: hannah.gharrad at gmail.com (Hana Gharrad) Date: Tue, 1 Jun 2021 10:13:27 +0400 Subject: [Haskell] CFP (ICTH 2021) The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium Message-ID: Conference: The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 1-4, 2021 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-21/ ********************************************************************************** ---Important Dates ------------------ - Workshop Proposals: May 30, 2021 - Paper Submission Due: June 15, 2021 - Author Notification: August 4, 2021 - Final Manuscript Due: August 30, 2021 ---Publication ------------- All ICTH 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. 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 of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158 ) ICTH 2021 will be held in conjunction with the 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-21/). Papers on either completed or ongoing research are invited: http://cs-conferences.acadiau.ca/icth-21/call-for-papers.html ICTH 2021 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven City. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). ---Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare --Committees ------------- --General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil --Program Chairs Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Nuno Varandas, F6S (Where Founders Grow Together), Portugal --Workshops Chair Haroon Malik, Marshall University, USA --International Journals Chair Bin Guo, Northwestern Polytechnical University, China --Publicity Chairs Hana Gharrad, Hasselt University, Belgium Sony Guntuka, Acadia University, Canada --Technical Program Committee http://cs-conferences.acadiau.ca/icth-21/program-committees.html --Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada --Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Tue Jun 1 09:44:47 2021 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Tue, 1 Jun 2021 05:44:47 -0400 Subject: [Haskell] CFP (ICTH 2021) The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium In-Reply-To: References: Message-ID: Admins, Can we please remove and permanently ban the following addresses from this list? gharred.hana at gmail.com hannah.gharrad at gmail.com hana.gharrad at uhasselt.be Thank you, Ivan On Tue, 1 Jun 2021 at 02:15, Hana Gharrad wrote: > Conference: The 11th International Conference on Current and Future Trends > of Information and Communication Technologies in Healthcare (ICTH) > > Date: November 1-4, 2021 > Location: Leuven, Belgium > Website: http://cs-conferences.acadiau.ca/icth-21/ > > ********************************************************************************** > ---Important Dates > ------------------ > - Workshop Proposals: May 30, 2021 > - Paper Submission Due: June 15, 2021 > - Author Notification: August 4, 2021 > - Final Manuscript Due: August 30, 2021 > > ---Publication > ------------- > All ICTH 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. 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 of Computing and Informatics (IF: 0.524), ( > http://www.cai.sk/ojs/index.php/cai/index) > - International Journal of E-Health and Medical Communications, by > IGI Global: ( > http://www.igi-global.com/journal/international-journal-health-medical-communications/1158 > ) > > ICTH 2021 will be held in conjunction with the 12th International > Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: > http://cs-conferences.acadiau.ca/euspn-21/). Papers on either completed > or ongoing research are invited: > http://cs-conferences.acadiau.ca/icth-21/call-for-papers.html > > ICTH 2021 will be held in the city of Leuven. Leuven is the capital of the > province of Flemish Brabant in Belgium. It is located about 25 kilometres > (16 miles) east of Brussels. It is the 10th largest municipality in Belgium > and the fourth in Flanders. Leuven is home to the Katholieke Universiteit > Leuven, the largest and oldest university of the Low Countries and the > oldest Catholic university still in existence. The related university > hospital of UZ Leuven, is one of the largest hospitals of Europe. The city > is also known for being the headquarters of Anheuser-Busch InBev, the > world's largest brewer and one of the five largest consumer-goods companies > in the world. > > The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), > which is located right in the heart of the Leuven City. The hotel is less > than 2 mins walk from the Leuven train station. All you have to do is to > get off the train (or the taxi or the bus) and take the elevator to the > bridge connecting the hotel with the rest of the city. Leuven city is > directly connected with the Brussels International airport with a 13 min > connection via train, 45 mins via bus or a 20 min by taxi (or Uber). > > ---Topics of interest include, but are not limited to: > ------------------------------------------------------ > - Ambient Assisted Living for Elderly Care > - Ambient Intelligence and Intelligent Service Systems > - Analysis and Evaluation of Healthcare Systems > - Clinical Data and Knowledge Management > - Cloud Computing for Healthcare > - Collaboration Technologies for Healthcare > - Context-aware Applications for Patient Monitoring and Care > - Data mining Techniques and Data Warehouses in Healthcare > - Data Visualization > - Decision Support Systems in Healthcare > - Design and Development Methodologies for Healthcare Systems > - Diagnostic and Therapeutic Technologies in Healthcare > - Digital Hospitals > - Drug Information Systems > - E-health & m-health > - Electronic Health Records (EHR) & Personal Health Records (PHR) > - Evidence Based Medicine (EBM) > - Healthgrids > - Health Portals > - Information and Knowledge Processing in Healthcare Environments > - Middleware Support for Smart Homes and Intelligent Applications > - Quantified Self for Pervasive Healthcare > - Privacy, Confidentiality and Security Issues in Healthcare Systems > - Related Real World Experimentations and Case Studies in Healthcare > - RFID Solutions for Healthcare > - Smart Homes and Home Care Intelligent Environments > - Telemedicine and Health Telematics > - Ubiquitous and Pervasive Computing in Healthcare > - Usability & Socio Technical studies > - User Interface Design for Healthcare Applications > - Virtual and Augmented Reality in Healthcare > - Virtual Environments for Healthcare > > --Committees > ------------- > --General Chair > Heiko Gewald, The Neu-Ulm University of Applied, Germany > Joel J. P. C. Rodrigues, National Institute of Telecommunications > (Inatel), Brazil > > --Program Chairs > Stéphane Galland, Université de Technologie de Belfort-Montbéliard, > France > Nuno Varandas, F6S (Where Founders Grow Together), Portugal > > --Workshops Chair > Haroon Malik, Marshall University, USA > > --International Journals Chair > Bin Guo, Northwestern Polytechnical University, China > > --Publicity Chairs > Hana Gharrad, Hasselt University, Belgium > Sony Guntuka, Acadia University, Canada > > --Technical Program Committee > http://cs-conferences.acadiau.ca/icth-21/program-committees.html > > --Steering Committee Chair > Elhadi Shakshuki, Acadia University, Canada > > --Advisory Committee > Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman > Sergio Camorlinga, Head eHealth Research, TRLabs, Canada > Kevin Daimi, University of Detroit Mercy, USA > Finn Kensing, University of Copenhagen, Denmark > Francesco Princiroli, Politecnico di Milano, Italy > Abdul Roudsari, University of Victoria, Canada > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Tue Jun 1 11:53:01 2021 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Tue, 1 Jun 2021 07:53:01 -0400 Subject: [Haskell] CFP (ICTH 2021) The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium In-Reply-To: References: Message-ID: Admins, see below. Your call. Hana, if you are allowed to remain subscribed, I'd like to ask that you just don't send CfPs for this conference or for other conferences. Ivan On Tue, 1 Jun 2021 at 07:50, Hana Gharrad wrote: > Hi Ivan, > > Sorry, I won't repeat other dissemination for the same conference via > Haskell. > Could you please keep my email in the list? > > I'm so grateful, > Sorry again. > > On Tue, 1 Jun 2021 at 13:48, Ivan Perez > wrote: > >> Admins, >> >> Can we please remove and permanently ban the following addresses from >> this list? >> >> gharred.hana at gmail.com >> hannah.gharrad at gmail.com >> hana.gharrad at uhasselt.be >> >> Thank you, >> >> Ivan >> >> >> On Tue, 1 Jun 2021 at 02:15, Hana Gharrad >> wrote: >> >>> Conference: The 11th International Conference on Current and Future >>> Trends of Information and Communication Technologies in Healthcare (ICTH) >>> >>> Date: November 1-4, 2021 >>> Location: Leuven, Belgium >>> Website: http://cs-conferences.acadiau.ca/icth-21/ >>> >>> ********************************************************************************** >>> ---Important Dates >>> ------------------ >>> - Workshop Proposals: May 30, 2021 >>> - Paper Submission Due: June 15, 2021 >>> - Author Notification: August 4, 2021 >>> - Final Manuscript Due: August 30, 2021 >>> >>> ---Publication >>> ------------- >>> All ICTH 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. 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 of Computing and Informatics (IF: 0.524), ( >>> http://www.cai.sk/ojs/index.php/cai/index) >>> - International Journal of E-Health and Medical Communications, by >>> IGI Global: ( >>> http://www.igi-global.com/journal/international-journal-health-medical-communications/1158 >>> ) >>> >>> ICTH 2021 will be held in conjunction with the 12th International >>> Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: >>> http://cs-conferences.acadiau.ca/euspn-21/). Papers on either completed >>> or ongoing research are invited: >>> http://cs-conferences.acadiau.ca/icth-21/call-for-papers.html >>> >>> ICTH 2021 will be held in the city of Leuven. Leuven is the capital of >>> the province of Flemish Brabant in Belgium. It is located about 25 >>> kilometres (16 miles) east of Brussels. It is the 10th largest municipality >>> in Belgium and the fourth in Flanders. Leuven is home to the Katholieke >>> Universiteit Leuven, the largest and oldest university of the Low Countries >>> and the oldest Catholic university still in existence. The related >>> university hospital of UZ Leuven, is one of the largest hospitals of >>> Europe. The city is also known for being the headquarters of Anheuser-Busch >>> InBev, the world's largest brewer and one of the five largest >>> consumer-goods companies in the world. >>> >>> The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), >>> which is located right in the heart of the Leuven City. The hotel is less >>> than 2 mins walk from the Leuven train station. All you have to do is to >>> get off the train (or the taxi or the bus) and take the elevator to the >>> bridge connecting the hotel with the rest of the city. Leuven city is >>> directly connected with the Brussels International airport with a 13 min >>> connection via train, 45 mins via bus or a 20 min by taxi (or Uber). >>> >>> ---Topics of interest include, but are not limited to: >>> ------------------------------------------------------ >>> - Ambient Assisted Living for Elderly Care >>> - Ambient Intelligence and Intelligent Service Systems >>> - Analysis and Evaluation of Healthcare Systems >>> - Clinical Data and Knowledge Management >>> - Cloud Computing for Healthcare >>> - Collaboration Technologies for Healthcare >>> - Context-aware Applications for Patient Monitoring and Care >>> - Data mining Techniques and Data Warehouses in Healthcare >>> - Data Visualization >>> - Decision Support Systems in Healthcare >>> - Design and Development Methodologies for Healthcare Systems >>> - Diagnostic and Therapeutic Technologies in Healthcare >>> - Digital Hospitals >>> - Drug Information Systems >>> - E-health & m-health >>> - Electronic Health Records (EHR) & Personal Health Records (PHR) >>> - Evidence Based Medicine (EBM) >>> - Healthgrids >>> - Health Portals >>> - Information and Knowledge Processing in Healthcare Environments >>> - Middleware Support for Smart Homes and Intelligent Applications >>> - Quantified Self for Pervasive Healthcare >>> - Privacy, Confidentiality and Security Issues in Healthcare Systems >>> - Related Real World Experimentations and Case Studies in Healthcare >>> - RFID Solutions for Healthcare >>> - Smart Homes and Home Care Intelligent Environments >>> - Telemedicine and Health Telematics >>> - Ubiquitous and Pervasive Computing in Healthcare >>> - Usability & Socio Technical studies >>> - User Interface Design for Healthcare Applications >>> - Virtual and Augmented Reality in Healthcare >>> - Virtual Environments for Healthcare >>> >>> --Committees >>> ------------- >>> --General Chair >>> Heiko Gewald, The Neu-Ulm University of Applied, Germany >>> Joel J. P. C. Rodrigues, National Institute of Telecommunications >>> (Inatel), Brazil >>> >>> --Program Chairs >>> Stéphane Galland, Université de Technologie de Belfort-Montbéliard, >>> France >>> Nuno Varandas, F6S (Where Founders Grow Together), Portugal >>> >>> --Workshops Chair >>> Haroon Malik, Marshall University, USA >>> >>> --International Journals Chair >>> Bin Guo, Northwestern Polytechnical University, China >>> >>> --Publicity Chairs >>> Hana Gharrad, Hasselt University, Belgium >>> Sony Guntuka, Acadia University, Canada >>> >>> --Technical Program Committee >>> http://cs-conferences.acadiau.ca/icth-21/program-committees.html >>> >>> --Steering Committee Chair >>> Elhadi Shakshuki, Acadia University, Canada >>> >>> --Advisory Committee >>> Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman >>> Sergio Camorlinga, Head eHealth Research, TRLabs, Canada >>> Kevin Daimi, University of Detroit Mercy, USA >>> Finn Kensing, University of Copenhagen, Denmark >>> Francesco Princiroli, Politecnico di Milano, Italy >>> Abdul Roudsari, University of Victoria, Canada >>> _______________________________________________ >>> Haskell mailing list >>> Haskell at haskell.org >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell >>> >> _______________________________________________ >> Haskell mailing list >> Haskell at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell >> > -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Wed Jun 2 19:11:48 2021 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Wed, 02 Jun 2021 15:11:48 -0400 Subject: [Haskell] Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021 Message-ID: <60b7d7f493a61_24cee294134e@homer.mail> CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 22 - 27, 2021 Virtual https://icfp21.sigplan.org/ The 25th ACM SIGPLAN International Conference on Functional Programming will be held virtually on August 22-27, 2021. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Just like last year, following the success of the #ShutDownPL event @ ICFP, we are also inviting proposals for panels and discussions on topics of broader interest to the PL community. Tutorials, panels, and discussions may occur before or after ICFP, co-located with the associated workshops, on August 22 or August 26-27. ---------------------------------------------------------------------- Submission details Deadline for submission: June 28th, 2020 Notification of acceptance: July 5th, 2020 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2021 workshop co-chairs (Leonidas Lampropoulos and Zoe Paraskevopoulou), via email to icfp-workshops-2021 at googlegroups.com by June 28th, 2021. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by July 5th, 2021. The proposal form is available at: http://www.icfpconference.org/icfp2021-files/icfp21-panel-form.txt http://www.icfpconference.org/icfp2021-files/icfp21-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2021 organizing committee. Tutorials Co-Chair: Zoe Paraskevopoulou (Northeastern) Tutorials Co-Chair: Leonidas Lampropoulos (University of Maryland) General Chair: Sukyoung Ryu (KAIST) Program Chair: Ron Garcia (University of British Columbia) ---------------------------------------------------------------------- Further information Any queries should be addressed to the tutorial co-chairs ( Leonidas Lampropoulos and Zoe Paraskevopoulou), via email to icfp-workshops-2021 at googlegroups.com From emilia at confscience.com Mon Jun 7 09:14:47 2021 From: emilia at confscience.com (Emilia Marc) Date: Mon, 7 Jun 2021 11:14:47 +0200 Subject: [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Message-ID: <005b01d75b7d$906a6390$b13f2ab0$@confscience.com> Call for papers ************************************************* International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: June 13, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *************************************************************************** CONTACT For more information, please send an email to info-adsi at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From orven.llantos at g.msuiit.edu.ph Mon Jun 7 10:31:46 2021 From: orven.llantos at g.msuiit.edu.ph (Orven Llantos) Date: Mon, 7 Jun 2021 18:31:46 +0800 Subject: [Haskell] The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Message-ID: -- Apologies for cross-posting -- ********************************************************************************** The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Date: November 1-4, 2021 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/euspn-21/ ********************************************************************************** The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 30, 2021 - Paper Submission Due: June 15, 2021 - Author Notification: August 4, 2021 - Final Manuscript Due: August 30, 2021 Publication ------------- All EUSPN 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. 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 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) EUSPN 2021 will be held in conjunction with the 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-21/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-21/call-for-papers.html EUSPN 2021 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Nuno Varandas, F6S (Where Founders Grow Together), Portugal Ansar Yasar, Hasselt University, Belgium Workshops' Chair Haroon Malik, Marshall University, USA Publicity Chairs Monika Davidekova, Comenius University, Slovakia Mohammed Elghzaoui, FP-UMI, Errachidia, Morocco Siddardha Kaja, Acadia University, Canada Orven E. Llantos, Ateneo de Manila University, Philippines Program Vice Chairs Ahmad Afridi, Institute of Management Sciences, Pakistan Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France, France Mohammed Erritali, Sultane Moulay Slimane University, Morocco Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Mohamad Khairi Ishak, Universiti Sains Malaysia, Malaysia Faouzi Kammoun, Ecole Superieure Privee d'Ingenierie et de Technologies, Tunis Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Fernando Moreira, Universidade Portucalense, Portugal Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France, France Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-21/organizing-commitee.html -- Orven E. Llantos, PhD Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology   (MSU-IIT) makes no warranties of any kind, whether expressed or implied, with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not be responsible for damages resulting from the use of MSU-IIT e-mail resources, including, but not limited to, loss of data resulting from delays, non-deliveries, missed deliveries, service interruptions caused by the negligence of a MSU-IIT employee, or by the User's error or omissions. MSU-IIT specifically denies any responsibility for the accuracy or quality of information obtained through MSU-IIT e-mail resources, except material represented as an official MSU-IIT record. Any views expressed in this e-mail are those of the individual sender and may not necessarily reflect the views of MSU-IIT, except where the message states otherwise and the sender is authorized to state them to be the views of MSU-IIT. The information contained in this e-mail, including those in its attachments, is confidential and intended only for the person(s) or entity(ies) to which it is addressed. If you are not an intended recipient, you must not read, copy, store, disclose, distribute this message, or act in reliance upon the information contained in it. If you received this e-mail in error, please contact the sender and delete the material from any computer or system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From emilia at confscience.com Sun Jun 13 10:33:10 2021 From: emilia at confscience.com (Emilia Marc) Date: Sun, 13 Jun 2021 12:33:10 +0200 Subject: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Message-ID: <01a801d7603f$81e4f170$85aed450$@confscience.com> Call for papers ************************************************* International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: June 30, 2021 (extended) - Acceptance Notification: July 15, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=rtatm2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/rtatm/ *************************************************************************** CONTACT For more information, please send an email to info-rtatm at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrei.h.popescu at gmail.com Mon Jun 14 07:00:00 2021 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Mon, 14 Jun 2021 08:00:00 +0100 Subject: [Haskell] Certified Programs and Proofs (CPP) 2022: Call for Papers Message-ID: Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on 16-18 January 2022 and will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2022 will welcome contributions from all members of the community. The CPP 2022 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2022 organizers. IMPORTANT DATES * Abstract Submission Deadline: 16 September 2021 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 22 September 2021 at 23:59 AoE (UTC-12h) * Notification (tentative): 22 November 2021 * Camera Ready Deadline (tentative): 12 December 2021 * Conference: 16-18 January 2022 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. DISTINGUISHED PAPER AWARDS Around 10% of the accepted papers at CPP 2022 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: * certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware; * certified mathematical libraries and mathematical theorems; * proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc); * new languages and tools for certified programming; * program analysis, program verification, and program synthesis; * program logics, type systems, and semantics for certified code; * logics for certifying concurrent and distributed systems; * mechanized metatheory, formalized programming language semantics, and logical frameworks; * higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security; * verification of correctness and security properties; * formally verified blockchains and smart contracts; * certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; * certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; * certificates for program termination; * formal models of computation; * mechanized (un)decidability and computational complexity proofs; * formally certified methods for induction and coinduction; * integration of interactive and automated provers; * logical foundations of proof assistants; * applications of AI and machine learning to formal certification; * user interfaces for proof assistants and theorem provers; * teaching mathematics and computer science with proof assistants. SUBMISSION GUIDELINES Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system at https://cpp2022.hotcrp.com The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format using the acmart style with the sigplan option, which provides a two-column style, using 10 point font for the main text, and a header for double blind review submission, i.e., \documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. Submissions not conforming to the requirements concerning format and maximum length may be rejected without further consideration. CPP 2022 will employ a lightweight double-blind reviewing process. To facilitate this, the submissions must adhere to two rules: (1) author names and institutions must be omitted, and (2) references to authors’ own related work should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing it more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their papers as usual. For example, authors may post drafts of their papers on the web or give talks on their research ideas. POPL has answers to frequently asked questions addressing many common concerns: https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ We strongly encourage the authors to provide any supplementary material that supports the claims made in the paper, such as proof scripts or experimental data. This material must be uploaded at submission time, as an archive, not via a URL. Two forms of supplementary material may be submitted: (1) Anonymous supplementary material is made available to the reviewers before they submit their first-draft reviews. (2) Non-anonymous supplementary material is made available to the reviewers after they have submitted their first-draft reviews and have learned the identity of the authors. Please use anonymous supplementary material whenever possible, so that it can be taken into account from the beginning of the reviewing process. The submitted papers must adhere to the SIGPLAN Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/) and the ACM Policy on Plagiarism (https://www.acm.org/publications/policies/plagiarism). Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper is expected to present it at the (possibly virtual) conference. PUBLICATION, COPYRIGHT AND OPEN ACCESS The CPP 2022 proceedings will be published by the ACM, and authors of accepted papers will be required to choose one of the following publication options: (1) Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license and, optionally, licenses the work under a Creative Commons license. (2) Author retains copyright of the work and grants ACM an exclusive permission-to-publish license. (3) Author transfers copyright of the work to ACM. For authors who can afford it, we recommend option (1), which will make the paper Gold Open Access, and also encourage such authors to license their work under the CC-BY license. ACM will charge you an article processing fee for this option (currently, US$700), which you have to pay directly with the ACM. For everyone else, we recommend option (2), which is free and allows you to achieve Green Open Access, by uploading a preprint of your paper to a repository that guarantees permanent archival such as arXiv or HAL. This is anyway a good idea for timely dissemination even if you chose option 1. Ensuring timely dissemination is particularly important for this edition, since, because of the very tight schedule, the official proceedings might not be available in time for CPP. The official CPP 2022 proceedings will also be available via SIGPLAN OpenTOC (http://www.sigplan.org/OpenTOC/#cpp). For ACM’s take on this, see their Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and Author Rights (http://authors.acm.org/main.html). PROGRAM COMMITTEE Andrei Popescu, University of Sheffield, United Kingdom (co-chair) Steve Zdancewic, University of Pennsylvania, United States (co-chair) Mohammad Abdulaziz, TU München, Germany Mauricio Ayala-Rincón, Universidade de Brasília, Brazil Andrej Bauer, University of Ljubljana, Slovenia Thomas Bauereiss, University of Cambridge, United Kingdom Yves Bertot, Inria and Université Cote d'Azur, France Lars Birkedal, Aarhus University, Denmark Sylvie Boldo, Inria and Université Paris-Saclay, France Qinxiang Cao, Shanghai Jiao Tong University, China Évelyne Contejean, Laboratoire Méthodes Formelles, CNRS, France Benjamin Delaware, Purdue University, United States Simon Foster, University of York, United Kingdom Alwyn Goodloe, NASA Langley Research Center, United States Armaël Guéneau, Aarhus University, Denmark John Harrison, Amazon Web Services, United States Joe Hendrix, Galois, Inc, United States Aquinas Hobor, National University of Singapore, Singapore Ralf Jung, MPI-SWS, Germany Cezary Kaliszyk, University of Innsbruck, Austria Jeehoon Kang, KAIST, South Korea Hongjin Liang, Nanjing University, China Gregory Malecha, BedRock Systems, Inc, United States Anders Mörtberg, Stockholm University, Sweden Toby Murray, University of Melbourne, Australia Zoe Paraskevopoulou , Northeastern University, United States Brigitte Pientka, McGill University, Canada Aseem Rastogi, Microsoft Research, India Bas Spitters, Aarhus University, Denmark Kathrin Stark, Princeton University, United States Hira Taqdees Syeda, Chalmers University of Technology, Sweden Joseph Tassarotti, Boston College, United States Laura Titolo, NIA/NASA LaRC, United States Sophie Tourret, Inria, France Dmitriy Traytel, University of Copenhagen, Denmark Floris van Doorn, Paris-Saclay University, France Freek Verbeek, Open University of The Netherlands, Netherlands Freek Wiedijk, Radboud Universiteit Nijmegen, Netherlands ORGANIZERS Lennart Beringer, Princeton University, United States (conference co-chair) Robbert Krebbers, Radboud University, Netherlands (conference co-chair) Andrei Popescu, University of Sheffield, United Kingdom (PC co-chair) Steve Zdancewic, University of Pennsylvania, United States (PC co-chair) CONTACT For any questions please contact the two PC chairs: Andrei Popescu Steve Zdancewic From jeroen at chordify.net Tue Jun 15 06:42:27 2021 From: jeroen at chordify.net (Jeroen Bransen) Date: Tue, 15 Jun 2021 08:42:27 +0200 Subject: [Haskell] Chordify is looking for Haskell developers Message-ID: Hi, Chordify is looking for Haskell developers to strengthen our team in the Utrecht, The Netherlands office. Our mission at Chordify is to make it as easy as possible for musicians of various skill levels to learn to play their favorite music. Our apps and website are powered by a distributed Haskell back-end. For more information and to apply, visit https://jobs.chordify.net/functional-programmer-1/en The application deadline is the 5th of July, and we believe that we are a friendly and open group of people, so everyone is more than welcome to apply. Cheers, Jeroen -- Jeroen Bransen Back-end Developer at Chordify -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From ifl21.publicity at gmail.com Tue Jun 15 15:29:07 2021 From: ifl21.publicity at gmail.com (Pieter Koopman) Date: Tue, 15 Jun 2021 17:29:07 +0200 Subject: [Haskell] IFL2021 second call for papers Message-ID: ================================================================================ IFL 2021 33rd Symposium on Implementation and Application of Functional Languages venue: online 1 - 3 September 2021 https://ifl21.cs.ru.nl ================================================================================ News - Paper submission is now open: https://easychair.org/conferences/?conf=ifl21 . - Invited speakers are added: Stephanie Weirich and John Hughes - Sponsor added: Facebook Research Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2021 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Industrial track and topics of interest This year's edition of IFL explicitly solicits original work concerning *applications* of functional programming in industry and academia. These contributions will be reviewed by experts with an industrial background. Topics of interest to IFL include, but are not limited to: * language concepts * type systems, type checking, type inferencing * compilation techniques * staged compilation * run-time function specialisation * run-time code generation * partial evaluation * (abstract) interpretation * meta-programming * generic programming * automatic program generation * array processing * concurrent/parallel programming * concurrent/parallel program execution * embedded systems * web applications * (embedded) domain-specific languages * security * novel memory management techniques * run-time profiling performance measurements * debugging and tracing * testing and proofing * virtual/abstract machine architectures * validation, verification of functional programs * tools and programming techniques * applications of functional programming in the industry, including ** functional programming techniques for large applications ** successes of the application functional programming ** challenges for functional programming encountered ** any topic related to the application of functional programming that is interesting for the IFL community Post-symposium peer-review Following IFL tradition, IFL 2021 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chairs to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected for the formal proceedings. We plan to publish these proceedings in the International Conference Proceedings Series of the ACM Digital Library, as in previous years. Moreover, the proceedings will also be made publicly available as open access. Important dates Submission deadline of draft papers: 17 August 2021 Notification of acceptance for presentation: 19 August 2021 Registration deadline: 30 August 2021 IFL Symposium: 1-3 September 2021 Submission of papers for proceedings: 6 December 2021 Notification of acceptance: 3 February 2022 Camera-ready version: 15 March 2022 Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template The submission Web page for IFL21 is https://easychair.org/conferences/?conf=ifl21 . Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Organisation IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands PC: Peter Achten (co-chair) - Radboud University, Netherlands Thomas van Binsbergen - University of Amsterdam, Netherlands Edwin Brady - University of St. Andrews, Scotland Laura Castro - University of A Coruña, Spain Youyou Cong - Tokyo Institute of Technology, Japan Olaf Chitil - University of Kent, England Andy Gill - University of Kansas, USA Clemens Grelck - University of Amsterdam, Netherlands John Hughes - Chalmers University, Sweden Pieter Koopman (co-chair) - Radboud University, Netherlands Cynthia Kop - Radboud University, Netherlands Jay McCarthey - University of Massachussetts Lowell, USA Neil Mitchell - Facebook, England Jan De Muijnck-Hughes - Glasgow University, Scotland Keiko Nakata - SAP Innovation Center Potsdam, Germany Jurriën Stutterheim - Standard Chartered, Singapore Simon Thompson - University of Kent, England Melinda Tóth - Eötvos Loránd University, Hungary Phil Trinder - Glasgow University, Scotland Meng Wang - University of Bristol, England Viktória Zsók - Eötvos Loránd University, Hungary Virtual symposium Because of the Covid-19 pandemic, this year IFL 2021 will be an online event, consisting of paper presentations, discussions and virtual social gatherings. Registered participants can take part from anywhere in the world. [image: beacon] -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Thu Jun 17 02:41:02 2021 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Wed, 16 Jun 2021 22:41:02 -0400 Subject: [Haskell] ICFP 2021 Student Research Competition: Call for Submissions Message-ID: <60cab63e6dbad_4e48e2941350@homer.mail> ICFP 2021 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition, which will be held virtually alongside the main conference, in order to present their research and receive feedback from prominent members of the programming language research community. As usual, the SRC consists of three rounds: * Extended abstract * Poster session at ICFP 2021 * ICFP presentation To make the virtual competition fruitful, we will make sure that every student will have an "invited audience" during the poster session.  We are also planning to organize a social event for the students. Please visit the SRC website for updates. ### Important Dates Submissions due: 2 July 2021 (Friday) https://icfp21src.hotcrp.com Notification: 16 July 2021 (Friday) Conference: 22 August (Sunday) - 27 August (Friday) ### Submission Details Each submission (referred to as "abstract" below) should include the student author’s name and e-mail address; institutional affiliation; research advisor’s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and*or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp21.sigplan.org/track/icfp-2021-Student-Research-Competition Program Committee: Chair: Anders Miltner (UT Austin) Andreea Costea (NUS Singapore) Andrew Hirsch (MPI-SWS) Liam O'Connor (University of Edinburgh) Lionel Parreaux (HKUST) Daming Zou (ETH Zurich) From orven.llantos at g.msuiit.edu.ph Sat Jun 19 05:14:04 2021 From: orven.llantos at g.msuiit.edu.ph (Orven Llantos) Date: Sat, 19 Jun 2021 13:14:04 +0800 Subject: [Haskell] The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Message-ID: -- Apologies for cross-posting -- ********************************************************************************** The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Date: November 1-4, 2021 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/euspn-21/ ********************************************************************************** The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 30, 2021 - Paper Submission Due: June 29, 2021 (Extended) - Author Notification: August 4, 2021 - Final Manuscript Due: August 30, 2021 Publication ------------- All EUSPN 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. 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 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) EUSPN 2021 will be held in conjunction with the 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-21/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-21/call-for-papers.html EUSPN 2021 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Nuno Varandas, F6S (Where Founders Grow Together), Portugal Ansar Yasar, Hasselt University, Belgium Workshops' Chair Haroon Malik, Marshall University, USA Publicity Chairs Monika Davidekova, Comenius University, Slovakia Mohammed Elghzaoui, FP-UMI, Errachidia, Morocco Siddardha Kaja, Acadia University, Canada Orven E. Llantos, Ateneo de Manila University, Philippines Program Vice Chairs Ahmad Afridi, Institute of Management Sciences, Pakistan Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France, France Mohammed Erritali, Sultane Moulay Slimane University, Morocco Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Mohamad Khairi Ishak, Universiti Sains Malaysia, Malaysia Faouzi Kammoun, Ecole Superieure Privee d'Ingenierie et de Technologies, Tunis Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Fernando Moreira, Universidade Portucalense, Portugal Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France, France Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-21/organizing-commitee.html -- Orven E. Llantos, PhD Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology   (MSU-IIT) makes no warranties of any kind, whether expressed or implied, with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not be responsible for damages resulting from the use of MSU-IIT e-mail resources, including, but not limited to, loss of data resulting from delays, non-deliveries, missed deliveries, service interruptions caused by the negligence of a MSU-IIT employee, or by the User's error or omissions. MSU-IIT specifically denies any responsibility for the accuracy or quality of information obtained through MSU-IIT e-mail resources, except material represented as an official MSU-IIT record. Any views expressed in this e-mail are those of the individual sender and may not necessarily reflect the views of MSU-IIT, except where the message states otherwise and the sender is authorized to state them to be the views of MSU-IIT. The information contained in this e-mail, including those in its attachments, is confidential and intended only for the person(s) or entity(ies) to which it is addressed. If you are not an intended recipient, you must not read, copy, store, disclose, distribute this message, or act in reliance upon the information contained in it. If you received this e-mail in error, please contact the sender and delete the material from any computer or system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From xnningxie at gmail.com Wed Jun 23 18:27:50 2021 From: xnningxie at gmail.com (Ningning Xie) Date: Wed, 23 Jun 2021 14:27:50 -0400 Subject: [Haskell] Final Call for Talks: Haskell Implementors' Workshop @ ICFP'21 Message-ID: Final Call for Talks ACM SIGPLAN Haskell Implementors' Workshop https://icfp21.sigplan.org/home/hiw-2021 Virtual, 22 Aug, 2021 Co-located with ICFP 2021 https://icfp21.sigplan.org/ New: Invited Speaker -------------------- Title: Haskell reinterpreted – large-scale real-world experience with the Mu compiler in Financial Markets Speaker: Bengt Marten Agren, Standard Chartered Bank Important dates --------------- Deadline: Wednesday, 30 June, 2021 (AoE) Notification: Wednesday, 14 July, 2021 Workshop: Sunday, 22 August, 2021 The 13th Haskell Implementors' Workshop is to be held alongside ICFP 2021 this year virtually. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos, and lightning short talks. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2021. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides and presented data available with the consent of the speakers. The Implementors' Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions should be made via HotCRP. The website is: https://icfp-hiw21.hotcrp.com/ We will also have lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Logistics --------- Due to the on-going COVID-19 situation, ICFP (and, consequently, HIW) will be held remotely this year. However, the organizers are still working hard to provide for a great workshop experience. While we are sad that this year will lack the robust hallway track that is often the highlight of HIW, we believe that this remote workshop presents a unique opportunity to include more of the Haskell community in our discussion and explore new modes of communicating with our colleagues. We hope that you will join us in making this HIW as vibrant as any other. Program Committee ----------------- * Dominique Devriese (Vrije Universiteit Brussel) * Daan Leijen (Microsoft Research) * Andres Löh (Well-Typed LLP) * Julie Moronuki (Typeclass Consulting) * John Wiegley (DFINITY) * Ningning Xie (the University of Hong Kong) * Edward Z. Yang (Facebook AI Research) Contact ------- * Ningning Xie -------------- next part -------------- An HTML attachment was scrubbed... URL: From emilia at confscience.com Tue Jun 29 06:25:25 2021 From: emilia at confscience.com (Emilia Marc) Date: Tue, 29 Jun 2021 08:25:25 +0200 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Message-ID: <008901d76caf$8c756760$a5603620$@confscience.com> Call for papers ************************************************* International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: June 30, 2021 (extended) - Acceptance Notification: July 15, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=irsh2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/irsh/ *************************************************************************** CONTACT For more information, please send an email to info-irsh at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Tue Jun 29 08:54:14 2021 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Tue, 29 Jun 2021 10:54:14 +0200 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague In-Reply-To: <008901d76caf$8c756760$a5603620$@confscience.com> References: <008901d76caf$8c756760$a5603620$@confscience.com> Message-ID: Can we please permanently ban this person and everyone from the confscience.com domain? Thanks, Ivan On Tue, 29 Jun 2021 at 08:28, Emilia Marc wrote: > Call for papers > > ************************************************* > > International Conference on Informatics Revolution for Smarter Healthcare > (IRSH 2021) > > Prague- Czech Republic, October 14-15, 2021 > > https://confscience.com/irsh/ > > All papers accepted in IRSH 2021 will be published in Springer CCIS > (Communications in Computer and Information Science). > > CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical > Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings > Citation (Former ISI Proceedings) > > *************************************************************************** > > IMPORTANT DATES: > > - Paper Submission: June 30, 2021 (extended) > > - Acceptance Notification: July 15, 2021 > > - Final Manuscript Due: September 1, 2021 > > *************************************************************************** > > The IRSH 2021 conference will be held in Conjunction with: > > International Conference on Applied Data Science and Intelligence (ADSI > 2021) > > International Conference on Recent Theories and Applications in > Transportation and Mobility - (RTATM 2021) > > *************************************************************************** > > TOPICS: > > Authors are invited to submit their original papers to address the topics > of the conference, including but not limited to: > > FUNDAMENTALS AND THEORIES > > - Interoperability and Data Integration > > - Confidentiality and Data Security > > - Data protection > > - Data Sharing > > - Security, Privacy, and Trust > > - Emergent healthcare standards > > - Emergent healthcare architectures > > - ICT, Ageing and Disability > > - Physiological and behavioural modelling > > - Pandemic and disease modeling > > - Usability and user experience of medical devices > > - Human behaviour > > - Clinical investigation regulatory frameworks > > - Integrated healthcare approaches > > - eHealth data standards and interoperability (e.g. HL7/FHIR) > > - Databases and data warehousing > > - Big Data and Open Data for healthcare > > - Design and Development of Methodologies for Healthcare > > - Emergent Communication Technologies > > - Real-time interaction theories > > - Emergent Technologies for Ambient Assisted Living > > - User Interface Design for healthcare > > - Sustainability > > - New approaches for accuracy and effectiveness > > - Data mining and bioinformatics > > - Enhanced living environments > > - Analysis and evaluation of healthcare systems > > INTELLIGENT HEALTHCARE > > - Pattern recognition and Machine > > - Learning for healthcare > > - Cognitive Informatics > > - Big Data in Healthcare > > - Wellbeing Informatics > > - Data Mining and Data Analytics > > - Data Visualization > > - Smart environments > > - Smart Ambient Assisted Living > > - Intelligent healthcare solutions > > - Agent-based solutions for healthcare > > - Collaboration systems > > - Intelligent Electronic Health Records > > - Internet of Things for healthcare > > - Cyber-Physical Systems for healthcare > > - Ambient Computing and Reasoning > > - Context Awareness > > - Smart devices for eldercare > > - Autonomy and active ageing > > - Emergent technologies for intelligent Computer Vision > > - Service production and delivery > > - Gamification > > - Multi-modal interaction > > - Computer-aided detection and diagnosis > > - Crowdsourcing for smarted healthcare > > SERVICES, SYSTEMS, AND INFRASTRUCTURES > > - Emergent healthcare services > > - Pervasive health systems and services > > - Remote healthcare management > > - Emergent healthcare infrastructure > > - Industry Revolution 4.0 for healthcare > > - eHealth > > - Electronic health records > > - Assistive technologies > > - Disease surveillance and patient monitoring systems > > - Prevention and detection systems > > - Home monitoring > > - Healthcare management systems > > - ICT-based therapeutic systems > > - ICT-based rehabilitation technologies > > - Wearable health informatics > > - Emergent technologies for data analytics > > - Ambient Assisted Leaving (AAL) > > - Decision Support Systems > > - Emergent Technologies for Remote AAL Monitoring > > - Emergent Technologies and Accessibility > > - 5G for healthcare > > - Healthcare supply chain and logistics > > - Wireless Body Networks > > - Telemedicine and mobile telemedicine > > - Mobile Systems > > - Software Defined infrastructures > > - Patient empowerment systems > > - Smart technology for remote patient visits > > - Biosensors > > - Medical devices > > APPLICATIONS > > - eHealth applications > > - Application of health informatics in clinical cases > > - Mobile technologies for healthcare applications > > - Software Systems in healthcare > > - Social networking and healthcare > > - Case Studies > > - Personalization and patient experience > > - AR and VR applications > > - Patient billing > > - Accounting systems > > - Personnel and payroll > > - Materials management > > - Voice recognition systems > > - Asset management solutions > > - Disease management > > - Feedback integration > > - Clinical software > > - Crowd-computing applications > > - Future directions > > - Drone-based solutions > > - Software Defined Networks for healthcare > > > > *************************************************************************** > > OUTSTANDING PAPERS: > > Based on the peer review scores as well as the presentations at the > conference, the authors of outstanding papers will be invited to extend > their works for a potential publication in journals special issues with > high impact factors. > > *************************************************************************** > > > PAPER SUBMISSION: > > Papers must be submitted electronically as PDF files via easychair ( > https://easychair.org/conferences/?conf=irsh2021). > > All papers will be peer reviewed. > > Length of Full papers: 12-15 pages long (written in the LNCS/CCIS > one-column page format, 400 words per page) > > Length of Short papers: less than 12 pages > > For more information, please refer to the conference website: > https://confscience.com/irsh/ > > > > *************************************************************************** > > CONTACT > > For more information, please send an email to info-irsh at confscience.com > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.w.laarman at liacs.leidenuniv.nl Tue Jun 29 21:07:55 2021 From: a.w.laarman at liacs.leidenuniv.nl (Laarman, A.W.) Date: Tue, 29 Jun 2021 21:07:55 +0000 Subject: [Haskell] Call for Participation - SPIN 2021 Message-ID: ******************************************************************************* Call for Participation SPIN 2021 International Symposium on Model Checking of Software July 12, 2021 from 9:50 to 18:15 CEST ONLINE EVENT Conference program: https://conf.researchr.org/home/spin-2021 About SPIN The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms (classical and quantum), tool development, including for modern hardware (parallel and distributed), and empirical evaluation. Registration Registration is free. In order to receive the event links, sign up here: https://conf.researchr.org/home/spin-2021#Registration Invited speakers * ‪Vincenzo Ciancia‬, ISTI-CNR * Mariëlle Stoelinga, Twente / Radboud University * Moshe Vardi, Rice University For the complete program and abstracts, see the website. Social SPIN 2021 will feature a virtual environment for participants to connect and meet online. Contact Alfons Laarman, Leiden University Ana Sokolova, University of Salzburg -------------- next part -------------- An HTML attachment was scrubbed... URL: From dominik.schrempf at gmail.com Wed Jun 30 06:46:32 2021 From: dominik.schrempf at gmail.com (Dominik Schrempf) Date: Wed, 30 Jun 2021 08:46:32 +0200 Subject: [Haskell] Data.Traversable Message-ID: <87h7hfrgs7.fsf@gmail.com> Hello, I was repeating the properties of some basic type classes yesterday and ended up reading through the "Overview" section in 'Data.Traversable'. I was deeply impressed and wondered why I hadn't noticed it before, and so I realized, it is there since base-4.15.0.0. I wanted to deeply thank whoever took the time to write this up. In my opinion, we need more of this in the Haddocks, and on Hackage. Thank you! Dominik PS: I also noticed that when reading Haddocks of the 'base-4.15.0.0' package on Hackage, the link 'Contents' on the top right does not link to the usual overview about the package including all package versions, but only to the contents of the documentation of the current version. I liked the general overview about package versions more. From pangjun at gmail.com Wed Jun 30 06:58:19 2021 From: pangjun at gmail.com (Jun PANG) Date: Wed, 30 Jun 2021 08:58:19 +0200 Subject: [Haskell] Formal Methods 2021: Workshops and Tutorials Message-ID: 24th International Symposium on Formal Methods Beijing, November 20-26, 2021 (held virtually) ---------------------------------------------- Workshops and Tutorials ======================= http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/ The FM'21 Symposium on Formal Methods will host six exciting workshops and tutorials on various topics related to formal methods. * FMTea: Formal Methods Teaching * appFM: Applicable Formal Methods * Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS * FMI Co-simulation Based Digital Twin * Momba: Python for Quantitative Models * Continuous Verification using CBMC For details about these events and how to participate or submit see the Workshops and Tutorials page: http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/ For questions about the general organization of workshops and tutorials: * FM Workshops Chairs: Carlo A. Furia (Università della Svizzera Italiana, Switzerland); Lijun Zhang (Chinese Academy of Sciences, China) * FM Tutorials Chairs: Luigia Petre (Åbo Akademi University, Finland); Tim A.C. Willemse (Eindhoven University of Technology, Netherlands) From gershomb at gmail.com Wed Jun 30 12:31:56 2021 From: gershomb at gmail.com (Gershom B) Date: Wed, 30 Jun 2021 08:31:56 -0400 Subject: [Haskell] Spam Control In-Reply-To: References: <008901d76caf$8c756760$a5603620$@confscience.com> Message-ID: <9724f79b-4157-4610-8e26-e6e723c76cfe@Spark> On Jun 29, 2021, 4:57 AM -0400, Ivan Perez , wrote: > Can we please permanently ban this person and everyone from the confscience.com domain? > > Thanks, > > Ivan Done. —Gershom -------------- next part -------------- An HTML attachment was scrubbed... URL: