May 2022 - Haskell - Haskell.org

CRiSIS 2022 CFP: The 17th International Conference on Risks and Security of Internet and Systems (CRiSIS 2022)
by SAOUSSEN CHEIKHROUHOU 07 May '22

07 May '22

17th International Conference on Risks and Security of Internet and Systems (CRiSIS 2022) December 7th-9th, 2022 Sousse, Tunisia https://crisis2022.redcad.org =============== TOPICS The International Conference on Risks and Security of Internet and Systems 2022 will be the 17th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defense, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. The list of topics includes but is not limited to: AI and machine learning based security approaches Analysis and management of risk Attacks and defenses Attack data acquisition and network monitoring Authorization, Authentication, and Identity Management Blockchain and Distributed Ledger Technologies Cryptography, biometrics, watermarking Dependability and fault tolerance of Internet applications Distributed systems security and safety Embedded system security and safety Empirical methods for security and risk evaluation Hardware-based security and physical security Intrusion detection and prevention systems Organizational, ethical, and legal issues Privacy protection and anonymization Risk-aware access and usage control Analysis and management of cyber crisis Security and risk assessment Security and risks metrics Security and dependability of operating systems Security and safety of critical infrastructures Security and privacy of peer-to-peer system Security and privacy of wireless networks Security in Cloud/Edge/Fog computing Security models and security policies Security of big data Security of industrial control systems Security of intelligent transportation systems Security of e-commerce, electronic voting and database systems Security of new generation networks Security of smart cities Security of smart grid Security of social networks Security of the IoT and IIoT Security of VoIP and multimedia Smartphone security and privacy Traceability, metrology and forensics Trust management Ubiquitous computing security Use of smart cards and personal devices for Internet applications Virtualization security Web and Web-service security =============== SUBMISSIONS Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style. http://www.springer.de/comp/lncs/authors.html Authors of accepted papers must guarantee that their papers will be presented at the conference. All paper submissions will be handled through the Easy Chair conference management system: https://easychair.org/conferences/?conf=crisis2022 =============== IMPORTANT DATES Paper submission deadline: June 22nd, 2022 Notification of acceptance: August 8th, 2022 Camera-ready paper due: September 22nd, 2022 Registration deadline: September 30th 2022 Conference date: December 7th-9th, 2022 =============== COMMITTEES -- General chairs Ahmed Hadj Kacem, University of Sfax, Tunisia Frédéric Cuppens, Polytechnique Montreal, Canada Nora Cuppens, Polytechnique Montreal, Canada -- Program Committee chairs Mohammad Zulkernine, School of Computing of Queen's University, Canada Mohamed Jmaiel, University of Sfax, Tunisia -- Program Committee (TBC) Takoua Abdellatif, UNiversity of Sousse, Tunisia Saed Alrabaee, United Arab Emirates University, United Arab Emirates Esma Aïmeur, University of Montreal, Canada Michel Barbeau, Carleton University, Canada Sébastien Bardin, CEA LIST, France Lotfi Ben Othmane, Iowa State University, USA Aymen Boudguiga, IRT SystemX, France Frederic Cuppens, Polytrechnique de Montreal, Canada Nora Cuppens, Polytrechnique de Montreal, Canada Soufiene Djahel, Manchester Metropolitan University, UK Bogdan Groza, Politehnica University of Timisoara, Romania Yong Guan, Iowa State University, USA Berk Gulmezoglu, Iowa State University, USA Philippe Jaillon, Ecole des Mines de Saint-Etienne, France Christos Kalloniatis, University of the Aegean, Greece Sokratis Katsikas, Norwegian University of Science and Technology, Norway Igor Kotenko, St. Petersburg Federal Research Center of the Russian Academy of Sciences, Russia Evangelos Kranakis, Carleton University, Canada Marc Lacoste, Orange Labs, France Jean Leneutre, Telecom Paris, France Jianbing Ni, University of Waterloo, Canada Fengjun Li, University of Kansas, USA Luigi Logrippo, Universite du Quebec en Outaouais, Canada Bo Luo, University of Kansas, USA Sanjay Madria, Missouri University of Science and Technology, USA Ahmed Meddahi, IMT Lille Douai, France Mohamed Mosbah, University of Bordeaux, France Guillermo Navarro, Autonomous University of Barcelona, Spain Kai Rannenberg, Goethe University Frankfurt, Germany Riadh Robbana, University of Carthage, Tunisia Michael Rusinowitch, LORIA – INRIA Nancy, France Siraj A. Shaikh, Coventry University, UK Jun Shao, Zhejiang Gongshang University, China Seungwon Shin, Texas A&M University, USA Natalia Stakhanova, University of Saskatchewan, Canada Ketil Stoelen, SINTEF, Norway Qiang Tang, Luxembourg Institute of Science and Technology, Luxembourg Nadia Tawbi, Laval University, Canada Eugene Vasserman, Kansas State University, USA Lingyu Wang, Concordia University, Canada Lingjing Yu, Chinese Academy of Sciences, China Akka Zemmari, Universite de Bordeaux, France Junwei Zhou, Wuhan University of Technology, China -- Organizing Committee Slim Kallel, University of Sfax, Tunisia (chair) Ismail Bouassida, University of Sfax, Tunisia Nesrine Khabou, University of Sfax, Tunisia Bechir Zalila, University of Sfax, Tunisia Saoussen Cheikhrouhou, University of Sfax, Tunisia --

