May 2020 - Haskell - Haskell.org

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

29 Dec '20

Call for Papers The 10th International Conference on Sustainable Energy Information Technology (SEIT-20) http://cs-conferences.acadiau.ca/seit-20/ IMPORTANT DATES - Workshop Proposals Due: February 20, 2020 - Paper Submission Due: March 19, 2020 - Acceptance Notification: May 17, 2020 - Camera-Ready Submission: June 15, 2020 About SEIT 2020 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. SEIT 2020 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<http://www.elsevier.com/> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com/>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com/>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication in journals special issues. Conference Main Tracks - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees Honorary Chair Luc De Schepper, Rector, Hasselt University, Belgium General Chairs Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesús Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Davy Janssens, Hasselt University, Belgium Workshops' Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Publicity Chairs Mustafa Gül, University of Alberta, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-20/#programCommittees ________________________________ [Politechnika Łódzka / Lodz University of Technology]<https://www.p.lodz.pl> Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę, prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

2 19

Announcement: The Chalmers Online Functional Programming Seminar Series (TODAY: Benjamin Pierce!)
by Koen Claessen 24 May '20

24 May '20

The *Chalmers Online Functional Programming Seminar Series <http://chalmersfp.org/>* is organized by the Chalmers Functional Programming Group, as a way to exploit the fact that so many of us in the FP community are already meeting and working online these days. Our aim is to bring the people in the FP community closer together, to educate and inspire, and to foster collaboration. The seminars will take place *every Monday* (at 7am PDT / 10am EDT / 16:00 CEST) and are live streamed through YouTube, and questions are taken through sli.do. --- We continue today (Monday) with *Benjamin Pierce*; title "Backtracking Generators for Random Testing". All welcome! Link to the full program, including videos of previous talks: http://chalmersfp.org/ --- Last week we had 720 people who tuned in to Simon Peyton Jones! Unfortunately, we had severe problems using Zoom webinar technology (which was dimensioned in our license for up to 1000 people, but Zoom was just not up to the task). This week we will use YouTube Live streaming and sli.do for questions. All relevant links are on chalmersfp.org. See you there!

1 1

[CFP] Smart Healthcare Services in Internet of Healthcare Things
by CiberSeguridad UK 23 May '20

23 May '20

Dear Colleagues, A Special Issue "Smart Healthcare Services in Internet of Healthcare Things" in the International Journal of Environmental Research and Public Health (ISSN 1660-4601). This special issue belongs to the section "Health Care Sciences & Services". https://www.mdpi.com/journal/ijerph/special_issues/Smart_Healthcare_Services Impact Factor: 2.468Deadline for manuscript submissions: *31 December 2020*. Internet of Things are small autonomous apparatuses that incorporate sensing abilities, computing power, and communication capabilities. The recent advances in the embedded design of these autonomous apparatuses make it clear that the near-future versions of theses apparatuses will be widely available with low cost, and empowered with advanced processing and wireless networking technologies, which in turn will enable the Internet of Things to be commonly feasible for various applications including public health and medical services. A healthcare IoT network contains dimensional cooperative autonomous sensors to track biological conditions or symptoms of patients, such as euthermia, blood pressure, heart rate, blood glucose, brain activities, gesture or contaminants and to collaboratively transmit their sensed data through a communication media to primary healthcare service. The latest communication networks are bi-directional, which also can facilitate the management of the sensing activity. This recent phenomenon facilitates healthcare delivery using new technology paradigms. Implementing the internet of healthcare things has induced the existence of contemporary services in various healthcare fields such as neurology, cardiology, endocrinology, urology, and another life-critical emergency utility. Many preeminent healthcare institutions are expanding their expenditure on innovative smart healthcare services, and modern applications of the Internet of healthcare things (Intelligent/Autonomous Healthcare Service). These new healthcare services demand new models to acquire and handle sensory data from the various Internet of healthcare things and efficient strategies for accurate analysis and governance of such data. Hence the main interest for this special issue is to present the recent research work of researchers and practitioners who are conducting investigation on the field of smart and intelligent healthcare services and strategy to present the current research problems, issues, and advances in such a field. The aim of this special issue is to offer insights for discussions related to the considerable research challenges and comprehensive achievements on these topics of interest. List of Topics: Research papers related to practical and theoretical issues and problems are invited. The List of Topics may include (but are not limited to): - Situation/Context-Aware Technology and Service in the internet of healthcare things. - Situation Information Filtering and Aggregation in the internet of healthcare things. - Integration of Bandwidth Mediation Points and internet of healthcare things. - Design, Development and Implementation of smart healthcare services in the Internet of healthcare things. - Privacy, Security, and Social Issues related to smart healthcare services in the Internet of healthcare things. - Trust and Value Creation through New Generation smart healthcare services in the Internet of healthcare things - Green healthcare Service of/by the internet of healthcare things - Smart healthcare Readiness (Technology, Service) in the internet of healthcare things - Case Studies and Experience Reports of smart healthcare services in the Internet of healthcare things Manuscript Submission Information Manuscripts should be submitted online at www.mdpi.com by registering <https://www.mdpi.com/user/register/> and logging in to this website <https://www.mdpi.com/user/login/>. Once you are registered, click here to go to the submission form <https://susy.mdpi.com/user/manuscripts/upload/?journal=ijerph>. Manuscripts can be submitted until the deadline. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors <https://www.mdpi.com/journal/ijerph/instructions> page. *International Journal of Environmental Research and Public Health* <https://www.mdpi.com/journal/ijerph/> is an international peer-reviewed open access semimonthly journal published by MDPI. Best Regards Guest Editors

1 0

Workshop on Functional Art, Music, Modeling, and Design (FARM) -- performance call
by david.janin＠labri.fr 21 May '20

21 May '20

----------------------------------------------------------------------- PERFORMANCE CALL The ACM SIGPLAN Workshop on Functional Art, Music, Modeling, and Design (FARM) at the International Conference on Functional Programing (ICFP) is seeking audio/visual works that utilize functional programming techniques. Submissions need not be completely made with functional techniques - hybrid works are also welcome. Both fixed media and interactive systems are welcome, and we encourage a creative interpretation of what ‘performance’ means in order to encompass a truly broad range of creative functional endeavors. We also encourage submissions from people of all backgrounds – students, hobbyists, and professionals alike. Submission deadline: August 1, 2020 (notification to take place on a rolling basis) Workshop date: August 28, 2020 Fees: none Location: online-only Submission materials: a sample recording (audio or video) and a description explaining how functional programming was involved in the work. Submission link: https://easychair.org/conferences/?conf=farm2020 Send any questions to Donya Quick (donyaquick(a)gmail.com) FARM invites a diverse range of functionally-themed submissions including music, video, dance, and performance art. We encourage both risk-taking proposals that push forward the state of the art and refined presentations of highly developed practice. There are no submission/registration fees for FARM performers. Due to current travel restrictions and social distancing guidelines, all performances will be held online. Details of the exact technological accommodations available for this at ICFP are still forthcoming. As such, creating recordings of live audio/visual works as a backup option is strongly encouraged. ————————————————————————————————————

1 0

New Journal: Journal of Cyber Forensics and Advanced Threat Investigations
by CiberSeguridad UTFSM 18 May '20

18 May '20

New Journal: Journal of Cyber Forensics and Advanced Threat Investigations Dear Cybersecurity Researcher, Red || Yellow || Blue Practitioner, The Journal of Cyber Forensics and Advanced Threat Investigations is an international open-access journal that publishes original research, practical and review articles related to all areas of cybersecurity, digital forensics, incident response, and threat investigations. The scope includes the measures that governments or organization should follow to protect the online information & critical infrastructure, the impacts of cyber-crime & cyber-attacks in organizations and/or individuals, malware/ransomware, analysis & reversing, hardware/software security testing, zero-day attacks & exploits, large-scale digital investigations, unconventional penetration testing tactics, techniques & tools, social engineering & human hacking, anti-forensics & anti-anti-forensics, identity theft & protection, relevant case studies in cybersecurity, digital forensics, incident response, & threat investigations, and proficient strategies for tackling the various types of cyber-attacks and cyber-crimes. CFATI is pleased to welcome manuscript submissions from you. Please browse through the journal website to find out more information about the focus and scope of the journal and the author's guidelines. Journal Website: https://conceptechint.net/index.php/CFATI We welcome three kinds of submissions: * Research Articles, * Practical Articles, * Review Articles. All submissions will be rigorously peer-reviewed. For more details, see https://conceptechint.net/index.php/CFATI/index All accepted papers will be published under the Creative Commons CC-BY-NC. Contact All questions about submissions should be emailed to cfati(a)conceptechint.net Sincerely, Editorial Office International Journal of Cyber Forensics and Advanced Threat Investigations

1 0

The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020)
by Orven Llantos 18 May '20

18 May '20

********************************************************************************** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) Date: November 2-5, 2020 Location: Madeira, Portugal Website: http://cs-conferences.acadiau.ca/euspn-20/ ********************************************************************************** **** Apologies for cross-posting. **** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 15, 2020 - Paper Submission Due: June 15, 2020 - Author Notification: August 2, 2020 - Final Manuscript Due: August 30, 2020 Publication ------------- All EUSPN 2020 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com 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: 1.901), by Springer ( http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and… ) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) EUSPN 2020 will be held in conjunction with the 10th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-20/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-20/call-for-papers.html EUSPN 2020 will be held in Madeira, a Portuguese archipelago. Madeira is a popular year-round tourist destination, known for its remarkable mountainous scenery and mild year-long climate. Although, Madeira is part of Europe it is approximately 1,000 km from the continent while being only 520 km from the coast of Africa. It is about an hour and a half flight from the capital of Portugal, Lisbon. Funchal, the picturesque capital of Madeira, is situated on the south coast of the island and one of Atlantic Oceans most popular cruise ship ports. Madeira is a scenic island with many unique destinations such as the Laurisilva forest, a UNESCO World Heritage site. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Nuno Varandas, F6S (Where Founders Grow Together), Portugal Ansar Yasar, Hasselt University, Belgium Local Arrangement Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Margarida Cerqueira, University of Aveiro, Portugal Workshops' Chairs Haroon Malik, Marshall University, USA Publicity Chairs Monika Davidekova, Comenius University, Slovakia Mohammed Elghzaoui, FP-UMI, Errachidia, Morocco Siddardha Kaja, Acadia University, Canada Orven E. Llantos, Ateneo de Manila University, Philippines Program Vice Chairs El Arbi Abdellaoui Alaoui, EIGSI-Casablanca, Morocco Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran University, Algeria Samia Bouzefrane, Cnam, Paris, France, France Monika Davidekova, Comenius University, Slovakia Mohammed Erritali, Sultane Moulay Slimane University, Morocco Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Faouzi Kammoun, Ecole Superieure Privee d'Ingenierie et de Technologies, Tunis Mohamad Khairi Ishak, Universiti Sains Malaysia, Malaysia Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Fernando Moreira, Universidade Portucalense, Portugal Euripides Petrakis, Technical University of Crete, Greece Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-20/organizing-commitee.html -- Orven E. Llantos Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology <http://www.iit.edu.ph/> (MSU-IIT) makes no warranties of any kind, whether expressed or implied, with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not be responsible for damages resulting from the use of MSU-IIT e-mail resources, including, but not limited to, loss of data resulting from delays, non-deliveries, missed deliveries, service interruptions caused by the negligence of a MSU-IIT employee, or by the User's error or omissions. MSU-IIT specifically denies any responsibility for the accuracy or quality of information obtained through MSU-IIT e-mail resources, except material represented as an official MSU-IIT record. Any views expressed in this e-mail are those of the individual sender and may not necessarily reflect the views of MSU-IIT, except where the message states otherwise and the sender is authorized to state them to be the views of MSU-IIT. The information contained in this e-mail, including those in its attachments, is confidential and intended only for the person(s) or entity(ies) to which it is addressed. If you are not an intended recipient, you must not read, copy, store, disclose, distribute this message, or act in reliance upon the information contained in it. If you received this e-mail in error, please contact the sender and delete the material from any computer or system.

1 0

EUSPN 2020 CfP in Madeira, Portugal, November 2-5 2020 (Conference with ISI Special Issues)
by Davidekova Monika 15 May '20

15 May '20

********************************************************************************** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) Date: November 2-5, 2020 Location: Madeira, Portugal Website: http://cs-conferences.acadiau.ca/euspn-20/ ********************************************************************************** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 15, 2020 - Paper Submission Due: June 15, 2020 - Author Notification: August 2, 2020 - Final Manuscript Due: August 30, 2020 Publication ------------- All EUSPN 2020 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com 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: 1.901), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), (http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier (https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier (https://www.journals.elsevier.com/computer-networks) EUSPN 2020 will be held in conjunction with the 10th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-20/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-20/call-for-papers.html EUSPN 2020 will be held in Madeira, a Portuguese archipelago. Madeira is a popular year-round tourist destination, known for its remarkable mountainous scenery and mild year-long climate. Although, Madeira is part of Europe it is approximately 1,000 km from the continent while being only 520 km from the coast of Africa. It is about an hour and a half flight from the capital of Portugal, Lisbon. Funchal, the picturesque capital of Madeira, is situated on the south coast of the island and one of Atlantic Oceans most popular cruise ship ports. Madeira is a scenic island with many unique destinations such as the Laurisilva forest, a UNESCO World Heritage site. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Nuno Varandas, F6S (Where Founders Grow Together), Portugal Ansar Yasar, Hasselt University, Belgium Local Arrangement Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Margarida Cerqueira, University of Aveiro, Portugal Workshops' Chairs Haroon Malik, Marshall University, USA Publicity Chairs Monika Davidekova, Comenius University, Slovakia Mohammed Elghzaoui, FP-UMI, Errachidia, Morocco Siddardha Kaja, Acadia University, Canada Orven E. Llantos, Ateneo de Manila University, Philippines Program Vice Chairs El Arbi Abdellaoui Alaoui, EIGSI-Casablanca, Morocco Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran University, Algeria Samia Bouzefrane, Cnam, Paris, France, France Monika Davidekova, Comenius University, Slovakia Mohammed Erritali, Sultane Moulay Slimane University, Morocco Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Faouzi Kammoun, Ecole Superieure Privee d'Ingenierie et de Technologies, Tunis Mohamad Khairi Ishak, Universiti Sains Malaysia, Malaysia Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Fernando Moreira, Universidade Portucalense, Portugal Euripides Petrakis, Technical University of Crete, Greece Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-20/organizing-commitee.html

1 0

Postdoctoral position on Web/database programming languages at Edinburgh LFCS
by James Cheney 15 May '20

15 May '20

Hi, We are now accepting applications for a postdoctoral position in Web/database programming languages. The position is for 24 months, starting on September 1, 2020 or earlier. Funding is provided by a €1.99M Consolidator Grant from the European Research Council on the project: "Skye: A programming language bridging theory and practice for scientific data curation". https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… Funding from this ERC grant, and certain national funding schemes, is also available to help support travel/accommodation costs for visits from students, researchers or faculty at other institutions whose research aligns with the project. Please get in touch if interested. == Research associate (£33,797 - £40,322) == This postdoctoral research position is on Web/database programming and scientific data curation techniques in the Skye project. This project builds on the Links web programming language to add built-in support for scientific data management needs, particularly data archiving, transformation and provenance. Currently Links supports sophisticated database access via language-integrated query (ICFP 2013), but only for relational databases; other data models and query languages are not supported, and Links's capabilities for rewriting or transforming queries or updates is limited. The overall research goal of the Skye project is to identify, develop, and implement extensibility or metaprogramming capabilities to make advanced database programming easy. The successful candidate will focus on developing language-integrated query support for new data models/query languages, such as graph or RDF databases, and will work with other Skye project members to incorporate these techniques into Links. Links also has other advanced capabilities such as support for type inference with first-class poplymorphism (PLDI 2020), distributed programming with session types (POPL 2019) and algebraic effects and handlers (JFP 2020), and interactions between these features and database programming or new applications to database programming are in scope. The ideal candidate will have a strong background in programming languages or databases, with a specialization in Web programming or database programming including familiarity with different distributed programming techniques or query languages and data models. Familiarity with programming language foundations is also desirable, as is experience with functional programming (e.g. Scala, OCaml, Haskell). Candidates with a strong background in either database or programming language research will be considered as long as there is clear evidence of ability to learn the complementary background. == What about COVID-19 then? == Remote working is possible and encouraged. Successful candidates who are eligible to work in the UK without a visa (= UK or EEA nationals) will be able to take up the post and work remotely prior to arrival in Edinburgh. Candidates currently in the UK on Tier 4 student visas will also be able to begin work while waiting for a Tier 2 visa. Candidates in other situations may be able to start work remotely but this depends on UKVI guidelines which are in flux; such candidates are advised to contact us to discuss the situation. == To apply == For more information about the project, and about other related activities in my group, LFCS, and Edinburgh, please write to me or consult the following page: http://homepages.inf.ed.ac.uk/jcheney/group/skye.html Applications must be received by 5pm GMT, June 9, 2020. To apply, visit the University job posting for this position: Research Associate https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… <https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs…> then click "apply" and follow the instructions. Please note that applicants must use the University's application system above, which involves some account registration and form-filling, and it is recommended that applicants complete this process well before the deadline, since the system automatically stops accepting applications after the deadline. == Environment == The University of Edinburgh School of Informatics brings together world-class research groups in theoretical computer science, artificial intelligence and cognitive science. The School led the UK 2014 REF rankings in volume of internationally recognized or internationally excellent research. In 2013, the School of Informatics received an Athena Swan Silver Award, in recognition of its commitment to advancing the careers of women in science, technology, engineering, mathematics and medicine (STEMM) employment in higher education and research. Overall the University of Edinburgh has achieved a Silver Award. LFCS hosts a wide variety of research on programming languages, and collaborates with researchers in compilers/systems elsewhere in the School of Informatics as well as with colleabgues across Scotland as part of the Scottish Programming Languages & Verification community. PL research in the School will soon be strengthened by new arrivals with interests in verification, program synthesis, DSLs for performance-portable parallelism, and databases.

