From andrea.rosa at usi.ch Tue Jul 4 14:42:42 2023 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 4 Jul 2023 14:42:42 +0000 Subject: [Haskell] VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers Message-ID: <9ad2adc31d00403088facba8a1d5122b@usi.ch> ------------------------- Andrea Rosà Postdoctoral Researcher Faculty of Informatics - Office D5.10 Università della Svizzera italiana (USI) Via la Santa 1 CH-6962 Viganello Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/postdoc/rosaa/ ======================================================================== Call for Papers Workshop on Virtual Machines and Language Implementations (VMIL’23) Co-located with SPLASH 2023 October 22-27, 2023, Cascais, Portugal https://2023.splashcon.org/home/vmil-2023 ======================================================================== The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to: - design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism); - compilation (static and dynamic compilation strategies, optimizations, data representations); - memory management; - security considerations; - concurrency (both internal and user-facing); - performance engineering; - tool support and related infrastructure (profiling, debugging, liveness, persistence); - the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc.); - empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design; - the use of VMs in teaching programming, programming languages, and programming language implementation. ---------------------------------- Submission Guidelines ---------------------------------- We invite high-quality papers in the following two categories: - Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10 pages, excluding references). - Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract). Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop. The workshop has two submission deadlines. For the first submission deadline, all paper types are considered for publication in the ACM Digital Library, except if the authors prefer not to be included. Publication of work-in-progress and position papers at VMIL is not intended to preclude later publication elsewhere. For the second deadline, we will consider only work-in-progress and position papers. These will not be published in the ACM DL, and will only appear on the website. The address of the submission site is: https://vmil23.hotcrp.com ---------------------------------- Important Dates ---------------------------------- All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h 2023-07-12: Abstract submission deadline (research and experience papers) 2023-07-17: Submission deadline (research and experience papers) 2023-07-27: Submission deadline (WIP and position papers only) 2023-08-24: Acceptance notification 2023-09-10: Camera-ready paper deadline ---------------------------------- Format Instructions ---------------------------------- Please use the SIGPLAN acmart style (`sigplan` option) for all papers: https://sigplan.org/Resources/Author/#acmart-format. The provided double-column template is available for Latex and Word. ---------------------------------- Organization ---------------------------------- PC Chairs: Andrea Rosà, Università della Svizzera italiana Martin Henz, National University Singapore Program Committee: Edd Barrett, King’s College London Steve Blackburn, Australian National University and Google Rodrigo Bruno, INESC-ID / Técnico, ULisboa Juan Fumero, University of Manchester Christine H. Flood, Red Hat, Inc. Doug Lea, State University of New York (SUNY) Oswego Hidehiko Masuhara, Tokyo Institute of Technology Fabio Niephaus, Oracle Labs, Potsdam Guido Salvaneschi, University of St. Gallen Adam Welc, Uber Technologies ------------------------- Andrea Rosà Faculty of Informatics - Office D5.10 Università della Svizzera italiana (USI) Via la Santa 1 CH-6962 Viganello Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 -------------- next part -------------- An HTML attachment was scrubbed... URL: From alex.kavvos at bristol.ac.uk Wed Jul 5 12:26:47 2023 From: alex.kavvos at bristol.ac.uk (Alex Kavvos) Date: Wed, 5 Jul 2023 12:26:47 +0000 Subject: [Haskell] Lectureship at Bristol Message-ID: Dear all The School of Computer Science of the University of Bristol is seeking to appoint a Lecturer in Programming Languages. The focus of the position will be in Compilers, interpreted very broadly. The deadline for applications is the 30th of July 2023. Job ad: https://www.bristol.ac.uk/jobs/find/details/?jobId=316176 For informal queries you are highly encouraged to contact the Head of School (Mike Fraser), and the Head of the Programming Languages Group (Meng Wang) Best wishes Alex … Alex Kavvos … Senior Lecturer in Programming Languages … University of Bristol, United Kingdom … https://seis.bristol.ac.uk/~tz20861/   From cong at c.titech.ac.jp Wed Jul 5 13:03:00 2023 From: cong at c.titech.ac.jp (Youyou Cong) Date: Wed, 5 Jul 2023 22:03:00 +0900 Subject: [Haskell] GPCE 2023: Deadline Extension Message-ID: TL;DR: The abstract and paper submission deadlines for GPCE 2023 have been extended to July 10th and 14th, respectively. ------------------------------------------------------------------------------- GPCE 2023: 22nd International Conference on Generative Programming: Concepts & Experiences GPCE 2023 will be co-located with SPLASH, SAS, and SLE. The conference will be hosted in Lisbon, Portugal. https://conf.researchr.org/home/gpce-2023/ ------------------------------------------------------------------------------- New in GPCE 2023: This year, GPCE considers the following additional topics of interest: * AI/ML techniques for generating code, and * low code / no code approaches. Also, GPCE solicits an additional paper category: * Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). --------------------------- CALL FOR PAPERS --------------------------- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, * macro systems, preprocessors, * program synthesis, * code-recommendation systems, * domain-specific languages, * generative language workbenches, * language embedding, language design, * feature-oriented programming, * domain engineering, * feature interactions, * applications and properties of code generation, * language implementation, * product-line development, * (NEW!) AI/ML techniques for generating code, and * (NEW!) low code / no code approaches. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. --------------------------- PAPER CATEGORIES --------------------------- GPCE solicits four kinds of submissions: * Full Papers: reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topics. Full paper submissions must not exceed 12 pages excluding the bibliography. * Short Papers: presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text “(Short Paper)” appended to their titles. * Tool Demonstrations: presenting tools for any GPCE topics. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text “(Tool Demonstration)” appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used for evaluating the submission. * (NEW!) Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are included in the proceedings and will be presented at the conference. Generative Pearl submissions must not exceed 12 pages excluding the bibliography (but may be shorter), and must have the text “(Generative Pearl)” appended to their titles. --------------------------- PAPER SELECTION --------------------------- The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. --------------------------- BEST PAPER AWARD --------------------------- Following the tradition, the GPCE 2023 program committee will select the best paper among accepted papers. The authors of the best paper will be given the best paper award at the conference. --------------------------- IMPORTANT DATES --------------------------- - Abstract submission: July 10th (Monday) - Paper submission: July 14th (Friday) - Review notification: August 23rd (Wednesday) - Author response: August 25th (Friday) - Final notification: September 3rd (Sunday) - Camera-ready due: September 10th (Sunday) - SPLASH 2023: October 22nd - 27th All times are in AoE (Anywhere on Earth). --------------------------- PAPER SUBMISSION --------------------------- Papers must be submitted using HotCRP: https://gpce2023.hotcrp.com/ All submissions must use the ACM SIGPLAN Conference Format "acmart". Be sure to use the latest LaTeX templates and class files, the SIGPLAN sub-format, and 10-point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}. To increase fairness in reviewing, GPCE 2023 uses the double-blind review process which has become standard across SIGPLAN conferences: - Author names, institutions, and acknowledgments should be omitted from submitted papers, and - references to the authors' own work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer authors' identities in implicit ways. For additional information, clarification, or answers to questions, contact the program chair. The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication/). --------------------------- ORGANIZATION --------------------------- - General Chair: Bernhard Rumpe (RWTH Aachen University) - Program Chair: Amir Shaikhha (University of Edinburgh) - Publicity Chair: Youyou Cong (Tokyo Institute of Technology) - Steering Committee Chair: Sebastian Erdweg (JGU Mainz) For additional information, clarification, or answers to questions, contact the program chair: amir dot shaikhha at ed dot ac dot uk --------------------------- PROGRAM COMMITTEE --------------------------- Aleksandar Dimovski - Mother Teresa University, Skopje Coen De Roover - Vrije Universiteit Brussel Daniel Strüber - Chalmers | University of Gothenburg Elena Zucca - University of Genova Eli Tilevich - Virginia Tech Geoffrey Mainland - Drexel University Jeremy Gibbons - Oxford University Jeremy Yallop - University of Cambridge Julia Lawall - Inria Lionel Parreaux - The Hong Kong University of Science and Technology Márcio Ribeiro - Federal University of Alagoas Martin Erwig - Oregon State University Michael O'Boyle - University of Edinburgh Philip Wadler - University of Edinburgh Raffi Khatchadourian - City University of New York (CUNY) Hunter College Ruby Tahboub - University of Illinois Urbana-Champaign Sandro Stucki - Amazon Prime Video Sebastian Erdweg - JGU Mainz Sheng Chen - UL Lafayette Shigeru Chiba - University of Tokyo Shoaib Kamil - Adobe Sibylle Schupp - Hamburg University of Technology Simon Fowler - University of Glasgow Vojin Jovanovic - Oracle Labs Walter Binder - Università della Svizzera italiana (USI) Youyou Cong - Tokyo Institute of Technology Yukiyoshi Kameyama - University of Tsukuba -------------- next part -------------- An HTML attachment was scrubbed... URL: From bpientka at cs.mcgill.ca Thu Jul 6 06:55:57 2023 From: bpientka at cs.mcgill.ca (Brigitte Pientka) Date: Thu, 6 Jul 2023 06:55:57 +0000 Subject: [Haskell] CFP : CPP 2024 -- Certified Proofs and Programs Message-ID: Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2024 (https://popl24.sigplan.org/home/CPP-2024 ) will be held on 15-16 January 2024 and will be co-located with POPL 2024 in London, UK. CPP 2024 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will welcome contributions from all members of the community. The CPP 2024 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2024 organizers. IMPORTANT DATES * Abstract Submission Deadline: 12 September 2023 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 19 September 2023 at 23:59 AoE (UTC-12h) * Notification (tentative): 21 November 2023 * Camera Ready Deadline (tentative): Mid December 2023 (TBA) * Conference: 15-16 January 2024 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. DISTINGUISHED PAPER AWARDS Around 10% of the accepted papers at CPP 2024 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: * certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware; * certified mathematical libraries and mathematical theorems; * proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc); * new languages and tools for certified programming; * program analysis, program verification, and program synthesis; * program logics, type systems, and semantics for certified code; * logics for certifying concurrent and distributed systems; * mechanized metatheory, formalized programming language semantics, and logical frameworks; * higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security; * verification of correctness and security properties; * formally verified blockchains and smart contracts; * certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; * certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; * certificates for program termination; * formal models of computation; * mechanized (un)decidability and computational complexity proofs; * formally certified methods for induction and coinduction; * integration of interactive and automated provers; * logical foundations of proof assistants; * applications of AI and machine learning to formal certification; * user interfaces for proof assistants and theorem provers; * teaching mathematics and computer science with proof assistants. SUBMISSION GUIDELINES Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system at https://cpp2024.hotcrp.com The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format using the acmart style with the sigplan option, which provides a two-column style, using 10 point font for the main text, and a header for double blind review submission, i.e., \documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. Submissions not conforming to the requirements concerning format and maximum length may be rejected without further consideration. CPP 2024 will employ a lightweight double-blind reviewing process following the process from previous years. To facilitate this, the submissions must adhere to two rules: (1) author names and institutions must be omitted, and (2) references to authors’ own related work should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing it more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their papers as usual. For example, authors may post drafts of their papers on the web or give talks on their research ideas. Note that POPL 2024 itself will employ full double-blind reviewing, which differs from the light-weight CPP process. This FAQ from previous SIGPLAN conference addresses many common concerns: https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ We strongly encourage the authors to provide any supplementary material that supports the claims made in the paper, such as proof scripts or experimental data. This material must be uploaded at submission time, as an archive, not via a URL. Two forms of supplementary material may be submitted: (1) Anonymous supplementary material is made available to the reviewers before they submit their first-draft reviews. (2) Non-anonymous supplementary material is made available to the reviewers after they have submitted their first-draft reviews and have learned the identity of the authors. Please use anonymous supplementary material whenever possible, so that it can be taken into account from the beginning of the reviewing process. The submitted papers must adhere to the SIGPLAN Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/ ) and the ACM Policy on Plagiarism (https://www.acm.org/publications/policies/plagiarism ). Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper is expected to present it at the (possibly virtual) conference. PUBLICATION, COPYRIGHT AND OPEN ACCESS The CPP 2024 proceedings will be published by the ACM, and authors of accepted papers will be required to choose one of the following publication options: (1) Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license and, optionally, licenses the work under a Creative Commons license. (2) Author retains copyright of the work and grants ACM an exclusive permission-to-publish license. (3) Author transfers copyright of the work to ACM. For authors who can afford it, we recommend option (1), which will make the paper Gold Open Access, and also encourage such authors to license their work under the CC-BY license. ACM will charge you an article processing fee for this option (currently, US$700), which you have to pay directly with the ACM. You don’t need to pay this fee if the corresponding author’s affiliating institution is part of ACM OPEN (https://libraries.acm.org/subscriptions-access/open-participants ). For everyone else, we recommend option (2), which is free and allows you to achieve Green Open Access, by uploading a preprint of your paper to a repository that guarantees permanent archival such as arXiv or HAL. This is anyway a good idea for timely dissemination even if you chose option 1. The official CPP 2024 proceedings will also be available via SIGPLAN OpenTOC (http://www.sigplan.org/OpenTOC/#cpp ). For ACM’s take on this, see their Copyright Policy (http://www.acm.org/publications/policies/copyright-policy ) and Author Rights (http://authors.acm.org/main.html ). Sandrine Blazy, University of Rennes, France (co-chair) Brigitte Pientka, McGill University, Canada (co-chair) ORGANIZERS Amin Timany, Aarhus University, Denmark (conference co-chair) Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair) Sandrine Blazy, University of Rennes (PC co-chair) Brigitte Pientka, McGill University, Canada (PC co-chair) CONTACT For any questions please contact the two PC chairs: Sandrine Blazy > Brigitte Pientka > -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: Message signed with OpenPGP URL: From ali.benzerbadj at univ-temouchent.edu.dz Thu Jul 6 11:56:36 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Thu, 6 Jul 2023 12:56:36 +0100 Subject: [Haskell] EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks Message-ID: ********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/ ********************************************************************************** The 14th 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 16, 2023 - Paper Submission Due: *July 14, 2023* (Final Extension) - Author Notification: August 11, 2023 - Final Manuscript Due: September 11, 2023 Publication ------------- All EUSPN 2023 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, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Traffic and Transportation Management, IAKS (https://iasks.org/jttm) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of Transportation Research Part A: Policy and Practice, Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/ ) EUSPN 2023 will be held in conjunction with the 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-23/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-23/call-for-papers.html EUSPN 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centres, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty's visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU's research is focused on the main sectors of the Kazakhstani economy - oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. 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 Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Local Chairs Dzhumaseitova Assel, Kazakh-British Technical University, Kazakhstan Yevgeniya Daineko, International Information Technology University, Kazakhstan Nurgul Nalgozhina, International Information Technology University, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Siddardha Kaja, Air Canada, Canada Dinara Kozhamzharova, International Information Technology University, Kazakhstan Ipalakova Madina, International Information Technology University, Kazakhstan Dimitrios Zavantis, AGEAN motorway, Greece Program Vice Chairs Anas Al-Rahamneh, Public University of Navarre, Spain Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France Joh Chang-Hyeon, Kyung Hee University, South Korea Taner Cokyasar, Argonne National Laboratory, US Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Flavio Lombardi, Universita Roma Tre, Italy Ka Lok Man, Xi'an Jiaotong-Liverpool University, China Abdeljebar Mansour, Abdelmalek Essaâdi University-Tetouan, Morocco Fernando Moreira, Universidade Portucalense, Portugal Yazan Mualla, Université de Technologie de Belfort-Montbéliard, France Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France Michael Sheng, Macquarie University, Australia Igor Tchappi, University of Luxembourg, Luxembourg Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-23/organizing-commitee.html -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Thu Jul 6 12:07:57 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Thu, 6 Jul 2023 13:07:57 +0100 Subject: [Haskell] ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Message-ID: Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 16, 2023 - Paper Submission Due: *July 14, 2023 *(Final Extension) - Author Notification: August 11, 2023 - Final Manuscript Due: September 11, 2023 Publication ------------- All ICTH 2023 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, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of E-Health and Medical Communications, IGI Global ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158 ) ICTH 2023 will be held in conjunction with the 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-23/). Papers on either completed or ongoing research are invited: http://cs-conferences.acadiau.ca/icth-23/call-for-papers.html ICTH 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centers, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty’s visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU’s research is focused on the main sectors of the Kazakhstani economy – oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chairs Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Hamid Mcheick, UQAC, Canada Local Chairs Biloshchytskyi Andrii, Astana IT University, Kazakhstan Katerina Kolesnikova, International Information Technology University, Kazakhstan Anar Makhmetova, University of International Business, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Batryshev Didar, Kazakh-British Technical University, Kazakhstan Azamat Imanbayev, Kazakh-British Technical University, Kazakhstan Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Technical Program Committee http://cs-conferences.acadiau.ca/icth-23/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From calimeri at mat.unical.it Fri Jul 7 15:30:12 2023 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Fri, 7 Jul 2023 17:30:12 +0200 Subject: [Haskell] [CfP] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023 Message-ID: [apologize for multiple postings] ================================================================== Second AIxIA Workshop on Artificial Intelligence For Healthcare HC at AIxIA 2023 November 6 - 9, 2023, Rome, Italy https://sites.google.com/unical.it/hcaixia2023 CO-LOCATED with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023) ================================================================== = Background = In the latest years we have been witnessing the ubiquitous application of Artificial Intelligence in real-world domains; in particular, AI-based solutions significantly changed the game in the field of medicine and healthcare in several respects (research, management, clinical practice). Indeed, applications of AI in the healthcare domain became a major research topics, that attracts cross-disciplinary research groups. Medicine and health care require highly complex decision making to ensure that the trajectory a patient with a disease needs to take for diagnosis, treatment, recovery, and finally outcome is optimal in some sense. As a consequence, researchers have to draw methods from the entire field of AI. On the other hand, healthcare and medicine are built upon a rich and evolving body of knowledge, e.g., concerning the pathophysiology of diseases, molecular, genetic, cytological, and histological characterization of stages of a disease, described by temporal and spatial patterns. Such knowledge can also act as background knowledge to guide machine learning. In order to move towards effective and long-lasting applications of AI in healthcare, it is crucial to elucidate the relationship between what can be expected from AI methods when applied to healthcare problems and the role knowledge of healthcare and clinical medicine can play in developing AI solutions to health-care and clinical problems. = The Workshop = Following the success of the first edition, the HX at AIxIA workshop aims at gathering researchers from academia, industry and medical centers for presenting and discussing the latest research results and ongoing works related to the application and impact of AI in the healthcare domain, to the larger extent, thus aiming at covering a wide spectrum of topics, including theoretical and practical aspects, methodologies, technologies, and systems. Topics include, ***but are not limited to***: - Machine learning methods, data mining and statistical methods for clinical decision support - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare: - Methods for diagnosis, treatment selection, treatment planning, and prognosis - Monitoring patients in healthcare - Ontologies and medical vocabularies - Personalized medicine - Computer-interpretable clinical guidelines - Support for natural language generation/understanding in connection electronic patient records - Tools for supporting authoring, execution and maintenance of clinical protocols and guidelines - Tools for building and deployment of clinical decision-support systems = Contributions = The workshop will feature presentations of refereed contributions; four types of submissions are invited: - full papers; - short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects; - systems or prototype software descriptions: they must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Systems of both research and industrial character are welcome. - papers already submitted to other conferences or journals, suitable for dissemination and opening discussion. Besides demos, some contributions might be invited to be presented as posters. = Submission Instructions = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hcaixia2023 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. No page limit is set for non-original contributions. Manuscripts should be formatted using the CEUR-ART style available at the link: https://ceur-ws.org/HOWTOSUBMIT.html. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to: - register to AIxIA 2023; - attend HC at AIxIA 2023 workshop and present the paper (each attendee should not present more than 2 works at the workshop). The event is organized by AIxIA. = Proceedings = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the workshop web site, including a link to the original publication, if already published. = Journal Special Issue = Organizers confirm that workshop post-proceedings will be part of a special issue of an international journal, provided that a sufficient amount of quality papers is collected. In such case, authors of accepted papers will be invited to submit extended and revised versions of their papers. Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. A second review formal process will be run in order to meet the expected quality of a journal. The Journal will be announced shortly. = Working Group Meeting All authors of accepted papers are invited to participate in the annual meeting of the AI and Healthcare Working Group of AIxIA, that will be held right after the workshop. = IMPORTANT DATES (tentative) = Abstract submission: September 05, 2023 Paper submission: September 13, 2023 Notification to authors: October 02, 2023 Camera-ready copy due: October 09, 2023 Main Workshop starts: November 06, 2023 (maybe subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Mon Jul 10 20:30:03 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Mon, 10 Jul 2023 21:30:03 +0100 Subject: [Haskell] ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Message-ID: Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 16, 2023 - Paper Submission Due: *July 14, 2023 *(Final Extension) - Author Notification: August 11, 2023 - Final Manuscript Due: September 11, 2023 Publication ------------- All ICTH 2023 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, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of E-Health and Medical Communications, IGI Global ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158 ) ICTH 2023 will be held in conjunction with the 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-23/). Papers on either completed or ongoing research are invited: http://cs-conferences.acadiau.ca/icth-23/call-for-papers.html ICTH 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centers, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty’s visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU’s research is focused on the main sectors of the Kazakhstani economy – oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chairs Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Hamid Mcheick, UQAC, Canada Local Chairs Biloshchytskyi Andrii, Astana IT University, Kazakhstan Katerina Kolesnikova, International Information Technology University, Kazakhstan Anar Makhmetova, University of International Business, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Batryshev Didar, Kazakh-British Technical University, Kazakhstan Azamat Imanbayev, Kazakh-British Technical University, Kazakhstan Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Technical Program Committee http://cs-conferences.acadiau.ca/icth-23/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From ryan.gl.scott at gmail.com Mon Jul 10 22:34:53 2023 From: ryan.gl.scott at gmail.com (Ryan Scott) Date: Mon, 10 Jul 2023 18:34:53 -0400 Subject: [Haskell] Call for Talks: Haskell Implementors' Workshop 2023 (deadline extension) Message-ID: TL;DR: The submission deadline for the 2023 Haskell Implementors' Workshop has been extended to June 16. ================================== ACM SIGPLAN Haskell Implementors' Workshop https://icfp23.sigplan.org/home/hiw-2023 Seattle, Washington, United States, September 4, 2023 Co-located with ICFP 2023 https://icfp23.sigplan.org/ Important dates --------------- Deadline: July 16, 2023 (AoE) (extended) Notification: August 4, 2023 Workshop: September 4, 2023 The 15th Haskell Implementors' Workshop is to be held alongside ICFP 2023 this year in Seattle. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure to share their work and to discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos, and short lightning talks. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2023. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides, and presented data available with the consent of the speakers. The Implementors' Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community are encouraged to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are especially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions can be made via HotCRP at https://icfp-hiw23.hotcrp.com until July 16 (anywhere on earth). We will also have a lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks should be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Program Committee ----------------- * Gergő Érdi (Standard Chartered Bank) * Sebastian Graf (Karlsruhe Institute of Technology) * Wen Kokke (University of Strathclyde) * Ryan Scott (Galois, Inc.) * Rebecca Skinner (Mercury) * Li-yao Xia (University of Edinburgh) Contact ------- * Ryan Scott -------------- next part -------------- An HTML attachment was scrubbed... URL: From ryan.gl.scott at gmail.com Mon Jul 10 22:40:16 2023 From: ryan.gl.scott at gmail.com (Ryan Scott) Date: Mon, 10 Jul 2023 18:40:16 -0400 Subject: [Haskell] Call for Talks: Haskell Implementors' Workshop 2023 (deadline extension) In-Reply-To: References: Message-ID: Apologies, that should read *July* 16, not June 16, for the submission deadline at the top of the email. (The body of the email contains the correct date.) Best, Ryan On Mon, Jul 10, 2023 at 6:34 PM Ryan Scott wrote: > TL;DR: The submission deadline for the 2023 Haskell Implementors' Workshop > has been extended to June 16. > > ================================== > > ACM SIGPLAN Haskell Implementors' Workshop > https://icfp23.sigplan.org/home/hiw-2023 > Seattle, Washington, United States, September 4, 2023 > > Co-located with ICFP 2023 > https://icfp23.sigplan.org/ > > Important dates > --------------- > > Deadline: July 16, 2023 (AoE) (extended) > Notification: August 4, 2023 > Workshop: September 4, 2023 > > The 15th Haskell Implementors' Workshop is to be held alongside ICFP > 2023 this year in Seattle. It is a forum for people involved in the > design and development of Haskell implementations, tools, libraries, > and supporting infrastructure to share their work and to discuss future > directions and collaborations with others. > > Talks and/or demos are proposed by submitting an abstract, and > selected by a small program committee. There will be no published > proceedings. The workshop will be informal and interactive, with > open spaces in the timetable and room for ad-hoc discussion, demos, > and short lightning talks. > > Scope and target audience > ------------------------- > > It is important to distinguish the Haskell Implementors' Workshop from > the Haskell Symposium which is also co-located with ICFP 2023. The > Haskell Symposium is for the publication of Haskell-related research. In > contrast, the Haskell Implementors' Workshop will have no proceedings -- > although we will aim to make talk videos, slides, and presented data > available with the consent of the speakers. > > The Implementors' Workshop is an ideal place to describe a Haskell > extension, describe works-in-progress, demo a new Haskell-related tool, > or even propose future lines of Haskell development. Members of the > wider Haskell community are encouraged to attend the workshop -- we need > your feedback to keep the Haskell ecosystem thriving. Students working > with Haskell are especially encouraged to share their work. > > The scope covers any of the following topics. There may be some topics > that people feel we've missed, so by all means submit a proposal even if > it doesn't fit exactly into one of these buckets: > > * Compilation techniques > * Language features and extensions > * Type system implementation > * Concurrency and parallelism: language design and implementation > * Performance, optimisation and benchmarking > * Virtual machines and run-time systems > * Libraries and tools for development or deployment > > Talks > ----- > > We invite proposals from potential speakers for talks and > demonstrations. We are aiming for 20-minute talks with 5 minutes for > questions and changeovers. We want to hear from people writing > compilers, tools, or libraries, people with cool ideas for directions in > which we should take the platform, proposals for new features to be > implemented, and half-baked crazy ideas. Please submit a talk title and > abstract of no more than 300 words. > > Submissions can be made via HotCRP at https://icfp-hiw23.hotcrp.com > until July 16 (anywhere on earth). > > We will also have a lightning talks session. These have been very well > received in recent years, and we aim to increase the time available to > them. Lightning talks should be ~7mins and are scheduled on the day of the > workshop. Suggested topics for lightning talks are to present a single > idea, a work-in-progress project, a problem to intrigue and perplex > Haskell implementors, or simply to ask for feedback and collaborators. > > Program Committee > ----------------- > > * Gergő Érdi (Standard Chartered Bank) > * Sebastian Graf (Karlsruhe Institute of Technology) > * Wen Kokke (University of Strathclyde) > * Ryan Scott (Galois, Inc.) > * Rebecca Skinner (Mercury) > * Li-yao Xia (University of Edinburgh) > > Contact > ------- > > * Ryan Scott > -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Wed Jul 12 15:11:00 2023 From: P.Achten at cs.ru.nl (Peter Achten) Date: Wed, 12 Jul 2023 17:11:00 +0200 Subject: [Haskell] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming Message-ID: # TFP 2024 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers,  Saturday 4 November, 2023 Submission deadline: pre-symposium, draft papers, Wednesday 30 November, 2023 Notification:        pre-symposium submissions,   Friday 8 December, 2023 TFPIE Workshop:                                   Tuesday 9 January, 2024 TFP Symposium:                                    Wednesday 10 - Friday 12 January, 2024 Submission deadline: post-symposium review,       Friday 23 February, 2024 Notification:        post-symposium submissions,  Friday 5 April, 2024 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. This year, TFP will take place in-person at Seton Hall University, in South Orange, NJ in the United States. It is co-located with the Trends in Functional Programming in Education (TFPIE) workshop, which will take on the day before the main symposium. Please be aware that TFP has several submission deadlines. The first, November 4, is for authors that wish to have their full paper reviewed prior to the symposium. Papers that are accepted in this way must also be presented at the symposium. The second, November 30, is for authors that wish to present their work or work-in progress at the symposium first without submitting to the full review process for publication. These authors can then take into account feedback received at the symposium and submit a full article for review by the third deadline, February 23. ## Scope The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: * Research Articles:   Leading-edge, previously unpublished research work * Position Articles:   On what new trends should or should not be * Project Articles:   Descriptions of recently started new projects * Evaluation Articles:   What lessons can be drawn from a finished project * Overview Articles:   Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: * Functional programming and multicore/manycore computing * Functional programming in the cloud * High performance functional computing * Extra-functional (behavioural) properties of functional programs * Dependently typed functional programming * Validation and verification of functional programs * Debugging and profiling for functional languages * Functional programming in different application areas:   security, mobility, telecommunications applications, embedded   systems, global computing, grids, etc. * Interoperability with imperative programming languages * Novel memory management techniques * Program analysis and transformation techniques * Empirical performance studies * Abstract/virtual machines and compilers for functional languages * (Embedded) domain specific languages * New implementation strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2024 program chair, Jason Hemann. ## Best Paper Awards TFP awards two prizes for the best papers each year. First, to reward excellent contributions, TFP awards a prize for the best overall paper accepted for the post-conference formal proceedings. Second, each year TFP also awards a prize for the best student paper. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are the paper’s first authors, and a student would present the paper. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, then that paper will receive both prizes. ## Instructions to Authors Authors must submit papers to:   Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. Further, pre-symposium submissions may either be full (earlier deadline) or draft papers (later deadline). ## Pre-symposium formal review Papers to be formally reviewed before the symposium should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected for publication but accepted for presentation may be resubmitted for the post-symposium formal review. ## Post-symposium formal review Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. ## Paper categories Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. ## Format Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS Guidelines web site: ## Organizing Committee Jason Hemann      PC Chair            Seton Hall University, USA Stephen Chang     Symposium Chair     University of Massachusetts Boston, USA Shajina Anand     Local Arrangements  Seton Hall University, South Orange, USA From ali.benzerbadj at univ-temouchent.edu.dz Thu Jul 13 07:36:35 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Thu, 13 Jul 2023 08:36:35 +0100 Subject: [Haskell] ICTH 2023 CFPs (DeadLine: July 14): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Message-ID: Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 16, 2023 - Paper Submission Due: *July 14, 2023 *(Final Extension) - Author Notification: August 11, 2023 - Final Manuscript Due: September 11, 2023 Publication ------------- All ICTH 2023 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, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of E-Health and Medical Communications, IGI Global ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158 ) ICTH 2023 will be held in conjunction with the 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-23/). Papers on either completed or ongoing research are invited: http://cs-conferences.acadiau.ca/icth-23/call-for-papers.html ICTH 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centers, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty’s visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU’s research is focused on the main sectors of the Kazakhstani economy – oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chairs Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Hamid Mcheick, UQAC, Canada Local Chairs Biloshchytskyi Andrii, Astana IT University, Kazakhstan Katerina Kolesnikova, International Information Technology University, Kazakhstan Anar Makhmetova, University of International Business, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Batryshev Didar, Kazakh-British Technical University, Kazakhstan Azamat Imanbayev, Kazakh-British Technical University, Kazakhstan Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Technical Program Committee http://cs-conferences.acadiau.ca/icth-23/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Thu Jul 13 07:41:20 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Thu, 13 Jul 2023 08:41:20 +0100 Subject: [Haskell] EUSPN 2023 CfPs (Deadline: July 14): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks Message-ID: ********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/ ********************************************************************************** The 14th 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 16, 2023 - Paper Submission Due: *July 14, 2023* (Final Extension) - Author Notification: August 11, 2023 - Final Manuscript Due: September 11, 2023 Publication ------------- All EUSPN 2023 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, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Traffic and Transportation Management, IAKS (https://iasks.org/jttm) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of Transportation Research Part A: Policy and Practice, Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/ ) EUSPN 2023 will be held in conjunction with the 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-23/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-23/call-for-papers.html EUSPN 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centres, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty's visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU's research is focused on the main sectors of the Kazakhstani economy - oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. 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 Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Local Chairs Dzhumaseitova Assel, Kazakh-British Technical University, Kazakhstan Yevgeniya Daineko, International Information Technology University, Kazakhstan Nurgul Nalgozhina, International Information Technology University, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Siddardha Kaja, Air Canada, Canada Dinara Kozhamzharova, International Information Technology University, Kazakhstan Ipalakova Madina, International Information Technology University, Kazakhstan Dimitrios Zavantis, AGEAN motorway, Greece Program Vice Chairs Anas Al-Rahamneh, Public University of Navarre, Spain Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France Joh Chang-Hyeon, Kyung Hee University, South Korea Taner Cokyasar, Argonne National Laboratory, US Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Flavio Lombardi, Universita Roma Tre, Italy Ka Lok Man, Xi'an Jiaotong-Liverpool University, China Abdeljebar Mansour, Abdelmalek Essaâdi University-Tetouan, Morocco Fernando Moreira, Universidade Portucalense, Portugal Yazan Mualla, Université de Technologie de Belfort-Montbéliard, France Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France Michael Sheng, Macquarie University, Australia Igor Tchappi, University of Luxembourg, Luxembourg Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-23/organizing-commitee.html -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Thu Jul 13 13:39:38 2023 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Thu, 13 Jul 2023 13:39:38 +0000 Subject: [Haskell] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension Message-ID: <8b87c63333f3467583075ccc7a4bbdb5@usi.ch> *** The abstract and paper submission deadlines have been extended *** The new deadlines are: 2023-07-23: Abstract and submission deadline (research and experience papers) 2023-08-02: Abstract and submission deadline (WIP and position papers only) ======================================================================== Call for Papers Workshop on Virtual Machines and Language Implementations (VMIL’23) Co-located with SPLASH 2023 October 22-27, 2023, Cascais, Portugal https://2023.splashcon.org/home/vmil-2023 ======================================================================== The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to: - design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism); - compilation (static and dynamic compilation strategies, optimizations, data representations); - memory management; - security considerations; - concurrency (both internal and user-facing); - performance engineering; - tool support and related infrastructure (profiling, debugging, liveness, persistence); - the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc.); - empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design; - the use of VMs in teaching programming, programming languages, and programming language implementation. ---------------------------------- Submission Guidelines ---------------------------------- We invite high-quality papers in the following two categories: - Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10 pages, excluding references). - Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract). Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop. The workshop has two submission deadlines. For the first submission deadline, all paper types are considered for publication in the ACM Digital Library, except if the authors prefer not to be included. Publication of work-in-progress and position papers at VMIL is not intended to preclude later publication elsewhere. For the second deadline, we will consider only work-in-progress and position papers. These will not be published in the ACM DL, and will only appear on the website. The address of the submission site is: https://vmil23.hotcrp.com ---------------------------------- Important Dates ---------------------------------- All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h 2023-07-23: Abstract and submission deadline (research and experience papers) 2023-08-02: Abstract and submission deadline (WIP and position papers only) 2023-08-28: Acceptance notification 2023-09-10: Camera-ready paper deadline ---------------------------------- Format Instructions ---------------------------------- Please use the SIGPLAN acmart style (`sigplan` option) for all papers: https://sigplan.org/Resources/Author/#acmart-format. The provided double-column template is available for Latex and Word. ---------------------------------- Organization ---------------------------------- PC Chairs: Andrea Rosà, Università della Svizzera italiana Martin Henz, National University Singapore Program Committee: Edd Barrett, King’s College London Steve Blackburn, Australian National University and Google Rodrigo Bruno, INESC-ID / Técnico, ULisboa Juan Fumero, University of Manchester Christine H. Flood, Red Hat, Inc. Doug Lea, State University of New York (SUNY) Oswego Hidehiko Masuhara, Tokyo Institute of Technology Fabio Niephaus, Oracle Labs, Potsdam Guido Salvaneschi, University of St. Gallen Adam Welc, Uber Technologies ---------------------------------- AUTHORS TAKE NOTE ---------------------------------- The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks before the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Mon Jul 24 21:45:15 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Mon, 24 Jul 2023 22:45:15 +0100 Subject: [Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks Message-ID: ********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7th - 9th, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/ ********************************************************************************** The 14th 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 16, 2023 - Papers Submission Due: August 25, 2023 (Firm Deadline) - Authors Notifications: September 15, 2023 - Final Manuscript Due: October 6, 2023 Publication ------------- All EUSPN 2023 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, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Traffic and Transportation Management, IAKS (https://iasks.org/jttm) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of Transportation Research Part A: Policy and Practice, Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/ ) EUSPN 2023 will be held in conjunction with the 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-23/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-23/call-for-papers.html EUSPN 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centres, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty's visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU's research is focused on the main sectors of the Kazakhstani economy - oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. 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 Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Local Chairs Dzhumaseitova Assel, Kazakh-British Technical University, Kazakhstan Yevgeniya Daineko, International Information Technology University, Kazakhstan Nurgul Nalgozhina, International Information Technology University, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Siddardha Kaja, Air Canada, Canada Dinara Kozhamzharova, International Information Technology University, Kazakhstan Ipalakova Madina, International Information Technology University, Kazakhstan Dimitrios Zavantis, AGEAN motorway, Greece Program Vice Chairs Anas Al-Rahamneh, Public University of Navarre, Spain Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France Joh Chang-Hyeon, Kyung Hee University, South Korea Taner Cokyasar, Argonne National Laboratory, US Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Flavio Lombardi, Universita Roma Tre, Italy Ka Lok Man, Xi'an Jiaotong-Liverpool University, China Abdeljebar Mansour, Abdelmalek Essaâdi University-Tetouan, Morocco Fernando Moreira, Universidade Portucalense, Portugal Yazan Mualla, Université de Technologie de Belfort-Montbéliard, France Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France Michael Sheng, Macquarie University, Australia Igor Tchappi, University of Luxembourg, Luxembourg Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-23/organizing-commitee.html -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Mon Jul 24 21:53:52 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Mon, 24 Jul 2023 22:53:52 +0100 Subject: [Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Message-ID: Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 16, 2023 - Papers Submission Due: August 25, 2023 (Firm Deadline) - Authors Notifications: September 15, 2023 - Final Manuscript Due: October 6, 2023 Publication ------------- All ICTH 2023 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, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of E-Health and Medical Communications, IGI Global ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158 ) ICTH 2023 will be held in conjunction with the 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-23/). Papers on either completed or ongoing research are invited: http://cs-conferences.acadiau.ca/icth-23/call-for-papers.html ICTH 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centers, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty’s visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU’s research is focused on the main sectors of the Kazakhstani economy – oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chairs Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Hamid Mcheick, UQAC, Canada Local Chairs Biloshchytskyi Andrii, Astana IT University, Kazakhstan Katerina Kolesnikova, International Information Technology University, Kazakhstan Anar Makhmetova, University of International Business, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Batryshev Didar, Kazakh-British Technical University, Kazakhstan Azamat Imanbayev, Kazakh-British Technical University, Kazakhstan Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Technical Program Committee http://cs-conferences.acadiau.ca/icth-23/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada --Papers Submission Due: August 25, 2023 (Firm Deadline) Authors Notifications: September 15, 2023 Final Manuscript Due: October 6, 2023 *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Tue Jul 25 16:27:05 2023 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 25 Jul 2023 16:27:05 +0000 Subject: [Haskell] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers Message-ID: <7e0b3788fdac421badba68d456a5628c@usi.ch> *** VMIL 2023 is accepting work-in-progress and position papers until 2023-08-02. Accepted papers will be published in the ACM Digital Library *** ======================================================================== Call for Papers Workshop on Virtual Machines and Language Implementations (VMIL’23) Co-located with SPLASH 2023 October 22-27, 2023, Cascais, Portugal https://2023.splashcon.org/home/vmil-2023 ======================================================================== The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to: - design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism); - compilation (static and dynamic compilation strategies, optimizations, data representations); - memory management; - security considerations; - concurrency (both internal and user-facing); - performance engineering; - tool support and related infrastructure (profiling, debugging, liveness, persistence); - the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc.); - empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design; - the use of VMs in teaching programming, programming languages, and programming language implementation. ---------------------------------- Submission Guidelines ---------------------------------- We invite high-quality papers in the following two categories: - Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10 pages, excluding references). - Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract). Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop. The workshop has two submission deadlines. For the first submission deadline, we will consider all paper types. For the second deadline, we will consider only work-in-progress and position papers. Regardless of the submission deadline, all accepted papers will be published in the ACM Digital Library, except if the authors prefer not to be included. The address of the submission site is: https://vmil23.hotcrp.com ---------------------------------- Important Dates ---------------------------------- All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h 2023-07-23: Abstract and submission deadline (research and experience papers) 2023-08-02: Abstract and submission deadline (WIP and position papers only) 2023-08-28: Acceptance notification 2023-09-10: Camera-ready paper deadline ---------------------------------- Format Instructions ---------------------------------- Please use the SIGPLAN acmart style (`sigplan` option) for all papers: https://sigplan.org/Resources/Author/#acmart-format. The provided double-column template is available for Latex and Word. ---------------------------------- Organization ---------------------------------- PC Chairs: Andrea Rosà, Università della Svizzera italiana Martin Henz, National University Singapore Program Committee: Edd Barrett, King’s College London Steve Blackburn, Australian National University and Google Rodrigo Bruno, INESC-ID / Técnico, ULisboa Juan Fumero, University of Manchester Christine H. Flood, Red Hat, Inc. Doug Lea, State University of New York (SUNY) Oswego Hidehiko Masuhara, Tokyo Institute of Technology Fabio Niephaus, Oracle Labs, Potsdam Guido Salvaneschi, University of St. Gallen Adam Welc, Uber Technologies ---------------------------------- AUTHORS TAKE NOTE ---------------------------------- The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks before the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Wed Jul 26 09:07:16 2023 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Wed, 26 Jul 2023 09:07:16 +0000 Subject: [Haskell] Call for Participation, Functional Software Architecture - FP in the Large Message-ID: <6F3294A4-A5E0-424B-90D3-1106ABC65163@nottingham.ac.uk> ====================================================================== *** FUNARCH 2023 -- CALL FOR PARTICIPATION *** The First ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large 8th September 2023, Seattle, Washington, USA Co-located with ICFP 2023 https://www.functional-architecture.org/events/funarch-2023/ ====================================================================== BACKGROUND: The ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large aims to disseminate and enable the use of functional programming in the large and long-lived software projects. We specifically want: - To assemble a community interested in software architecture techniques and technologies specific to functional programming; - To identify, categorize, and document topics relevant to the field of functional software architecture; - To connect the functional programming community to the software architecture community to cross-pollinate between the two. We'd love for you to be part of this effort. Whatever your background, you're welcome at FUNARCH - to listen to talks, report on your experience, and interact with others that share our goals. See you at FUNARCH! REGISTRATION: You can register for the workshop via the registration page for the ICFP conference, but there's no need to also register for the conference. Reduced fees are available until 5th August. http://icfp23.sigplan.org/attending/registration OPENING TALK: Functional Programming in the Large - Status and Perspective Mike Sperber ACCEPTED SUBMISSIONS: A Software Architecture Based on Coarse-Grained Self-Adjusting Computations Stefan Wehr Crème de la Crem: Composable Representable Executable Machines Marco Perone and Georgios Karachalias Functional Shell and Reusable Components for Easy GUIs Ben Knoble and Bogdan Popa Phases in Software Architecture Jeremy Gibbons, Oisín Kidney, Tom Schrijvers and Nicolas Wu Stretching the Glasgow Haskell Compiler Jeffrey M. Young, Sylvain Henry and John Ericson Typed Design Patterns for the Functional Era Will Crichton Types that Change: The Extensible Type Design Pattern Ivan Perez PROGRAM CHAIRS: Mike Sperber Active Group, Germany Graham Hutton University of Nottingham, UK PROGRAM COMMITTEE: Joachim Breitner Germany Manuel Chakravarty Tweag & IOG, The Netherlands Ron Garcia University of British Columbia, Canada Debasish Ghosh LeadIQ, India Lars Hupel Giesecke+Devrient, Germany Andy Keep Meta, USA Shriram Krishnamurthi Brown University, USA Andres Löh Well-Typed, Germany Anil Madhavapeddy University of Cambridge, UK José Pedro Magalhães Standard Chartered, UK Simon Marlow Meta, UK Hannes Mehnert Robur, Germany Erik Meijer USA Ivan Perez KBR / NASA Ames Research Center, USA Stefanie Schirmer DuckDuckGo, Germany Perdita Stevens University of Edinburgh, UK Stefan Wehr Hochschule Offenburg, Germany Scott Wlaschin FPbridge, UK WORKSHOP VENUE: The workshop will be co-located with the ICFP 2023 conference at The Westin Seattle Hotel, Seattle, Washington, United States. ====================================================================== This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From jeremy.gibbons at cs.ox.ac.uk Thu Jul 27 15:31:42 2023 From: jeremy.gibbons at cs.ox.ac.uk (Jeremy Gibbons) Date: Thu, 27 Jul 2023 16:31:42 +0100 Subject: [Haskell] FLOPS 2024 Symposium on Functional and Logic Programming Message-ID: <45807591-1A0C-4C2B-A11F-368F8A8A6237@cs.ox.ac.uk> ============================================================ Call For Papers FLOPS 2024: 17th International Symposium on Functional and Logic Programming ============================================================ May 15-17, 2024, Kumamoto, Japan https://conf.researchr.org/home/flops-2024 FLOPS aims to bring together practitioners, researchers and implementers of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Previous FLOPS meetings were held at Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008), Sendai (2010), Kobe (2012), Kanazawa (2014), Kochi (2016), Nagoya (2018), Akita (2020, online), and Kyoto (2022, online). *** Scope *** FLOPS solicits original papers in all areas of declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by a wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer’s LNCS guidelines. FLOPS 2024 will employ a lightweight double-blind reviewing process. For more details, see https://conf.researchr.org/home/flops-2024 Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2024 *** Publication *** The proceedings will be published by Springer in the LNCS series. We expect to invite the authors of a selection of the best papers to submit an extended version of their FLOPS paper to a special issue which will appear in the journal Science of Computer Programming. *** Important Dates *** All deadlines are Anywhere on Earth (AoE = UTC-12). * Abstract due: Wed 6th Dec 2023 * Submission deadline: Wed 13th Dec 2023 * Notifications: Wed 31st Jan 2024 * Final versions due: Wed 28th Feb 2024 *** Organizers *** Shin-ya Katsumata National Institute of Informatics, JP (General Chair) Jeremy Gibbons University of Oxford, UK (PC Co-Chair) Dale Miller INRIA Saclay and LIX/IPP, FR (PC Co-Chair) Naohiko Hoshino Sojo University, JP (Local Chair) *** FLOPS sponsorship *** This symposium is sponsored by JSSST-SIGPPL (http://ppl.jssst.or.jp/). *** Contact Address *** flops2024 at easychair.org From ifl21.publicity at gmail.com Fri Jul 28 06:28:23 2023 From: ifl21.publicity at gmail.com (Pieter Koopman) Date: Thu, 27 Jul 2023 23:28:23 -0700 Subject: [Haskell] IFL23 last Call for papers Message-ID: Important Dates Draft Paper Submission Deadline 31st July, 2023 Notification of Acceptance for Presentation 1st August, 2023 Early Registration Deadline 11th August, 2023 Late Registration Deadline 23rd August, 2023 IFL Symposium 29th - 31st August, 2023 Submission of Papers for Peer-Reviewed Proceedings 24th November, 2023 Notification of Acceptance 2nd February, 2024 Camera-ready Version 8th March, 2024 SCOPE AND TOPICS 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. You can find more information about the symposium on its oficial website . IFL 2023 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. See the call for papers in text format . Areas of interest include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - abstract interpretation - metaprogramming - 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 PAPER SUBMISSIONS Following IFL tradition, IFL 2023 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. Notice that it is a requirement that accepted draft papers are presented physically 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. As in previous years, we will try to have the papers that are accepted for the formal proceedings published in the International Conference Proceedings Series of the ACM Digital Library. This possibility will be confirmed as soon as possible. Reviewing is single blind. There will be at least 3 reviews per paper. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing. Papers must use the ACM two columns conference format, which can be found here . (For LaTeX users, start your document with \documentclass[sigconf,screen,review]{acmart}.) All contributions must be written in English. Note that this format has a rather long but limited list of packages that can be used. Please make sure that your document adheres to this list. The page limit for papers is twelve pages (excluding references). Only papers that were presented at the IFL 2023 Symposium will be considered for publication. See the webpage for paper submissions. LOCATION IFL 2023 will be held physically in Braga, Portugal. For more information, click here . Registration information will be added as soon as possible. [image: beacon] -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Sat Jul 29 11:59:43 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Sat, 29 Jul 2023 12:59:43 +0100 Subject: [Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks Message-ID: ********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/ ********************************************************************************** The 14th 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 16, 2023 - Papers Submission Due: August 25, 2023 (Firm Deadline) - Authors Notifications: September 15, 2023 - Final Manuscript Due: October 6, 2023 Publication ------------- All EUSPN 2023 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, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Traffic and Transportation Management, IAKS (https://iasks.org/jttm) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of Transportation Research Part A: Policy and Practice, Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/ ) EUSPN 2023 will be held in conjunction with the 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-23/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-23/call-for-papers.html EUSPN 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centres, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty's visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU's research is focused on the main sectors of the Kazakhstani economy - oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. 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 Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Local Chairs Dzhumaseitova Assel, Kazakh-British Technical University, Kazakhstan Yevgeniya Daineko, International Information Technology University, Kazakhstan Nurgul Nalgozhina, International Information Technology University, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Siddardha Kaja, Air Canada, Canada Dinara Kozhamzharova, International Information Technology University, Kazakhstan Ipalakova Madina, International Information Technology University, Kazakhstan Dimitrios Zavantis, AGEAN motorway, Greece Program Vice Chairs Anas Al-Rahamneh, Public University of Navarre, Spain Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France Joh Chang-Hyeon, Kyung Hee University, South Korea Taner Cokyasar, Argonne National Laboratory, US Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Flavio Lombardi, Universita Roma Tre, Italy Ka Lok Man, Xi'an Jiaotong-Liverpool University, China Abdeljebar Mansour, Abdelmalek Essaâdi University-Tetouan, Morocco Fernando Moreira, Universidade Portucalense, Portugal Yazan Mualla, Université de Technologie de Belfort-Montbéliard, France Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France Michael Sheng, Macquarie University, Australia Igor Tchappi, University of Luxembourg, Luxembourg Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-23/organizing-commitee.html -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Sat Jul 29 12:21:01 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Sat, 29 Jul 2023 13:21:01 +0100 Subject: [Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Message-ID: Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 16, 2023 - Papers Submission Due: August 25, 2023 (Firm Deadline) - Authors Notifications: September 15, 2023 - Final Manuscript Due: October 6, 2023 Publication ------------- All ICTH 2023 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, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of E-Health and Medical Communications, IGI Global ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158 ) ICTH 2023 will be held in conjunction with the 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-23/). Papers on either completed or ongoing research are invited: http://cs-conferences.acadiau.ca/icth-23/call-for-papers.html ICTH 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centers, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty’s visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU’s research is focused on the main sectors of the Kazakhstani economy – oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chairs Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Hamid Mcheick, UQAC, Canada Local Chairs Biloshchytskyi Andrii, Astana IT University, Kazakhstan Katerina Kolesnikova, International Information Technology University, Kazakhstan Anar Makhmetova, University of International Business, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Batryshev Didar, Kazakh-British Technical University, Kazakhstan Azamat Imanbayev, Kazakh-British Technical University, Kazakhstan Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Technical Program Committee http://cs-conferences.acadiau.ca/icth-23/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From ifl21.publicity at gmail.com Mon Jul 31 12:14:51 2023 From: ifl21.publicity at gmail.com (Pieter Koopman) Date: Mon, 31 Jul 2023 05:14:51 -0700 Subject: [Haskell] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages Message-ID: Dear all, on special request, the deadline for draft paper submissions is extended until *August 7th*, 2023. *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 2022 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 specialization * run-time code generation * partial evaluation * abstract interpretation * metaprogramming * 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 *Submissions and peer-review* Following IFL tradition, IFL 2023 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. Notice that it is a requirement that accepted draft papers are presented physically at the symposium. After the symposium, a formal review process will take place, conducted by the program committee. Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing. Contributions submitted for the draft paper deadline must be between two and twelve pages long. For submission details, please consult the IFL 2023 website at https://ifl23.github.io/ . *Where* IFL 2023 will be held physically in Braga, Portugal, arranged by University of Minho. See the IFL 2023 website at https://ifl23.github.io/ for more information. [image: beacon] -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue Jul 11 08:06:17 2023 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 11 Jul 2023 08:06:17 -0000 Subject: [Haskell] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec) Message-ID: ================================================================== JFP Special Issue on Program Calculation https://tinyurl.com/prog-calc We invite submissions to the Journal of Functional Programming Special Issue on Program Calculation. Notification of intent : 20 October 2023 Submission deadline : 1 December 2023 SCOPE The idea of program calculation, in which programs are derived from specifications using equational reasoning techniques, has been a topic of interest in functional programming since its earliest days. In particular, the approach allows us to systematically discover how programs can be defined, while at the same time obtaining proofs that they are correct. The aim of this special issue is to document advances that have been made in the field of program calculation in recent years. TOPICS Full-length, archival-quality submissions are solicited on all aspects of program calculation and related topics. Specific topics of interest include but are not limited to: - Program derivation and transformation; - Inductive and co-inductive methods; - Recursion and co-recursion schemes; - Categorical and graphical methods; - Tool support and proof assistants; - Efficiency and resource usage; - Functional algorithm design; - Calculation case studies. The special issue will also consider papers on program calculation that are not traditional research papers. This may include pearls, surveys, tutorials or educational papers, which will be judged by the usual JFP standards for such submissions. Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme. NOTIFICATION OF INTENT Authors must notify the special issue editors of their intent to submit by 20 October 2023. The notification of intent should be submitted by filling out the following form, which asks for data to help identify suitable reviewers: tinyurl.com/intent-to-submit If you miss the notification of intent deadline, but still wish to submit, please contact the special-issue editors. SUBMISSIONS Papers must be submitted by 1 December 2023. Submissions should be typeset in LaTeX using the JFP style file, and submitted through the JFP Manuscript Central system. Choose "Program Calculation" as the paper type, so it gets assigned to the special issue. Further author instructions are available from: tinyurl.com/JFP-instructions We welcome extended versions of conference or workshop papers. Such submissions must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss submissions with the editors to ensure compliance. SPECIAL-ISSUE EDITORS Graham Hutton Nicolas Wu IMPORTANT DATES We anticipate the following schedule: 20 October 2023 : Notification-of-intent deadline 1 December 2023 : Submission deadline 22 March 2024 : First round of reviews 12 July 2024 : Revision deadline 4 October 2024 : Second round of reviews, if applicable 29 November 2024 : Final versions due ================================================================== 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.