- Haskell - Haskell.org

ETAPS 2020 afternoon, online, 2 July 2020, call for participation
by Tarmo Uustalu 16 Jun '20

16 Jun '20

[There will be no physical ETAPS in Dublin this autumn. Instead, on 2 July 2020, we will hold an online ETAPS 2020 afternoon. The authors of papers accepted to the main conferences of ETAPS 2020 will get an opportunity to present their work at ETAPS 2021 in Luxembourg.] The ETAPS EC and ETAPS 2020 LOC regret to announce that the plan of a postponed physical ETAPS in Dublin in autumn 2020 has become unrealistic. We will follow the following substitute plan. - We will hold a 3-hour virtual online ETAPS 2020 event in the afternoon of Thu 2 July 2020, see the call below. Everyone is most welcome to attend. There will be no registration, no fee. - The authors of papers accepted to the main conferences of ETAPS 2020 will get an opportunity to present their work at ETAPS 2021 in Luxembourg, Sat-Thu 27 March-1 April 2021. The exact arrangements for this move will be announced. - The workshop organizers will individually decide and announce whether, when and in what format their workshops will take place. - The local organizers of ETAPS 2020 will reimburse the fees collected (minus some administrative charge) according to a policy and a procedure to be announced. Thank you for your understanding! CALL FOR PARTICIPATION ETAPS 2020 afternoon online, 2 July 2020 https://etaps.org/2020/afternoon ETAPS 2020 AFTERNOON To compensate for the cancelled physical ETAPS 2020 conference in Dublin, we will hold a 3-hour virtual event to hand out the awards of the conference and listen to talks by the best paper award winners. This will take place Thu 2 July 2020. The presentations will be streamed live. Questions to presenters can be asked in a chat. The event will be recorded and can be watched later. HOW TO JOIN There will be no registration, no fee. The link to join the programme online will be published on the webpage https://etaps.org/2020/afternoon on the day of the event. PROGRAMME All times below are CEST. Start: 15:00 CEST (= GMT+2, Amsterdam). ------------------------------------------------------------------------- 15:00 Welcome by Marieke Huisman Announcement on ETAPS 2021 in Luxembourg and on the plan for ETAPS 2020 papers by Peter Ryan 15:15 Talk by EASST best paper award winner Florian Frohn. A calculus for modular loop acceleration (TACAS) Award handed out by Reiko Heckel 15:45 Announcement of ETAPS test of time award winner Award handed out by Don Sannella 16:00 Break 16:30 Talk by EAPLS best paper award winner Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Baishakhi Ray. An empirical study on the use and misuse of Java 8 streams (FASE) Award handed out by Anton Wijs 17:00 Talk by ETAPS PhD award winner Oded Padon. Deductive verification of distributed protocols in first-order logic (Tel Aviv University, 2018) Award handed out by Caterina Urban 17:30 Talk by EATCS best paper award winner Thomas Neele, Antti Valmari and Tim A.C. Willemse. The inconsistent labelling problem of stutter-preserving partial-order reduction (FoSSaCS) Award handed out by Don Sannella 18:00 Closing -------------------------------------------------------------------------

1 0

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

15 Jun '20

*** Apologies for cross-posting *** ********************************************************************************** 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 -- 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

PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020
by Mihaela Rozman 09 Jun '20

09 Jun '20

