From calimeri at mat.unical.it Tue Sep 13 14:07:18 2022 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 13 Sep 2022 16:07:18 +0200 Subject: [Haskell] [CfP] - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022 In-Reply-To: References: Message-ID: - apologize for multiple postings - ================================================================== 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) ================================================================== = 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. = IMPORTANT DATES (tentative) = Abstract submission: October 7, 2022 Paper submission: October 14, 2022 Notification to authors: November 11, 2022 Camera-ready copy due: November 17, 2022 Main Workshop starts: November 28, 2022 (maybe subject to slight adjustments, please check the website regularly)) -------------- next part -------------- An HTML attachment was scrubbed... URL: From delphine.demange at irisa.fr Thu Sep 15 20:26:52 2022 From: delphine.demange at irisa.fr (Delphine Demange) Date: Thu, 15 Sep 2022 22:26:52 +0200 Subject: [Haskell] =?utf-8?q?CFP_-_JFLA_2023_-_Journ=C3=A9es_Francophones_?= =?utf-8?q?des_Langages_Applicatifs?= Message-ID: [ This message is intentionally written in French. It is a call for papers for the "Francophone Days on Functional Languages" to be held at the end of January 2023 in the French Alps. ] - Merci de faire circuler : premier appel à communications - JFLA'2023 http://jfla.inria.fr/jfla2023.html Journées Francophones des Langages Applicatifs 31 janvier au 3 février 2023 Praz-sur-Arly (Haute-Savoie) Les 34-ièmes Journées Francophones des Langages Applicatifs (JFLA) se tiendront en Haute-Savoie, à Praz-sur-Arly, au coeur des Alpes, du mardi 31 janvier 2023 au vendredi 3 février 2023. Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques. - Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. - Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. - Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles. - Spécification, prototypage, développements formels d'algorithmes. - Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement. - Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! * Dates importantes Soumission des résumés 7 octobre 2022 Soumission des articles 14 octobre 2022 Notification aux auteurs 25 novembre 2022 Version finale 14 décembre 2022 Clôture des inscriptions 6 janvier 2023 * Soumissions Nous acceptons quatre types de soumissions : - Article de recherche de seize pages au plus (hors bibliographie), portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas entièrement finalisé. Nous encourageons aussi la soumission de "perles", ces articles présentant avec élégance un résultat connu sous un angle nouveau. - Article court de huit pages au plus (hors bibliographie) pour rechercher de l'aide pour résoudre un problème particulier ou pour reparler d'un papier déjà publié. - Proposition de tutoriel d'une page exposant son intérêt et ses objectifs ainsi que l'environnement informatique nécessaire à sa réalisation. - Proposition de démonstration d'un outil ou d'un prototype de deux pages décrivant pourquoi ce logiciel est intéressant ainsi que ses spécificités. Dans tous les cas, la forme de l'article devra être soignée. Les articles sélectionnés seront publiés dans les actes de la conférence, et les auteurs seront invités à faire une présentation lors des journées. L'article peut être rédigé en anglais, auquel cas la présentation devra être effectuée en français. Néanmoins, dans le cas où il s'agit d'une republication au format court d'un article déjà publié, la publication doit être en français et la publication originale en anglais. Le style LaTeX Easychair doit être respecté : https://easychair.org/publications/for_authors Les soumissions se font sur la page Easychair des JFLA : https://easychair.org/conferences/?conf=jfla2023 -- Timothy Bourke et Delphine Demange From mh at informatik.uni-kiel.de Sat Sep 17 16:59:14 2022 From: mh at informatik.uni-kiel.de (Michael Hanus) Date: Sat, 17 Sep 2022 18:59:14 +0200 (CEST) Subject: [Haskell] 2nd Call for Papers: PADL 2023 Message-ID: <20220917165914.2C93C2000B@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 ============================================================================== 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 --------------- Abstract submission: October 2, 2022 (AoE) Paper submission: October 9, 2022 (AoE) Notification: November 5, 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 P.Achten at cs.ru.nl Mon Sep 19 17:59:05 2022 From: P.Achten at cs.ru.nl (Peter Achten) Date: Mon, 19 Sep 2022 19:59:05 +0200 Subject: [Haskell] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming Message-ID: <40656b0e-9828-2476-656b-e1f829fc7cd1@cs.ru.nl> # TFP 2023 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers,  Wednesday 23rd November, 2022 Submission deadline: pre-symposium, draft papers, Friday 16th December, 2022 Notification:        pre-symposium submissions,   Friday 23rd December, 2022 Registration:                                     Friday 6th January, 2023 TFPIE Workshop:                                   Thursday 12th January, 2023 TFP Symposium:                                    Friday 13th - Sunday 15th January, 2023 Submission deadline: post-symposium review,       Friday 17th February, 2023 Notification:        post-symposium submissions,  Friday 31st March, 2023 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. This year, TFP will take place in-person at UMass Boston, Massachusetts in the United States.  It is co-located with the Trends in Functional Programming in Education (TFPIE) workshop, which will take on the day before the main symposium. Please be aware that TFP has several submission deadlines. The first, November 23, is for authors that wish to have their full paper reviewed prior to the symposium. Papers that are accepted in this way must also be presented at the symposium. The second, December 16, is for authors that wish to present their work or work-in progress at the symposium first without submitting to the full review process for publication. These authors can then take into account feedback received at the symposium and submit a full article for review by the third deadline, February 17. ## Scope The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: * Research Articles:   Leading-edge, previously unpublished research work * Position Articles:   On what new trends should or should not be * Project Articles:   Descriptions of recently started new projects * Evaluation Articles:   What lessons can be drawn from a finished project * Overview Articles:   Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: * Functional programming and multicore/manycore computing * Functional programming in the cloud * High performance functional computing * Extra-functional (behavioural) properties of functional programs * Dependently typed functional programming * Validation and verification of functional programs * Debugging and profiling for functional languages * Functional programming in different application areas:   security, mobility, telecommunications applications, embedded   systems, global computing, grids, etc. * Interoperability with imperative programming languages * Novel memory management techniques * Program analysis and transformation techniques * Empirical performance studies * Abstract/virtual machines and compilers for functional languages * (Embedded) domain specific languages * New implementation strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2023 program chair, Stephen Chang. ## Best Paper Awards TFP awards two prizes for the best papers each year. First, to reward excellent contributions, TFP awards a prize for the best overall paper accepted for the post-conference formal proceedings. Second, a prize for the best student paper is awarded each year. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, then that paper will receive both prizes. ## Instructions to Authors Papers must be submitted at:   Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. Further, pre-symposium submissions may either be full (earlier deadline) or draft papers (later deadline). ## Pre-symposium formal review Papers to be formally reviewed before the symposium should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected for publication but accepted for presentation may be resubmitted for the post-symposium formal review. ## Post-symposium formal review Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. ## Paper categories Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. ## Format Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site. ## Program Committee Peter Achten,              Radboud University Nijmegen, Netherlands Nada Amin,                 Harvard University, USA Ambrose Bonnaire-Sergeant, Untypable LLC, USA Laura M. Castro,           University of A Coruña, Spain Stephen Chang (Chair),     University of Massachusetts Boston, US John Clements,             Cal Poly, USA Youyou Cong,               Tokyo Institute of Technology, Japan Paul Downen,               University of Massachusetts Lowell, USA Kathy Gray,                Meta Platforms, Inc., UK Ben Greenman,              University of Utah, USA Jason Hemann,              Seton Hall University, USA Patricia Johann,           Appalachian State University, USA Alexis King,               Tweag, USA Julia Lawall,              Inria-Paris, France Barak Pearlmutter,         Maynooth University, Ireland Norman Ramsey,             Tufts University, USA Ilya Sergey,               National University of Singapore, Singapore Melinda Tóth,              Eötvös Loránd University, Hungary Ningning Xie,              University of Toronto, Canada From chisvasileandrei at gmail.com Wed Sep 21 07:56:12 2022 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Wed, 21 Sep 2022 09:56:12 +0200 Subject: [Haskell] =?utf-8?q?Eelco_Visser_Commemorative_Symposium_?= =?utf-8?q?=E2=80=93_2nd_Call_for_Papers?= Message-ID: Due to the untimely passing of Eelco Visser, members of his former research communities TU Delft, CWI, OOPSLA, SLE, and IFIP Working Groups 2.11 & 2.16 have joined in organizing the Eelco Visser Commemorative Symposium. The event will be held on the occasion of the first anniversary of his passing in April of next year. You are cordially invited to contribute to this symposium, by writing a paper and giving a presentation related to Eelco and his influential work, or by just attending. Please see the CfP below. Best regards, The EVCS Organizing Committee ------------------------------------------------------------------------ ------------------------------------------------------------------------ Eelco Visser Commemorative Symposium (EVCS) 5 April 2023 Delft, The Netherlands https://symposium.eelcovisser.org ------------------------------------------------------------------------ Eelco Visser (1966–2022) was Antoni van Leeuwenhoek Professor of Computer Science and Chair of the Programming Languages Group in the Department of Software Technology at TU Delft. His research career started with studies at the University of Amsterdam and CWI, followed by appointments at Oregon Graduate Institute and Utrecht University. He was highly influential in the software language engineering and programming language design communities. His many scientific contributions about meta-languages and domain-specific languages have been of high importance in both the scientific and industrial communities. He was a founding member of IFIP Working Groups 2.11 (Program Generation) and 2.16 (Programming Language Design). Eelco Visser’s work on the cutting-edge language workbench Spoofax started with a ground-breaking publication in 2010, for which he received a Most Influential Paper award at OOPSLA 2020. As a strong advocate of tool-supported programming education, he led the development of WebLab, a learning management system that is in use for a range of programming languages and courses at TU Delft. He also led the design, implementation and use of conf.researchr.org, a content management system for scientific events used for hundreds of international events since 2014. --------------------------- Call for Papers --------------------------- A commemorative symposium for Eelco Visser is to be held on the first anniversary of his untimely passing in April 2022. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and his other academic activities. --------------------------- Topics of Interest --------------------------- Topics of interest include, but are not limited to: - Language engineering - Program transformation - Language workbenches - Declarative language specification - Name binding and scope graphs - Type soundness and intrinsically-typed interpreters - Language specification testing - Language implementation generation - Domain-specific programming languages - DSLs for software deployment - DSLs for web application development - Tool-supported programming education --------------------------- Important Dates --------------------------- - Friday 30 September 2022: Declaration of intent to submit - Friday 28 October 2022: Paper submission deadline - Monday 28 November 2022: Notifications - Wednesday 5 April 2023: Symposium --------------------------- Types of Submissions --------------------------- - **Unpublished research**: These are extended abstracts of novel research contributions related to Eelco Visser’s work. Papers may range from 4 to 8 pages in length, and may optionally include up to 2 further pages of bibliography. Papers will be reviewed by selected members of the relevant research communities. Subsequent submission of full papers including the same results to other venues is encouraged. - **On the relationship between Eelco Visser's work and other frameworks**: These are papers that present some framework and explain its relationship to his work, but without novel research contributions. Papers may range from 4 to 8 pages in length, and may optionally include up to 2 further pages of bibliography. Papers will be reviewed by experts on the relevant topics. - **Personal reflections on Eelco Visser's activities**: These are short papers that recall and reflect upon personal experiences of his contributions in academia or industry. Papers may range from 1 to 4 pages in length, including bibliography. Papers will be lightly reviewed for relevance. --------------------------- Submissions --------------------------- The submission website is on EasyChair (https://easychair.org/my/conference?conf=evcs2023). **Declaration of intent to submit is optional**, but helpful for allocation of appropriate reviewers. It is to include a provisional title, the type of submission, and an indication of the topics covered. **Submitted papers** should be formatted using LaTeX according to the author instructions for the Dagstuhl OpenAccess Series in Informatics (OASIcs) (https://submission.dagstuhl.de/series/details/4#author), respecting the page limits indicated above. --------------------------- Publication --------------------------- All accepted papers will appear in the Proceedings of the EVCS, to be published as a volume in the Dagstuhl OpenAccess Series in Informatics (OASIcs) (https://www.dagstuhl.de/en/publications/oasics). Authors retain copyright. --------------------------- Presentations --------------------------- All accepted papers are to be presented at the symposium. Presenters may choose between 5, 10, and 15-minute slots (including questions) subject to availability. Remote presentations are possible. --------------------------- Organising Committee --------------------------- - Jonathan Aldrich, Carnegie Mellon University - Benoit Combemale, University of Rennes, Inria, and IRISA - Paul Klint, CWI and University of Amsterdam - Ralf Lämmel, University of Koblenz - Peter Mosses (chair), TU Delft and Swansea University - Friedrich Steimann, Fernuniversität in Hagen - Tijs van der Storm, CWI and University of Groningen - Eric Van Wyk, University of Minnesota --------------------------- Local Organisation Committee --------------------------- - Arie van Deursen - Peter Mosses - Roniet Sharabi - Shémara van der Zwet --------------------------- Contact --------------------------- For all enquiries about the symposium, please use the contact form (https://symposium.eelcovisser.org/contact) or email symposium at eelcovisser.org From jonathan.protzenko at gmail.com Mon Sep 26 16:03:23 2022 From: jonathan.protzenko at gmail.com (Jonathan Protzenko) Date: Mon, 26 Sep 2022 09:03:23 -0700 Subject: [Haskell] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022 Message-ID: -----------------------------------------------------------------------------------------    ProLaLa 2023 -- 2nd Workshop on Programming Languages and the Law                                              Sunday Jan 15th, 2022                                                        Boston, MA                                           co-located with POPL 2023 ------------------------------------------------------------------------------------------                   (please forward to anyone who might be interested!) We are pleased to announce ProLaLa'23, the second edition of the workshop concerned with the intersection of PL (Programming Languages) techniques and the law. We are particularly concerned with the following topics: - language design for legal matters; - static analysis of legal texts; - program synthesis and repair for legal software components; - formal modeling of legal semantics; - non-standard logics in support of legal reasoning; - program verification for legal expert systems. If you have explored any of these areas, we encourage you to submit a short abstract. We are hoping to solidify around this workshop what we believe is a nascent but growing community; last year we had 25 submissions and 60 participants. As such, the workshop will be informal, and we strongly encourage you to submit ongoing or already-published work in the form of a brief 5-page submission for a long talk, or a 2-page submission for a short talk. Full details: https://popl23.sigplan.org/home/prolala-2023#Call-for-Papers Venue ProLaLa will be colocated with POPL'23. We plan to coordinate with the POPL conference on remote participation. We would like to have remote participation even if the workshop happens in person. Our plan is to create an inclusive environment that does not demand traveling for COVID-19 (or other) reasons. Submission details We accept two kinds of submissions. - Long talks: 5 pages excluding references - Short talks: 2 page excluding references We require using SIGPLAN's one-column LaTeX format (acmsmall). Submission site: https://prolala23.hotcrp.com Important dates - Thu 27 Oct 2022: Submission deadline - Thu 10 Nov 2022: Notification of acceptance - Sun 15 Jan 2023: Workshop Program committee - Shrutarshi Basu (co-chair), Middlebury College, USA - Denis Merigoux (co-chair), Inria, France - Jonathan Protzenko (co-chair), Microsoft Research, USA - Timos Antonopoulos, Yale, USA - Joaquín Arias, Universidad Rey Juan Carlos, Spain - James Grimmelman, Cornell, USA - Ekaterina Komandantskaya, Herriot-Watts University, UK - Emma Tosch, University of Michigan, USA - Saeid Tizpaz-Niari, University of Texas at El Paso, USA - Giovanni Sileno, University of Amsterdam, Netherlands - Chris Bailey, University of Illinois, USA - Laurence Diver, Vrije Universiteit Brussel, Belgium - Sarah Lawsky, Northwestern Pritzker School of Law, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: