From ali.benzerbadj at univ-temouchent.edu.dz Sat Apr 1 11:41:25 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Sat, 1 Apr 2023 12:41:25 +0100 Subject: [Haskell] [MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Message-ID: ---------------------------------------------------------------------------- The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada August 14-16, 2023 http://cs-conferences.acadiau.ca/mobispc-23/ ---------------------------------------------------------------------------- Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC- solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2023 will provide a leading-edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the-art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: April 21, 2023 (Final) - Acceptance Notification: May 15, 2023 - Final Manuscript Due: June 12, 2023 Publication ------------ All MobiSPC 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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 7.104), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 5.594), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) MobiSPC 2023 will be held in conjunction with the 18th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-23/). MobiSPC 2023 will be held in Halifax Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately a 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chair Hossam Hassanein, Queen's University, Canada Program Chairs Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Workshops' Chair Stephane Galland, UTBM, France Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Salimur Choudhury, Lakehead University, Canada Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Uneb Gazger, University of Bahrain, Bahrain Camille Kamga, The City College of New York, USA Faouzi Kammoun, ESPRIT, Tunisia Hamid Mcheick, UQAC, Canada Wendy Osborn, University of Lethbridge, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Rahim Rahmani, Stockholm University, Sweden Cristina Seceleanu, Malardalen University, Sweden Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Sohail Jabbar, The University of Faisalabad, Pakistan Orven E. Llantos, MSU-IIT, Philippines Jake Speiran, Acadia University, Canada Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-23/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Sat Apr 1 11:54:45 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Sat, 1 Apr 2023 12:54:45 +0100 Subject: [Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023) Message-ID: The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ **************************************************************************** The goal of the SEIT 2023 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: April 21, 2023 (Final) - Acceptance Notification: May 15, 2023 - Final Manuscript Due: June 12, 2023 Publication ------------ All SEIT 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted 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/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in an international journal. Conference Main Topics (A detailed list can be found at: http://cs-conferences.acadiau.ca/seit-23/#callforPapers): ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems COMMITTEES: -------------- General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesus Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Wayne Groszko, Dalhousie University, Canada Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Isam Janajreh, Khalifa University, UAE Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Yazan Mualla, UTBM, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh, World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-23/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From ifl21.publicity at gmail.com Mon Apr 3 09:55:37 2023 From: ifl21.publicity at gmail.com (Pieter Koopman) Date: Mon, 3 Apr 2023 02:55:37 -0700 Subject: [Haskell] IFL23 first CFP Message-ID: *Call for papers* The 35th Symposium on Implementation and Application of Functional Languages (IFL 2023) Braga, Portugal, August 29th-August 31st, 2023 *Important dates* Draft paper submission: July 31st, 2023 Draft paper notification: August 1st, 2023 Early registration deadline: August 11th, 2023 Late registration deadline: August 23rd, 2023 Symposium: August 29th - August 31st (3 days) *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 cong at c.titech.ac.jp Mon Apr 3 13:18:00 2023 From: cong at c.titech.ac.jp (Youyou Cong) Date: Mon, 3 Apr 2023 22:18:00 +0900 Subject: [Haskell] TyDe 2023 - Call for Papers Message-ID: -------------------------------------------------------------------------------- CALL FOR PAPERS 8th Workshop on Type-Driven Development (TyDe 2023) Co-Located with ICFP 2023 (Seattle, Washington, USA) https://icfp23.sigplan.org/home/tyde-2023 -------------------------------------------------------------------------------- # Goals of the Workshop The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: - dependently typed programming; - generic programming; - design and implementation of programming languages, exploiting types in novel ways; - exploiting typed data, data dependent data, or type providers; - static and dynamic analyses of typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Proceedings and Copyright We will have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. # Submission Details Submissions should fall into one of two categories: - regular research papers (12 pages); - extended abstracts (3 pages). The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: https://tyde23.hotcrp.com All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: https://www.sigplan.org/Resources/Author/ Note that submissions should use the new 'acmart' format and the two-column 'sigplan' subformat (not to be confused with the one-column 'acmsmall' subformat). Extended abstracts must be submitted with the label 'Extended Abstract' clearly in the title. # Participant Support Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover participation-related expenses. PAC also offers other support, such as for child-care expenses during the meeting or for accommodations for members with physical disabilities. For details on the PAC program, see its web page: https://www.sigplan.org/PAC/ # Important Dates - Submission Deadline: Thursday June 1, 2023 - Author Notification: Thursday June 29, 2023 - Camera-Ready Deadline: Thursday July 13, 2023 - Workshop: Monday September 4, 2023 # Workshop Organization Organizing Committee: - Youyou Cong (Tokyo Institute of Technology, Japan) - Pierre-Evariste Dagand (IRIF / CNRS, France) Program Committee: - Reynald Affeldt (AIST, Japan) - Sandra Alves (DCC-FCUP, Portugual) - Stephen Chang (UMass Boston, United States) - Magnus Madsen (Aarhus University, Denmark) - Victor Cacciari Miraldo (Channable, Netherlands) - Jonathan Protzenko (Microsoft Research, United States) - Marianna Rapoport (Amazon Web Services, Canada) - Christine Rizkallah (University of Melbourne, Australia) - Filip Sieczkowski (Heriot-Watt University, United Kingdom) - Aaron Stump (The University of Iowa, United States) - Peter Thiemann (University of Freiburg, Germany) - Ningning Xie (Google Brain / University of Toronto, Canada) -------------- next part -------------- An HTML attachment was scrubbed... URL: From scm at iis.sinica.edu.tw Tue Apr 4 04:06:06 2023 From: scm at iis.sinica.edu.tw (Shin-Cheng Mu) Date: Tue, 4 Apr 2023 12:06:06 +0800 Subject: [Haskell] APLAS 2023 first Call for Papers Message-ID: <9AB6574E-60F8-46C1-8384-75D6E98D818B@iis.sinica.edu.tw> ====================================================================== CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/home/aplas-2023 ====================================================================== IMPORTANT DATES ------------------------------------- Submission deadline: Thu 15 Jun 2023 AoE Author response: Mon 31 Jul 12:00 - Wed 2 Aug 12:00 2023 AoE Author notification: Mon 14 Aug 2023 AoE Final paper deadline: Wed 6 Sep 2023 AoE Conference: Sun 26 – Wed 29 Nov 2023 SCOPE ------------------------------------- We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: - ** programming paradigms and styles ** : functional programming; object-oriented programming; probabilistic programming; logic programming; constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; - ** methods and tools to specify and reason about programs and languages ** : programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; - ** programming language foundations ** : formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; - ** methods and tools for implementation ** : compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; - ** concurrency and distribution ** : process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; - ** applications and emerging topics ** : programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. GENERAL INFORMATION ------------------------------------- Submissions should not exceed 17 pages, excluding bibliography in the Springer LNCS format. LaTeX template is available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions. Papers should be submitted via HotCRP: https://aplas2023.hotcrp.com/ The review process of APLAS 2023 is double-anonymous, with a rebuttal phase. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you. Additional material intended for reviewers but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. POSTERS and STUDENT RESEARCH COMPETITION ---------------------------------------- APLAS 2023 includes a Posters session and a Student Research Competition. For more details, please see the website. https://conf.researchr.org/track/aplas-2023/posters-and-src ORGANIZERS ------------------------------------- General Chair: Shin-Cheng Mu, Academia Sinica, Taiwan Program Chair: Chung-Kil Hur, Seoul National University, Korea Publicity Chair: Ryosuke Sato, University of Tokyo, Japan Program Committee: Soham Chakraborty, TU Delft, Netherlands Yu-Fang Chen, Academia Sinica, Taiwan Ronghui Gu, Columbia University, USA Ichiro Hasuo, National Institute of Informatics, Japan Ralf Jung, ETH Zurich, Switzerland Ohad Kammar, University of Edinburgh, UK Jeehoon Kang, KAIST, Korea Jieung Kim, Inha University, Korea Robbert Krebbers, Radboud University Nijmegen, Netherlands Ori Lahav, Tel Aviv University, Israel Doug Lea, State University of New York at Oswego, USA Woosuk Lee, Hanyang University, Korea Hongjin Liang, Nanjing University, China Nuno P. Lopes, University of Lisbon, Portugal Chandrakana Nandi, Certora and UW, USA Liam O'Connor, The University of Edinburgh, UK Bruno C. d. S. Oliveira, The University of Hong Kong, Hong Kong Jihyeok Park, Korea University, Korea Clément Pit-Claudel, EPFL, Switzerland Matthieu Sozeau, Inria, France Kohei Suenaga, Kyoto University, Japan Tarmo Uustalu, Reykjavik University, Iceland John Wickerson, Imperial College London, UK Danfeng Zhang, Penn State University, USA From daniel.jurjo at imdea.org Fri Apr 14 13:21:53 2023 From: daniel.jurjo at imdea.org (Daniel Jurjo) Date: Fri, 14 Apr 2023 15:21:53 +0200 Subject: [Haskell] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023 Message-ID: <77636fe0-69d8-d221-feee-a409d47f826b@imdea.org> ** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates:  - Abstract submission: May 19, 2023 (AoE)  - Paper submission: May 26, 2023 (AoE)  - Author notification: July 24, 2023 (AoE)  - Camera-ready: August 18, 2023  - Symposium: October 23-24, 2023 OVERVIEW The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2023 will be held in-person at Hotel Cascais Miragem in Cascais, Lisbon, Portugal and will be co-located with PPDP 2023 as part of SPLASH 2023. At least one of the authors of the accepted paper is expected to attend the conference and present the paper. Information about venue and travel is available on the SPLASH 2023 website. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to:  - synthesis  - transformation  - specialization  - inversion  - composition  - optimisation  - specification  - analysis and verification  - testing and certification  - program and model manipulation  - AI-methods for program development  - verification and testing of AI-based systems  - transformational techniques in software engineering  - logic-based methods for security, cyber-physical and distributed    system  - applications, tools and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome. PAPER SUBMISSION Submissions can be made in two categories:  - Regular Papers (15 pages max.)  - Short Papers (8 pages max.) References do NOT count towards the page limit. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. All submissions must be written in English. Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Submissions of Regular Papers must describe the original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of Short Papers may include presentations of exciting if not fully polished research and tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the standard reviewing process of the journal. SUBMISSION GUIDELINES Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions at the author's page, and use their proceedings templates, either for LaTeX (available also in overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2023 BEST PAPER AWARD Thanks to Springer's sponsorship, two best paper awards (one for each submission category), with a 500 EUR prize, will be given at LOPSTR 2023. The program committee will select the winning papers based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). PROGRAM CHAIRS Robert Glück, University of Copenhagen, Denmark Bishoksan Kafle, IMDEA Software Institute, Spain PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS Slim Abdennadher, German International University, Egypt José Júlio Alferes, Universidade Nova de Lisboa, Portugal Roberto Amadini, University of Bologna, Italy William Byrd, University of Alabama at Birmingham, USA Michael Codish, Ben-Gurion University of the Negev, Israel Gregory Duck, National University of Singapore, Singapore Isabel García-Contreras, University of Waterloo, Canada Ashutosh Gupta, IIT Bombay, India Gopal Gupta, The University of Texas at Dallas, USA Michael Hanus, University of Kiel, Germany Temesghen Kahsai, Amazon, USA Maja Hanne Kirkeby, Roskilde University, Denmark Michael Leuschel, Heinrich Heine University Düsseldorf, Germany Nai-Wei Lin, National Chung Cheng University, Taiwan Fred Mesnard, University of Reunion, France José F. Morales, IMDEA Software Institute, Spain Carlos Olarte, Universitè Sorbonne Paris Nord, France Alberto Pettorossi, Università di Roma Tor Vergata, Italy Christoph Reichenbach, Lund University, Sweden Peter Schachte, The University of Melbourne, Australia Helge Spieker, Simula Research Laboratory, Norway Theresa Swift, Universidade Nova de Lisboa, Portugal Laura Titolo, National Institute of Aerospace, USA Kazunori Ueda, Waseda University, Japan Germán Vidal, Universitat Politècnica de València, Spain Nisansala Yatapanage, Australian National University, Australia Florian Zuleger, Vienna University of Technology, Austria HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years.  The first meeting was held in Manchester, UK in 1991. Information about previous symposia: http://lopstr.webs.upv.es/. You might have a look at the contents of past LOPSTR symposia at DBLP (https://dblp.uni-trier.de/db/conf/lopstr/index.html) and past LNCS proceedings at Springer (https://link.springer.com/conference/lopstr). From ali.benzerbadj at univ-temouchent.edu.dz Sun Apr 16 23:18:07 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Mon, 17 Apr 2023 00:18:07 +0100 Subject: [Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023) Message-ID: The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ **************************************************************************** The goal of the SEIT 2023 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: April 21, 2023 (Final) - Acceptance Notification: May 15, 2023 - Final Manuscript Due: June 12, 2023 Publication ------------ All SEIT 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted 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/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in an international journal. Conference Main Topics (A detailed list can be found at: http://cs-conferences.acadiau.ca/seit-23/#callforPapers): ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems COMMITTEES: -------------- General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesus Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Wayne Groszko, Dalhousie University, Canada Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Isam Janajreh, Khalifa University, UAE Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Yazan Mualla, UTBM, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh, World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-23/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Sun Apr 16 23:26:34 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Mon, 17 Apr 2023 00:26:34 +0100 Subject: [Haskell] [MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Message-ID: ---------------------------------------------------------------------------- The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada August 14-16, 2023 http://cs-conferences.acadiau.ca/mobispc-23/ ---------------------------------------------------------------------------- Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC- solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2023 will provide a leading-edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the-art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: April 21, 2023 (Final) - Acceptance Notification: May 15, 2023 - Final Manuscript Due: June 12, 2023 Publication ------------ All MobiSPC 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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 7.104), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 5.594), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) MobiSPC 2023 will be held in conjunction with the 18th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-23/). MobiSPC 2023 will be held in Halifax Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately a 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chair Hossam Hassanein, Queen's University, Canada Program Chairs Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Workshops' Chair Stephane Galland, UTBM, France Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Salimur Choudhury, Lakehead University, Canada Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Uneb Gazger, University of Bahrain, Bahrain Camille Kamga, The City College of New York, USA Faouzi Kammoun, ESPRIT, Tunisia Hamid Mcheick, UQAC, Canada Wendy Osborn, University of Lethbridge, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Rahim Rahmani, Stockholm University, Sweden Cristina Seceleanu, Malardalen University, Sweden Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Sohail Jabbar, The University of Faisalabad, Pakistan Orven E. Llantos, MSU-IIT, Philippines Jake Speiran, Acadia University, Canada Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-23/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From pangjun at gmail.com Mon Apr 17 06:08:23 2023 From: pangjun at gmail.com (Jun PANG) Date: Mon, 17 Apr 2023 08:08:23 +0200 Subject: [Haskell] CMSB 2023: last call for papers (extended deadlines) Message-ID: ======================================== CMSB 2023: 21st Conference on Computational Methods in Systems Biology Luxembourg City, Luxembourg September 13-15, 2023 Conference website: https://cmsb2023.uni.lu/ CMSB series website: https://cmsb.sciencesconf.org/ ======================================== CMSB 2023 solicits original research articles, tool papers, posters, and highlight talks on the modelling and analysis of biological systems and networks, as well as the analysis of biological data. The conference brings together researchers from across biological, mathematical, computational, and physical sciences who are interested in the modelling, simulation, analysis, inference, design, and control of biological systems. It covers the broad field of computational methods and tools in systems and synthetic biology and their applications. ************************ IMPORTANT DATES (all dates are AoE) ************************ Abstract submission (regular/tool papers): April 23, 2023 (extended) Paper submission (regular/tool papers): April 30, 2023 (extended) Notification: June 9, 2023 Camera ready: June 23, 2023 Poster/highlight talk: July 9, 2023 Conference: September 13-15, 2023 ************************ INVITED SPEAKERS ************************ Jorge Goncalves – University of Luxembourg (Luxembourg) Philippe Jacques – University of Liège (Belgium) Mirco Tribastone – IMT School for Advanced Studies Lucca (Italy) Verena Wolf – Saarland University (Germany) ************************ LIST OF TOPICS ************************ Topics of interest include, but are not limited to: * formalisms for modelling biological processes; * methods and tools for biological system analysis, modelling and simulation; * frameworks for model verification, validation, analysis, and simulation of biological systems; * high-performance methods for computational systems biology; * identification of biological systems; * applications of machine learning and data analytics in biology; * network modelling, analysis, inference; * automated parameter and model synthesis; * model integration and biological databases; * multi-scale modelling and analysis methods; * design, analysis, and verification methods for synthetic biology; * methods for biomolecular computing and engineered molecular devices; * data-based approaches for systems and synthetic biology; * optimality and control of biological systems; * modelling, analysis and control of microbial communities. The conference welcomes new theoretical results with potential applications to systems and synthetic biology, as well as novel applications and case studies of existing methods, tools, or frameworks. The CMSB 2023 proceedings will be published in the Springer LNCS/LNBI series and indexed by ISI Web of Science, Scopus, ACM Digital Library, DBLP, and Google Scholar. A selection of best papers is planned to be invited after the conference to be extended and submitted to a special issue of a major international journal. ************************ TYPES OF CONTRIBUTIONS ************************ Contributions should be submitted to one of the following categories: A) REGULAR PAPERS: Regular papers should describe original work that has not been previously published and is not under review for publication elsewhere. Accepted regular papers will be published as part of the conference proceedings in the Springer LNCS series. Papers in this category should not exceed 15 pages in the Springer LNCS style (including main figures and tables, excluding references and possible appendices). B) TOOL PAPERS: Tool papers should present new tools or public websites, new tool components or novel extensions to existing tools or websites supporting biological system modelling, analysis, simulation, or similar. Submissions must include information on methods, tool availability, and selected application results. They should be original and not previously published in a similar form. Accepted tool papers will be published as part of the conference proceedings in the Springer LNCS series. Papers in this category should have 4-6 pages in the Springer LNCS style (including main figures and tables, excluding references and possible appendices). C) POSTERS: Extended abstracts should be submitted to propose poster presentation of original unpublished work, or of major results published or accepted in the last year in a high-quality journal or conference. The abstracts should be submitted in Springer LNCS style and should not exceed 4 pages all included. Authors of accepted abstracts will be invited for presentation in a poster session and/or for flash presentations. Poster submissions will not be included in the Springer LNBI proceedings. D) HIGHLIGHT TALKS: Highlight talk proposals should be submitted in the form of an extended abstract, for possible oral presentation without publication of related material in the conference proceedings. We particularly welcome submissions of recently published work. Submitted abstracts summarising the results and their relevance should not exceed 2 pages including references. Extended abstracts will not be included in the Springer LNBI proceedings. ************************ SUBMISSION INFORMATION ************************ All submitted papers and extended abstracts have to be written in English and must be submitted in the form of a PDF file using the EasyChair online submission system, at the following link: https://easychair.org/conferences/?conf=cmsb2023. Instruction for the Springer Nature LNCS style: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. Each submission will be reviewed by at least three members of the Program Committee (see above for specific reviewing information about tools). All accepted contributions must be presented at the conference by one of the authors. Springer Nature encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. If an author is interested in Open Access or Open Choice, please refer to Springer Nature’s webpage for prices and additional information. All CMSB authors should consult the Springer Nature Code of Conduct (https://www.springernature.com/gp/authors/book-authors-code-of-conduct), including guidelines for authorship principles, originality, redundant publications, conflicts of interests, etc. In particular, we draw your attention to the Springer Nature policies in the section Ethical Approval and Informed Consent. ************************ PROGRAMME COMMITTEE ************************ Tatsuya Akutsu – University of Kyoto (Japan) Claudio Altafini – University of Linköping (Sweden) Daniela Besozzi – University of Milan Bicocca (Italy) Luca Bortolussi – University of Trieste (Italy) Frank Bruggeman – Vrije Universiteit Amsterdam (Netherlands) Luca Cardelli – University of Oxford (United Kingdom) Milan Ceska – Brno University of Technology (Czech Republic) Eugenio Cinquemani – Inria Grenoble-Rhône-Alpes (France) François Fages – Inria Saclay (France) Christoph Flamm – University of Vienna (Austria) Maxime Folschette – École Centrale de Lille (France) Anna Gambin – University of Warsaw (Poland) Ashutosh Gupta – Indian Institute of Technology Bombay (India) Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany) Hillel Kugler – Bar-Ilan University (Israel) Luca Laurenti – TU Delft (Netherlands) Andrzej Mizera – University of Warsaw (Poland) Pedro T. Monteiro – University of Lisbon (Portugal) Joachim Niehren – Inria Lille (France) – co-chair Jun Pang – University of Luxembourg (Luxembourg) – co-chair Loïc Paulevé – CNRS, Bordeaux (France) Andrei Paun – University of Bucharest (Romania) Ion Petre – University of Turku (Finland) Tatjana Petrov – University of Konstanz (Germany) Maria Rodriguez Martinez – IBM, Zurich Research Laboratory (Switzerland) Jakob Ruess – Inria Paris (France) David Šafránek – Masaryk University (Czech Republic) Thomas Sauter – University of Luxembourg (Luxembourg) Abhyudai Singh – University of Delaware (United States) Chris Thachuk – University of Washington (United States) Andrea Vandin – Sant’Anna School of Advanced Studies, Pisa (Italy) Mirco Tribastone – IMT School for Advanced Studies Lucca (Italy) Christoph Zechner – Max Planck Institute, Dresden (Germany) ************************ CONTACT ************************ All questions about the conference should be emailed to the organizers Joachim Niehren (joachim.niehren at inria.fr) and Jun Pang (jun.pang at uni.lu). From Graham.Hutton at nottingham.ac.uk Mon Apr 17 12:25:07 2023 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 17 Apr 2023 12:25:07 +0000 Subject: [Haskell] Call for Papers: Functional Software Architecture - FP in the Large Message-ID: Dear all, The first workshop on "Functional Software Architecture - FP in the Large” will be held in Seattle in Sept 2023, co-located with the ICFP conference. Please share, and submit your best papers, experience reports, and architectural pearls on large-scale functional programming! The submission deadline 1st June 2023. Best wishes, Mike Sperber and Graham Hutton Program Chairs, FUNARCH 2023 ====================================================================== *** FUNARCH 2023 -- CALL FOR PAPERS *** 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://tinyurl.com/FUNARCH-23 ====================================================================== TIMELINE: Paper submission 1st June 2023 Author notification 28th June 2023 Camera ready copy 18th July 2023 Workshop 8th Sept 2023 BACKGROUND: "Functional Software Architecture" refers to methods of construction and structure of large and long-lived software projects that are implemented in functional languages and released to real users, typically in industry. The goals for the workshop are: - 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. The workshop follows on from the Functional Software Architecture open space that was held at ICFP 2022 in Slovenia. SCOPE: The workshop seeks submissions in a range of categories: - You're a member of the FP community and have thought about how to support programming in the large, for example by framing functional ideas in architectural terms or vice verse, comparing different languages in terms of their architectural capabilities, clarifying architectural roles played by formal methods, proof assistants and DSLs, or observing how functional concepts are used in other language and architecture communities. Great, submit a research paper! - You're a member of the architecture community, and have thought about how your discipline might help functional programmers, for example by applying domain-driven design, implementing hexagonal architecture, or designing self-contained systems. Excellent, submit a research paper! - You've worked on a large project using functional programming, and it's worked out well, or terribly, or a mix of both; bonus points for deriving architectural principles from your experience. Wonderful, submit an experience report! - You know a neat architectural idiom or pattern that may be useful to others developing large functional software systems. Fabulous, submit an architectural pearl! - You have something that doesn't fit the above categories, but that still relates to functional software architecture, such as something that can be written up, or that could be part of the workshop format like a panel debate or a fishbowl. Superb, submit to the open category! Research papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and architectural pearls need not necessarily report original research results. The key criterion for such papers is that they make a contribution from which others can benefit. It is not enough simply to describe a large software system, or to present ideas that are specific to a particular system. Open category submissions that are not intended for publication are not required to follow the formatting guidelines, and can submit in PDF, word or plain text format as preferred. If you are unsure whether your contribution is suitable, or if you need any kind of help with your submission, please email the program chairs at . SUBMISSION: Papers must be submitted by 1st June 2023 using EasyChair, via the following link: https://tinyurl.com/FUNARCH23-submit Formatting: submissions intended for publication must be in PDF format and follow the ACM SIGPLAN style guidelines, using the acmart format and the sigplan sub-format. Please use the review option, as this enables line numbers for easy reference in reviews. For further details, see: https://tinyurl.com/sigplan-acmart If your submission is not a research paper, please mark this using a subtitle (Experience Report, Architectural Pearl, Open Category). Length: submissions must adhere to the limits specified below. However, there is no requirement or expectation that all pages are used, and authors are encouraged to strive for brevity. Research papers 5 to 12+ pages Architectural pearls 5 to 12 pages Experience reports 3 to 6 pages Open category 1 to 6 pages Publication: The proceedings of FUNARCH 2023 will be published in the ACM Digital Library, and authors of accepted papers are required to agree to one of the standard ACM licensing options. Accepted papers must be presented at the workshop by one of the authors, but in special cases we may consider remote presentation. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. 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 louis.rustenholz at imdea.org Mon Apr 17 13:23:04 2023 From: louis.rustenholz at imdea.org (louis.rustenholz at imdea.org) Date: Mon, 17 Apr 2023 15:23:04 +0200 Subject: [Haskell] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023 In-Reply-To: References: <522ada94ff73dcf9654ced28efa9ebe6@imdea.org> <2a7e58dbcfa4fd6257c676373991f702@imdea.org> Message-ID: <2ebed7c9d198aecb843e83bddcc33ada@imdea.org> (Apologies for multiple postings) ---------------------------------------------------------------------- Final Call for Papers - Paper Deadline: April 24, 2023 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 - Tue 24, October 2023 https://2023.splashcon.org/home/sas-2023 ---------------------------------------------------------------------- The 30th Static Analysis Symposium, SAS 2023, will be co-located with SPLASH 2023 in Cascais (Lisbon), Portugal. Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. IMPORTANT DATES All deadlines are AoE (Anywhere on Earth) - Full paper submission: April 24, 2023 - Artifact submission: April 29, 2023 - Author response period: June 11-14, 2023 - Notification: June 29, 2023 - Final version due: August 3, 2023 - Conference: Part of SPLASH, Oct 22-24, 2023 TOPICS The technical program for SAS 2023 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: - Abstract interpretation - Automated deduction - Data flow analysis - Debugging techniques - Deductive methods - Emerging applications - Model-checking - Data science - Program optimizations and transformations - Program synthesis - Program verification - Machine learning and verification - Security analysis - Tool environments and architectures - Theoretical frameworks - Type checking - Distributed or networked systems PAPER SUBMISSION All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submission link: https://easychair.org/conferences/?conf=sas2023 We welcome regular papers as well as papers focusing on any of the following in the NEAT (New questions/areas, Experience, Announcement, Tool) category: - Well-motivated discussion of new questions or new areas. - Experience with static analysis tools, Industrial Reports, and Case Studies - Brief announcements of work in progress - Tool papers We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of experience papers, all other papers will follow a lightweight double-blind reviewing process. The identity of the authors for the remaining papers will be known to the reviewers. Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must be written and presented in English. A submitted paper must describe original work and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper. RADHIA COUSOT AWARD The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. ARTIFACTS As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review. PROGRAM COMMITTEE Gogul Balakrishnan, Google, United States Liqian Chen, National University of Defense Technology, China Yu-Fang Chen, Academia Sinica, Taiwan Patrick Cousot, United States Michael Emmi, Amazon Web Services, United States Pietro Ferrara, Università Ca' Foscari, Venezia, Italy Roberto Giacobazzi, University of Verona, Italy Roberta Gori, University of Pisa, Italy Manuel Hermenegildo, U. Pol. de Madrid and IMDEA SW., Spain (Co-Chair) Francesco Logozzo, Facebook, United States Isabella Mastroeni, University of Verona, Italy Antoine Miné, Sorbonne Université, France José Morales, IMDEA Software Institute, Spain (Co-Chair) Kedar Namjoshi, Nokia Bell Labs, United States Jorge A. Navas, Certora, inc., United States Martin C. Rinard, Massachusetts Institute of Technology, United States Daniel Schoepe, Amazon, United Kingdom Helmut Seidl, Technische Universität München, Germany Mihaela Sighireanu, IRIF, Université Paris Diderot, France Gagandeep Singh, U. of Illinois at Urbana-Champaign, United States Yulei Sui, University of New South Wales, Sydney, Australia Laura Titolo, Laura Titolo, NIA/NASA LaRC, United States Jingling Xue, UNSW Sydney, Australia Xin Zhang, Peking University, China Artifact Evaluation Committee Chair: Marc Chevalier, Snyk, Switzerland Publicity Chair: Louis Rustenholz, UPM and IMDEA SW, Spain From sescobar at upv.es Tue Apr 18 09:33:38 2023 From: sescobar at upv.es (Santiago Escobar) Date: Tue, 18 Apr 2023 11:33:38 +0200 Subject: [Haskell] PPDP 2023 - Call for Papers References: Message-ID: <983C299B-0EA6-438F-92A4-6C676E953C2A@upv.es> ** Apologies for multiple postings ** ========================= PPDP 2023 Call for Papers ========================= 25th International Symposium on Principles and Practice of Declarative Programming 22-23 October 2023, Cascais, Lisbon, Portugal https://ppdp2023.webs.upv.es Part of SPLASH 2023 and co-located with LOPSTR 2023 =================================== Important Dates --------------------- - 15.05.2023 AoE title and abstract submission - 22.05.2023 AoE paper submission - 28.06.2023 rebuttal period (48 hours) - 09.07.2023 notification - 30.07.2023 final paper - 22.10.2023 conference starts About PPDP ---------- The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. Submission web page --------------------- https://easychair.org/conferences/?conf=ppdp2023 Submission Categories --------------------- For the moment, PPDP 2023 has received ACM In-Cooperation Status. The exact form of the proceedings will be communicated in the forthcoming call for papers. Submissions can be made in three categories: - Research Papers, - System Descriptions, - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages (including figures, but excluding bibliography) and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages including references. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in clearly marked appendices beyond the above-mentioned page limits. Reviewers are not required to read extended versions or any material beyond the respective page limit. Program Committee ------------------ Salvador Abreu, NOVA LINCS / University of Evora, Portugal Beniamino Accattoli, Inria & LIX, École Polytechnique, France Maria Paola Bonacina, Università degli Studi di Verona, Italy Santiago Escobar, Universitat Politècnica de València, Spain (chair) Mário Florido, Universidade do Porto, Portugal Silvia Ghilezan, University of Novi Sad and SANU, Serbia Michael Hanus, University of Kiel, Germany Ekaterina Komendantskaya, Heriot-Watt University, UK Ugo de'Liguoro, Università di Torino, Italy Alberto Lluch Lafuente, Technical University of Denmark, Denmark Georg Moser, University of Innsbruck, Austria Daniele Nantes-Sobrinho, University of Brasília, Brazil Vivek Nigam, Huawei Technologies Düsseldorf GmbH, Germany Kazuhiro Ogata, Japan Advanced Institute of Science and Technology (JAIST), Japan Carlos Olarte, LIPN, Université Sorbonne Paris Nord, France Giselle Reis, Carnegie Mellon University, Qatar Adrián Riesco, Universidad Complutense de Madrid, Spain Julia Sapiña, Universitat Politècnica de València, Spain ------------------------------------------------------------------ Program committee chair: Santiago Escobar, Universitat Politecnica de Valencia, Spain Steering committee chair: James Cheney, Edinburgh University, UK ------------------------------------------------------------------ -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2612 bytes Desc: not available URL: From andrei.h.popescu at gmail.com Thu Apr 20 11:16:21 2023 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Thu, 20 Apr 2023 12:16:21 +0100 Subject: [Haskell] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield Message-ID: Dear colleagues, We have an opening for a 3-year position of either research associate or research assistant at the University of Sheffield, UK. It is on a project called "Safe and secure concurrent programming for advanced hardware architectures" and involves modelling and verification using a proof assistant, preferably Isabelle. Please share this opportunity with anyone you think might be interested. The closing date for applications is *** 23rd May 2023 *** More details can be found here: https://www.jobs.ac.uk/job/CYZ645/research-assistant-or-research-associate-in-formal-modelling-and-verification and here: https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG9zdF9pbnN0X2d1aWQ9NjQzNTIyNEU0RDhBMUFDM0UxMDAwMDAwQUMxRTg4NzgmY2FuZF90eXBlPUVYVA%3d%3d&sap-client=400&sap-language=EN&sap-accessibility=X&sap-ep-themeroot=%2fSAP%2fPUBLIC%2fBC%2fUR%2fuos# Best wishes, Andrei Popescu https://www.andreipopescu.uk/ From daniel.hillerstrom at ed.ac.uk Thu Apr 20 12:56:32 2023 From: daniel.hillerstrom at ed.ac.uk (=?UTF-8?Q?Daniel_Hillerstr=c3=b6m?=) Date: Thu, 20 Apr 2023 14:56:32 +0200 Subject: [Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP) Message-ID: <6e709360-d66d-fd9d-9a62-1ee5308f8e8e@ed.ac.uk> TL;DR Deadline for HOPE 2023 abstracts is on May 31, 2023. Details below. ---------------------------------------------------------------------- HOPE 2023 The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 4, 2023 Seattle, Washington, USA (the day before ICFP 2023) https://icfp23.sigplan.org/home/hope-2023 HOPE 2023 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Daniel Hillerström (daniel.hillerstrom at ed.ac.uk) and Max S. New (maxsnew at umich.edu). Deadline for talk proposals: May 31, 2023 (Wednesday) Notification of acceptance: June 29, 2023 (Thursday) Workshop: September 4, 2023 (Monday) The submission website is now open: https://hope23.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Casper Bach Poulsen (TU Delft) Craig McLaughlin (University of New South Wales) Cristina Matache (The University of Edinburgh) Daniel Hillerström (co-chair) (Huawei Zurich Research Center) Fredrik Nordvall Forsberg (University of Strathclyde) James Noble Małgorzata Biernacka (University of Wroclaw) Matias Toro (University of Chile) Max S. New (co-chair) (University of Michigan) Shin-ya Katsumata (National Institute of Informatics) --------------------- Goals of the Workshop --------------------- A recurring theme in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make it hard to build, maintain, and reason about one's code. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website. The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336. From louis.rustenholz at imdea.org Thu Apr 20 16:53:49 2023 From: louis.rustenholz at imdea.org (louis.rustenholz at imdea.org) Date: Thu, 20 Apr 2023 18:53:49 +0200 Subject: [Haskell] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st) In-Reply-To: <98380a87647cec8799af873b03b2711e@imdea.org> References: <522ada94ff73dcf9654ced28efa9ebe6@imdea.org> <2a7e58dbcfa4fd6257c676373991f702@imdea.org> <584c99fe48f447ea0b367e587e057f2c@imdea.org> <98380a87647cec8799af873b03b2711e@imdea.org> Message-ID: (Apologies for multiple postings) NEW! Are you running late in preparing your SAS paper? No worries! Submit what you have (e.g., title and abstract) and you will have one extra week until May 1 for updating your paper (and May 6 for your artifact). ---------------------------------------------------------------------- Final Call for Papers - Extended deadlines Paper submission April 24, Paper update May 1, Artifacts May 6 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 - Tue 24, October 2023 https://2023.splashcon.org/home/sas-2023 ---------------------------------------------------------------------- The 30th Static Analysis Symposium, SAS 2023, will be co-located with SPLASH 2023 in Cascais (Lisbon), Portugal. Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. IMPORTANT DATES All deadlines are AoE (Anywhere on Earth) **NEW** - Paper submission (title and abstract): April 24, 2023 - Paper update deadline: (Extended) May 1, 2023 - Artifact submission: (Extended) May 6, 2023 - Author response period: June 11-14, 2023 - Notification: June 29, 2023 - Final version due: August 3, 2023 - Conference: Part of SPLASH, Oct 22-24, 2023 TOPICS The technical program for SAS 2023 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: - Abstract interpretation - Automated deduction - Data flow analysis - Debugging techniques - Deductive methods - Emerging applications - Model-checking - Data science - Program optimizations and transformations - Program synthesis - Program verification - Machine learning and verification - Security analysis - Tool environments and architectures - Theoretical frameworks - Type checking - Distributed or networked systems PAPER SUBMISSION All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submission link: https://easychair.org/conferences/?conf=sas2023 We welcome regular papers as well as papers focusing on any of the following in the NEAT (New questions/areas, Experience, Announcement, Tool) category: - Well-motivated discussion of new questions or new areas. - Experience with static analysis tools, Industrial Reports, and Case Studies - Brief announcements of work in progress - Tool papers We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of experience papers, all other papers will follow a lightweight double-blind reviewing process. The identity of the authors for the remaining papers will be known to the reviewers. Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must be written and presented in English. A submitted paper must describe original work and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper. RADHIA COUSOT AWARD The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. ARTIFACTS As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review. PROGRAM COMMITTEE Gogul Balakrishnan, Google, United States Liqian Chen, National University of Defense Technology, China Yu-Fang Chen, Academia Sinica, Taiwan Patrick Cousot, United States Michael Emmi, Amazon Web Services, United States Pietro Ferrara, Università Ca' Foscari, Venezia, Italy Roberto Giacobazzi, University of Verona, Italy Roberta Gori, University of Pisa, Italy Manuel Hermenegildo, U. Pol. de Madrid and IMDEA SW., Spain (Co-Chair) Francesco Logozzo, Facebook, United States Isabella Mastroeni, University of Verona, Italy Antoine Miné, Sorbonne Université, France José Morales, IMDEA Software Institute, Spain (Co-Chair) Kedar Namjoshi, Nokia Bell Labs, United States Jorge A. Navas, Certora, inc., United States Martin C. Rinard, Massachusetts Institute of Technology, United States Daniel Schoepe, Amazon, United Kingdom Helmut Seidl, Technische Universität München, Germany Mihaela Sighireanu, IRIF, Université Paris Diderot, France Gagandeep Singh, U. of Illinois at Urbana-Champaign, United States Yulei Sui, University of New South Wales, Sydney, Australia Laura Titolo, Laura Titolo, NIA/NASA LaRC, United States Jingling Xue, UNSW Sydney, Australia Xin Zhang, Peking University, China Artifact Evaluation Committee Chair: Marc Chevalier, Snyk, Switzerland Publicity Chair: Louis Rustenholz, UPM and IMDEA SW, Spain From ali.benzerbadj at univ-temouchent.edu.dz Thu Apr 20 19:55:32 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Thu, 20 Apr 2023 20:55:32 +0100 Subject: [Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023) Message-ID: The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ **************************************************************************** The goal of the SEIT 2023 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: April 21, 2023 (Final) - Acceptance Notification: May 15, 2023 - Final Manuscript Due: June 12, 2023 Publication ------------ All SEIT 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted 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/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in an international journal. Conference Main Topics (A detailed list can be found at: http://cs-conferences.acadiau.ca/seit-23/#callforPapers): ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems COMMITTEES: -------------- General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesus Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Wayne Groszko, Dalhousie University, Canada Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Isam Janajreh, Khalifa University, UAE Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Yazan Mualla, UTBM, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh, World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-23/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Tue Apr 25 08:11:14 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Tue, 25 Apr 2023 09:11:14 +0100 Subject: [Haskell] The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) 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: June 16, 2023 - 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Tue Apr 25 08:43:54 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Tue, 25 Apr 2023 09:43:54 +0100 Subject: [Haskell] ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023) 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: June 16, 2023 - 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From louis.rustenholz at imdea.org Fri Apr 28 07:31:29 2023 From: louis.rustenholz at imdea.org (louis.rustenholz at imdea.org) Date: Fri, 28 Apr 2023 09:31:29 +0200 Subject: [Haskell] SAS 2023 - Final CFP - Extended full paper deadline: May 1, 2023 Message-ID: <9e095a268a2891556e41be06ff1299a2@imdea.org> (Apologies for multiple postings) NEW! Due to popular demand, we are continuing to accept full papers (not just modifications) until the May 1 deadline! ---------------------------------------------------------------------- Final Call for Papers - Extended deadlines Paper submission May 1, Artifacts May 6 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 - Tue 24, October 2023 https://2023.splashcon.org/home/sas-2023 ---------------------------------------------------------------------- The 30th Static Analysis Symposium, SAS 2023, will be co-located with SPLASH 2023 in Cascais (Lisbon), Portugal. Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. IMPORTANT DATES All deadlines are AoE (Anywhere on Earth) **NEW** - Full paper submission: (Extended) May 1, 2023 - Artifact submission: (Extended) May 6, 2023 - Author response period: June 11-14, 2023 - Notification: June 29, 2023 - Final version due: August 3, 2023 - Conference: Part of SPLASH, Oct 22-24, 2023 TOPICS The technical program for SAS 2023 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: - Abstract interpretation - Automated deduction - Data flow analysis - Debugging techniques - Deductive methods - Emerging applications - Model-checking - Data science - Program optimizations and transformations - Program synthesis - Program verification - Machine learning and verification - Security analysis - Tool environments and architectures - Theoretical frameworks - Type checking - Distributed or networked systems PAPER SUBMISSION All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submission link: https://easychair.org/conferences/?conf=sas2023 We welcome regular papers as well as papers focusing on any of the following in the NEAT (New questions/areas, Experience, Announcement, Tool) category: - Well-motivated discussion of new questions or new areas. - Experience with static analysis tools, Industrial Reports, and Case Studies - Brief announcements of work in progress - Tool papers We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of experience papers, all other papers will follow a lightweight double-blind reviewing process. The identity of the authors for the remaining papers will be known to the reviewers. Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must be written and presented in English. A submitted paper must describe original work and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper. RADHIA COUSOT AWARD The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. ARTIFACTS As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review. PROGRAM COMMITTEE Gogul Balakrishnan, Google, United States Liqian Chen, National University of Defense Technology, China Yu-Fang Chen, Academia Sinica, Taiwan Patrick Cousot, United States Michael Emmi, Amazon Web Services, United States Pietro Ferrara, Università Ca' Foscari, Venezia, Italy Roberto Giacobazzi, University of Verona, Italy Roberta Gori, University of Pisa, Italy Manuel Hermenegildo, U. Pol. de Madrid and IMDEA SW., Spain (Co-Chair) Francesco Logozzo, Facebook, United States Isabella Mastroeni, University of Verona, Italy Antoine Miné, Sorbonne Université, France José Morales, IMDEA Software Institute, Spain (Co-Chair) Kedar Namjoshi, Nokia Bell Labs, United States Jorge A. Navas, Certora, inc., United States Martin C. Rinard, Massachusetts Institute of Technology, United States Daniel Schoepe, Amazon, United Kingdom Helmut Seidl, Technische Universität München, Germany Mihaela Sighireanu, IRIF, Université Paris Diderot, France Gagandeep Singh, U. of Illinois at Urbana-Champaign, United States Yulei Sui, University of New South Wales, Sydney, Australia Laura Titolo, Laura Titolo, NIA/NASA LaRC, United States Jingling Xue, UNSW Sydney, Australia Xin Zhang, Peking University, China Artifact Evaluation Committee Chair: Marc Chevalier, Snyk, Switzerland Publicity Chair: Louis Rustenholz, UPM and IMDEA SW, Spain