PhD POSITION(S) PROJECT Structural and Algorithmic Aspects of Preference-based Problems in Social Choice STARTING DATE: Negotiable LOCATION: Vienna, Austria INSTITUTION: Algorithms and complexity group at the Faculty of Informatics, Technische Universität Wien (Vienna University of Technology) FUNDING: The PhD candidates receive an employment contract for the initial period of 3 years, thus study fees do not apply. Salary range starts at 22.000 net/year EUR for 30h/week. APPLICATION DEADLINE: July 31, 2020 ========================================================== We invite applications for PhD position(s) (3 years with the possibility of extension), working with Jiehua Chen in the Algorithms and Complexity Group at the Vienna University of Technology (Technische Universität Wien – TU Wien), Vienna, Austria. The PhD position(s) is available for the WWTF research project (Vienna Science and Technology Fund) titled Structural and Algorithmic Aspects of Preference-based Problems in Social Choice: https://www.wwtf.at/programmes/vienna_research_groups/VRG18-012/index.php?l… The research topics include voting, structured preferences, stable matching (matchings under preferences) with a focus on parameterized and approximation algorithm design. =============================== YOUR PROFILE =============================== Applicants with a solid background in areas such as algorithm design (including BUT NOT LIMITED to parameterized algorithms and approximation algorithms), computational complexity, and/or discrete mathematics are welcome to apply. =============================== WE OFFER =============================== -The PhD position(s) entails an employment contract. -The position(s) is available immediately and the starting date is quite flexible - A research and study environment that is friendly and gender-balanced - TU Wien is a great place for professional growth (e.g., the Austrian Science Fund and other funding agencies offer multiple funding opportunities for young researchers to advance their independent scientific careers) - Vienna, the city, features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields - Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide. =============================== APPLICATION =============================== Please send your application, including - your academic CV, - a motivation letter, including an explanation of your research interests, - your Master's thesis and - a list of subjects studied, giving sufficient details and grades/marks obtained directly to Jiehua Chen: jiehua.chen(a)tuwien.ac.at <mailto:jiehua.chen@tuwien.ac.at> (If possible all in a single PDF file) DEADLINE: 31. July 2020 For informal inquiries you can also contact via the above email address. =============================== ADDITIONAL INFORMATION =============================== Faculty of Informatics: https://informatics.tuwien.ac.at/ Research group website: https://www.ac.tuwien.ac.at/ Outreach: www.vcla.at <http://www.vcla.at> Twitter: @vclaTUwien

1 0

First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
by Jurriaan Hage 08 Jun '20

08 Jun '20

Hello, Please, find below the final call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL ================================================================================ IFL 2020 32nd Symposium on Implementation and Application of Functional Languages venue: online 2nd - 4th September 2020 https://www.cs.kent.ac.uk/events/2020/ifl20/ ================================================================================ ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2020 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications ### Post-symposium peer-review Following IFL tradition, IFL 2020 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected for the formal proceedings. We plan to publish these proceedings in the International Conference Proceedings Series of the ACM Digital Library, as in previous years. ### Important dates Submission deadline of draft papers: 17 August 2020 Notification of acceptance for presentation: 19 August 2020 Registration deadline: 31 August 2020 IFL Symposium: 2-4 September 2020 Submission of papers for proceedings: 7 December 2020 Notification of acceptance: 3 February 2021 Camera-ready version: 15 March 2021 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation IFL 2020 Chair: Olaf Chitil, University of Kent, UK IFL Publicity chair: Jurriaan Hage, Utrecht University, The Netherlands ### Virtual symposium Because of the Covid-19 pandemic, this year IFL 2020 will be an online event, consisting of paper presentations, discussions and virtual social gatherings. Registered participants can take part from anywhere in the world. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

Call for Submissions: ICFP Student Research Competition
by Sam Tobin-Hochstadt 02 Jun '20

02 Jun '20

ICFP 2020 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition, which will be held virtually alongside the main conference, in order to present their research and receive feedback from prominent members of the programming language research community. As usual, the SRC consists of three rounds: * Extended abstract * Poster session at ICFP 2020 * ICFP presentation To make the virtual competition fruitful, we will make sure that every student will have an "invited audience" during the poster session. We are also planning to organize a social event for the students. Please visit the SRC website for updates. ### Important Dates Submissions due: 26 Jun 2020 (Friday) https://icfp20src.hotcrp.com Notification: 10 July 2020 (Friday) Conference: 23 August (Sunday) - 28 August (Friday) ### Submission Details Each submission (referred to as "abstract" below) should include the student author’s name and e-mail address; institutional affiliation; research advisor’s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and*or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition Program Committee: Chair: Youyou Cong (Tokyo Institute of Technology) Stephen Chang (University of Massachusetts Boston) Jesper Cockx (Delft University of Technology) Hsiang-Shang Ko (Institute of Information Science, Academia Sinica) Cyrus Omar (University of Michigan)

1 0

12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
by Mihaela Rozman 02 Jun '20

02 Jun '20

