- Haskell - Haskell.org

EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
by Ali BENZERBADJ 06 Jul '23

06 Jul '23

********************************************************************************** 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… ) 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@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

CFP : CPP 2024 -- Certified Proofs and Programs
by Brigitte Pientka 06 Jul '23

06 Jul '23

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 <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 <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-R… <https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-R…> 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/ <https://www.sigplan.org/Resources/Policies/Republication/>) and the ACM Policy on Plagiarism (https://www.acm.org/publications/policies/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 <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 <http://www.sigplan.org/OpenTOC/#cpp>). For ACM’s take on this, see their Copyright Policy (http://www.acm.org/publications/policies/copyright-policy <http://www.acm.org/publications/policies/copyright-policy>) and Author Rights (http://authors.acm.org/main.html <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 <sandrine.blazy(a)irisa.fr <mailto:sandrine.blazy@irisa.fr>> Brigitte Pientka <bpientka(a)cs.mcgill.ca <mailto:bpientka@cs.mcgill.ca>>

1 0

GPCE 2023: Deadline Extension
by Youyou Cong 05 Jul '23

05 Jul '23

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

1 0

Lectureship at Bristol
by Alex Kavvos 05 Jul '23

05 Jul '23

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/

1 0

VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers
by Andrea Rosa 04 Jul '23

04 Jul '23

------------------------- 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(a)usi.ch<mailto:andrea.rosa@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(a)usi.ch<mailto:andrea.rosa@usi.ch> (p) +41 58 666 4455 ext. 2183

1 0

ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
by Ali BENZERBADJ 30 Jun '23

30 Jun '23

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-comm… ) 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@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
by Ali BENZERBADJ 29 Jun '23

29 Jun '23

********************************************************************************** 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… ) 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@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

EUSPN 2023 CfPs (Extended): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
by Ali BENZERBADJ 28 Jun '23

28 Jun '23

********************************************************************************** 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: June 30, 2023 (Extended) - 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… ) 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@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

ICTH 2023 CFPs (Extended): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
by Ali BENZERBADJ 28 Jun '23

28 Jun '23

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: June 30, 2023 (Extended) - 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-comm… ) 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@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

ICFP 2023: Call for Volunteers (Deadline: 30 June!)
by ICFP Publicity 27 Jun '23

27 Jun '23

ICFP 2023 CALL FOR VOLUNTEERS 28th ACM SIGPLAN International Conference on Functional Programming https://icfp23.sigplan.org/track/icfp-2023-volunteers Sign up to be a Volunteer and help us make ICFP 2023 a unique experience for all attendants! ICFP 2023 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for people from around the world to participate in the conferences whilst assisting us in preparing and running the event. The Volunteer Program helps more people attend the ICFP conference by covering conference fees, including access to the banquet (but not travel or lodging expenses) in exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization. ## How to apply Please apply using this form (https://forms.gle/27pzbztJq5PVCZeW9) The deadline is June 30th ## Eligibility Everyone is welcome to apply. Priority is given to junior members of our community, e.g. full- or part-time students of computer science and related fields. ## Expectation Applicants must be available for at least four (4) full days between September 4th and September 9th, 2023, and will be expected to provide a total of 12-15 hours of volunteering work in that time. The skills, talents, and dedication of our Volunteers contribute to the overall quality of the conference. The Volunteer role this year will mainly involve working with the organizers to prepare for the conference by providing technical assistance to attendees, managing online Q&A and poster sessions, and supporting active communication in our online environment. ## Compensation * A Complimentary Conference Registration, offering access to all open sessions (i.e., parallel paper presentations, demonstrations, and workshops) and conference proceedings. * Free lunches and refreshments during breaks. * Volunteer garments. * Free admission to all social events. Please note that volunteers are responsible for their own travel and accommodation arrangements. If you need additional travel funding, please consider SIGPLAN PAC Funding (http://www.sigplan.org/PAC/) and PLMW (https://icfp23.sigplan.org/track/plmw-icfp-2023)

1 0