1 0

Fully funded PhD in Networking and Communication Technology at the University of Vienna, Austria ***Deadline: June 7, 2020***
by Rozman, Mihaela 15 May '20

15 May '20

The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated, and verify and correct themselves autonomously, relying on formal methods. Communication networks have become a critical infrastructure of our society and hence come with stringent requirements on dependability. We believe that automation can improve reliability: many network outages these days are due to human errors. WHAT WE OFFER -The research position is at the Faculty of Computer Science at the University of Vienna and is fully funded.(Employment contract) -The candidate also has the opportunity to collaborate with Aalborg University, Denmark, and engage into longer visits, if she/he is interested: Aalborg University is a project partner. -Additionally, the successful candidate will have the opportunity to collaborate with the doctoral program Logical Methods in Computer Science (LogiCS), run by TU Wien, TU Graz and JKU Linz, and funded by the Austrian Science Fund. -We offer a productive research environment and excellent contacts to other universities as well as industry interested in this application domain. While our goal is to lay the theoretical foundations of such networks, we also plan to prototype our ideas and ideally make a practical contribution. For an idea on the kind of research we are doing in this area, please see the sample publications attached below. ELIGIBILITY The candidate should have a strong background in formal methods, model checking and algorithms, and be knowledgeable about communication networks, with a strong interest in this application domain. APPLICATION To apply, please send your: -Academic curriculum vitae -motivation letter, and -reference letters to Prof. Stefan Schmid by email, or use the online portal at https://univis.univie.ac.at/ausschreibungstellensuche/ Please do not hesitate to contact Stefan Schmid for any further information: ta.ca.eivinu@dimhcs_nafets Deadline: June 7, 2020 Starting date: ideally as soon as possible, latest in October 2020. SAMPLE PUBLICATIONS P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures Jesper Stenbjerg Jensen, Troels Beck Krogh, Jonas Sand Madsen, Stefan Schmid, Jiri Srba, and Marc Tom Thorgersen. 14th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT), Heraklion/Crete, Greece, December 2018. https://www.univie.ac.at/ct/stefan/conext18.pdf Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks Stefan Schmid and Jiri Srba. 37th IEEE Conference on Computer Communications (INFOCOM), Honolulu, Hawaii, USA, April 2018. https://www.univie.ac.at/ct/stefan/infocom18prefixnet.pdf HIGHEST QUALITY OF LIFE The Austrian city of Vienna, is located close to the Alps and surrounded by beautiful nature, and provides an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, varied cuisine and famous coffee houses. If you decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., TU Wien, University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.

1 0

SPLASH 2020: Combined Call for Contributions
by hitesh sajnani 15 May '20

15 May '20

****************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'20) Chicago, USA Sun 15 - Fri 20 November 2020 https://2020.splashcon.org/ Sponsored by ACM SIGPLAN /****************************************************************************/ COMBINED CALL FOR CONTRIBUTIONS OOPSLA Onward! Workshops Dynamic Languages Symposium (DLS) Generative Programming: Concepts & Experiences (GPCE) Software Language Engineering (SLE) Static Analysis Symposium (SAS) /****************************************************************************/ The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. We invite high quality submissions describing original and unpublished work. Combined Call for Contributions: * PACMPL Issue OOPSLA * SPLASH Workshops * Onward! Papers * Onward! Essays * Dynamic Languages Symposium (DLS) * Generative Programming: Concepts & Experiences (GPCE) * Software Language Engineering (SLE) * Static Analysis Symposium (SAS) * SPLASH-E * Posters * Doctoral Symposium * Student Research Competition * Student Volunteers ## PACMPL Issue OOPSLA Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). Submissions due: Fri 15 May, 2020 https://2020.splashcon.org/track/splash-2020-oopsla ## SPLASH Workshops Following its long-standing tradition, SPLASH 2020 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. The paper submission deadline for all workshops is Sep 4, 2020 AoE. The following workshops are co-located with SPLASH 2020. * AGERE (Actors, Agents, and Decentralized Control) https://2020.splashcon.org/home/agere-2020 * TAPAS (Tools for Automatic Program Analysis) https://2020.splashcon.org/home/tapas-2020 * REBLS (Reactive and Event-based Languages and Systems) https://2020.splashcon.org/home/rebls-2020 ## Onward! Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Sun 17 May, 2020 https://2020.splashcon.org/track/splash-2020-Onward-papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be long or short. An essay can be an exploration of the topic and its impact, or a story about the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps the one the author took to reach an understanding of the topic. The subject area—software, programming, and programming languages—should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Sat 23 May, 2020 https://2020.splashcon.org/track/splash-2020-Onward-Essays ## Dynamic Languages Symposium (DLS) Dynamic Languages, from Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, have been playing a fundamental role both in programming research and practice. DLS is the premier forum for researchers and practitioners to share research and experience on all aspects of Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Submissions due: Thu 9 July, 2020 https://conf.researchr.org/home/dls-2020 ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experience (GPCE) is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to (i) program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, (ii) domain-specific languages, language embedding, language design, and language workbenches, (iii) feature-oriented programming, domain engineering, and feature interactions, (iv) applications and properties of code generation, language implementation, and product-line development. Abstracts due: Mon 20 July, 2020 Submissions due: Mon 27 July, 2020 https://conf.researchr.org/home/gpce-2020 ## Software Language Engineering (SLE) 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. SLE 2020 solicits high quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Abstracts due: Mon 20 July, 2020 Submissions due: Mon 27 July, 2020 https://conf.researchr.org/home/sle-2020 ## Static Analysis Symposium Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. Abstracts due: Fri 22 May, 2020 Paper Submissions due: Sun 24 May, 2020 Artifacts Submissions due: Fri 29 May, 2020 https://conf.researchr.org/home/sas-2020 ## Rebase Rebase is a series of high-quality talks that highlight the challenges that are on the forefront of both research and practice across the SPLASH community's broad spectrum of domains and techniques. ## SPLASH-E SPLASH-E is a symposium, started in 2013, for software and languages (SE/PL) researchers with activities and interests around computing education. Some build pedagogically-oriented languages or tools; some think about pedagogic challenges around SE/PL courses; some bring computing to non-CS communities; some pursue human studies and educational research. At SPLASH-E, we share our educational ideas and challenges centred in software/languages, as well as our best ideas for advancing such work. SPLASH-E strives to bring together researchers and those with educational interests that arise from software ideas or concerns. Submissions due: Fri 10 Jul, 2020 https://2020.splashcon.org/track/splash-2020-SPLASH-E ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact at any desired level of detail. The poster session is held early in the conference to promote continued discussion among interested parties. Submissions due: Thu 10 Sep, 2020 https://2020.splashcon.org/track/splash-2020-Posters ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. This year, the John Vlissides Award will be presented to a doctoral student participating in the SPLASH Doctoral Symposium showing significant promise in applied software research. All doctoral candidates participating in the SPLASH Doctoral Symposium are eligible. The award includes a prize of $2,000. Submissions due: Wed, Jul 15, 2020 https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium ## PL Mentoring Workshop (PLMW) The SPLASH 2020 Programming Languages Mentoring Workshop encourages graduate students (PhD and MSc) and senior undergraduate students to pursue research in programming languages. This workshop will provide mentoring sessions on how to prepare for and thrive in graduate school and in a research career, focusing both on cutting-edge research topics and practical advice, such as a panel of Ph.D. students discussing topics like “What I wish I had known before attending graduate school.” The workshop brings together leading researchers and junior students in an inclusive environment in order to help welcome newcomers to our field of programming languages research. The workshop will show students the many paths that they might take to enter and contribute to our research community. We will provide travel grants that will fully support student attendance to PLMW. Information on the application process will be available by August 2, 2020 Travel Grant Application due: Fri 4 Sep, 2020 https://2020.splashcon.org/track/splash-2020-PLMW#About ## Student Research Competition The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at SPLASH before a panel of judges and conference attendees. The SRC gives visibility to not only up-and-coming young researchers, but also exposes them to the field of computer science research and its community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and to help them sharpen their communication and networking skills. Student Research Competition abstract due: Sat Aug 15, 2020 https://2020.splashcon.org/track/splash-2020-SRC ## Student Volunteers The SPLASH Student Volunteers program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Application due: Tue Sep 1, 2020 https://2020.splashcon.org/track/splash-2020-Student-Volunteers ## Information Website: https://2020.splashcon.org/ Location: Renaissance Chicago Downtown Hotel, Chicago, USA ## Organization SPLASH General Chair: * Hridesh Rajan (Iowa State University) OOPSLA Review Committee Chair: * David Grove (IBM Research) Onward! Papers Chair: * Stephen Kell (University of Kent) Onward! Essays Chair: * Didier Verna (EPITA/LRDE) DLS Program Chair: * Matthew Flat (University of Utah) GPCE General Chair: * Martin Erwig (Oregon State University) GPCE Program Chair: * Jeff Gray (University of Alabama) SLE General Chair: * Ralf Lämmel (Facebook) SLE Program Co-Chairs: * Laurence Tratt (King's College London) * Juan de Lara (Universidad Autónoma de Madrid) SLE Publicity Chair: * Loli Burgueño (Open University of Catalonia & CEA LIST) SLE AEC Co-Chairs: * Lukas Diekmann (King’s College London) * Antonio Garcia-Dominguez (Aston University) SAS Program Co-Chairs: * David Pichardie (Univ Rennes, ENS Rennes, IRISA) * Mihaela Sighireanu (IRIF, Université Paris Diderot, France) SAS AEC Chair: * Jyothi Vedurada (Microsoft Research) Rebase Co-Chairs: * Satish Chandra (Facebook) * Yu David Liu (State University of New York (SUNY) Binghamton) PLMW Co-Chairs: * Karim Ali (University of Alberta) * Jonathan Bell (George Mason University) * Malavika Samak (CSAIL, MIT) Workshops Co-Chairs: * Neville Grech (University of Athens) * Ali Jannesari (Iowa State University) * Mehdi Bagherzadeh (Oakland University) OOPSLA Artifact Evaluation Co-Chairs: * Colin S. Gordon (Drexel University) * Anders Møller (Aarhus University) Posters Co-Chairs: * Christos Dimoulas (Northwestern University) * Murali Krishna Ramanathan(Uber Technologies Inc.) Doctoral Symposium Chair: * Yvonne Coady (University of Victoria) * Matthias Hauswirth (Università della Svizzera italiana) Student Research Competition Co-Chairs: * Sasa Misailovic (University of Illinois at Urbana-Champaign) * Julia Rubin (University of British Columbia) Student Volunteers Co-Chairs: * Robert Dyer (Bowling Green State University) * Samantha Syeda Khairunnesa (Iowa State University) SPLASH-E Co-Chairs: * Elisa Baniassad (University of British Columbia) * Charlie Curtsinger (Grinnell College) Publicity Chair: * Hitesh Sajnani (Microsoft) Publication Chair: * Saba Alimadadi (Simon Fraser University) Local Arrangements Chair: * Ravi Chugh (University of Chicago) Accessibility Chair: * Henrique Rebelo (Universidade Federal de Pernambuco) Sponsorships Chair: * Ganesha Upadhyaya (Harmony.One) Web Chair: * Rangeet Pan (Iowa State University) /****************************************************************************/

1 0