From mh at informatik.uni-kiel.de Wed Oct 5 17:57:45 2022 From: mh at informatik.uni-kiel.de (Michael Hanus) Date: Wed, 5 Oct 2022 19:57:45 +0200 (CEST) Subject: [Haskell] PADL 2023: Final Call for Papers (with updated deadlines!) Message-ID: <20221005175745.B19D51FFDD@lascombes.informatik.uni-kiel.de> ============================================================================== Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023 Boston, Massachusetts, United States, January 16-17, 2023 Co-located with ACM POPL 2023 ============================================================================== FINAL DEADLINES: ---------------- Abstract submission: October 12, 2022 (AoE) Paper submission: October 19, 2022 (AoE) Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2023 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL 2023 welcomes three kinds of submission: * Technical papers (max. 15 pages): Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages): Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages): Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2023 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Papers should be submitted electronically at https://easychair.org/conferences/?conf=padl2023 Important Dates (UPDATED!) -------------------------- Abstract submission: October 12, 2022 (AoE) Paper submission: October 19, 2022 (AoE) Notification: November 15, 2022 Camera-ready papers: December 1, 2022 Symposium: January 16-17, 2023 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming, and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2023 PC Co-Chairs ---------------------- - Michael Hanus, Kiel University, Germany - Daniela Inclezan, Miami University, United States Programme Committee ------------------- Andreas Abel Gothenburg University, Sweden Annette Bieniusa TU Kaiserslautern, Germany Joachim Breitner Epic Games, Germany William Byrd University of Alabama at Birmingham, USA Pedro Cabalar University of Corunna, Spain Francesco Calimeri University of Calabria, Italy Stefania Costantini University of L'Aquila, Italy Esra Erdem Sabanci University, Turkey Martin Gebser University of Klagenfurt, Austria Robert Glueck University of Copenhagen, Denmark Gopal Gupta University of Texas at Dallas, USA Michael Hanus CAU Kiel, Germany (co-chair) Daniela Inclezan Miami University, USA (co-chair) Tomi Janhunen Tampere University, Finland Patricia Johann Appalachian State University, USA Yukiyoshi Kameyama University of Tsukuba, Japan Ekaterina Komendantskaya Heriot-Watt University, UK Simona Perri University of Calabria, Italy Enrico Pontelli New Mexico State University, USA Tom Schrijvers Katholieke Universiteit Leuven, Belgium Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Peter Van Roy Universite catholique de Louvain, Belgium Janis Voigtlaender University of Duisburg-Essen, Germany Ningning Xie University of Cambridge, UK Contact Address --------------- padl2023 _AT_ easychair.org ------------------------------------------------------------------------------- From calimeri at mat.unical.it Thu Oct 6 10:43:39 2022 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Thu, 6 Oct 2022 12:43:39 +0200 Subject: [Haskell] [CfP] - DEADLINE EXTENSION - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022 Message-ID: ================================================================== ******* DEADLINE EXTENSION: NEW deadline October 23, 2022 ******* ******** AI and HEALTHCARE Working Group Kick-off Meeting ******** ================================================================== ================================================================== First AIxIA Workshop on Artificial Intelligence For Healthcare HC at AIxIA 2022 ================================================================== November 28 - December 2, 2022, University of Udine, Udine, Italy https://sites.google.com/unical.it/hcaixia2022 CO-LOCATED with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022) ================================================================== *** - apologize for multiple postings - *** = Background = In the latest years we have been witnessing the ubiquitous application of Artificial Intelligence in real-world domains; in particular, AI-based solutions significantly changed the game in the field of medicine and healthcare in several respects (research, management, clinical practice). Indeed, applications of AI in the healthcare domain became a major research topics, that attracts cross-disciplinary research groups. Medicine and health care require highly complex decision making to ensure that the trajectory a patient with a disease needs to take for diagnosis, treatment, recovery, and finally outcome is optimal in some sense. As a consequence, researchers have to draw methods from the entire field of AI. On the other hand, healthcare and medicine are built upon a rich and evolving body of knowledge, e.g., concerning the pathophysiology of diseases, molecular, genetic, cytological, and histological characterization of stages of a disease, described by temporal and spatial patterns. Such knowledge can also act as background knowledge to guide machine learning. In order to move towards effective and long-lasting applications of AI in healthcare, it is crucial to elucidate the relationship between what can be expected from AI methods when applied to healthcare problems and the role knowledge of healthcare and clinical medicine can play in developing AI solutions to health-care and clinical problems. = The Workshop = The HX at AIxIA workshop aims at gathering researchers from academia, industry and medical centers for presenting and discussing the latest research results and ongoing works related to the application and impact of AI in the healthcare domain, to the larger extent, thus aiming at covering a wide spectrum of topics, including theoretical and practical aspects, methodologies, technologies, and systems. Topics include, but are not limited to: - Machine learning methods, data mining and statistical methods for clinical decision support - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare: - Machine learning methods, data mining and statistical methods for clinical decision support) - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare - Methods for diagnosis, treatment selection, treatment planning, and prognosis - Monitoring patients in healthcare - Ontologies and medical vocabularies - Personalized medicine - Computer-interpretable clinical guidelines - Support for natural language generation/understanding in connection electronic patient records - Tools for supporting authoring, execution and maintenance of clinical protocols and guidelines - Tools for building and deployment of clinical decision-support systems = Contributions = The workshop will feature presentations of refereed contributions; two types of submissions are invited: - full papers, possibly already submitted to other conferences or journals - short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. In particular, we also invite submissions of systems or prototype software descriptions; systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Besides demos, some contributions might be invited to be presented as posters. = Submission Instructions = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hcaixia2022 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by AIxIA. = Proceedings and Journal Special Issue = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the workshop web site, including a link to the original publication, if already published. The organizers are considering the possibility of having workshop post-proceedings appearing in a special issue of an international journal, provided that a sufficient amount of quality papers is collected. In such a case, authors of accepted papers will be invited to submit extended and revised versions of their papers. Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. A second review formal process will be run in order to meet the expected quality of a journal. = NOTE: WORKING GROUP KICK-OFF MEETING = All authors of accepted papers are invited to participate in the Kick-Off meeting of the AI and Healthcare Working Group of AIxIA ( https://aixia.it/en/gruppi/hc/), that will be held on November 30rd, 2022 right after the workshop. = IMPORTANT DATES (updated) = Paper submission: October 23, 2022 Notification to authors: November 18, 2022 Camera-ready copy due: November 21, 2022 Main Workshop starts: November 30, 2022 WG Kick-Off Meeting: November 30, 2022 = PORGRAM COMMITTEE = == Program Chairs == Francesco Calimeri, University of Calabria, Italy Mauro Dragoni, Fondazione Bruno Kessler - FBK-IRST, Italy Fabio Stella, Università degli Studi di Milano-Bicocca, Italy == Program Committee Members == Alessandro Dal Palù, University of Parma, Italy Alessio Zanga, University of Milano-Bicocca, Italy Alice Bernasconi, Fondazione IRCCS Istituto Nazionale dei Tumori, Italy Antonella Guzzo, University of Calabria, Italy Arjen Hommersom, Open University of the Netherlands, Netherlands Carmine Dodaro, University of Calabria, Italy Claudio Eccher, FBK-IRST, Italy Elena De Momi, Politecnico di Milano, Italy Emanuele Frontoni, University of Macerata, Italy Federico Cabitza, University of Milano-Bicocca, Italy Francesca Zerbato, University of St. Gallen, Switzerland Francesco Bellocchio, Fresenius Medical Care, Italy Giorgio Terracina, University of Calabria, Italy Giuseppe Carbone, University of Calabria, Italy Giuseppe Rizzo, LINKS Foundation, Italy Ivan Donadello, Free University of Bozen-Bolzano, Italy Luca Anselma, University of Torino, Italy Luigi Portinale, Università del Piemonte Orientale, Italy Marco Maratea, University of Genova, Italy Marco Scutari, IDSIA, Switzerland Paola Berchialla, University of Torino, Italy Paolo Zaffino, Magna Graecia University, Italy Pedro Pereira Rodrigues, University of Porto, Portugal Peter Lucas, University of Twente, Netherlands Pierangela Bruno, University of Calabria, Italy Riccardo Bellazzi, University of Pavia, Italy Salvatore Iiritano, Revelis Srl, Italy Sara Moccia, Università Politecnica delle Marche, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From mail at joachim-breitner.de Thu Oct 6 12:28:50 2022 From: mail at joachim-breitner.de (Joachim Breitner) Date: Thu, 06 Oct 2022 14:28:50 +0200 Subject: [Haskell] Request for Nominations to the GHC Steering Committee Message-ID: Dear Haskell community, the GHC Steering committee is seeking nominations for one or more new members. The committee scrutinizes, nitpicks, improves, weighs and eventually accepts or rejects proposals that extend or change the language supported by GHC and other (public-facing) aspects of GHC. Our processes are described at https://github.com/ghc-proposals/ghc-proposals which is also the GitHub repository where proposals are proposed. In particular, please have a look at the bylaws at https://github.com/ghc-proposals/ghc-proposals/blob/master/committee.rst We are looking for a member who has the ability * to understand such language extension proposals, * to find holes and missing corner cases in the specifications, * foresee the interaction with other language features and specifications, * comment constructively and improve the proposals, * judge the cost/benefit ratio and * finally come to a justifiable conclusion. We look for committee members who have some of these properties: * have substantial experience in writing Haskell applications or libraries, which they can use to inform judgements about the utility or otherwise of proposed features, * have made active contributions to the Haskell community, for some time, * have expertise in language design and implementation, in either Haskell or related languages, which they can share with us. There is no shortage of people who are eager to get fancy new features into the language, both in the committee and the wider community. But each new feature imposes a cost, to implement, to maintain in perpetuity in GHC's code base, to learn, and to deal with its unexpected interaction with other features. We need to strike a balance, one that encourages innovation (as GHC always has) while still making Haskell attractive for real-world production use and for teaching. We therefore seek a balance of background, expertise, and views on the committee. Membership of the committee gives you the chance to influence the future direction of Haskell, and to serve the Haskell community. The committee’s work requires a small, but non-trivial amount of time, especially when you are assigned a proposal for shepherding. We estimate the workload to be around 2 hours per week, and our process works best if members usually respond to technical emails within 1-2 weeks (within days is even better). Please keep that in mind if your email inbox is already overflowing. To nominate yourself, please send an email to me (as the committee secretary) at mail at joachim-breitner.de until February 11th. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. On behalf of the committee, Joachim Breitner -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ From mail at joachim-breitner.de Thu Oct 6 12:31:54 2022 From: mail at joachim-breitner.de (Joachim Breitner) Date: Thu, 06 Oct 2022 14:31:54 +0200 Subject: [Haskell] Request for Nominations to the GHC Steering Committee In-Reply-To: References: Message-ID: Sorry for that, but Am Donnerstag, dem 06.10.2022 um 14:28 +0200 schrieb Joachim Breitner: > To nominate yourself, please send an email to me (as the committee > secretary) at mail at joachim-breitner.de until February 11th. > should be October 16th. Cheers, Joachim -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ From athas at sigkill.dk Wed Oct 12 06:45:22 2022 From: athas at sigkill.dk (Troels Henriksen) Date: Wed, 12 Oct 2022 08:45:22 +0200 Subject: [Haskell] AVailable PhD position in parallel functional programming languages Message-ID: <87zge1o7zx.fsf@sigkill.dk> The section for Programming Languages and the Theory of Computation (PLTC) at the Department of Computer Science invites applicants for a PhD fellowship in the implementation and optimisation of data-parallel functional programming languages. More information: https://employment.ku.dk/phd/?show=157471 Start date is (expected to be) January 2023 or as soon as possible thereafter. Note that the application deadline is quite soon (20th of October). Modern massively parallel processors such as GPUs are highly efficient, but notoriously difficult and awkward to program for humans, particulary for irregular problems or those with nested structure. At DIKU, we are a small team that researches programming and compilation techniques for making high-performance parallel programming more accessible to non-expert programmers. We conduct applied research with a focus on actual real-world performance on mainstream hardware, and we use the functional array language Futhark and its implementation as our main experimental vessel. The precise research problems to be investigated by the PhD candidate depends on the interests of the candidate, but we are particularly interested in problems such as: * How to efficiently map fully or partially irregular nested parallelism to hardware, while still taking advantage of locality. * The construction of profiling tools that can precisely measure the performance of heavily compiler-transformed code and connect it to the original program, allowing the programmer to understand the high-level performance of their program. * Optimising data layout based on how it is accessed by the program; possibly also taking distributed execution or NUMA behaviour into account. For more information, feel free to contact Troels Henriksen (athas at diku.dk). From ali_benz at yahoo.fr Wed Oct 12 20:31:37 2022 From: ali_benz at yahoo.fr (Ali Benzerbadj) Date: Wed, 12 Oct 2022 20:31:37 +0000 (UTC) Subject: [Haskell] [EDI40 CFP: Deadline Extension: Oct. 30, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40) References: <307386581.1506386.1665606697886.ref@mail.yahoo.com> Message-ID: <307386581.1506386.1665606697886@mail.yahoo.com> Apologies if you receive this more than once **********************************************************************Extended Deadline: 30th October, 2022*********************************************************************** ************************************************************************Conference: The 6th International Conference on Emerging Data and Industry (EDI40) Location: Leuven, Belgium Date: March 15-17, 2023 ************************************************************************ Conference Website: http://cs-conferences.acadiau.ca/edi40-23/ Workshops: http://cs-conferences.acadiau.ca/edi40-23/#workshop Important Dates - Workshops Proposals Due: September 15, 2022 - Paper Submission Due: October 30, 2022 (Extended) - Acceptance Notification: December 12, 2022 - Camera-Ready Submission: January 9, 2023 EDI40 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters’ Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 3.662), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal Personal and Ubiquitous Computing (IF:3.006), Springer (https://www.springer.com/journal/779) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier (https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2023 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 will be held in conjunction with the 13th International Conference on Ambient Systems, Networks and Technologies (ANT 2023). Conference Tracks  - Benefits of Industry 4.0/6.0  - Big Data and Analytics  - Cloud Computing  - Cognitive Computing  - Computational Intelligence  - Cyber-Physical Systems (CPS)  - Fog Computing and Edge Computing  - Internet of Everything (IoE)  - Standards for IoT Application Integration  - The New Business Models in Industry 4.0/6.0  - General Track: Digitalization Startegies General Chair  Danny Hughes, CTO VeraSense NV, Belgium Program Chairs  Jamal Bentahar, Concordia University, Canada  Haroon Malik, Marshall University, USA Workshops Chair  Stephane Galland, UTBM, France Program International Journals Chair  Michael Sheng, Macquarie University, Australia Publicity Chairs  Ali Benzerbadj, University of Oran 1 Ahmed Ben Bella, Algeria  Olivier Debauche, University of Mons, Belgium  Siddardha Kaja, Air Canada, Canada  Sohail Jabbar, The University of Faisalabad, Pakistan Technical Program Committee  http://cs-conferences.acadiau.ca/edi40-23/#programCommittees Advisory Committee  Reda Alhajj, University of Calgary, Canada  Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia  Vincenzo Loia, University of Salerno, Italy  Peter Sloot, Universiteit van Amsterdam, Netherlands  Peter Thomas, Manifesto Research, Australia  Mohamed Younis, University of Maryland Baltimore County, USA International Liaison Chairs  Soumaya Cherkaoui, Sherbrooke University, Canada  Nik Bessis, Edge Hill University, UK  David Taniar, Monash University, Australia 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 stefan.wehr at gmail.com Tue Oct 18 07:13:00 2022 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Tue, 18 Oct 2022 09:13:00 +0200 Subject: [Haskell] Call for Contributions: BOB 2023 [March 17, Deadline Nov 21] Message-ID: ================================================================================ BOB Conference 2023 "What happens when we use what's best for a change?" https://bobkonf.de/2023/cfc.html Berlin, Mar 17 Call for Contributions Deadline: November 21, 2022 ================================================================================ You are actively engaged in advanced software engineering methods, solve ambitious problem with software and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Online or Onsite ---------------- We expect we'll be able to hold BOB 2023 in Berlin. Note that we intend to provide a safe environment for all participants. There will be space outside to eat and chat. We may ask you to wear a mask indoors when not presenting or eating, and may also ask you to take a COVID test on-site before the event. If an on-site BOB is not possible, we'll make BOB a successful online event, like BOB 2021 and BOB 2022. Should BOB happen online, we will likely ask for pre-recorded talks to make room for questions and social interactions during the actual conference day. (Of course, we'll provide assistance making those recordings.) Tutorials will likely happen as a live-session. Shepherding ----------- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Speaker Grants -------------- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers, speakers of color, and speakers who are not able to attend the conference for financial reasons. Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - "fancy types" (dependent types, gradual typing, linear types, ...) - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - program synthesis - next-generation IDEs - effective abstractions for data analytics - … everything really that isn’t mainstream, but you think should be - … includeing rough ideas worth discussing. Presenters should provide the audience with information that is practically useful for software developers. Challenges ---------- Furthermore, we seek contributions on successful approaches for solving hard problems, for example: - bias in machine-learning systems - digital transformation in difficult settings - accessibiltity - systems with critical reliability requirements - ecologically sustainable software development We're especially interested in experience reports. Other topics are also relevant, e.g.: - introductory talks on technical background - overviews of a given field - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - An abstract of max. 1500 characters. - A short bio/cv - Contact information (including at least email address) - A list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, …) - Don't be confused: The system calls a submission event. Organisation ------------ - Direct questions to konferenz at bobkonf dot de - Proposal deadline: November 21, 2022 - Notification: December 5, 2022 - Program: December 12, 2022 Submit here: https://pretalx.com/bob-2023/submit/ Program Committee ----------------- (more information here: https://bobkonf.de/2023/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg -- -- Stefan -------------- next part -------------- An HTML attachment was scrubbed... URL: From sunjay.cauligi at mpi-sp.org Wed Oct 26 13:18:07 2022 From: sunjay.cauligi at mpi-sp.org (Sunjay Cauligi) Date: Wed, 26 Oct 2022 15:18:07 +0200 Subject: [Haskell] PLAS 2022: Call for Papers Message-ID: Dear Fellow Researchers, We welcome submissions to the 17th Workshop on Programming Languages and Analysis for Security (PLAS 2022). This year PLAS is uniquely designed to make it as easy as possible for authors to simply focus on science: No proceedings, no registration fees, no travel, no page limits or complex submission formats - just share and discuss your great ideas with fellow researchers in the areas of programming languages and security. We look forward to receiving your submissions by November 14th, 2022. Best regards, Musard Balliu and Sunjay Cauligi -------------------------------------------------------------------------- PLAS 2022 Call for Papers 17th Workshop on Programming Languages and Analysis for Security (PLAS 2022) https://plas2022.github.io/ Virtual Event December 12, 2022 -------------------------------------------------------------------------- Important Dates Paper submission: November 14, 2022 (AoE) Author notification: November 30, 2022 Workshop date: December 12, 2022 -------------------------------------------------------------------------- PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to the future research at the intersection of programming languages and security. The scope of PLAS includes, but is not limited to: Language-based techniques for detecting and eliminating side-channel vulnerabilities Programming language techniques and verification applied to security in other domains (e.g. adversarial learning and smart contracts) Software isolation techniques (e.g., SFI and sandboxing) and compiler-based hardening techniques (e.g, secure compilation). Compiler-based security mechanisms (e.g. security type systems) or runtime-based security mechanisms (e.g. inline reference monitors) Techniques for discovering and detecting security vulnerabilities, including program (binary) analysis and fuzzing Automated introduction and/or verification of security enforcement mechanisms Language-based verification of security properties in software, including verification of cryptographic protocols Specifying and enforcing security policies for information flow and access control Model-driven approaches to security Security concerns for Web programming languages Language design for security in new domains such as cloud computing and IoT Applications, case studies, and implementations of these techniques -------------------------------------------------------------------------- We invite both short papers and long papers. All submissions should be anonymous. For short papers, we especially encourage the submission of position papers that are likely to generate lively discussion as well as short papers covering ongoing and future work. Full papers: There is no page limit on long papers. Papers in this category are expected to have relatively mature content. Papers that present promising preliminary and exploratory work, or recently published work are particularly welcome in this category. Long papers may receive longer talk slots at the workshop than short papers, depending on the number of accepted submissions. Short papers: should be at most 2 pages long, plus as many pages as needed for references. Papers that present radical, open-ended and forward-looking ideas are particularly welcome in this category. Authors submitting papers in this category must prepend the phrase "Short Paper:" to the title of the submitted paper. The workshop has no published workshop proceedings and there is no restriction on paper format other than the page limits stated above. Presenting a paper (either short or long) at the workshop does not preclude submission to or publication in other venues that are before, concurrent, or after the workshop. Papers presented at the workshop will be made available to workshop participants only. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Fri Oct 28 22:57:27 2022 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Fri, 28 Oct 2022 23:57:27 +0100 Subject: [Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40) Message-ID: Apologies if you receive this more than once. *************************************************************** The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 *************************************************************** Conference Website: http://cs-conferences.acadiau.ca/edi40-23/ Workshops: http://cs-conferences.acadiau.ca/edi40-23/#workshop Important Dates - Workshops Proposals Due: September 15, 2022 - Paper Submission Due: November 15, 2022 (FINAL - Acceptance Notification: December 12, 2022 - Camera-Ready Submission: January 9, 2023 EDI40 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal Personal and Ubiquitous Computing (IF:3.006), Springer (https://www.springer.com/journal/779) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/ ) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2023 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 will be held in conjunction with the 13th International Conference on Ambient Systems, Networks and Technologies (ANT 2023). Conference Tracks - Benefits of Industry 4.0/6.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0/6.0 - General Track: Digitalization Startegies General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Workshops Chair Stephane Galland, UTBM, France Program International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Ali Benzerbadj, University of Oran 1 Ahmed Ben Bella, Algeria Olivier Debauche, University of Mons, Belgium Siddardha Kaja, Air Canada, Canada Sohail Jabbar, The University of Faisalabad, Pakistan Technical Program Committee http://cs-conferences.acadiau.ca/edi40-23/#programCommittees Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From ali.benzerbadj at univ-temouchent.edu.dz Sun Oct 30 18:22:51 2022 From: ali.benzerbadj at univ-temouchent.edu.dz (Ali BENZERBADJ) Date: Sun, 30 Oct 2022 19:22:51 +0100 Subject: [Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40) Message-ID: *************************************************************** The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 *************************************************************** Conference Website: http://cs-conferences.acadiau.ca/edi40-23/ Workshops: http://cs-conferences.acadiau.ca/edi40-23/#workshop Important Dates - Workshops Proposals Due: September 15, 2022 - Paper Submission Due: November 15, 2022 (FINAL) - Acceptance Notification: December 12, 2022 - Camera-Ready Submission: January 9, 2023 EDI40 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal Personal and Ubiquitous Computing (IF:3.006), Springer (https://www.springer.com/journal/779) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/ ) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2023 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 will be held in conjunction with the 13th International Conference on Ambient Systems, Networks and Technologies (ANT 2023). Conference Tracks - Benefits of Industry 4.0/6.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0/6.0 - General Track: Digitalization Startegies General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Workshops Chair Stephane Galland, UTBM, France Program International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Ali Benzerbadj, University of Oran 1 Ahmed Ben Bella, Algeria Olivier Debauche, University of Mons, Belgium Siddardha Kaja, Air Canada, Canada Sohail Jabbar, The University of Faisalabad, Pakistan Technical Program Committee http://cs-conferences.acadiau.ca/edi40-23/#programCommittees Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Mon Oct 31 11:24:09 2022 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 31 Oct 2022 11:24:09 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: <7DD92DD6-9F68-43A5-AEB6-BF1CCA1D87BC@nottingham.ac.uk> Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 30th November 2022. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th November 2022 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the student and the advisor/supervisor although we encourage them to coordinate. Habilitation dissertations are also eligible for inclusion. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 30th November 2022. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.