========================================================== ========================================================== TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified PhD candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 fully funded doctoral candidates for a starting period of 3 years. STARTING DATE: Negotiable LOCATION: Vienna or Graz, Austria (candidate´s choice) SALARY: The PhD candidates receive an employment contract DEADLINE: June 12, 2020 WEBSITE: https://logic-cs.at/phd ========================================================== ========================================================== The PhD program focuses on interdisciplinary research topics covering – computational logic, and applications of logic to – databases and artificial intelligence, – computer-aided verification, – security and privacy, – cyber-physical systems, as well as to – distributed systems. ========================================================== ============= RESEARCH AREAS ============= At the moment we are particularly looking for PhD candidates interested in the following areas: * Automated Software Verification * Description Logics * Epistemic logic in distributed computing * Game-based Semantics * Fixed-Parameter Algorithms and Complexity * Formal Verification of hybrid systems * Knowledge Representation and Reasoning * Model Checking * Modeling and analysis of digital integrated circuits * Networking and Communication Technology * Normative Reasoning * Ontology-based Data Access * Security and Privacy * Scheduling and logic programming * Study of the Interaction between rules from a knowledge base and rules arising from machine learning * Topology in distributed computing * Quantified Boolean Formulas ============= THE PROGRAM ============= Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems. The LogiCS doctoral program offers top research expertise, and a stimulating and supportive environment. The LogiCS is coordinated by TU Wien, which offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics of TU Wien is the largest one in Austria and is consistently ranked among the best in Europe. The founding body of the LogiCS, the Austrian Science Fund (FWF), offers multiple funding opportunities for young researchers to advance their independent scientific careers. ============= FACULTY MEMBERS ============= - E. Bartocci - A. Biere - R. Bloem - A. Ciabattoni - T. Eiter - G. Gottlob - R. Grosu - L. Kovacs - M. Maffei - M. Ortiz - U. Schmid - M. Seidl - S. Szeider - G. Weissenbacher - S. Woltran The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 15 associated members who further strengthen the research and teaching activities of the college. ============= POSITIONS AND FUNDING ============= * We are looking for 12 very strong doctoral students. * The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (FWF) (EMPLOYMENT CONTRACT) * The location of the research post is Vienna or Graz, Austria. ============= HOW TO APPLY ============= Detailed information about the application process is available on the LogiCS web-page: https://logic-cs.at/phd/admission/ * The applicants are expected to have completed an excellent diploma or master’s degree in computer science, mathematics, or a related field. * Candidates with comparable achievements will be considered on a case-by-case basis. * Applications by the candidates need to be submitted electronically. Application Deadline: June 12, 2020 ============= LOGIC IN AUSTRIA ============= Austria has a highly active and successful logic in the computer science community. Recent activities include: Austrian Research Network in Rigorous Systems Engineering - http://www.arise.or.at Vienna Center for Logic and Algorithms - http://www.vcla.at International Kurt Goedel Society - http://www.kgs.logic.at ============= HIGHEST QUALITY OF LIFE ============= The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a 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., 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. ============= ADDITIONAL INFORMATION ============= LogiCS web-page: https://logic-cs.at/phd/admission/ For further information please contact: info(a)logic-cs.at <mailto:info@logic-cs.at> ============= TWITTER ============= @vclaTUwien

1 0

[CFP] 1st Workshop on Cyber Forensics and Advanced Threat Investigations
by CiberSeguridad UK 01 Jun '20

01 Jun '20

