From jaspervdj at gmail.com Sun May 2 18:34:35 2021 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Sun, 2 May 2021 20:34:35 +0200 Subject: [Haskell] [Announcement] ZuriHac 2021 (18-20 June) - Registration now open Message-ID: <20210502183435.GB405@taiyaki> Hey Haskell friends, We are happy to announce that you can now register for ZuriHac 2021. It will take place from Friday 18th to Sunday 20th of June. Like last year, we are holding the event online. While we are sad that we don't yet get to see each other in person, this also allowed ~1000 people to join in 2021, instead of the usual 400-500 in Zurich. We have a couple of exciting things lined up for you this year. Here is a peek preview, but you can always check out https://zurihac.com for up-to-date information. This year, we are honoured to have talks by: - Emily Pillmore - Gabriele Keller - John Hughes - Veronika Romashkina And we have a couple of tutorials and teaching tracks in the works, as well as one more talk. We put a special focus on covering the whole beginner, intermediate, advanced spectrum: - There will be an advanced track held by our friends at Well-Typed. - digitally induced will teach you IHP, a new batteries-included web framework that has been gaining a lot of traction. Check it out at https://ihp.digitallyinduced.com/. - There will be a workshop on Unison, an exciting programming language that shares a lot of Haskell's syntax and semantics. Have a look at https://unisonweb.org/. We are working on more talks and tutorials, so expect further details to be communicated in the coming weeks. Keep an eye on our website! Apart from this, there will be the usual stuff that makes ZuriHac so much fun. There will be projects to hack on with other people, and the possibility to bring your own. There will be plenty of socialising, some impromptu hallway tracks, friendly fellow Haskellers to help you out, and an overall welcoming vibe. A quick note on how the online event works: - The main hub for the event will be on our Discord server. It worked really well for us last year, since it provided a sense of togetherness. It's easy to use, and it has chats, voice, and video. You will get a link when you register. - The talks will be streamed (and recorded) on YouTube. Q&A will be held on Discord. Check out last year's excellent talks: https://youtube.com/playlist?list=PLiU7KJ5_df6aZbNfh_TUJt-6w9N3rYkTX Registration is free and open as of right now: https://zureg.zfoh.ch/register/ Looking forward to seeing you in June! The Zurich Friends of Haskell - https://zfoh.ch From hannah.gharrad at gmail.com Tue May 4 04:36:39 2021 From: hannah.gharrad at gmail.com (Hana Gharrad) Date: Tue, 4 May 2021 08:36:39 +0400 Subject: [Haskell] CFPs (ICTH 2021) Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Message-ID: Conference: The 10th 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 emilia at confscience.com Tue May 4 09:18:31 2021 From: emilia at confscience.com (Emilia Marc) Date: Tue, 4 May 2021 11:18:31 +0200 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Message-ID: <008f01d740c6$73dd6370$5b982a50$@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: May 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=irsh2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/irsh/ *************************************************************************** CONTACT For more information, please send an email to info-irsh at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue May 4 09:31:25 2021 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 4 May 2021 09:31:25 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: <260B8465-C20E-4028-8315-05B6A5A44A3E@nottingham.ac.uk> Dear all, If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, ~200 published to date, deadline 31st May 2021. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st May 2021 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 31st May 2021: o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From hemdanimayssa at gmail.com Tue May 4 15:42:08 2021 From: hemdanimayssa at gmail.com (Mayssa HEMDANI) Date: Tue, 4 May 2021 19:42:08 +0400 Subject: [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) Message-ID: Call for papers ************************************************* International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ 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: May 20, 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 david.janin at labri.fr Tue May 4 16:04:58 2021 From: david.janin at labri.fr (david.janin at labri.fr) Date: Tue, 4 May 2021 18:04:58 +0200 Subject: [Haskell] ACM Workshop on Functional Art, Music, Modelling and Design - Last Call for Papers, Demos, and Performances Message-ID: Less than 2 weeks to go! =============================================================================== 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos, and Performance Virtual, 27th August 2021 Deadlines: May 15 (Papers & Demos) June 13 (Performances https://functional-art.org/2021 =============================================================================== Key Dates ========= Papers and Demos: Paper submission deadline May 15 Author notification June 5 Camera ready June 26 Workshop August 27 Performances: Performance submission deadline June 13 Performance notification June 26 Call for Papers =============== After an 2020 online edition restricted to the performance session, the ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) will also be held online in 2021 but open to all tracks (paper, demo and performance). Pursuing its mission, this 9th workshop aims to bring together people who are harnessing functional techniques in the pursuit of creativity and artistic expression. FARM encourages submissions from across art, craft, and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. In addition to the main workshop, FARM hosts a traditional evening of performances. Thus, this call encompasses both papers/demos for the workshop (and its published proceedings) as well as performance proposals for the evening’s event. Authors are invited to make a single submission for each. Authors may submit both a paper/demo and performance proposal, but the submissions will be considered independently. Note on Finances ================ Paid registration to the FARM workshop is usually required for paper and demo submitters, but will be waived for performers. If you would have financial difficulty attending, you can apply for conference “PAC” funds. Please get in touch for more information. Submission ========== We welcome submissions from academic, professional, and independent programmers and artists. Submissions are accepted via the Submission page on Easychair: https://easychair.org/conferences/?conf=farm2021 Paper proposals =============== Paper submissions are invited in three categories: - Original research - Overview / state of the art - Technology tutorial (especially tools and environments for distributed artistic workflow) All submissions must propose an original contribution to the FARM theme. FARM is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), and use the ACM SIGPLAN style guides and ACM SIGPLAN template (using the SIGPLAN sub-format). Accepted papers will be published in the ACM Digital Library as part of the FARM 2021 proceedings. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. Demo proposals ============== Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (1020 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in the form of an extended abstract (500 to 2000 words). A demo proposal should be clearly marked as such, by prepending “Demo Proposal:” to the title and proposed to the ‘paper’ track. Demo proposals will be published on the FARM website. Performance proposals ====================== FARM seeks proposals for performances which employ functional programming techniques, in whole or in part. We invite a diverse range of functionally-themed submissions including music, video, dance, and performance art. Both live performances and fixed-media submissions are welcome. We encourage both risk-taking proposals that push forward the state of the art and refined presentations of highly developed practice. Performances will be held online. Performance proposals should be emailed to performance at functional-art.org, and must include: a description of the performance (please be as specific as possible), an explanation of the use of functional programming in the work, and a list of technical requirements. All proposals should be supported by a link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.). Important dates/deadlines ========================= Submission Deadline: May, 15th Author Notification: June, 5th Performance Submission Deadlione: June 13th Camera Ready: June 26th Performance Notification: June 26 Workshop: August 27th Authors take note ================= For original papers and demos, the official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. All presentations at FARM 2021 will be recorded. Permission to publish the resulting video (in all probability on YouTube, along with the videos of ICFP itself and the other ICFP-colocated events) will be requested on-site. Questions ========= If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organizers at: farm2021 at functional-art.org. Workshop organization ===================== General chair: Daniel Winograd-Cort (Luminous Computing) Program chair: Jean-Louis Giavitto (IRCAM Paris) Publicity chair: Mike Sperber (Active Group GmbH) Performance Chair: John MacCallum (HfMT Hamburg) From calendarsites at insticc.org Wed May 5 18:03:43 2021 From: calendarsites at insticc.org (calendarsites at insticc.org) Date: Wed, 5 May 2021 19:03:43 +0100 Subject: [Haskell] [CFP] Call for Abstracts and Call for the e-Business 2021 Doctoral Consortium (Submission Deadline :: 12th of May) Message-ID: <00fa01d741d8$fe95a3c0$fbc0eb40$@insticc.org> Dear Colleagues, ICE-B 2021 is welcoming abstract submissions and also contributions to the e-Business 2021 Doctoral Consortium, until the 12th of May. ABSTRACT TRACK: In order to ensure a proper and fair review of the abstracts, we encourage authors to submit abstracts with clear insights and background of the work, and to include complementing material that can help the panel understand its contribution and relevance to the conference. Complementing material could include, for example, previously published papers or videos related to the abstract, to enrich the abstract submission. Abstracts that bring an appropriate complementing material are eligible for oral or poster presentation; otherwise, they are eligible for poster presentation only. Oral presentations are given a 20' minutes time slot. Abstracts will be advertised in the conference program and in the conference book of abstracts (in the printed and digital version), but not published DOCTORAL CONSORTIUM: The ICE-B 2021 Doctoral Consortium aims to improve the research of PhD students and broaden their perspectives by giving them the opportunity to share and develop their research ideas in a supportive environment, get feedback from senior members, improve their communication skills, exchange ideas, and build relationships with other PhD students. Accepted contributions will be presented in a dedicated conference session where participants will discuss their research ideas and results, and receive constructive feedback from an audience consisting of their peers as well as more senior experts in the field. In addition to that, students will be invited to participate at poster sessions so that they also receive comments of other participants in the conference. IMPORTANT DATES: Submission deadline: May 12, 2021 Notification of acceptance: May 25, 2021 Camera Ready and Registration: June 3, 2021 For more information, you may send an email to: ice-b.secretariat at insticc.org or visit the conference website: http://www.ice-business.org/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From calendarsites at insticc.org Thu May 6 11:48:00 2021 From: calendarsites at insticc.org (calendarsites at insticc.org) Date: Thu, 6 May 2021 12:48:00 +0100 Subject: [Haskell] [CFP] Call for Abstracts and Call for the Wireless Networks and Mobile Systems Doctoral Consortium (Submission Deadline :: 12th of May) Message-ID: <01c201d7426d$ae0ec130$0a2c4390$@insticc.org> Dear Colleagues, WINSYS 2021 is welcoming abstract submissions and also contributions to the Wireless Networks and Mobile Systems 2021 Doctoral Consortium, until the 12th of May. ABSTRACT TRACK: In order to ensure a proper and fair review of the abstracts, we encourage authors to submit abstracts with clear insights and background of the work, and to include complementing material that can help the panel understand its contribution and relevance to the conference. Complementing material could include, for example, previously published papers or videos related to the abstract, to enrich the abstract submission. Abstracts that bring an appropriate complementing material are eligible for oral or poster presentation; otherwise, they are eligible for poster presentation only. Oral presentations are given a 20' minutes time slot. Abstracts will be advertised in the conference program and in the conference book of abstracts (in the printed and digital version), but not published. DOCTORAL CONSORTIUM: The Wireless Networks and Mobile Systems 2021 Doctoral Consortium aims to improve the research of PhD students and broaden their perspectives by giving them the opportunity to share and develop their research ideas in a supportive environment, get feedback from senior members, improve their communication skills, exchange ideas, and build relationships with other PhD students. Accepted contributions will be presented in a dedicated conference session where participants will discuss their research ideas and results, and receive constructive feedback from an audience consisting of their peers as well as more senior experts in the field. In addition to that, students will be invited to participate at poster sessions so that they also receive comments of other participants in the conference. IMPORTANT DATES: Submission deadline: May 12, 2021 Notification of acceptance: May 25, 2021 Camera Ready and Registration: June 3, 2021 For more information, you may send an email to: winsys.secretariat at insticc.org or visit the conference website: http://www.winsys.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From W.S.Swierstra at uu.nl Thu May 6 15:05:07 2021 From: W.S.Swierstra at uu.nl (Swierstra, W.S. (Wouter)) Date: Thu, 6 May 2021 15:05:07 +0000 Subject: [Haskell] (Online) Utrecht Summer School on Advanced functional programming Message-ID: <959d805c-b436-7357-4ba7-893788c394bb@uu.nl> SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Online - 05-9 July 2021 http://www.afp.school # Call for Participation ## About The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. This year the course will be offered *online only*. A typical day will consist a 2-3 hours of lectures, sandwiched between supervised lab sessions. Lectures will be held in the (European) afternoon, but recordings will be made available if attending live is problematic. The lectures will cover several more advanced topics regarding programming with types in Haskell, including topics such as: * monads and applicative functors; * lambda calculus; * generalized algebraic datatypes; * datatype generic programming * type families and type-level programming; ## Lecturers Utrecht staff: * Gabriele Keller * Trevor McDonell * Wouter Swierstra ## Prerequisites We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. Soft registration deadline: 1 June, 2021 School: 05-09 July, 2021 ## Costs 50 euro - Registration fee We ask ask participants to pay a small registration fee to cover some of our organizational expenses. If this is problematic for you *for whatever reason*, please let us know and we can waive your registration fee. ## Further information Further information, including instructions on how to register, is available on our website: http://www.afp.school From songfu1983 at shanghaitech.edu.cn Fri May 7 12:12:28 2021 From: songfu1983 at shanghaitech.edu.cn (songfu1983 at shanghaitech.edu.cn) Date: Fri, 7 May 2021 20:12:28 +0800 Subject: [Haskell] SETTA 2021: 2nd CFP updated with a special issue for STTT Message-ID: <202105072012283296235@shanghaitech.edu.cn> ======================================== SETTA 2021: Symposium on Dependable Software Engineering: Theories, Tools and Applications Institute of Software, Chinese Academy of Sciences, Beijing, China, November 25-27, 2021 Submission deadline: July 23rd, 2021 Conference website: https://lcs.ios.ac.cn/setta2021/ Colocated with FM'2021 ======================================== ************************ ABOUT SETTA 2021 ************************ The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2021 will be held in Beijing, China on November 25-27, 2021, co-located with FM'2021. Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community is formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification. However, the impact of formal methods on the quality improvement of software systems in practice is lagging behind. This is for instance reflected by the challenges in applying formal techniques and tools to engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth. The purpose of the SETTA symposium is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. The interaction with the Chinese computer science and software engineering community is a central focus point. The aim is to show research interests and results from different groups so as to initiate interest-driven research collaboration. The SETTA symposium is aiming at academic excellence and its objective is to become a flagship conference on formal software engineering in China. To achieve these goals and contribute to the sustainability of the formal methods research, it is important for the symposium to attract young researchers into the community. Thus, this symposium encourages in particular the participation of young researchers and students. This year, SETTA welcomes submissions to the following two tracks: Journal First Papers and Research Papers. All submissions must be in the PDF format. Papers should be written in English. Submitted papers must be unpublished and not submitted for publication elsewhere. Accepted papers for both tracks must be presented at the conference. Latest News: Special issues for the Elsevier Journal of Systems Architecture (JSA) and the International Journal on Software Tools for Technology Transfer (STTT) have been confirmed. Authors of selected papers from SETTA2021 will be invited to submit an extended version of their SETTA2021 paper to one of these special issues. ************************ LIST OF TOPICS ************************ Topics of interest include, but are not limited to: - Requirements specification and analysis - Formalisms for modeling, design and implementation - Model checking, theorem proving, and decision procedures - Scalable approaches to formal system analysis - Formal approaches to simulation, run-time verification, and testing - Integration of formal methods into software engineering practice - Contract-based engineering of components, systems, and systems of systems - Formal and engineering aspects of software evolution and maintenance - Parallel and multicore programming - Embedded, real-time, hybrid, probabilistic, and cyber-physical systems - Mixed-critical applications and systems - Formal aspects of service-oriented and cloud computing - Safety, reliability, robustness, and fault-tolerance - Dependability of smart software and systems - Empirical analysis techniques and integration with formal methods - Applications and industrial experience reports - Software tools to assist the construction or analysis of software systems ************************ RESEARCH PAPERS TRACK ************************ Research papers will be published in the SETTA 2021 proceedings as a volume in Springer's LNCS series. Papers should be submitted electronically through the EasyChair submission web page . ------------------------ Important Dates ------------------------ Abstract & Paper Submission: July 23, 2021 (AoE) Notification to authors: September 3, 2021 (AoE) Camera-ready versions: September 20, 2021 (AoE) Conference date: November 25-27, 2021 ------------------------ Submission Guidelines ------------------------ Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods and applications thereof in software engineering. This is done by either substantiating the advantages of integrating formal methods into the development cycle or through delineating the need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains. Submissions can take the form of either regular or short papers. Regular papers should not exceed 16 pages (excluding references) in LNCS format. Short papers can discuss ongoing research at an early stage, including PhD projects. Short papers should not exceed 6 pages (excluding references) in LNCS format. ************************ JOURNAL FIRST PAPERS TRACK ************************ The journal first papers track of SETTA 2021 is implemented in partnership with the Journal of Computer Science and Technology (JCST). Accepted papers to this track will be presented and discussed at the conference SETTA 2021. Papers should be submitted electronically through the journal's submission web page . ------------------------ Important Dates ------------------------ Paper Submission: May 31, 2021 (AoE) Tentative acceptance decision: July 16, 2021 (AoE) Acceptance decision: August 30, 2021 (AoE) Conference date: November 25-27, 2020 ------------------------ Submission Guidelines ------------------------ To submit to this track, authors have to make a journal submission to the Journal of Computer Science and Technology, and select the type of submission to be for the SETTA 2021 special issue. It is recommended that submitted papers follow the submission guidelines of JCST and do not exceed 15 pages including references. ************************ COMMITTEES ************************ General Chair: - Chen Zhao, Institute of Software, Chinese Academy of Sciences Program Chair: - Shengchao Qin, Teesside University - Jim Woodcock, University of York - Wenhui Zhang, Institute of Software, Chinese Academy of Sciences Local Organisation Chair: - Zhilin Wu, Institute of Software, Chinese Academy of Sciences Publicity Chair: - Fu Song, ShanghaiTech University Program Committee Members: - Yamine Ait-Ameur (IRIT/INPT-ENSEEIHT) - Richard Banach (The University of Manchester) - Lei Bu (Nanjing University) - Milan Ceska (Brno University of Technology) - Sudipta Chattopadhyay (Singapore University of Technology and Design) - Liqian Chen (National University of Defense Technology) - Yu-Fang Chen (Academia Sinica) - Alessandro Cimatti (Fondazione Bruno Kessler) - Florin Craciun (Babes-Bolyai University) - Yuxin Deng (East China Normal University) - Wei Dong (National University of Defense Technology) - Hongfei Fu (Shanghai Jiao Tong University) - Jan Friso Groote (Eindhoven University of Technology) - Nan Guan (The Hong Kong Polytechnic University) - Dimitar Guelev (Bulgarian Academy of Sciences) - Thai Son Hoang (University of Southampton) - Chao Huang (University of Liverpool, Northwestern University) - Yu Jiang (Tsinghua University) - Sebastian Junges (University of California, Berkeley) - Guoqiang Li (Shanghai Jiao Tong University) - Yi Li (Nanyang Technological University) - Zhiming Liu (Southwest University) - Yang Liu (Nanyang Technological University) - Tiziana Margaria (Lero) - Dominique Mery (Universite de Lorraine, LORIA) - Stefan Mitsch (Carnegie Mellon University) - Jun Pang (University of Luxembourg) - Dave Parker (University of Birmingham) - Yu Pei (HK Polytechnic University) - Shengchao Qin (Teesside University) - Mickael Randour (F.R.S.-FNRS & Universite de Mons) - Stefan Schupp (TU Wien) - Zhiping Shi (Beijing Eng. Research Center of High Reliable Embbeded Systems) - Fu Song (ShanghaiTech University) - Jeremy Sproston (University of Turin) - Ting Su (East China Normal University) - Jun Sun (Singapore Management University) - Meng Sun (Peking University) - Andrea Turrini (Institute of Software, CAS) - Tarmo Uustalu (Reykjavik University) - Jaco van de Pol (Aarhus University) - Jim Woodcock (University of York) - Xiaofei Xie (Kyushu University) - Zhiwu Xu (Shenzhen University) - Bai Xue (Institute of Software, CAS) - Chenyi Zhang (Jinan University) - Wenhui Zhang (Institute of Software, CAS) ************************ VENUE ************************ The conference will be held in Beijing, China. ************************ CONTACT ************************ All questions about submissions should be emailed to setta2021 at easy*chair.org (remove *). -------------- next part -------------- An HTML attachment was scrubbed... URL: From hannah.gharrad at gmail.com Sun May 9 05:23:01 2021 From: hannah.gharrad at gmail.com (Hana Gharrad) Date: Sun, 9 May 2021 09:23:01 +0400 Subject: [Haskell] CFPs [ICTH 2021] Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) 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 aneta.poniszewska-maranda at p.lodz.pl Sun May 9 21:27:43 2021 From: aneta.poniszewska-maranda at p.lodz.pl (=?iso-8859-2?Q?Aneta_Poniszewska-Mara=F1da_I72?=) Date: Sun, 9 May 2021 21:27:43 +0000 Subject: [Haskell] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities" In-Reply-To: References: , , Message-ID: Dear Colleagues, As Guest Editors, we cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Cloud-Based IoT Applications for Smart Cities" to be published in the journal Smart Cities (ISSN 2624-6511) (https://www.mdpi.com/journal/smartcities/). The idea of the smart city connects many IT systems that improve and automate various aspects of everyday life. The effect of implementing the smart city idea is the popularization of access to information about the city, plans for further development, improving the work of offices and municipal institutions, better investment conditions, improved communication, improving the functioning of municipal services, improving the conditions of the environment, increasing safety, increasing the number of cultural and sports activities and opportunities to spend free time, as well as the active participation of residents in development and improvement. Thanks to Internet of Things devices, it is possible to automate tedious processes related to measurement and data transfer, and it is also possible to control the mechanisms remotely. In a smart city, there are many different types of sensors that collect information about the environment and send it to the central office. The question is: What to do with such a huge amount of data? Where to store it and how to manage it effectively? This is where cloud computing comes in handy. The main goal of this Special Issue is to analyze the possibilities that arise from the use of Internet of Things and cloud computing in the idea of the smart city, both for technical and utility reasons, as well as for the development of ICT. The manuscript submission deadline is 31 January 2022. We will process your paper in time once we receive your submission. For more details please visit the Special Issue website: https://www.mdpi.com/journal/smartcities/special_issues/Cloud_Based_IoT_Applications_Smart_Cities The topics include but are not limited to: * smart energy * smart buildings * smart technology * IoT-based applications * cloud storage and processing for smart cities * data science for smart cities * security for smart cities Please share this invitation with your team members and colleagues; co-authors are most welcome. Please let us know as soon as possible if you are interested in submitting a manuscript for this Special Issue with tentative title and abstract. Your contribution would be most welcome. We are looking forward to hearing from you. With kind regards, Guest Editors Aneta Poniszewska-Maranda Witold Maranda Lodz University of Technology 90-924 Lodz, Poland ________________________________ [Politechnika Łódzka / Lodz University of Technology] [Facebook] [Twitter] [Youtube] [Linkedin] ________________________________ Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę, prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Sun May 9 21:28:47 2021 From: aneta.poniszewska-maranda at p.lodz.pl (=?iso-8859-2?Q?Aneta_Poniszewska-Mara=F1da_I72?=) Date: Sun, 9 May 2021 21:28:47 +0000 Subject: [Haskell] [Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks" In-Reply-To: References: , , Message-ID: Dear Colleagues, As Guest Editor, I cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Security Measures in Vehicular Ad-Hoc Networks" to be published in the journal Electronics (IF 2.412) (ISSN 2079-9292) (https://www.mdpi.com/journal/electronics/). The Vehicular Ad-Hoc Network (VANET) is a self-organised ad-hoc network that can be formed by connecting vehicles with other vehicles on the road and with static infrastructure such as crossroads or parking lots. VANET allows its users to share their information and knowledge about road conditions, events, and traffic. Analysing data from this type of network allows road safety to be increased efficiently by controlling crises on the road and supports traffic management thanks to Internet access for drivers and software developers. However, just like any network, VANET is exposed to attacks and attempts to gain access to data that are generated and transferred between network elements. Therefore, it has become necessary to design, develop, and extend the appropriate security methods, mechanisms and tools for VANET to protect and secure data exchanged between the network nodes, and, consequently, to secure its users and protect them against incorrect information, misinformation, and delays in information sending. This Special Issue aims to present a collection of papers that address problems in the methods, mechanisms, and tools for securing the VANETs and their users by exploring aspects such as security design, architectures, deployment, routing, and protocols. Topics of interest include but not are limited to security methods and mechanics for vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communication environments, protective methods against any form of security attack (e.g., DoS attack, timing attack, man-in-the-middle attack, Bogus, Sybil, Black, Worm and Gray Hole attack), the security of routing protocols, security and privacy methods for availability, confidentiality, data integration, authentication, and access control. The manuscript submission deadline is 31 August 2021. We will process your paper in time once we receive your submission. For more details please visit the Special Issue website: https://www.mdpi.com/journal/electronics/special_issues/security_measures The topics include but are not limited to: * Security and privacy methods and mechanics * Authentication and access control * Security of routing protocols * Data availability * Confidentiality and integration * Cryptography * Vanet architecture for security * V2v and v2i communication security Please share this invitation with your team members and colleagues; co-authors are most welcome. Please let me know as soon as possible if you are interested in submitting a manuscript for this Special Issue with tentative title and abstract. Your contribution would be most welcome. We are looking forward to hearing from you. With kind regards, Guest Editors Prof. Dr. Aneta Poniszewska-Maranda Institute of Information Technology, Lodz University of Technology, 90-924 Lodz, Poland ________________________________ [Politechnika Łódzka / Lodz University of Technology] [Facebook] [Twitter] [Youtube] [Linkedin] ________________________________ Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę, prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Sun May 9 21:30:12 2021 From: aneta.poniszewska-maranda at p.lodz.pl (=?windows-1250?Q?Aneta_Poniszewska-Mara=F1da_I72?=) Date: Sun, 9 May 2021 21:30:12 +0000 Subject: [Haskell] =?cp1250?q?=5BInformation=5D_Invitation=3A_Special_Issu?= =?cp1250?q?e_=22Information_for_Business_and_Management=96Software_Develo?= =?cp1250?q?pment_for_Data_Processing_and_Management=22?= In-Reply-To: References: , , , , , , , , , Message-ID: Dear Colleagues, As Guest Editor, I cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Information for Business and Management–Software Development for Data Processing and Management" to be published in the journal Information (http://www.mdpi.com/journal/information/, ISSN 2078-2489). The manuscript submission deadline is 30 June 2021. We will process your paper in time once we receive your submission. For more details, please visit the Special Issue website: https://www.mdpi.com/journal/information/special_issues/business_management The topics include but are not limited to: * Software engineering for data * Requirements engineering for information management * Data processing and management * Business analysis * Knowledge management * Security and privacy of data * Software for data mining Please share this invitation with your team members and colleagues; co-authors are most welcome. Please let us know as soon as possible if you are interested in submitting a manuscript for this Special Issue with tentative title and abstract. Your contribution would be most welcome. We are looking forward to hearing from you. With kind regards, Guest Editor Prof. Dr. Aneta Poniszewska-Maranda Institute of Information Technology, Lodz University of Technology, 90-924 Lodz, Poland ________________________________ [Politechnika Łódzka / Lodz University of Technology] [Facebook] [Twitter] [Youtube] [Linkedin] ________________________________ Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę, prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From s-dgq at thorsten-wissmann.de Mon May 10 15:55:11 2021 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Mon, 10 May 2021 17:55:11 +0200 Subject: [Haskell] CALCO 2021: Second call for papers Message-ID: <20210510155511.GA8871@dobby> [Apologies if you receive multiple copies of this message] ========================================================= CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS XXXV ========================================================== Paper submission: 3 June 2021 Author notification: 29 July 2021 Final version due: 12 August 2021 ========================================================== Scope ===== Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and London (UK, 2019). The 9th edition will be held in Salzburg, Austria, colocated with MFPS XXXVII. Joint CALCO-MFPS Speaker ======================== * Eugenia Cheng (School of the Art Institute of Chicago) Submission Categories ===================== CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools. Topics of Interests =================== All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ====================== All submissions will be handled via EasyChair https://easychair.org/conferences/?conf=calco2021 The format for all submissions is specified by LIPIcs. Please use the latest version of the style http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers ============== Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Each submission will be evaluated by at least three reviewers. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is planned. (Co)algebraic pearls ==================== This is a new submission category in 2021. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Each submission will be evaluated by at least two reviewers. Early ideas abstracts ===================== Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Each submission will be evaluated by at least two reviewers. Tool papers =========== Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Each submission will be evaluated by at least three reviewers, and one or more of the reviewers will be asked to download and use the tool. Best Paper and Best Presentation Awards ======================================= This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee =================== * Zena M. Ariola (University of Oregon) * Paolo Baldan (University of Padova) * Rui Soares Barbosa (International Iberian Nanotechnology Laboratory) * Luis Caires (NOVA University Lisbon) * Francisco Durán (University of Málaga) * Brendan Fong (Massachusetts Institute of Technology) * Fabrizio Romano Genovese (University of Pisa) * Jules Hedges (University of Strathclyde, Glasgow) * Thomas Hildebrandt (IT University of Copenhagen) * Peter Jipsen (Chapman University) * Wolfram Kahl (McMaster University) * Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord) * Jean Krivine (CNRS -- Université de Paris) * Michele Loreti (University of Camerino) * Sonia Marin (University College London) * Manuel A. Martins (University of Aveiro) * Annabelle McIver (Macquarie University) * Hernan Melgratti (University of Buenos Aires) * Koko Muroya (RIMS, Kyoto University) * Elaine Pimentel (UFRN) * Elvinia Riccobene (University of Milan) * Alex Simpson (University of Ljubljana) * David I. Spivak (Massachusetts Institute of Technology) * Christine Tasson (LIP6 - Sorbonne Université) * Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology) * Maaike Zwart (University of Oxford) * Rob van Glabbeek (Data61 - CSIRO) Chairs ====== * Fabio Gadducci (University of Pisa) * Alexandra Silva (University College London) Local Organiser =============== * Ana Sokolova (University of Salzburg) From ksk at riec.tohoku.ac.jp Tue May 11 14:34:56 2021 From: ksk at riec.tohoku.ac.jp (Keisuke Nakano) Date: Tue, 11 May 2021 23:34:56 +0900 Subject: [Haskell] [Deadline Extension] WPTE 2021: Call For Papers Message-ID: --------------------------------------------------------------------------- WPTE 2021: 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation Held online on July 18, 2021 --------------------------------------------------------------------------- Conference Web site: https://www.ipl.riec.tohoku.ac.jp/wpte2021/ Submission link: https://easychair.org/conferences/?conf=wpte2021 Submission deadline: May 24, 2021 (EXTENDED!) --------------------------------------------------------------------------- The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2021) is affiliated with FSCD 2021, https://fscd2021.dc.uba.ar/ List of Topics --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline an extended abstract of at most 10 pages is required to be submitted. The extended abstract may present original work or also work in progress. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions will be electronic via https://easychair.org/conferences/?conf=wpte2021. Formal Proceedings --------------------------------------------------------------------------- WPTE post-proceedings of selected papers will be published in a JLAMP special issue. For this, full papers must be submitted until the post-proceedings deadline. The authors of selected contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These must represent original work and should not be submitted to another conference at the same time. The submission deadline for these post-proceedings will be after the workshop in September 2021. There will be a second round of reviewing for selecting papers to be published in the formal proceedings. Important Dates --------------------------------------------------------------------------- Submission of extended abstracts: May 24, 2021 (AoE) Notification of acceptance: June 14, 2021 Final version for proceedings deadline: June 27, 2021 Workshop: July 18, 2021 Submission to post-proceedings: September 2021 Program Committees --------------------------------------------------------------------------- Keisuke Nakano, Tohoku University, Japan (Chair) Adrian Riesco, Universidad Complutense de Madrid, Spain. (co-Chair) Ștefan Ciobâcă, Universitatea Alexandru Ioan Cuza din Iași, Romania Makoto Hamana, Gunma University, Japan Akimasa Morihata, the University of Tokyo, Japan Shin-Cheng Mu, Academia Sinica, Taiwan Koko Muroya, Kyoto University, Japan David Sabel, LMU, Germany Julia Sapiña, Polytechnic University of Valencia, Spain Janis Voigtländer, University of Duisburg-Essen, Germany Contact --------------------------------------------------------------------------- All questions about submissions should be emailed to wpte2021 (at) easychair.org -- 中野圭介 東北大学 電気通信研究所 ksk at riec.tohoku.ac.jp From J.Hage at uu.nl Wed May 12 07:24:19 2021 From: J.Hage at uu.nl (Hage, J. (Jurriaan)) Date: Wed, 12 May 2021 07:24:19 +0000 Subject: [Haskell] Second call for the *regular* round of Papers for the Haskell Symposium 2021 Message-ID: <93B60ADC-4BB0-44A4-96DB-7B0CABF3C860@uu.nl> Dear all, First, some * BREAKING NEWS *: Jean-Philippe Bernardy has accepted the invitation to speak at the symposium. He will be talking about Linear Haskell. This is the second call for the *regular* round of papers for the upcoming Haskell Symposium. Please forward to anyone that you believe might be interested. The deadline for this round is May 21. Apologies for receiving multiple copies of this announcement. Best regards, Jurriaan Hage Chair ================================================================================ ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2021 ** virtual ** Thu 26 -- Fri 27 August, 2021 http://www.haskell.org/haskell-symposium/2021/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2021 will be co-located with the 2021 International Conference on Functional Programming (ICFP). Due to COVID-19 it will take place **virtually** this year. Like last year, we will be using a lightweight double-blind reviewing process. See further information below. Different from last year is that we offer a new submission category: the tutorial. Details can be found below. The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: * Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts; * Tutorials, to document how to use a particular language feature, programming technique, tool or library within the Haskell ecosystem; * System Demonstrations, based on running software rather than novel research results. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and functional pearls need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementers, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. A new submission category for this year's Haskell Symposium is the tutorial. Like with the experience report and the functional pearl, the key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. What distinguishes a tutorial is that its focus is on explaining an aspect of the Haskell language and/or ecosystem in a way that is generally useful to a Haskell audience. Tutorials for many such topics can be found online; the distinction here is that by writing it up for formal review it will be vetted by experts and formally published. System demonstrations should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. If your contribution is not a research paper, please mark the title of your experience report, functional pearl, tutorial or system demonstration as such, by supplying a subtitle (Experience Report, Functional Pearl, Tutorial Paper, System Demonstration). Submission Details ================== Formatting ---------- Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the `review` option when submitting a paper; this option enables line numbers for easy reference in reviews. Functional pearls, experience reports, tutorials and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing ---------------------------------- Haskell Symposium 2021 will use a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. Author names and institutions must be omitted, and 2. References to authors' own related work should be in the third person (e.g., not "We build on our previous work" but rather "We build on the work of "). The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. A reviewer will learn the identity of the author(s) of a paper after a review is submitted. Page Limits ----------- The length of submissions should not exceed the following limits: Regular paper: 12 pages Functional pearl: 12 pages Tutorial: 12 pages Experience report: 6 pages Demo proposal: 2 pages There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against these page limits. Deadlines --------- Regular track and demos: Submission deadline: 21 May 2021 (Fri) Notification: 23 June 2021 (Wed) Deadlines are valid anywhere on Earth. Submission ---------- Submissions must adhere to SIGPLAN's republication policy (http://sigplan.org/Resources/Policies/Republication/), and authors should be aware of ACM's policies on plagiarism (https://www.acm.org/publications/policies/plagiarism). Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through HotCRP at: https://haskell21.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Supplementary material: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. Authors can distinguish between anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). Resubmitted Papers: authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the conference chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Proceedings =========== Accepted papers will be included in the ACM Digital Library. Their authors will be required to choose one of the following options: - Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license (and, optionally, licenses the work with a Creative Commons license); - Author retains copyright of the work and grants ACM an exclusive permission-to-publish license; - Author transfers copyright of the work to ACM. For more information, please see ACM Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and ACM Author Rights (http://authors.acm.org/main.html). Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Artifacts ========= Authors of accepted papers are encouraged to make auxiliary material (artifacts like source code, test data, etc.) available with their paper. They can opt to have these artifacts published alongside their paper in the ACM Digital Library (copyright of artifacts remains with the authors). If an accepted paper's artifacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artifacts Available badge (https://www.acm.org/publications/policies/artifact-review-badging#available). Applications for such a badge can be made after paper acceptance and will be reviewed by the PC chair. Program Committee ================= Edwin Brady University of St Andrews Koen Claessen Chalmers University of Technology Dominique Devriese Vrije Universiteit Brussel Andy Gill University of Kansas Jurriaan Hage (chair) Universiteit Utrecht Zhenjiang Hu Peking University Ranjit Jhala University of California Patricia Johann Appalachian State University Yukiyoshi Kameyama University of Tsukuba George Karachalias Tweag Ralf Laemmel University of Koblenz-Landau Daan Leijen Microsoft Research Ben Lippmeier Ghost Locomotion Neil Mitchell Facebook Alberto Pardo Universidad de la Republica, Uruguay Matt Roberts Macquarie University Janis Voigtlaender University of Duisburg-Essen Nicolas Wu Imperial College London If you have questions, please contact the chair at: j.hage at uu.nl ================================================================================ From joao at joaoff.com Wed May 12 10:10:41 2021 From: joao at joaoff.com (=?UTF-8?Q?Jo=C3=A3o_F=2E_Ferreira?=) Date: Wed, 12 May 2021 11:10:41 +0100 Subject: [Haskell] First Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021) Message-ID: [ Please distribute, apologies for multiple postings. ] ========================================================= Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021) 21 November 2021, *online* Co-located with the 24th International Symposium on Formal Methods, FM 2021 FMTea21 is a one-day combined workshop and tutorial that brings together researchers and educators working on formal methods to share their experiences in teaching formal methods, discuss key challenges, and stimulate collaboration that can lead to ways to reboot the presence of formal methods in curricula. FMTea21 will be an online event at the 24th International Symposium on Formal Methods, FM2021. More details can be found on the workshop website: https://fmtea.github.io ========================================================= Invited Speakers ======================== - Tobias Nipkow (Technical University Munich, Germany) Provisional title: "Teaching Algorithms and Data Structures with a Proof Assistant" - A second invited speaker will be announced soon! Important Dates ======================== - 2 July 2021: Deadline for submission of papers (AoE) - 2 August 2021: Notifications to authors - 17 September 2021: Deadline for camera-ready version - 21 November 2021: FMTea21 Workshop (online) Objectives and Scope ======================== Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent years formal methods are increasingly being used in industry, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. It is thus important to develop, share, and discuss approaches to effectively teach formal methods to the next generations. This discussion is now more important than ever due to the challenges and opportunities that arose from the pandemic, which forced many educators to adapt and deliver their teaching online. Exchange of ideas is critical to making these new online approaches a success and having a greater reach. Topics ======================== In the workshop part of the event, we welcome papers detailing experiences with FM Teaching, including papers discussing successes and failures of various methods, case studies, tools, etc. Given the increasing importance of online teaching and self-learning, we also welcome reports of experiences with online teaching, including experiences with teaching formal methods via MOOCs. We invite novel papers that cover, but are not limited to, the following aspects: - Experiences and proposals related with "traditional" FM learning and teaching - Experiences and proposals related with online FM learning and teaching - Integrating/embedding FM teaching/thinking within other computer science courses - Teaching FM for industry - Innovative learning and teaching methods for FM Submission Details ======================== FMTea21 invites high quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. As in previous events, the conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files. Papers should not exceed 15 pages in length. Submissions should be made using the FMTea21 Easychair web site: https://easychair.org/conferences/?conf=fmtea21 All accepted papers must be remotely presented at the workshop. Authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM2021 organizers, and present the paper. Organization ======================== FMTea21 is organized by FME’s Teaching Committee, whose broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, the committee manages a list of FM courses taught worldwide (https://fme-teaching.github.io) and plans to collect other resources as well, such as FM case studies, FM inspirational papers, etc. Program Committee ======================== - João F. Ferreira (co-chair), INESC-ID & IST, University of Lisbon, Portugal - Alexandra Mendes (co-chair), INESC TEC & University of Beira Interior, Portugal - Claudio Menghi (co-chair), University of Luxembourg, Luxembourg - Sandrine Blazy, University of Rennes 1, France - Brijesh Dongol, University of Surrey, UK - Catherine Dubois, ENSIIE, France - Rustan Leino, Amazon Web Services, US - José N. Oliveira, University of Minho, Portugal - Luigia Petre, Åbo Akademi University, Finland - Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil - Kristin Rozier, Iowa State University, US - Pierluigi San Pietro, Politecnico di Milano, Italy - Emil Sekerinski, McMaster University, Canada - Graeme Smith, The University of Queensland, Australia - Kenji Taguchi, CAV, Japan Contact ======================== All questions about submissions should be emailed to the chairs. -------------- next part -------------- An HTML attachment was scrubbed... URL: From niccolo.veltri at gmail.com Thu May 13 08:33:18 2021 From: niccolo.veltri at gmail.com (=?UTF-8?Q?Niccol=c3=b2_Veltri?=) Date: Thu, 13 May 2021 11:33:18 +0300 Subject: [Haskell] LOPSTR 2021 - Call for Papers: Extended Deadline Message-ID: <25a9973a-718c-d2eb-2a85-f989fcebf16a@gmail.com> 31st International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2021 http://saks.iasi.cnr.it/lopstr21/ Tallinn (Estonia) and Virtual September 7-9, 2021 (co-located with PPDP 2021) *** EXTENDED SUBMISSION DEADLINE: June 7, 2021 *** * The conference will be held as a hybrid (blended) meeting, both in-person and virtual. * ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 31st International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2021) will be held as a hybrid (blended) meeting, both in-person (at the Teachers' House in Tallinn, Estonia) and virtual. Previous symposia were held in Bologna (as a virtual meeting), Porto, Frankfurt am Main, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Kongens Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2021 will be co-located with PPDP 2021 (International Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to:   - synthesis   - transformation   - specialization   - composition   - optimization   - inversion   - specification   - analysis and verification   - testing and certification   - program and model manipulation   - machine learning for program development   - verification and testing of machine learning systems   - transformational techniques in SE   - applications and tools Both full papers and extended abstracts describing foundations and applications in these areas are welcome. Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). * Important Dates * Paper/Extended abstract submission (extended): June 7, 2021 Notification (extended): July 16, 2021 Camera-ready (for electronic pre-proceedings): August 20, 2021 Symposium: September 7-9, 2021 Revised paper submission: November 1, 2021 (AoE) Notification: December 1, 2021 Final version (for post-proceedings): January 16, 2022 * Submission Guidelines * Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in LNCS style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Full papers cannot exceed 15 pages excluding references. Extended abstracts cannot exceed 8 pages excluding references. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2021 * Proceedings * The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series as in previous years. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Authors should consult Springer’s authors’ guidelines and use their proceedings templates for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. * Best paper awards * Thanks to Springer's sponsorship, two awards (including a 500 EUR prize each) will be given at LOPSTR 2021. The program committee will select the winning papers based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). * Invited Speaker * TBA * Program Committee * Roberto Amadini, University of Bologna, Italy Sabine Broda, University of Porto, Portugal Maximiliano Cristiá, CIFASIS-UNR, Argentina Włodzimierz Drabent, IPI PAN, Poland & Linköping University, Sweden Catherine Dubois, ENSIIE-Samovar, France Gregory Duck, National University of Singapore, Singapore Fabio Fioravanti, University of Chieti-Pescara, Italy Jeremy Gibbons, University of Oxford, UK Gopal Gupta, University of Texas at Dallas, USA Geoff Hamilton, Dublin City University, Ireland Michael Hanus, Kiel University, Germany Bishoksan Kafle, IMDEA Software Institute, Spain Maja Kirkeby, Roskilde University, Denmark Temur Kutsia, RISC J. Kepler University of Linz, Austria Michael Leuschel, University of Düsseldorf, Germany Pedro López-García, IMDEA Software Institute & CSIC, Spain Jacopo Mauro, University of Southern Denmark, Denmark Fred Mesnard, Université de la Réunion, France Alberto Momigliano, University of Milano, Italy Jorge A. Navas, SRI International, USA Naoki Nishida, Nagoya University, Japan Alicia Villanueva, Universitat Politècnica de València, Spain * Program Chairs * Emanuele De Angelis, IASI-CNR, Italy Wim Vanhoof, University of Namur, Belgium * Local organisation * Niccolò Veltri, Tallinn University of Technology, Estonia * Contact * For more information, please contact the Program Committee Chairs: emanuele.deangelis at iasi.cnr.it, wim.vanhoof at unamur.be From chisvasileandrei at gmail.com Thu May 13 10:27:40 2021 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Thu, 13 May 2021 12:27:40 +0200 Subject: [Haskell] CFP: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering Message-ID: ------------------------------------------------------------------------ 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021) October 17-19, 2021 Chicago, Illinois https://conf.researchr.org/home/sle-2021 http://www.sleconf.org/2021 Follow us on twitter: https://twitter.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021), held in conjunction with SPLASH, GPCE and SAS 2021. Based on the future developments the conference will be hosted in Chicago, Illinois, United States on October 17-19, 2021 or will be held as a virtual event. --------------------------- Scope --------------------------- The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution. With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that for many years to come, everything will depend on software languages. Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its metacircular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything. Like its predecessors, the 14th edition of the SLE conference, SLE 2021, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Topics of Interest --------------------------- SLE 2021 solicits high-quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Broadly speaking, SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Mon 5 Jul 2021 - Abstract Submissions * Fri 9 Jul 2021 - Paper Submissions * Wed 1 Sep 2021 - Review Notification * Wed-Fri 1-3 Sep 2021 - Author Response Period * Mon 13 Sep 2021 - Notification * Wed 15 Sept 2021 - Artifact Submissions * Tue 28 Sep 2021 - Artifact Kick-the-tires Author Response * Tue 12 Oct 2021 - Artifact Notification * Sun-Tue 17-19 Oct 2021 - SLE Conference --------------------------- Types of Submissions --------------------------- SLE 2021 solicits three types of papers: * Research papers These are "traditional" papers detailing research contributions to SLE. These papers have a limit of 12 pages, and may optionally include 8 further pages of bibliography/appendices * Tool papers These are papers which focus on the tooling aspects which are often forgotten or neglected in research papers. A good tool paper focuses on practical insights that are likely to be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography / appendices. They may optionally come with an appendix with a demo outline / screenshots and/or a short video/screencast illustrating the tool. The title of a Tool paper must start with "Tool Demo:". *New ideas / vision papers These are papers on forward-looking, innovative research in software language engineering. Our aim here is to accelerate the exposure of the software language engineering community to early yet potentially ground-breaking research results, or to techniques and perspectives that challenge the status quo in the discipline. New ideas / vision papers must not exceed 5 pages, and may optionally include 1 further page of bibliography / appendices. The title of a new ideas / vision papers must start with "New Ideas:" or "Vision:". --------------------------- Artifact Evaluation --------------------------- For the sixth year, SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted papers are invited to submit artifacts. For more information, please have a look at the Artifact Evaluation page (http://www.sleconf.org/2021/ArtifactEvaluation.html). --------------------------- Submission --------------------------- Submissions have to use the ACM SIGPLAN Conference Format “acmart” ( http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template( https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-master.zip), and that the document class definition is \documentclass[sigplan,anonymous,review]{acmart}. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. In this line, SLE will follow the double-blind process. Author names and institutions should be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. Concurrent Submissions: Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism ( http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. Submission Site: Submissions will be accepted at https://sle21.hotcrp.com/ --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas / vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Awards --------------------------- * Distinguished paper: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. * Distinguished reviewer: Award for distinguished reviewer, as determined by the PC chairs. * Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- Organisation --------------------------- Chairs: * General chair: Eelco Visser, Delft University of Technology, Netherlands * Program co-chair: Dimitris Kolovos, University of York, United Kingdom * Program co-chair: Emma Söderberg, Lund University, Sweden * Artefact Evaluation co-chair: Elias Castegren, KTH, Sweden * Artefact Evaluation co-chair: Andreas Wortmann, RWTH Aachen University, Germany Program Committee: Vincent Aranega, University of Lille, France Mikhail Barash, University of Bergen, Norway Melanie Bats, Obeo, France David Broman, KTH, Sweden Shigeru Chiba, University of Tokyo, Japan Alfonso de la Vega, University of York, United Kingdom Juan De Lara, Universidad Autónoma de Madrid, Spain Davide Di Ruscio, University of L'Aquila, Italy Marcos Didonet del Fabro, Universidade Federal do Paraná, Brazil Juergen Dingel, Queen's University, Canada Michalis Famelis, University of Montreal, Canada Bernd Fischer, Stellenbosch University, South Africa Niklas Fors, Lund University, Sweden Antonio Garcia Dominguez, Aston University, United Kingdom Esther Guerra, Universidad Autónoma de Madrid, Spain Görel Hedin, Lund University, Sweden Stuart Hutchesson, Independent, United Kingdom Adrian Johnstone, Royal Holloway, United Kingdom Paddy Krishnan, Oracle Labs, Australia James Noble, Victoria University of Wellington, New Zealand Carlos Olarte, ECT UFRN, Brazil João Saraiva, HASLab / INESC TEC and Universidade do Minho, Portugal Anthony Sloane, Macquarie University, Australia Daniel Strüber, Radboud University , Netherlands Ulyana Tikhonova, CWI, Netherlands Mark van der Brand, TU Eindhoven, Netherlands Juan Manuel Vara, Universidad Rey Juan Carlos, Spain Ran Wei, Dalian University of Technology, China Bahman Zamani, University of Isfahan, Iran --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the Program Chairs (Emma Söderberg and Dimitris Kolovos). -------------- next part -------------- An HTML attachment was scrubbed... URL: From athas at sigkill.dk Thu May 13 13:06:07 2021 From: athas at sigkill.dk (Troels Henriksen) Date: Thu, 13 May 2021 15:06:07 +0200 Subject: [Haskell] FHPNC 2021 - Call for Papers and Extended Abstracts: Extended Deadline Message-ID: FHPNC 2021 Call for Papers ========================== Satellite event of the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021), held on the 22nd of August. TL;DR: Extended paper/abstract deadline to May 21st. Scope ----- The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or declarative programming languages or techniques in scientific computing, and specifically in the domains of high-performance computing and numerical programming. The purpose of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative techniques can help make high-performance, distributed/parallel, or numerically-intensive code dealing with computationally challenging problems easier to write, read, maintain, or portable to new hardware architectures. Areas of interest include, but are not limited to: * relevant compiler technologies * runtime systems (including fault tolerance mechanisms and those supporting distributed or parallel computation) * domain-specific languages (embedded or standalone) * type systems * formal methods * software libraries (e.g. for exact or interval arithmetic). Submission details ------------------ Submissions should fall into one of two categories: * Regular research papers (up to 12 pages) * Extended abstracts (1 - 2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop; they will be evaluated primarily for relevance and interest. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the PC Chair(s)), but these submissions will be held to a higher standard. Submission is handled through the HotCRP site. All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines. Submissions written with LaTeX are required to use the acmart format and the two-column sigplan subformat (not to be confused with the one-column acmlarge subformat!). Extended abstracts must be submitted with the label ‘Extended abstract’ clearly in the title. Submission link: https://fhpnc2021.hotcrp.com/ Publication ----------- The proceedings of FHPNC 2021 will be published in the ACM Digital Library. Related links Author Information and LaTeX templates : http://www.sigplan.org/Resources/Author/ Attendee Code of Conduct: http://www.sigplan.org/Resources/Policies/CodeOfConduct/ From niccolo.veltri at gmail.com Thu May 13 15:20:09 2021 From: niccolo.veltri at gmail.com (=?UTF-8?Q?Niccol=c3=b2_Veltri?=) Date: Thu, 13 May 2021 18:20:09 +0300 Subject: [Haskell] PPDP 2021 Deadline extension Message-ID: <821e69b3-1e47-fb03-4b52-772d944b1e99@gmail.com> =========================== PPDP 2021  Deadline extension =========================== 23rd International Symposium on Principles and Practice of Declarative Programming 6–8 September 2021, Tallinn, Estonia http://imft.ftn.uns.ac.rs/PPDP2021 Collocated with LOPSTR 2021 http://cs.ioc.ee/ppdp-lopstr21/ =================================== *** PPDP 2021 will be held as a hybrid meeting, both in-person and virtual*** Important Dates --------------------- - ***18.05.2021 title and abstract submission  (extended) - ***25.05.2021 paper submission                   (extended) - 29.06.2021 rebuttal period (48 hours) - 09.07.2021 notification - 23.07.2021 final paper - 06.09.2021 conference starts About PPDP ---------- The PPDP 2021 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability;  concurrency, parallelism and distribution; modules; functional  languages; reactive languages; languages with objects; languages for  quantum computing; languages inspired by biological and chemical  computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming;  database languages; knowledge representation languages;  probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation;  compile-time and run-time optimization; memory management. -   Foundations: types; logical frameworks; monads and effects; semantics. -   Analysis and Transformation: partial evaluation; abstract interpretation;  control flow; data flow; information flow; termination analysis; resource  analysis; type inference and type checking; verification; validation;  debugging; testing. - Tools and Applications: programming and proof environments;  verification tools; case studies in proof assistants or interactive  theorem provers; certification; novel applications of declarative  programming inside and outside of CS; declarative programming  pearls; practical experience reports and industrial application;  education. The PC chair will be happy to advise on the appropriateness of a topic. Submission web page --------------------- https://easychair.org/conferences/?conf=ppdp2021 Submission Categories --------------------- Submissions can be made in three categories: - Research Papers, - System Descriptions, - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**.  Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Formating Guidelines ---------------------------- We plan to use the same publication arrangements as PPDP has had in previous years. For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.75. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact ACM's TeX support team at Aptara >. Authors should note ACM's statement on author's rights (http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy (http://www.acm.org/publications/policies/plagiarism_policy). Requirements for Publication ---------------------------- At least one author of each accepted submission will be expected to attend and present the work at the conference. The PC chair may retract a paper that is not presented. The PC chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Program Committee ----------------------------- Zena Ariola, University of Oregon, USA Nick Benton, Facebook, UK Małgorzata Biernacka, University of Wroclaw, Poland James Cheney, The University of Edinburgh, UK Stefania Dumbrava, ENSIIE Paris-Evry, France Silvia Ghilezan, University of Novi Sad & Mathematical Institute SASA, Serbia Hugo Herbelin, INRIA, France Cosimo Laneve, University of Bologna, Italy Pierre Lescanne, ENS de Lyon, France Ugo de’Liguoro, University of Torino, Italy Francesca A. Lisi, University of Bari, Italy Yanhong Annie Liu, Stony Brook University, USA Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil Yukiyoshi Kameyama, University of Tsukuba, Japan Petar Maksimović, Imperial College, London, UK Yutaka Nagashima, Yale-NUS College, Singapore & University of Innsbruck, Austria Aleksandar Nanevski, IMDEA Software Institute, Spain Vivek Nigam, fortiss GmbH, Germany & Federal University of Paraíba, Brazil Jorge A. Pérez, University of Groningen, The Netherlands Sanjiva Prasad, Indian Institute of Technology Delhi, India Alexis Saurin, CNRS, Université de Paris & INRIA , France Tom Schrijvers , KU Leuven, The Netherlands Paul Tarau, University of North Texas, USA Tarmo Uustalu, Reykjavik University, Island & Tallinn University of Technology, Estonia -------------------------  --------------------  --------------------- Program committee co-chair: Nick Benton, Facebook, UK Program committee co-chair: Silvia Ghilezan, University of Novi Sad & Mathematical Institute SASA, Serbia Organising committee chair: Niccolò Veltri, Tallinn University of Technology, Estonia Steering committee chair: James Cheney, Edinburgh University, UK -------------------------  --------------------  --------------------- All questions about submissions should be emailed to the program chair Silvia Ghilezan >. All questions about local information should be emailed to the local organiser Niccolò Veltri >. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Sam.Lindley at ed.ac.uk Thu May 13 15:56:56 2021 From: Sam.Lindley at ed.ac.uk (Sam Lindley) Date: Thu, 13 May 2021 16:56:56 +0100 Subject: [Haskell] Call for Papers: 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Message-ID: <10973eae-d53e-d1a6-769b-18941b32c984@ed.ac.uk> CALL FOR PAPERS 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Oct 17-Oct 22, 2021, Chicago, Illinois (co-located with SPLASH 2021) https://conf.researchr.org/home/aplas-2021 The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2021 will be co-located with SPLASH 2021. Due to the COVID-19 situation, all authors will be given the chance to present remotely regardless of whether the conference is held as a physical, virtual, or hybrid physical/virtual meeting. Papers are solicited on topics such as: - Semantics, logics, foundational theory - Design of languages, type systems, and foundational calculi - Domain-specific languages - Compilers, interpreters, abstract machines - Program derivation, synthesis, and transformation - Program analysis, verification, model-checking - Logic, constraint, probabilistic, and quantum programming - Software security - Concurrency and parallelism - Tools and environments for programming and implementation - Applications of SAT/SMT to programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of tools in the scope of APLAS are welcome to the Tool paper category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. IMPORTANT DATES Submission deadline: June 16, 2021 (anywhere on Earth) Author response: July 28 - 30, 2021 Author notification: August 11, 2021 Final version: September 1, 2021 Conference: October 17 - October 22, 2021 CALL FOR REGULAR RESEARCH PAPERS We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. CALL FOR TOOL PAPERS We solicit submissions in the form of tool papers describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool-highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool’s strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. PROGRAM COMMITTEE Andreas Abel, Gothenburg University, Sweden Kyungmin Bae, POSTECH, South Korea Edwin Brady, University of St. Andrews, UK Yu-Fang Chen, Academia Sinica, Taiwan Andreea Costea, NUS, Singapore Rayna Dimitrova, CISPA Helmholtz Center for Information Security, Germany Yu Feng, UC Santa Barbara, US Giulio Guerrieri, University of Bath, UK Kihong Heo, KAIST, South Korea Yue Li, Nanjing University, China Sam Lindley, Heriot-Watt University / University of Edinburgh, UK Sergio Mover, Ecole Polytechnique, France Uday P. Khedker, IIT Bombay, India Alex Potanin, Victoria University of Wellington, New Zealand Xiaokang Qiu, Purdue University, US Jiasi Shen, MIT, US Xujie Si, McGill University, Canada Gagandeep Singh, VMWare Research / UIUC, US Youngju Song, Seoul National University, South Korea Kohei Suenaga, Kyoto University, Japan Yulei Sui, University of Technology Sydney, Australia Tachio Terauchi, Waseda University, Japan Xinyu Wang, University of Michigan, US Qirun Zhang, Georgia Institute of Technology, US Xin Zhang, Peking University, China SUBMISSION INFORMATION Papers should be submitted electronically via the submission web page using HotCRP (https://aplas2021.hotcrp.com). The acceptable format is PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. REVIEW PROCESS APLAS 2021 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors’ names or affiliations as they initially review a paper. The authors’ names will then be revealed to the reviewers only once their reviews have been submitted. To facilitate this process, submitted papers must adhere to the following: Author names and institutions must be omitted and References to the authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. AUTHOR RESPONSE PERIOD During the author response period, authors will be able to read reviews and respond to them as appropriate. RESEARCH INTEGRITY The Program Committee reserves the right, up until the time of publication, to reverse a decision of paper acceptance. Reversal is possible if fatal flaws are discovered in the paper, or research integrity is found to have been seriously breached. The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336. From hannah.gharrad at gmail.com Sun May 16 05:43:23 2021 From: hannah.gharrad at gmail.com (Hana Gharrad) Date: Sun, 16 May 2021 09:43:23 +0400 Subject: [Haskell] CFPs ICTH 2021 Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) 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 emilia at confscience.com Sun May 16 12:27:41 2021 From: emilia at confscience.com (Emilia Marc) Date: Sun, 16 May 2021 14:27:41 +0200 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -prague Message-ID: <007601d74a4e$dde006b0$99a01410$@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: May 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=irsh2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/irsh/ *************************************************************************** CONTACT For more information, please send an email to info-irsh at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From xnningxie at gmail.com Sun May 16 22:43:06 2021 From: xnningxie at gmail.com (Ningning Xie) Date: Sun, 16 May 2021 18:43:06 -0400 Subject: [Haskell] Second Call for Talks: Haskell Implementors' Workshop @ ICFP'21 Message-ID: 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/ 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 hemdanimayssa at gmail.com Mon May 17 09:49:51 2021 From: hemdanimayssa at gmail.com (Mayssa HEMDANI) Date: Mon, 17 May 2021 13:49:51 +0400 Subject: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Message-ID: Call for papers ************************************************* International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ 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: May 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( https://easychair.org/conferences/?conf=rtatm2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/rtatm/ *************************************************************************** CONTACT For more information, please send an email to info-rtatm at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From J.Hage at uu.nl Tue May 18 05:37:43 2021 From: J.Hage at uu.nl (Hage, J. (Jurriaan)) Date: Tue, 18 May 2021 05:37:43 +0000 Subject: [Haskell] Final call for the *regular* round of Papers for the Haskell Symposium 2021 Message-ID: <062000EF-333A-4CB2-9A61-7B6C1EDE6A57@uu.nl> Dear all, This is the final call for the *regular* round of papers for the upcoming Haskell Symposium. Please forward to anyone that you believe might be interested. The deadline for this round is May 21. Apologies for receiving multiple copies of this announcement. Best regards, Jurriaan Hage Chair ================================================================================ ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2021 ** virtual ** Thu 26 -- Fri 27 August, 2021 http://www.haskell.org/haskell-symposium/2021/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2021 will be co-located with the 2021 International Conference on Functional Programming (ICFP). Due to COVID-19 it will take place **virtually** this year. Like last year, we will be using a lightweight double-blind reviewing process. See further information below. Different from last year is that we offer a new submission category: the tutorial. Details can be found below. The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: * Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts; * Tutorials, to document how to use a particular language feature, programming technique, tool or library within the Haskell ecosystem; * System Demonstrations, based on running software rather than novel research results. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and functional pearls need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementers, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. A new submission category for this year's Haskell Symposium is the tutorial. Like with the experience report and the functional pearl, the key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. What distinguishes a tutorial is that its focus is on explaining an aspect of the Haskell language and/or ecosystem in a way that is generally useful to a Haskell audience. Tutorials for many such topics can be found online; the distinction here is that by writing it up for formal review it will be vetted by experts and formally published. System demonstrations should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. If your contribution is not a research paper, please mark the title of your experience report, functional pearl, tutorial or system demonstration as such, by supplying a subtitle (Experience Report, Functional Pearl, Tutorial Paper, System Demonstration). Submission Details ================== Formatting ---------- Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the `review` option when submitting a paper; this option enables line numbers for easy reference in reviews. Functional pearls, experience reports, tutorials and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing ---------------------------------- Haskell Symposium 2021 will use a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. Author names and institutions must be omitted, and 2. References to authors' own related work should be in the third person (e.g., not "We build on our previous work" but rather "We build on the work of "). The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. A reviewer will learn the identity of the author(s) of a paper after a review is submitted. Page Limits ----------- The length of submissions should not exceed the following limits: Regular paper: 12 pages Functional pearl: 12 pages Tutorial: 12 pages Experience report: 6 pages Demo proposal: 2 pages There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against these page limits. Deadlines --------- Regular track and demos: Submission deadline: 21 May 2021 (Fri) Notification: 23 June 2021 (Wed) Deadlines are valid anywhere on Earth. Submission ---------- Submissions must adhere to SIGPLAN's republication policy (http://sigplan.org/Resources/Policies/Republication/), and authors should be aware of ACM's policies on plagiarism (https://www.acm.org/publications/policies/plagiarism). Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through HotCRP at: https://haskell21.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Supplementary material: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. Authors can distinguish between anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). Resubmitted Papers: authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the conference chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Proceedings =========== Accepted papers will be included in the ACM Digital Library. Their authors will be required to choose one of the following options: - Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license (and, optionally, licenses the work with a Creative Commons license); - Author retains copyright of the work and grants ACM an exclusive permission-to-publish license; - Author transfers copyright of the work to ACM. For more information, please see ACM Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and ACM Author Rights (http://authors.acm.org/main.html). Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Artifacts ========= Authors of accepted papers are encouraged to make auxiliary material (artifacts like source code, test data, etc.) available with their paper. They can opt to have these artifacts published alongside their paper in the ACM Digital Library (copyright of artifacts remains with the authors). If an accepted paper's artifacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artifacts Available badge (https://www.acm.org/publications/policies/artifact-review-badging#available). Applications for such a badge can be made after paper acceptance and will be reviewed by the PC chair. Program Committee ================= Edwin Brady University of St Andrews Koen Claessen Chalmers University of Technology Dominique Devriese Vrije Universiteit Brussel Andy Gill University of Kansas Jurriaan Hage (chair) Universiteit Utrecht Zhenjiang Hu Peking University Ranjit Jhala University of California Patricia Johann Appalachian State University Yukiyoshi Kameyama University of Tsukuba George Karachalias Tweag Ralf Laemmel University of Koblenz-Landau Daan Leijen Microsoft Research Ben Lippmeier Ghost Locomotion Neil Mitchell Facebook Alberto Pardo Universidad de la Republica, Uruguay Matt Roberts Macquarie University Janis Voigtlaender University of Duisburg-Essen Nicolas Wu Imperial College London If you have questions, please contact the chair at: j.hage at uu.nl ================================================================================ From andrei.h.popescu at gmail.com Wed May 19 19:31:36 2021 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Wed, 19 May 2021 20:31:36 +0100 Subject: [Haskell] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield Message-ID: Greetings, The Department of Computer Science at University of Sheffield has an open position of Lecturer or Senior Lecturer in Cybersecurity. Details can be found here: https://www.jobs.ac.uk/job/CFN168/lecturer-senior-lecturer-in-cybersecurity Note that "formalisation and proof of system security properties" is listed as a topic of interest. Women are particularly encouraged to apply. All applicants will be given equal consideration. Best wishes, Andrei From emilia at confscience.com Thu May 20 10:26:49 2021 From: emilia at confscience.com (Emilia Marc) Date: Thu, 20 May 2021 12:26:49 +0200 Subject: [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -New extended deadline 13 june 2021 Message-ID: <011e01d74d62$a4c9eeb0$ee5dcc10$@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 hemdanimayssa at gmail.com Thu May 20 11:03:55 2021 From: hemdanimayssa at gmail.com (Mayssa HEMDANI) Date: Thu, 20 May 2021 15:03:55 +0400 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare -(IRSH 2021) -Prague- New extended deadline 13 June Message-ID: Call for papers ************************************************* International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ 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 13, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( https://easychair.org/conferences/?conf=irsh2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/irsh/ *************************************************************************** CONTACT For more information, please send an email to info-irsh at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From hannah.gharrad at gmail.com Mon May 24 07:31:50 2021 From: hannah.gharrad at gmail.com (Hana Gharrad) Date: Mon, 24 May 2021 11:31:50 +0400 Subject: [Haskell] CFPs 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 emilia at confscience.com Mon May 24 12:18:33 2021 From: emilia at confscience.com (Emilia Marc) Date: Mon, 24 May 2021 14:18:33 +0200 Subject: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Extended Deadline 13 june 2021 Message-ID: <00e101d75096$eabb7830$c0326890$@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 13, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=rtatm2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/rtatm/ *************************************************************************** CONTACT For more information, please send an email to info-rtatm at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From neto at netowork.me Tue May 25 15:29:20 2021 From: neto at netowork.me (Ernesto Rodriguez) Date: Tue, 25 May 2021 09:29:20 -0600 Subject: [Haskell] (Online) Utrecht Summer School on Advanced functional programming In-Reply-To: <959d805c-b436-7357-4ba7-893788c394bb@uu.nl> References: <959d805c-b436-7357-4ba7-893788c394bb@uu.nl> Message-ID: Hi, I just wanted to mention that I studied my MsC. degree at Utrecht University and Prof. Swiestra was my thesis supervisor. I cannot recommend this summer school enough. Not only are Prof. Swiestra's accomplishments extraordinary (you can look that up online) but he is also very gifted at teaching. I took many courses with him and were both interesting and entertaining. Prof. Swiestra is also very patient and dedicated and I am sure he will put a lot of care making sure his students thoroughly understand the topics and ensuring the summer school is well organized and structured. All other professors I had in Utrecht were excellent at teaching so I believe this is a great opportunity to "shift up gears" in the wonderful Haskell language. Best regards, Ernesto Rodriguez On Thu, May 6, 2021 at 9:11 AM Swierstra, W.S. (Wouter) via Haskell < haskell at haskell.org> wrote: > SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING > > Online - 05-9 July 2021 > > http://www.afp.school > > # Call for Participation > > ## About > > The Advanced Functional Programming summer school has been running for > more than ten years. We aim to educate aspiring Haskell programmers > beyond the basic material covered by many textbooks. > > This year the course will be offered *online only*. A typical day will > consist a 2-3 hours of lectures, sandwiched between supervised lab > sessions. Lectures will be held in the (European) afternoon, but > recordings will be made available if attending live is problematic. > > The lectures will cover several more advanced topics regarding > programming with types in Haskell, including topics such as: > > * monads and applicative functors; > * lambda calculus; > * generalized algebraic datatypes; > * datatype generic programming > * type families and type-level programming; > > ## Lecturers > > Utrecht staff: > * Gabriele Keller > * Trevor McDonell > * Wouter Swierstra > > ## Prerequisites > > We expect students to have a basic familiarity with Haskell > already. You should be able to write recursive functions over > algebraic data types, such as lists and trees. There is a great deal > of material readily available that covers this material. If you've > already started learning Haskell and are looking to take your > functional programming skills to the next level, this is the course > for you. > > Soft registration deadline: 1 June, 2021 > School: 05-09 July, 2021 > > ## Costs > > 50 euro - Registration fee > > We ask ask participants to pay a small registration fee to cover some > of our organizational expenses. If this is problematic for you *for > whatever reason*, please let us know and we can waive your > registration fee. > > ## Further information > > Further information, including instructions on how to register, is > available on our website: > > http://www.afp.school > > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -- Ernesto Rodriguez Masters Student Computer Science Utrecht University www.netowork.me github.com/netogallo -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrei.h.popescu at gmail.com Wed May 26 13:17:06 2021 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Wed, 26 May 2021 14:17:06 +0100 Subject: [Haskell] =?utf-8?q?PhD_position_on_the_formalization_of_logical_?= =?utf-8?q?calculi_in_Saarbr=C3=BCcken?= Message-ID: A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach, Jasmin Blanchette and Sophie Tourret. The project is about using Isabelle/HOL to formalize logical calculi. See https://www.cs.vu.nl/~jbe248/sb_job.html for more information. From s-dgq at thorsten-wissmann.de Sat May 29 14:42:41 2021 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Sat, 29 May 2021 16:42:41 +0200 Subject: [Haskell] CALCO 2021: Deadline extension and invited speakers Message-ID: <20210529144241.GA6470@dobby> [Apologies if you receive multiple copies of this message] ========================================================= CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS XXXV ========================================================== Paper submission: 10 June 2021 AoE (NEW) Author notification: 29 July 2021 Final version due: 12 August 2021 ========================================================== Scope ===== Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and London (UK, 2019). The 9th edition will be held in Salzburg, Austria, co-located with MFPS XXXVII. Joint CALCO-MFPS Invited Speaker ================================ * Eugenia Cheng (School of the Art Institute of Chicago) CALCO Invited Speakers ====================== * Valeria De Paiva (Topos Institute, Berkeley) * Holger Giese (Hasso-Plattner Institute, Potsdam) * Viktor Vafeiadis (Max Plank Institute, Kaiserslautern) Joint CALCO-MFPS Special Session on Termination Analysis and Synthesis ====================================================================== * Azadeh Farzan (University of Toronto) Submission Categories ===================== CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools. Topics of Interests =================== All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ====================== All submissions will be handled via EasyChair https://easychair.org/conferences/?conf=calco2021 The format for all submissions is specified by LIPIcs. Please use the latest version of the style http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers ============== Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Each submission will be evaluated by at least three reviewers. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) will contain the extended versions of selected papers. (Co)algebraic pearls ==================== This is a new submission category in 2021. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Each submission will be evaluated by at least two reviewers. Early ideas abstracts ===================== Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Each submission will be evaluated by at least two reviewers. Tool papers =========== Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Each submission will be evaluated by at least three reviewers, and one or more of the reviewers will be asked to download and use the tool. Best Paper and Best Presentation Awards ======================================= This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee =================== * Zena M. Ariola (University of Oregon) * Paolo Baldan (University of Padova) * Rui Soares Barbosa (International Iberian Nanotechnology Laboratory) * Luis Caires (NOVA University Lisbon) * Francisco Durán (University of Málaga) * Brendan Fong (Massachusetts Institute of Technology) * Fabrizio Romano Genovese (University of Pisa) * Jules Hedges (University of Strathclyde, Glasgow) * Thomas Hildebrandt (IT University of Copenhagen) * Peter Jipsen (Chapman University) * Wolfram Kahl (McMaster University) * Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord) * Jean Krivine (CNRS -- Université de Paris) * Michele Loreti (University of Camerino) * Sonia Marin (University College London) * Manuel A. Martins (University of Aveiro) * Annabelle McIver (Macquarie University) * Hernan Melgratti (University of Buenos Aires) * Koko Muroya (RIMS, Kyoto University) * Elaine Pimentel (UFRN) * Elvinia Riccobene (University of Milan) * Alex Simpson (University of Ljubljana) * David I. Spivak (Massachusetts Institute of Technology) * Christine Tasson (LIP6 - Sorbonne Université) * Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology) * Maaike Zwart (University of Oxford) * Rob van Glabbeek (Data61 - CSIRO) Chairs ====== * Fabio Gadducci (University of Pisa) * Alexandra Silva (University College London) Local Organiser =============== * Ana Sokolova (University of Salzburg) From emilia at confscience.com Sat May 29 19:41:06 2021 From: emilia at confscience.com (Emilia Marc) Date: Sat, 29 May 2021 21:41:06 +0200 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021 Message-ID: <009301d754c2$91500c90$b3f025b0$@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 13, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=irsh2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/irsh/ *************************************************************************** CONTACT For more information, please send an email to info-irsh at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Sat May 29 19:58:52 2021 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Sat, 29 May 2021 15:58:52 -0400 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021 In-Reply-To: <009301d754c2$91500c90$b3f025b0$@confscience.com> References: <009301d754c2$91500c90$b3f025b0$@confscience.com> Message-ID: Haskell mailing lists admins, Can we please permanently ban everyone from the confscience.com domain? Thanks, Ivan On Sat, 29 May 2021 at 15:44, 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 13, 2021 (extended) > > - Acceptance Notification: July 1, 2021 > > - Final Manuscript Due: September 1, 2021 > > *************************************************************************** > > The IRSH 2021 conference will be held in Conjunction with: > > International Conference on Applied Data Science and Intelligence (ADSI > 2021) > > International Conference on Recent Theories and Applications in > Transportation and Mobility - (RTATM 2021) > > *************************************************************************** > > TOPICS: > > Authors are invited to submit their original papers to address the topics > of the conference, including but not limited to: > > FUNDAMENTALS AND THEORIES > > - Interoperability and Data Integration > > - Confidentiality and Data Security > > - Data protection > > - Data Sharing > > - Security, Privacy, and Trust > > - Emergent healthcare standards > > - Emergent healthcare architectures > > - ICT, Ageing and Disability > > - Physiological and behavioural modelling > > - Pandemic and disease modeling > > - Usability and user experience of medical devices > > - Human behaviour > > - Clinical investigation regulatory frameworks > > - Integrated healthcare approaches > > - eHealth data standards and interoperability (e.g. HL7/FHIR) > > - Databases and data warehousing > > - Big Data and Open Data for healthcare > > - Design and Development of Methodologies for Healthcare > > - Emergent Communication Technologies > > - Real-time interaction theories > > - Emergent Technologies for Ambient Assisted Living > > - User Interface Design for healthcare > > - Sustainability > > - New approaches for accuracy and effectiveness > > - Data mining and bioinformatics > > - Enhanced living environments > > - Analysis and evaluation of healthcare systems > > INTELLIGENT HEALTHCARE > > - Pattern recognition and Machine > > - Learning for healthcare > > - Cognitive Informatics > > - Big Data in Healthcare > > - Wellbeing Informatics > > - Data Mining and Data Analytics > > - Data Visualization > > - Smart environments > > - Smart Ambient Assisted Living > > - Intelligent healthcare solutions > > - Agent-based solutions for healthcare > > - Collaboration systems > > - Intelligent Electronic Health Records > > - Internet of Things for healthcare > > - Cyber-Physical Systems for healthcare > > - Ambient Computing and Reasoning > > - Context Awareness > > - Smart devices for eldercare > > - Autonomy and active ageing > > - Emergent technologies for intelligent Computer Vision > > - Service production and delivery > > - Gamification > > - Multi-modal interaction > > - Computer-aided detection and diagnosis > > - Crowdsourcing for smarted healthcare > > SERVICES, SYSTEMS, AND INFRASTRUCTURES > > - Emergent healthcare services > > - Pervasive health systems and services > > - Remote healthcare management > > - Emergent healthcare infrastructure > > - Industry Revolution 4.0 for healthcare > > - eHealth > > - Electronic health records > > - Assistive technologies > > - Disease surveillance and patient monitoring systems > > - Prevention and detection systems > > - Home monitoring > > - Healthcare management systems > > - ICT-based therapeutic systems > > - ICT-based rehabilitation technologies > > - Wearable health informatics > > - Emergent technologies for data analytics > > - Ambient Assisted Leaving (AAL) > > - Decision Support Systems > > - Emergent Technologies for Remote AAL Monitoring > > - Emergent Technologies and Accessibility > > - 5G for healthcare > > - Healthcare supply chain and logistics > > - Wireless Body Networks > > - Telemedicine and mobile telemedicine > > - Mobile Systems > > - Software Defined infrastructures > > - Patient empowerment systems > > - Smart technology for remote patient visits > > - Biosensors > > - Medical devices > > APPLICATIONS > > - eHealth applications > > - Application of health informatics in clinical cases > > - Mobile technologies for healthcare applications > > - Software Systems in healthcare > > - Social networking and healthcare > > - Case Studies > > - Personalization and patient experience > > - AR and VR applications > > - Patient billing > > - Accounting systems > > - Personnel and payroll > > - Materials management > > - Voice recognition systems > > - Asset management solutions > > - Disease management > > - Feedback integration > > - Clinical software > > - Crowd-computing applications > > - Future directions > > - Drone-based solutions > > - Software Defined Networks for healthcare > > > > *************************************************************************** > > OUTSTANDING PAPERS: > > Based on the peer review scores as well as the presentations at the > conference, the authors of outstanding papers will be invited to extend > their works for a potential publication in journals special issues with > high impact factors. > > *************************************************************************** > > > PAPER SUBMISSION: > > Papers must be submitted electronically as PDF files via easychair ( > https://easychair.org/conferences/?conf=irsh2021). > > All papers will be peer reviewed. > > Length of Full papers: 12-15 pages long (written in the LNCS/CCIS > one-column page format, 400 words per page) > > Length of Short papers: less than 12 pages > > For more information, please refer to the conference website: > https://confscience.com/irsh/ > > > > *************************************************************************** > > CONTACT > > For more information, please send an email to info-irsh at confscience.com > _______________________________________________ > 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 Sat May 29 20:00:22 2021 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Sat, 29 May 2021 16:00:22 -0400 Subject: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021 In-Reply-To: References: <009301d754c2$91500c90$b3f025b0$@confscience.com> Message-ID: For the record: I have 12 CfP from this person (or bot?) via the Haskell Mailing list so far in 2021. I think enough is enough. Ivan On Sat, 29 May 2021 at 15:58, Ivan Perez wrote: > Haskell mailing lists admins, > > Can we please permanently ban everyone from the confscience.com domain? > > Thanks, > > Ivan > > > > On Sat, 29 May 2021 at 15:44, 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 13, 2021 (extended) >> >> - Acceptance Notification: July 1, 2021 >> >> - Final Manuscript Due: September 1, 2021 >> >> >> *************************************************************************** >> >> The IRSH 2021 conference will be held in Conjunction with: >> >> International Conference on Applied Data Science and Intelligence (ADSI >> 2021) >> >> International Conference on Recent Theories and Applications in >> Transportation and Mobility - (RTATM 2021) >> >> >> *************************************************************************** >> >> TOPICS: >> >> Authors are invited to submit their original papers to address the topics >> of the conference, including but not limited to: >> >> FUNDAMENTALS AND THEORIES >> >> - Interoperability and Data Integration >> >> - Confidentiality and Data Security >> >> - Data protection >> >> - Data Sharing >> >> - Security, Privacy, and Trust >> >> - Emergent healthcare standards >> >> - Emergent healthcare architectures >> >> - ICT, Ageing and Disability >> >> - Physiological and behavioural modelling >> >> - Pandemic and disease modeling >> >> - Usability and user experience of medical devices >> >> - Human behaviour >> >> - Clinical investigation regulatory frameworks >> >> - Integrated healthcare approaches >> >> - eHealth data standards and interoperability (e.g. HL7/FHIR) >> >> - Databases and data warehousing >> >> - Big Data and Open Data for healthcare >> >> - Design and Development of Methodologies for Healthcare >> >> - Emergent Communication Technologies >> >> - Real-time interaction theories >> >> - Emergent Technologies for Ambient Assisted Living >> >> - User Interface Design for healthcare >> >> - Sustainability >> >> - New approaches for accuracy and effectiveness >> >> - Data mining and bioinformatics >> >> - Enhanced living environments >> >> - Analysis and evaluation of healthcare systems >> >> INTELLIGENT HEALTHCARE >> >> - Pattern recognition and Machine >> >> - Learning for healthcare >> >> - Cognitive Informatics >> >> - Big Data in Healthcare >> >> - Wellbeing Informatics >> >> - Data Mining and Data Analytics >> >> - Data Visualization >> >> - Smart environments >> >> - Smart Ambient Assisted Living >> >> - Intelligent healthcare solutions >> >> - Agent-based solutions for healthcare >> >> - Collaboration systems >> >> - Intelligent Electronic Health Records >> >> - Internet of Things for healthcare >> >> - Cyber-Physical Systems for healthcare >> >> - Ambient Computing and Reasoning >> >> - Context Awareness >> >> - Smart devices for eldercare >> >> - Autonomy and active ageing >> >> - Emergent technologies for intelligent Computer Vision >> >> - Service production and delivery >> >> - Gamification >> >> - Multi-modal interaction >> >> - Computer-aided detection and diagnosis >> >> - Crowdsourcing for smarted healthcare >> >> SERVICES, SYSTEMS, AND INFRASTRUCTURES >> >> - Emergent healthcare services >> >> - Pervasive health systems and services >> >> - Remote healthcare management >> >> - Emergent healthcare infrastructure >> >> - Industry Revolution 4.0 for healthcare >> >> - eHealth >> >> - Electronic health records >> >> - Assistive technologies >> >> - Disease surveillance and patient monitoring systems >> >> - Prevention and detection systems >> >> - Home monitoring >> >> - Healthcare management systems >> >> - ICT-based therapeutic systems >> >> - ICT-based rehabilitation technologies >> >> - Wearable health informatics >> >> - Emergent technologies for data analytics >> >> - Ambient Assisted Leaving (AAL) >> >> - Decision Support Systems >> >> - Emergent Technologies for Remote AAL Monitoring >> >> - Emergent Technologies and Accessibility >> >> - 5G for healthcare >> >> - Healthcare supply chain and logistics >> >> - Wireless Body Networks >> >> - Telemedicine and mobile telemedicine >> >> - Mobile Systems >> >> - Software Defined infrastructures >> >> - Patient empowerment systems >> >> - Smart technology for remote patient visits >> >> - Biosensors >> >> - Medical devices >> >> APPLICATIONS >> >> - eHealth applications >> >> - Application of health informatics in clinical cases >> >> - Mobile technologies for healthcare applications >> >> - Software Systems in healthcare >> >> - Social networking and healthcare >> >> - Case Studies >> >> - Personalization and patient experience >> >> - AR and VR applications >> >> - Patient billing >> >> - Accounting systems >> >> - Personnel and payroll >> >> - Materials management >> >> - Voice recognition systems >> >> - Asset management solutions >> >> - Disease management >> >> - Feedback integration >> >> - Clinical software >> >> - Crowd-computing applications >> >> - Future directions >> >> - Drone-based solutions >> >> - Software Defined Networks for healthcare >> >> >> >> >> *************************************************************************** >> >> OUTSTANDING PAPERS: >> >> Based on the peer review scores as well as the presentations at the >> conference, the authors of outstanding papers will be invited to extend >> their works for a potential publication in journals special issues with >> high impact factors. >> >> *************************************************************************** >> >> >> PAPER SUBMISSION: >> >> Papers must be submitted electronically as PDF files via easychair ( >> https://easychair.org/conferences/?conf=irsh2021). >> >> All papers will be peer reviewed. >> >> Length of Full papers: 12-15 pages long (written in the LNCS/CCIS >> one-column page format, 400 words per page) >> >> Length of Short papers: less than 12 pages >> >> For more information, please refer to the conference website: >> https://confscience.com/irsh/ >> >> >> >> >> *************************************************************************** >> >> CONTACT >> >> For more information, please send an email to info-irsh at confscience.com >> _______________________________________________ >> 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 hemdanimayssa at gmail.com Sun May 30 06:03:15 2021 From: hemdanimayssa at gmail.com (Mayssa HEMDANI) Date: Sun, 30 May 2021 10:03:15 +0400 Subject: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) - Extended Deadline 13 June 2021 Message-ID: Call for papers ************************************************* International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ 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 13, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( https://easychair.org/conferences/?conf=rtatm2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/rtatm/ *************************************************************************** CONTACT For more information, please send an email to info-rtatm at confscience.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Sun May 30 09:12:15 2021 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Sun, 30 May 2021 05:12:15 -0400 Subject: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) - Extended Deadline 13 June 2021 In-Reply-To: References: Message-ID: Can the mailing list admins please permanently ban this address as well? 6 CfPs in 5 months and no other contribution. Ivan On Sun, 30 May 2021 at 02:05, Mayssa HEMDANI wrote: > 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 13, 2021 (extended) > - Acceptance Notification: July 1, 2021 > - Final Manuscript Due: September 1, 2021 > *************************************************************************** > The RTATM 2021 conference will be held in Conjunction with: > International Conference on Applied Data Science and Intelligence (ADSI > 2021) > International Conference on Informatics Revolution for Smarter Healthcare > (IRSH 2021) > *************************************************************************** > TOPICS: > Authors are invited to submit their original papers to address the topics > of the conference, including but not limited to: > FUNDAMENTALS AND THEORIES > - Modelling and Simulation Algorithms > - Vehicular Wireless Medium Access Control > - V2X communications > - Routings and Protocols for Connected Vehicles > - Mobility Models and Architectures > - Distribution Strategies > - Traffic Incident Management Systems > - Bio-Inspired Approaches > - Optimization and Collaboration > - Automatic Control in Vehicular Networks > - Energy-aware Connected Mobility > - Programming Languages > - Sustainable Transportation > - Multimodal Transportation Networks and Systems > - Systemsb Integration > - Driver Behavior Models and Simulation > - Human Factors and Travel Behaviour > - Green Mobility > - Regulations and Bylaws for Intelligent > - Transportation and Mobility > SMART TRANSPORTATION AND LOGISTICS > - Mobility Management > - Connected Vehicles > - VANETs > - Predictive Logistics > - Spatio-Temporal Event Tracking > - Decision Support Systems > - Emergency Management > - Logistics and E-Commerce > - Supply Chain Design and Execution > - Supply Chain Management > - Advanced Planning Systems > - Fleet Management > - Multi-Agent Systems > - Machine Learning for Smart Logistics > - Intelligent Infrastructures > - Real-time Analysis of Comprehensive Supply Chain Data > - Smart Synchronization of Logistics Processes > - New Approaches for Cost Transparency > - Big Data for Smart Logistics > - Logistics 4.0 > - Mobile Networks > - Next-Generation Smart Logistics > - Performance Management Approaches > - Tests and Deployment > - Software Defined Networks > - Smart Freight Management > - Smart Shipment Management > - Smart Warehousing > - Smart Inventory management > DATA AND SERVICES > - Real-Time transportation Data Acquisition > - Event Detection and Monitoring > - Data Warehouses for connected mobility > - Data mining and Data analytics > - Data Worthiness in Connected Vehicles > - Data Trustworthiness for effective transportation and mobility > - Road Traffic Data Analytics > - Structured and Unstructured Data for Connected Mobility > - Volunteered Geographic Information (VGI) > - Data Representation for Connected Mobility > - Transportation Data Mining > - Transportation and mobility Data Visualization > - Cognitive and Context-aware Intelligence > - Transportation Decision Support Systems > - Mobility as a Service (MaaS) > - Intelligent Transportation Services > - Smart Mobility Services > - Big Data and Vehicle Analytics > - Massive Data Management > - Collective and connected Intelligence > - Next Generation Services > - Driver Behaviour Analysis > - Geo-Spatial Services > - Service-Oriented Architecture (SOA) > - Web and Mobile Services > SAFETY, SECURITY, AND HAZARD MANAGEMENT > - Security Issues in Vehicular Communications > - Safety Applications of Connected Vehicles > - Weather-related Safety solutions > - V2V, V2I and I2V Road Safety Applications > - Connected Mobility for Hazard Management > - Risk Management > - Road Traffic Crashes Analytics > - Traffic Jam Prediction > - Resource Allocation for Hazard Management > - Trust and Privacy Issues in Logistics > - Management of Exceptional Events > - New approaches to Networking Security for Transportation Applications > - Failure modes, human factors, software safety > - Automated Failure Analysis > - Performance and Human Error Analysis > - Design and Reliability of Control Systems > - Dispersion Modelling Software > - Quantification of Risk > > > *************************************************************************** > OUTSTANDING PAPERS: > Based on the peer review scores as well as the presentations at the > conference, the authors of outstanding papers will be invited to extend > their works for a potential publication in journals special issues with > high impact factors. > *************************************************************************** > > PAPER SUBMISSION: > Papers must be submitted electronically as PDF files via easychair ( > https://easychair.org/conferences/?conf=rtatm2021). > All papers will be peer reviewed. > Length of Full papers: 12-15 pages long (written in the LNCS/CCIS > one-column page format, 400 words per page) > Length of Short papers: less than 12 pages > For more information, please refer to the conference website: > https://confscience.com/rtatm/ > > *************************************************************************** > CONTACT > For more information, please send an email to info-rtatm at confscience.com > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: