From ali_benz at yahoo.fr Mon May 1 08:24:47 2023 From: ali_benz at yahoo.fr (Ali Benzerbadj) Date: Mon, 1 May 2023 08:24:47 +0000 (UTC) Subject: [Haskell] ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023) References: <2051183848.3076301.1682929487745.ref@mail.yahoo.com> Message-ID: <2051183848.3076301.1682929487745@mail.yahoo.com> 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 Ali Benzerbadj Associate Professor, Ain Témouchent University Belhadj Bouchaïb, Ain Témouchent, Algeria Research Laboratory in Industrial Computing and Networks (LRIIR) Research team "Networks and QoS" University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162E-mail(s): ali_benz at yahoo.fr, ali.benzerbadj at univ-temouchent.edu.dz -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Mon May 1 08:31:07 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Mon, 1 May 2023 09:31:07 +0100 Subject: [Haskell] EUSPN 2023 CFPs:The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2023) 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 dominic at steinitz.org Mon May 1 09:34:08 2023 From: dominic at steinitz.org (Dominic Steinitz) Date: Mon, 1 May 2023 10:34:08 +0100 Subject: [Haskell] The Point of this List Message-ID: <46893CA6-05C9-43AD-BEFC-9AC7D9D594CD@steinitz.org> I have been subscribed to this list for over 20 years but these days all I ever see are announcements of conferences which have at best a tangential relationship with Haskell. Maybe it is time to call it a day? Dominic Steinitz dominic at steinitz.org http://idontgetoutmuch.org Twitter: @idontgetoutmuch -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Mon May 1 21:45:15 2023 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Mon, 1 May 2023 14:45:15 -0700 Subject: [Haskell] The Point of this List In-Reply-To: <46893CA6-05C9-43AD-BEFC-9AC7D9D594CD@steinitz.org> References: <46893CA6-05C9-43AD-BEFC-9AC7D9D594CD@steinitz.org> Message-ID: Most people are just subscribed to haskell-cafe instead. If you are not there, maybe that's the one you want to be subscribed to. In the past I have reported such conference announcements so that the specific individuals be removed from the list. Ivan On Mon, 1 May 2023 at 02:34, Dominic Steinitz wrote: > I have been subscribed to this list for over 20 years but these days all I > ever see are announcements of conferences which have at best a tangential > relationship with Haskell. Maybe it is time to call it a day? > > Dominic Steinitz > dominic at steinitz.org > http://idontgetoutmuch.org > Twitter: @idontgetoutmuch > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From s-dgq at thorsten-wissmann.de Wed May 3 18:07:20 2023 From: s-dgq at thorsten-wissmann.de (Thorsten =?iso-8859-1?Q?Wi=DFmann?=) Date: Wed, 3 May 2023 20:07:20 +0200 Subject: [Haskell] The Point of this List In-Reply-To: References: <46893CA6-05C9-43AD-BEFC-9AC7D9D594CD@steinitz.org> Message-ID: Hi all, I agree: I wondered too what the point (or better say 'scope') of this list is. I say this as someone who sent multiple conference announcements / CFPs to this list ('CALCO' / 'CMCS' from coalg.org if you're interested ☺). Before sending the CFPs, it wasn't clear whether it is appropriate or might be considered annoying or even spam. So I definitely welcome some criteria, which could be put on: https://www.haskell.org/mailing-lists/ In particular, I'd find it helpful to have the following questions answered there: - When sending call for papers, which topics are in scope? (functional programming in general? "software"? Category theory? "Math"?..) - Are deadline extensions or further follow-up mails allowed? (e.g. call for participation?) Whether cfp-senders stick to these rules is then a separate issue, which can be solved by blocking repeated off-topic announcements. My personal intention is to advertise, of course, but only among those who might be potentially interested :-) Best, Thorsten On Mon, May 01, 2023, at 14:45 (-0700), Ivan Perez wrote: > Most people are just subscribed to haskell-cafe instead. If you are not there, > maybe that's the one you want to be subscribed to. > In the past I have reported such conference announcements so that the specific > individuals be removed from the list. > Ivan > On Mon, 1 May 2023 at 02:34, Dominic Steinitz <[1]dominic at steinitz.org> wrote: > > I have been subscribed to this list for over 20 years but these days all I > ever see are announcements of conferences which have at best a tangential > relationship with Haskell. Maybe it is time to call it a day? > Dominic Steinitz -- https://thorsten-wissmann.de From j.fla at outlook.com Thu May 4 09:33:01 2023 From: j.fla at outlook.com (James Flanagan) Date: Thu, 4 May 2023 09:33:01 +0000 Subject: [Haskell] The Point of this List In-Reply-To: References: <46893CA6-05C9-43AD-BEFC-9AC7D9D594CD@steinitz.org> Message-ID: Thank you for this tip. Wasn't aware of Haskell-Cafe. Maybe this is the right place for conference announcements then, if it's just for announcements in general. But the quantity is quite high and other stuff is likely to get drowned out. It may be best split into a separate list so that it only goes to those who are interested. (Not all of us are in academia.) James ________________________________ From: Haskell on behalf of Ivan Perez Sent: 01 May 2023 22:45 To: Dominic Steinitz Cc: haskell at haskell.org Subject: Re: [Haskell] The Point of this List Most people are just subscribed to haskell-cafe instead. If you are not there, maybe that's the one you want to be subscribed to. In the past I have reported such conference announcements so that the specific individuals be removed from the list. Ivan On Mon, 1 May 2023 at 02:34, Dominic Steinitz > wrote: I have been subscribed to this list for over 20 years but these days all I ever see are announcements of conferences which have at best a tangential relationship with Haskell. Maybe it is time to call it a day? Dominic Steinitz dominic at steinitz.org http://idontgetoutmuch.org Twitter: @idontgetoutmuch _______________________________________________ Haskell mailing list Haskell at haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell -------------- next part -------------- An HTML attachment was scrubbed... URL: From jeremy.gibbons at cs.ox.ac.uk Thu May 4 10:07:20 2023 From: jeremy.gibbons at cs.ox.ac.uk (Jeremy Gibbons) Date: Thu, 4 May 2023 11:07:20 +0100 Subject: [Haskell] The Point of this List In-Reply-To: References: <46893CA6-05C9-43AD-BEFC-9AC7D9D594CD@steinitz.org> Message-ID: <5CA224D3-269A-4E7A-9FD6-9B6F7C19542E@cs.ox.ac.uk> The purpose of this list is specified on its webpage: > The Haskell mailing list is for announcements and short discussions on any topic related to the Haskell language. > > Discussions should be moved to the Haskell Cafe mailing list after a few exchanges, so that the volume on this list can be kept low. We don’t (please!) need another list for announcements. Perhaps there is scope for a discussion about how “related” a conference announcement should be for it to be announced here. And perhaps there is scope for a discussion about the name: maybe this list should be renamed haskell-announce, for expectation management? But if so, those discussions should presumably happen on haskell-cafe, not here. Jeremy > On 4 May 2023, at 10:33, James Flanagan wrote: > > Thank you for this tip. Wasn't aware of Haskell-Cafe. > > Maybe this is the right place for conference announcements then, if it's just for announcements in general. But the quantity is quite high and other stuff is likely to get drowned out. It may be best split into a separate list so that it only goes to those who are interested. (Not all of us are in academia.) > > James > > From: Haskell > on behalf of Ivan Perez > > Sent: 01 May 2023 22:45 > To: Dominic Steinitz > > Cc: haskell at haskell.org > > Subject: Re: [Haskell] The Point of this List > > Most people are just subscribed to haskell-cafe instead. If you are not there, maybe that's the one you want to be subscribed to. > > In the past I have reported such conference announcements so that the specific individuals be removed from the list. > > Ivan > > On Mon, 1 May 2023 at 02:34, Dominic Steinitz > wrote: > I have been subscribed to this list for over 20 years but these days all I ever see are announcements of conferences which have at best a tangential relationship with Haskell. Maybe it is time to call it a day? > > Dominic Steinitz > dominic at steinitz.org > http://idontgetoutmuch.org > Twitter: @idontgetoutmuch > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell Jeremy.Gibbons at cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From daniel.hillerstrom at ed.ac.uk Mon May 8 11:59:25 2023 From: daniel.hillerstrom at ed.ac.uk (=?UTF-8?Q?Daniel_Hillerstr=c3=b6m?=) Date: Mon, 8 May 2023 13:59:25 +0200 Subject: [Haskell] [CFP] Student Research Competition (SRC) at ICFP'23 Message-ID: <5c8e03fe-21d3-db30-827a-9123e37de074@ed.ac.uk> ICFP 2023 Student Research Competition Call for Submissions ICFP 2023 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three rounds: * Submission of an extended abstract * Poster session at ICFP 2023 * Finalists' presentations at ICFP 2023 During the first round students submit an extended abstract detailing their research to be reviewed by the program committee. Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2023. Winners of the poster session advance to next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience. ### IMPORTANT DATES * Submission Deadline: 25 May 2023 (Thursday) * Author Notification: 15 June 2023 (Thursday) * ICFP 2023 Conference in Seattle, Washington, USA: 4 September 2023 (Monday) - 9 September 2023 (Saturday) ### SUBMISSION OF EXTENDED ABSTRACTS * Submission Website: https://icfp23src.hotcrp.com Each submission (referred to as "abstract" below) should include the student author's name and e-mail address; institutional affiliation; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp23.sigplan.org/track/icfp-2023-student-research-competition ### PROGRAM COMMITTEE Daniel Hillerström (Huawei Research Center Zurich) (co-chair) J. Garrett Morris (University of Iowa) (co-chair) Kathy Gray (Meta) Leo Stefanesco (MPI-SWS) Shin-Cheng Mu (Academia Sinica) 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 Graham.Hutton at nottingham.ac.uk Wed May 10 07:04:47 2023 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Wed, 10 May 2023 07:04:47 +0000 Subject: [Haskell] Final Call for Papers: Functional Software Architecture - FP in the Large (** deadline 1st June **) In-Reply-To: References: 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 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 — FINAL 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From rsato at is.s.u-tokyo.ac.jp Fri May 12 05:20:34 2023 From: rsato at is.s.u-tokyo.ac.jp (Sato, Ryosuke) Date: Fri, 12 May 2023 14:20:34 +0900 Subject: [Haskell] APLAS 2023: Second Call for Papers Message-ID: UPDATE: Distinguished Papers Awards! ====================================================================== 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 DISTINGUISHED PAPERS AWARDS ------------------------------------- Around 10% of the accepted papers of APLAS 2023 will be designated as Distinguished Papers, which highlights papers that the Program Committee recommends due to their excellent quality. The awards will be announced on this website, and printed certificates will be issued to the authors in the conference. 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 ali.benzerbadj at univ-temouchent.edu.dz Fri May 12 09:35:02 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Fri, 12 May 2023 10:35:02 +0100 Subject: [Haskell] EUSPN 2023 CFPs:The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2023) 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 -- Ali Benzerbadj Lecturer, University of Ain Temouchent Ain Témouchent, Algeria Research Laboratory in Industrial Computing and Networks (LRIIR) Research team "Networks and QoS" University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Fri May 12 09:36:47 2023 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Fri, 12 May 2023 10:36:47 +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 -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj at univ-temouchent.edu.dz , ali_benz at yahoo.fr, -------------- next part -------------- An HTML attachment was scrubbed... URL: From lemming at henning-thielemann.de Sun May 14 17:14:51 2023 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Sun, 14 May 2023 19:14:51 +0200 (CEST) Subject: [Haskell] Announcement: Fast linear programming with comfort-glpk and coinor-clp Message-ID: I happily released two other numeric packages based on the comfort-array types. These are bindings to fast numeric linear programming solvers: https://hackage.haskell.org/package/comfort-glpk https://hackage.haskell.org/package/coinor-clp The first one is (another) binding to GLPK and the second one is a binding to COIN-OR/CLP. I guess this is the first Haskell binding to COIN-OR/CLP, at all. I found that the COIN-OR solver is not as simply structured as GLPK and the examples miss the simple use cases, but its performance is much better than that of GLPK and its interior point solver (Method.initialBarrierSolve) just works, in contrast to the one of GLPK. Warm start of solvers is supported by according monadic interfaces. Both packages use the same types to describe linear programming problems, thus you can describe your problem once and then simply choose the appropriate solver. The types are exported by the package linear-programming. The flexible array shapes provided by comfort-array help a lot to structure the problem variables. This saves you from the need to manually work with integer indices. You can concatenate array shapes with (::+) and establish Cartesian products with (,) and define array shapes that are compatible with nested tuples (e.g. Shape.NestedTuple ((X,X),(X,X,X))) or define arrays with indices of any Enum type (Shape.Enumeration). From icfp.publicity at googlemail.com Mon May 15 17:57:44 2023 From: icfp.publicity at googlemail.com (ICFP Publicity) Date: Tue, 16 May 2023 01:57:44 +0800 Subject: [Haskell] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals Message-ID: ICFP 2023 CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS 28th ACM SIGPLAN International Conference on Functional Programming September 4 - 9, 2023 Seattle, WA, USA https://icfp23.sigplan.org/ The 28th ACM SIGPLAN International Conference on Functional Programming will be held in Seattle, WA, USA on September 4 - 9, 2023, with the option of virtual participation. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. The tutorials may target an audience who is interested in commercial uses of functional programming, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Just like last year, following the success of the #ShutDownPL event, we are also inviting proposals for panels and discussions on topics of broader interest to the PL community. Tutorials, panels, and discussions may occur before or after ICFP, co-located with the associated workshops, on September 4 or September 8-9. ---------------------------------------------------------------------- Submission details Deadline for submission: May 23rd, 2023 Notification of acceptance: May 26th, 2023 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2023 workshop co-chairs (Arthur Azevedo de Amorim and Yannick Forster), via email to icfp-workshops-2023 AT googlegroups.com by May 23rd, 2023. Please note that this is a firm deadline. The proposal form is available at: http://www.icfpconference.org/icfp2023-files/icfp23-panel-form.txt http://www.icfpconference.org/icfp2023-files/icfp23-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2023 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Arthur Azevedo de Amorim (Boston University) Workshop Co-Chair: Yannick Forster (Inria Nantes) General Chair: Nikhil Swamy (Microsoft Research) Program Chair: Sam Lindley (University of Edinburgh) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Arthur Azevedo de Amorim and Yannick Forster), via email to icfp-workshops-2023 AT googlegroups.com From J.G.H.Cockx at tudelft.nl Fri May 19 09:21:34 2023 From: J.G.H.Cockx at tudelft.nl (Jesper Cockx) Date: Fri, 19 May 2023 09:21:34 +0000 Subject: [Haskell] WITS 2023 First Call for Contributions Message-ID: <32f3ff8898a74741b695bdfc73c2cf21@tudelft.nl> ========================================================== CALL FOR CONTRIBUTIONS Second Workshop on the Implementation of Type Systems August 28th, 2023, Braga, Portugal https://ifl23.github.io/call_papers_wits.html ========================================================== === Important Dates === * Abstract Submission Deadline: 30th June, 2023 (AoE) * Notification: 21st July, 2023 (AoE) * Workshop: 28th August, 2023 (AoE) Submission site: https://wits23.hotcrp.com (submissions will open soon) === Scope and topics === The Second Workshop on the Implementation of Type Systems (WITS 2023) will be held on August 28, 2023, in Braga, Portugal, co-located with IFL 2023. The goal of this workshop is to bring together the implementors of a variety of languages with advanced type systems. The main focus is on the practical issues that come up in the implementation of these systems, rather than the theoretical frameworks that underlie them. In particular, we want to encourage exchanging ideas between the communities around specific systems that would otherwise be accessible to only a very select group. The workshop will have a mix of invited and contributed talks, organized discussion times, and informal collaboration time. We invite participants to share their experiences, study differences among the implementations, and generalize lessons from those. We also want to promote the creation of a shared vocabulary and set of best practices for implementing type systems. Here are a few examples of topics we are interested to discuss: - syntax with binders and substitution - conversion modulo beta and eta - implicit arguments and metavariables - unification and constraint solving - metaprogramming and tactic languages - editor integration and automation - discoverability of language features - pretty printing and error messages This list is not exhaustive, so please contact the PC chairs in case you are unsure if a topic falls within the scope of the workshop. === Paper categories === We are looking for contributions in two categories: - Discussion proposals (1 page abstract) should highlight a particular technique or aspect of type system implementation that is applicable to different programming languages. These should not present novel ideas, but rather focus on building a shared understanding between the different communities working on type systems. - Talk proposals (1 page abstract) should present a novel idea or technique, an implementation of a new type system feature (which can be work in progress), or highlight a particular problem that came up in the implementation of a type system. Both types of contribution will be evaluated based on their relevance, clarity, and their potential to generate interesting discussions. We especially welcome submissions from people who are new to the field or work in adjacent areas. Reviewing will be single blind, so there is no need to anonymize submissions. Accepted submissions will be made available publicly on the WITS website. There are no formal proceedings, so you are free to submit work that has also been submitted elsewhere. === Program Committee === PC Chairs: - Jesper Cockx (Delft University of Technology, The Netherlands) - Richard Eisenberg (Jane Street, USA) Committee Members: - Guillaume Allais (University of Strathclyde, Scotland) - Alexis King (Tweag Software Innovation Lab, France) - Xavier Leroy (Collège de France, France) - Jon Sterling (Aarhus University, Denmark) - Sebastian Ullrich (Karlsruhe Institute of Technology, Germany) -------------- next part -------------- An HTML attachment was scrubbed... URL: From rsato at is.s.u-tokyo.ac.jp Tue May 23 07:10:29 2023 From: rsato at is.s.u-tokyo.ac.jp (Sato, Ryosuke) Date: Tue, 23 May 2023 16:10:29 +0900 Subject: [Haskell] Call for Submissions: Student Research Competition and Posters, APLAS 2023 Message-ID: ====================================================================== CALL FOR SUBMISSIONS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) STUDENT RESEARCH COMPETITION and POSTERS Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/track/aplas-2023/src-and-posters ====================================================================== The APLAS 2023 student research competition (SRC) aims to provide opportunities for students to present their ongoing work to the community and receive feedback. The associated poster session also welcomes contributions from the entire community. IMPORTANT DATES --------------- * Mon 21 Aug 2023: Submission Deadline for Extended Abstracts * Fri 22 Sep 2023: Notification SUBMISSION CATEGORIES --------------------- * Student Research Competition: unpublished work by a single student https://conf.researchr.org/track/aplas-2023/src-and-posters#student-research-competition * Non-SRC posters: unpublished or published work, not restricted to students https://conf.researchr.org/track/aplas-2023/src-and-posters#non-src-posters PRIZES AND AWARDS ----------------- * First, second, and third prizes of the SRC * Audience awards (based on voting by conference participants) given in three categories: SRC posters, non-SRC posters, and SRC finalist presentations SUBMISSION INFORMATION ---------------------- For both submission categories, submit an extended abstract following the instructions on the website: https://conf.researchr.org/track/aplas-2023/src-and-posters#submission-information A selection committee will review the extended abstracts and provide feedback. ORGANISERS ---------- SRC & Posters Chair: * Hsiang-Shang 'Josh' Ko (Academia Sinica, Taiwan) Selection Committee: * Jacques Garrigue (Nagoya University, Japan) * Jeremy Gibbons (University of Oxford, UK) * Chih-Duo Hong (National Chengchi University, Taiwan) * Oleg Kiselyov (Tohoku University, Japan) * Akimasa Morihata (University of Tokyo, Japan) * Dominic Orchard (University of Kent, UK) * Taro Sekiyama (National Institute of Informatics, Japan) * Chung-chieh Shan (Indiana University, USA) * Youngju Song (MPI-SWS, Germany) * Tachio Terauchi (Waseda University, Japan) * Chuangjie Xu (SonarSource, Germany) From daniel.hillerstrom at ed.ac.uk Tue May 23 07:13:24 2023 From: daniel.hillerstrom at ed.ac.uk (=?UTF-8?Q?Daniel_Hillerstr=c3=b6m?=) Date: Tue, 23 May 2023 09:13:24 +0200 Subject: [Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP) Message-ID: <32a4c0fd-d952-8887-7cb0-ea9d880d5d63@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 daniel.hillerstrom at ed.ac.uk Tue May 23 07:15:05 2023 From: daniel.hillerstrom at ed.ac.uk (=?UTF-8?Q?Daniel_Hillerstr=c3=b6m?=) Date: Tue, 23 May 2023 09:15:05 +0200 Subject: [Haskell] [CFP] Student Research Competition (SRC) at ICFP'23 Message-ID: ICFP 2023 Student Research Competition Call for Submissions ICFP 2023 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three rounds: * Submission of an extended abstract * Poster session at ICFP 2023 * Finalists' presentations at ICFP 2023 During the first round students submit an extended abstract detailing their research to be reviewed by the program committee. Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2023. Winners of the poster session advance to next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience. ### IMPORTANT DATES * Submission Deadline: 25 May 2023 (Thursday) * Author Notification: 15 June 2023 (Thursday) * ICFP 2023 Conference in Seattle, Washington, USA: 4 September 2023 (Monday) - 9 September 2023 (Saturday) ### SUBMISSION OF EXTENDED ABSTRACTS * Submission Website: https://icfp23src.hotcrp.com Each submission (referred to as "abstract" below) should include the student author's name and e-mail address; institutional affiliation; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp23.sigplan.org/track/icfp-2023-student-research-competition ### PROGRAM COMMITTEE Daniel Hillerström (Huawei Research Center Zurich) (co-chair) J. Garrett Morris (University of Iowa) (co-chair) Kathy Gray (Meta) Leo Stefanesco (MPI-SWS) Shin-Cheng Mu (Academia Sinica) 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 cong at c.titech.ac.jp Tue May 23 12:00:00 2023 From: cong at c.titech.ac.jp (Youyou Cong) Date: Tue, 23 May 2023 21:00:00 +0900 Subject: [Haskell] GPCE 2023 Call for Papers Message-ID: ------------------------------------------------------------------------------- GPCE 2023: 22nd International Conference on Generative Programming: Concepts & Experiences GPCE 2023 will be co-located with SPLASH, SAS, and SLE. The conference will be hosted in Lisbon, Portugal. https://conf.researchr.org/home/gpce-2023/ ------------------------------------------------------------------------------- New in GPCE 2023: This year, GPCE considers the following additional topics of interest: * AI/ML techniques for generating code, and * low code / no code approaches. Also, GPCE solicits an additional paper category: * Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). --------------------------- CALL FOR PAPERS --------------------------- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, * macro systems, preprocessors, * program synthesis, * code-recommendation systems, * domain-specific languages, * generative language workbenches, * language embedding, language design, * feature-oriented programming, * domain engineering, * feature interactions, * applications and properties of code generation, * language implementation, * product-line development, * (NEW!) AI/ML techniques for generating code, and * (NEW!) low code / no code approaches. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. --------------------------- PAPER CATEGORIES --------------------------- GPCE solicits four kinds of submissions: * Full Papers: reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topics. Full paper submissions must not exceed 12 pages excluding the bibliography. * Short Papers: presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text “(Short Paper)” appended to their titles. * Tool Demonstrations: presenting tools for any GPCE topics. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text “(Tool Demonstration)” appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used for evaluating the submission. * (NEW!) Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are included in the proceedings and will be presented at the conference. Generative Pearl submissions must not exceed 12 pages excluding the bibliography (but may be shorter), and must have the text “(Generative Pearl)” appended to their titles. --------------------------- PAPER SELECTION --------------------------- The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. --------------------------- BEST PAPER AWARD --------------------------- Following the tradition, the GPCE 2023 program committee will select the best paper among accepted papers. The authors of the best paper will be given the best paper award at the conference. --------------------------- IMPORTANT DATES --------------------------- - Abstract submission: July 3rd (Monday) - Paper submission: July 7th (Friday) - Review notification: August 23rd (Wednesday) - Author response: August 25th (Friday) - Final notification: September 3rd (Sunday) - Camera-ready due: September 10th (Sunday) - SPLASH 2023: October 22nd - 27th All times are in AoE (Anywhere on Earth). --------------------------- PAPER SUBMISSION --------------------------- Papers must be submitted using HotCRP: https://gpce2023.hotcrp.com/ All submissions must use the ACM SIGPLAN Conference Format "acmart". Be sure to use the latest LaTeX templates and class files, the SIGPLAN sub-format, and 10-point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}. To increase fairness in reviewing, GPCE 2023 uses the double-blind review process which has become standard across SIGPLAN conferences: - Author names, institutions, and acknowledgments should be omitted from submitted papers, and - references to the authors' own work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer authors' identities in implicit ways. For additional information, clarification, or answers to questions, contact the program chair. The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication/). --------------------------- ORGANIZATION --------------------------- - General Chair: Bernhard Rumpe (RWTH Aachen University) - Program Chair: Amir Shaikhha (University of Edinburgh) - Publicity Chair: Youyou Cong (Tokyo Institute of Technology) -------------- next part -------------- An HTML attachment was scrubbed... URL: From cong at c.titech.ac.jp Tue May 23 12:25:37 2023 From: cong at c.titech.ac.jp (Youyou Cong) Date: Tue, 23 May 2023 21:25:37 +0900 Subject: [Haskell] GPCE 2023 Call for Papers (with complete committee information) Message-ID: Apologies for the incomplete committee information in the previous post. Below you will find the full list of committee members. ------------------------------------------------------------------------------- GPCE 2023: 22nd International Conference on Generative Programming: Concepts & Experiences GPCE 2023 will be co-located with SPLASH, SAS, and SLE. The conference will be hosted in Lisbon, Portugal. https://conf.researchr.org/home/gpce-2023/ ------------------------------------------------------------------------------- New in GPCE 2023: This year, GPCE considers the following additional topics of interest: * AI/ML techniques for generating code, and * low code / no code approaches. Also, GPCE solicits an additional paper category: * Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). --------------------------- CALL FOR PAPERS --------------------------- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, * macro systems, preprocessors, * program synthesis, * code-recommendation systems, * domain-specific languages, * generative language workbenches, * language embedding, language design, * feature-oriented programming, * domain engineering, * feature interactions, * applications and properties of code generation, * language implementation, * product-line development, * (NEW!) AI/ML techniques for generating code, and * (NEW!) low code / no code approaches. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. --------------------------- PAPER CATEGORIES --------------------------- GPCE solicits four kinds of submissions: * Full Papers: reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topics. Full paper submissions must not exceed 12 pages excluding the bibliography. * Short Papers: presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text “(Short Paper)” appended to their titles. * Tool Demonstrations: presenting tools for any GPCE topics. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text “(Tool Demonstration)” appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used for evaluating the submission. * (NEW!) Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are included in the proceedings and will be presented at the conference. Generative Pearl submissions must not exceed 12 pages excluding the bibliography (but may be shorter), and must have the text “(Generative Pearl)” appended to their titles. --------------------------- PAPER SELECTION --------------------------- The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. --------------------------- BEST PAPER AWARD --------------------------- Following the tradition, the GPCE 2023 program committee will select the best paper among accepted papers. The authors of the best paper will be given the best paper award at the conference. --------------------------- IMPORTANT DATES --------------------------- - Abstract submission: July 3rd (Monday) - Paper submission: July 7th (Friday) - Review notification: August 23rd (Wednesday) - Author response: August 25th (Friday) - Final notification: September 3rd (Sunday) - Camera-ready due: September 10th (Sunday) - SPLASH 2023: October 22nd - 27th All times are in AoE (Anywhere on Earth). --------------------------- PAPER SUBMISSION --------------------------- Papers must be submitted using HotCRP: https://gpce2023.hotcrp.com/ All submissions must use the ACM SIGPLAN Conference Format "acmart". Be sure to use the latest LaTeX templates and class files, the SIGPLAN sub-format, and 10-point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}. To increase fairness in reviewing, GPCE 2023 uses the double-blind review process which has become standard across SIGPLAN conferences: - Author names, institutions, and acknowledgments should be omitted from submitted papers, and - references to the authors' own work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer authors' identities in implicit ways. For additional information, clarification, or answers to questions, contact the program chair. The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication/). --------------------------- ORGANIZATION --------------------------- - General Chair: Bernhard Rumpe (RWTH Aachen University) - Program Chair: Amir Shaikhha (University of Edinburgh) - Publicity Chair: Youyou Cong (Tokyo Institute of Technology) - Steering Committee Chair: Sebastian Erdweg (JGU Mainz) For additional information, clarification, or answers to questions, contact the program chair: amir dot shaikhha at ed dot ac dot uk --------------------------- PROGRAM COMMITTEE --------------------------- Aleksandar Dimovski - Mother Teresa University, Skopje Coen De Roover - Vrije Universiteit Brussel Daniel Strüber - Chalmers | University of Gothenburg Elena Zucca - University of Genova Eli Tilevich - Virginia Tech Geoffrey Mainland - Drexel University Jeremy Gibbons - Oxford University Jeremy Yallop - University of Cambridge Julia Lawall - Inria Lionel Parreaux - The Hong Kong University of Science and Technology Márcio Ribeiro - Federal University of Alagoas Martin Erwig - Oregon State University Michael O'Boyle - University of Edinburgh Philip Wadler - University of Edinburgh Raffi Khatchadourian - City University of New York (CUNY) Hunter College Ruby Tahboub - University of Illinois Urbana-Champaign Sandro Stucki - Amazon Prime Video Sebastian Erdweg - JGU Mainz Sheng Chen - UL Lafayette Shigeru Chiba - University of Tokyo Shoaib Kamil - Adobe Sibylle Schupp - Hamburg University of Technology Simon Fowler - University of Glasgow Vojin Jovanovic - Oracle Labs Walter Binder - Università della Svizzera italiana (USI) Youyou Cong - Tokyo Institute of Technology Yukiyoshi Kameyama - University of Tsukuba -------------- next part -------------- An HTML attachment was scrubbed... URL: From fritz at henglein.com Thu May 25 22:55:37 2023 From: fritz at henglein.com (Fritz Henglein) Date: Fri, 26 May 2023 00:55:37 +0200 Subject: [Haskell] Postdoc position in deep probabilistic programming Message-ID: We have an open postdoc position in deep probabilistic programming (DPP) at DIKU, University of Copenhagen, with a focus on programming language technology. The position is for one year and can be extended to two years. It is open immediately. To inquire about the position or apply for it, please send your CV, your research interests, how you believe you can contribute to and benefit from the research program below, and one relevant research paper you have authored to Fritz Henglein, henglein at diku.dk. About DPP Deep probabilistic programming combines programming with probability distributions and parameters that can be optimized to match observed outcomes by automatic differentiation (AD); it is essentially Bayesian inference plus deep learning in an expressive programming language. About AD AD is of particular interest to us in this project. We are exploring DSL-based linear operator representations for derivatives that share the benefits of matrices (expressive algebra, easy parallelism-preserving adjoints for running ‘in reverse’, hardware-supported high-performance execution on GPUs, etc), but avoid their prohibitive storage and execution costs at high dimension, without using so-called ‘jvp’ and ‘vjp’ representations of derivatives expressed in a general-purpose programming language, which is inherently tricky to analyze and optimize. This is where we’ll need your help: Our hypothesis is that AD by aggressive almost-symbolic differentiation, clever symbolic representation (e.g. tensor product representation for low-rank matrices) of derivatives, followed by parallelism-preserving transformation and optimization, and eventual compilation to a functional high-performance array programming language such as Futhark can provide execution performance advantages in a suitably constructed DSL. About PP Subsequently we’d like to add probability distributions/random variables as data types with exploitable algebraic properties to the DSL to implement efficient (Hamiltonian and Newtonian) probabilistic inference techniques that minimize the need for sampling and maximize computational performance. About applications The present project is driven by multiple applications in protein structure prediction, where computational efficiency is (still) a major bottleneck. This is the targeted problem domain for this postdoc position. The overall multilinear algebraic programming approach has broader applications, though, ranging from database query processing (‘vector spaces’ — actually modules — over Z as generalized relations) via machine learning (vector spaces over R) to quantum computation (vector spaces over C). Required background Ideally you should have both - a good mathematical grounding, specifically in (multi)linear algebra and in common vector spaces such as Hilbert spaces, and ideally also in probability theory for the probabilistic programming aspects, and - practical mastery of functional programming language technology for generating high-performance code. The reason is that the former is not a goal by itself —we aim for very high performance in practice, the generated code really has to run very fast — and the latter by itself will make the optimization ideas seem mysterious since they exploit the former in nonobvious ways. No particular background in bioinformatics, proteins or such is required. If you have some, wonderful; but we have plenty of expertise in the team that you can draw on. About employment terms The position can be started as soon as the paperwork is done after an employment offer has been made and accepted, which may be weeks to months, depending on your citizenship. The salary is according to the standard Danish union contract for academics. Including mandatory contribution to your own pension account, it can be expected to be between DKK 40,000 and DKK 50,000 /month before income taxes. The actual amount depends on formal qualifications and seniority. About the project team, DIKU, UCPH and Copenhagen The project, deep probabilistic programming for protein structure prediction, is funded by the Danish Research Council and hosted by the Programming Language and Theory of Computation (PLTC) section at the Department of Computer Science (DIKU) at the University of Copenhagen (UCPH). It is led by Thomas Hamelryck (Department of Biology and DIKU) and Fritz Henglein (DIKU) and is performed in collaboration with and in close proximity to the Futhark high-performance functional programming language research group. DIKU is located on the North Campus of UCPH, next to the largest park in Copenhagen. Copenhagen is routinely ranked as one of the most livable cities in the world. You’ll have the opportunity to gather teaching qualifications during the second postdoc year and UCPH is usually ranked as one of the better or even best universities in Europe, both of which can contribute effectively to your academic career. Fritz Henglein fritz at henglein.com (private, fastest), henglein at diku.dk (office, DIKU) +45-30589576 -------------- next part -------------- An HTML attachment was scrubbed... URL: From daniel.jurjo at imdea.org Fri May 26 08:37:04 2023 From: daniel.jurjo at imdea.org (daniel.jurjo at imdea.org) Date: Fri, 26 May 2023 10:37:04 +0200 Subject: [Haskell] LOPSTR 2023 - Final CFP - Extended paper deadline: June 9, 2023 Message-ID: <20230526083707.0A33A1436@mail.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: - Paper submission: June 9, 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). Cheers, From l.t.vanbinsbergen at uva.nl Wed May 31 12:47:13 2023 From: l.t.vanbinsbergen at uva.nl (Thomas van Binsbergen) Date: Wed, 31 May 2023 12:47:13 +0000 Subject: [Haskell] Postdoc Position on Digitally Enforceable Data Sharing Contracts In-Reply-To: References: Message-ID: To whom may be interested, With this message I would like to bring your attention to a Postdoc vacancy with the following title and summary: Postdoc Position on Digitally Enforceable Data Sharing Contracts The University of Amsterdam (UvA) is looking for a Postdoctoral Researcher in the area of programming languages, formal methods, and distributed systems. The goal of the research is to enable the integration and automatic enforcement of high-level contract specification within distributed systems for data exchange and federated data processing. Possible outcomes are: (domain-specific) software languages, system architecture designs, and prototypes for verifying contract specifications, language implementations, and auditing/monitoring components. The offered contract is for a minimum of 12 months. The closing date is the 25th of June. The ideal starting date the 1st of August. The full vacancy text and application procedure can be found here: https://vacatures.uva.nl/UvA/job/Postdoc-Position-on-Digitally-Enforceable-Data-Sharing-Contracts/771937302/ For more information, contact me at l.t.vanbinsbergen at uva.nl. Kind regards, Dr. L. Thomas van Binsbergen, Assistant Professor, Informatics Institute, University of Amsterdam -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue May 30 07:36:56 2023 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 30 May 2023 07:36:56 +0000 Subject: [Haskell] Call for Papers: JFP Special Issue on Program Calculation Message-ID: <960AA989-0CA3-4019-BEB6-D9CB6161B889@nottingham.ac.uk> Dear all, We're delighted to announce a Special Issue on Program Calculation for the Journal of Functional Programming. Please share, and submit your best papers! Best wishes, Graham Hutton and Nicolas Wu Guest Editors ================================================================== JFP Special Issue on Program Calculation We invite submissions to the Journal of Functional Programming Special Issue on Program Calculation: tinyurl.com/prog-calc Notification of intent : 20 October 2023 Submission deadline : 1 December 2023 SCOPE The idea of program calculation, in which programs are derived from specifications using equational reasoning techniques, has been a topic of interest in functional programming since its earliest days. In particular, the approach allows us to systematically discover how programs can be defined, while at the same time obtaining proofs that they are correct. The aim of this special issue is to document advances that have been made in the field of program calculation in recent years. TOPICS Full-length, archival-quality submissions are solicited on all aspects of program calculation and related topics. Specific topics of interest include but are not limited to: - Program derivation and transformation; - Inductive and co-inductive methods; - Recursion and co-recursion schemes; - Categorical and graphical methods; - Tool support and proof assistants; - Efficiency and resource usage; - Functional algorithm design; - Calculation case studies. The special issue will also consider papers on program calculation that are not traditional research papers. This may include pearls, surveys, tutorials or educational papers, which will be judged by the usual JFP standards for such submissions. Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme. NOTIFICATION OF INTENT Authors must notify the special issue editors of their intent to submit by 20 October 2023. The notification of intent should be submitted by filling out the following form, which asks for data to help identify suitable reviewers: tinyurl.com/intent-to-submit If you miss the notification of intent deadline, but still wish to submit, please contact the special-issue editors. SUBMISSIONS Papers must be submitted by 1 December 2023. Submissions should be typeset in LaTeX using the JFP style file, and submitted through the JFP Manuscript Central system. Choose "Program Calculation" as the paper type, so it gets assigned to the special issue. Further author instructions are available from: tinyurl.com/JFP-instructions We welcome extended versions of conference or workshop papers. Such submissions must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss submissions with the editors to ensure compliance. SPECIAL-ISSUE EDITORS Graham Hutton Nicolas Wu IMPORTANT DATES We anticipate the following schedule: 20 October 2023 : Notification-of-intent deadline 1 December 2023 : Submission deadline 22 March 2024 : First round of reviews 12 July 2024 : Revision deadline 4 October 2024 : Second round of reviews, if applicable 29 November 2024 : Final versions due ================================================================== This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.