1st International Workshop on Cyber Forensics and Advanced Threat Investigations in Emerging Networks (CFATI 2020) https://cfati.conceptechint.net/index.html in conjunction with EUSPN-2020 conference Nov 2 - 5, 2020 , Madeira, Portugal Important dates Paper Submission: 30th June, 2020 Acceptance Notification: 22nd Aug, 2020 Final Manuscript Due: 30th Aug, 2020 Scope of the workshop: The evolve of networked technologies, such as the internet of things and cyber-physical systems, possess challenges base on the highly limited capabilities of their infrastructure devices and the type of data that can be processed by these devices. Complicated efforts are required in suitable and timely manners against any detected threats. Moreover, new frameworks are required to collect and preserve potential evidential data in suitable and timely manners as well. To guarantee proper cyber-defenses and strategies against the expanding landscape of criminal activities as well as rapidly advancing network technologies such as SDN or 5G and 6G. There is a growing need for new methodologies, tools, and techniques, capable of extracting, preserving, and analyzing different evidence trails in various networked services and devices such as routers, firewalls, web proxies, and network monitoring tools. Additionally, there is also a growing need for research in new systems that are capable of analyzing network traffic, netflows, and systems logs. Satisfying these demands will aid in reconstructing the timeline of the cyber-crime/attack under investigation and, possibly, the identification of the potential actor(s). The main motivation for this Workshop is to bring together researchers and practitioners working on cyber forensics and threat investigations for emerging networks to disseminate current research issues and advances. Original technical papers describing new, state-of-the-art research will be considered. The Workshop welcomes submissions that evaluate existing research results by reproducing experiments. The aim of this workshop is to provide insight for the discussion of the major research challenges and achievements on various topics of interest. CFATI 2020 will be held in conjunction with the 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) which is co-organized on November 2-5, 2020, Madeira, Portugal. Papers on practical as well as on theoretical topics and problems in various topics related to cyber forensics and threat investigations are invited, with special emphasis on novel techniques and tools to collect data from networked devices and services in emerging networks (such as the ones can be found in cyber-physical systems and Internet of things). Topics include (but are not limited to): · Advanced threat investigations, forensic and anti-forensic techniques · Cooperative and distributed forensics and threat investigations · Data exfiltration techniques from networked devices and services (e.g. cyber-physical systems, and Internet-of-Things) · Attack detection, traceback, and attribution in SDN, 5G, and 6G · Methods for reconstruction of internet activities in SDN, 5G, and 6G · Forensics and threat investigations in IoT · Forensics and threat investigations in peer-to-peer, social, and cloud networks · Vulnerability & threat detection and mitigation techniques for networked services · Novel large-scale investigations techniques to analyze intelligence data sets and logs · Tools and services for cyber forensics and threat investigations · VoIP forensics, VoIPoW forensics We also encourage contributions describing innovative work in the realm of cybersecurity, cyber defense, and digital crimes. SUBMISSION AND PROCEEDINGS All papers accepted for workshops will be included in the EUSPN 2020 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given on the EUSPN 2020 website. The number of pages for workshop papers is limited to 6 pages https://cfati.conceptechint.net/submissions.html Paper format The submitted paper must be formatted according to the guidelines of Procedia Computer Science, MS Word Template, Latex, Template Generic, Elsevier. Submission Authors should submit their contributions here, electronically in PDF format. https://easychair.org/conferences/?conf=cfati2020 The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking the "I have no EasyChair account" button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. In case of any problem with submission, please contact the workshop chair for assistance https://cfati.conceptechint.net/contact-us.html Selective outstanding papers Selected papers presented at the workshop, after further revision, will have the opportunity to be published in special issues in indexed and/or high impact factor journals (details will be put online shortly). All workshops accepted papers will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series (online). Procedia Computer Sciences is hosted on www.elsevier.com and on Elsevier content platform ScienceDirect, and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus and Engineering Village (Ei). This includes EI Compendex. All accepted papers will also be indexed in DBLP. If you have any further questions, please contact the workshop organizers via https://cfati.conceptechint.net/contact-us.html

1 0

Postdoc position at University of Bristol in functional programming
by Meng Wang 01 Jun '20

01 Jun '20

Dear Haskellers, The programming languages group at Bristol has an open postdoc position in the area of functional programming. Haskell programmers are particularly welcome! Best regards, Meng Meng Wang, PhD (Oxon) Senior Lecturer in Programming Languages International Director, SCEEM School We are looking for an enthusiastic, self-motivated individual to contribute to an EPSRC-funded project, which aims to design programming languages that guarantee strong properties, and the application of them. The post holder will be based in the programming languages group at the University of Bristol Computer Science Department, which consists of three academics, two PDRAs, and a number of PhD students. You will also be working with a network of partners from Oxford, Edinburgh, Kent, Tohoku Japan, Chalmers Sweden, and industrial partner DFINITY Foundations providing expertise on WebAssembly. The University of Bristol is a world-leading university (consistently ranked top 50 in the world by QS) with an exceptionally strong Faculty of Engineering (which the Department of Computer Science is part of). Bristol is a mid-sized city and is widely considered as one of the best places to live in the country. You should have a PhD in programming languages, or a closely related field. This post is available immediately and is offered on a full-time based for an initial term of three years. Appointment at a higher salary point than grade I is possible based on relevant experience. Informal enquiries should be addressed to Dr. Meng Wang (meng.wang(a)bristol.ac.uk<mailto:meng.wang@bristol.ac.uk>) For more details about this position, please see: http://www.bristol.ac.uk/jobs/find/details.html?nPostingID=68914&nPostingTa… Deadline: 28 Jun 2020

1 0

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