- Haskell - Haskell.org

[Information] Invitation: Special Issue "Information for Business and Management–Software Development for Data Processing and Management"
by Aneta Poniszewska-Marańda I72 09 May '21

09 May '21

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] <https://www.facebook.com/Politechnika.Lodzka/> [Twitter] <https://twitter.com/p_lodz_pl> [Youtube] <https://www.youtube.com/channel/UCbBnxpxg1DbSrIBwvebJghg> [Linkedin] <https://www.linkedin.com/school/politechnika-łódzka/> ________________________________ 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.

1 0

[Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks"
by Aneta Poniszewska-Marańda I72 09 May '21

09 May '21

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] <https://www.facebook.com/Politechnika.Lodzka/> [Twitter] <https://twitter.com/p_lodz_pl> [Youtube] <https://www.youtube.com/channel/UCbBnxpxg1DbSrIBwvebJghg> [Linkedin] <https://www.linkedin.com/school/politechnika-łódzka/> ________________________________ 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.

1 0

[Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities"
by Aneta Poniszewska-Marańda I72 09 May '21

09 May '21

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_App… 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] <https://www.facebook.com/Politechnika.Lodzka/> [Twitter] <https://twitter.com/p_lodz_pl> [Youtube] <https://www.youtube.com/channel/UCbBnxpxg1DbSrIBwvebJghg> [Linkedin] <https://www.linkedin.com/school/politechnika-łódzka/> ________________________________ 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.

1 0

CFPs [ICTH 2021] Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare)
by Hana Gharrad 09 May '21

09 May '21

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-comm… ) 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

1 0

SETTA 2021: 2nd CFP updated with a special issue for STTT
by songfu1983＠shanghaitech.edu.cn 07 May '21

07 May '21

======================================== 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 <https://easychair.org/conferences/?conf=setta2021>. ------------------------ 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 <https://mc03.manuscriptcentral.com/jcst>. ------------------------ 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 <https://www.springer.com/journal/11390/submission-guidelines> 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@easy*chair.org (remove *).

1 0

[CFP] Call for Abstracts and Call for the Wireless Networks and Mobile Systems Doctoral Consortium (Submission Deadline :: 12th of May)
by calendarsites＠insticc.org 06 May '21

06 May '21

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(a)insticc.org or visit the conference website: http://www.winsys.org

1 0

[CFP] Call for Abstracts and Call for the e-Business 2021 Doctoral Consortium (Submission Deadline :: 12th of May)
by calendarsites＠insticc.org 05 May '21

05 May '21

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: <mailto:%20ice-b.secretariat@insticc.org> ice-b.secretariat(a)insticc.org or visit the conference website: <http://www.ice-business.org/> http://www.ice-business.org/

1 0

ACM Workshop on Functional Art, Music, Modelling and Design - Last Call for Papers, Demos, and Performances
by david.janin＠labri.fr 04 May '21

04 May '21

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(a)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(a)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)

1 0

International Conference on Applied Data Science and Intelligence - (ADSI 2021)
by Mayssa HEMDANI 04 May '21

04 May '21

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(a)confscience.com

1 0

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 04 May '21

04 May '21

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 <graham.hutton(a)nottingham.ac.uk> 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.

1 0