1 0

PPDP 2022 - 2nd Call for Papers
by Manuel Hermenegildo 04 May '22

04 May '22

[ Apologies for multiple postings ] =============================== PPDP 2022 - 2nd Call for Papers =============================== 24th International Symposium on Principles and Practice of Declarative Programming 20-22 September 2022, Tbilisi, Georgia Co-located with LOPSTR 2022 as part of CLAS 2022 The conference will be held as a hybrid (blended) meeting, both in-person and virtual. https://software.imdea.org/Conferences/PPDP2022/ ================================================= Latest news: - Invited speakers announced. - Conference to be held as blended meeting, in-person and virtual. - Proceedings published by ACM in the ICPS series. - A selection of the best papers will be invited for submission to TPLP as rapid publications. ================================================= Important Dates --------------- - 15.05.2022 AoE title and abstract submission - 22.05.2022 AoE paper submission - 29.06.2022 rebuttal period (48 hours) - 09.07.2022 notification - 23.07.2022 final paper - 20.09.2022 conference starts About PPDP ---------- The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chairs will be happy to advise on the appropriateness of a topic. Submission web page --------------------- https://easychair.org/conferences/?conf=ppdp2022 Submission Categories --------------------- Submissions can be made in three categories: - Research Papers, - System Descriptions, - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM sigconf style, 2-column (including figures, but excluding bibliography). See below for further formatting instructions. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages *including references*. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Format of a submission: For each paper category, you must follow the instructions of the new ACM Primary Article Templates. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, please contact ACM's TeX support team at Aptara. Authors should note ACM's statement on author's rights which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy. Final publication will follow the new ACM Primary Article TAPS Publication Workflow. Invited Speakers ---------------- Niki Vazou, IMDEA Software Institute Florian Zuleger, Technische Universität Wien Program Committee ------------------ Beniamino Accattoli, Inria & LIX École Polytechnique, France (co-chair) Manuel Hermenegildo, IMDEA Software Institute and Technical U. of Madrid, Spain (co-chair) Salvador Abreu, NOVA LINCS / University of Evora, Portugal David Baelde, ENS Rennes, IRISA, France Pierre-Evariste Dagand, IRIF - CNRS, France Marina De-Vos, University of Bath, UK Esra Erdem, Sabanci University, Turkey Guilhem Jaber, Université de Nantes, France Oleg Kiselyov, Tohoku University, Japan Georg Moser, University of Innsbruck, Austria Koko Muroya, RIMS, Kyoto University, Japan Gopalan Nadathur, University of Minnesota, US Kim Nguyen, Université Paris-Sud 11, France Carlos Olarte, LIPN, Université Sorbonne Paris Nord, France Ricardo Rocha, University of Porto, Portugal Filip Sieczkowski, Heriot Watt University, UK Theresa Swift, NovaLINCS, Universidade Nova de Lisboa, Portugal Benoit Valiron, LMF - CentraleSupelec, Univ. Paris Saclay, France Jan Van den Bussche, Hasselt University, Belgium German Vidal, MiST, VRAIN, Universitat Politecnica de Valencia, Spain --------------------------------------------------------------------------- Organizing committee chair: Besik Dundua, Tbilisi State University, Georgia Steering committee chair: James Cheney, Edinburgh University, UK ---------------------------------------------------------------------------

1 0

Journal of Functional Programming - Call For PhD Abstracts
by Graham Hutton 03 May '22

03 May '22

Dear all, If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 31st May 2022. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st May 2022 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 31st May 2022. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0