- Haskell - Haskell.org

Call for Papers, Functional Software Architecture - FP in the Large
by Graham Hutton 16 Mar '23

16 Mar '23

Dear all, We're delighted to announce that the first ACM SIGPLAN Workshop on "Functional Software Architecture - FP in the Large" will be held in Seattle, USA in September 2023, co-located with the ICFP conference. Please share, and submit your best papers, experience reports, and architectural pearls on large-scale functional programming! Best wishes, Mike Sperber and Graham Hutton Program Chairs, FUNARCH 2023 ====================================================================== *** FUNARCH 2023 -- CALL FOR PAPERS *** The First ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large 8th September 2023, Seattle, Washington, USA Co-located with ICFP 2023 https://tinyurl.com/FUNARCH23 ====================================================================== TIMELINE: Paper submission 1st June 2023 Author notification 28th June 2023 Camera ready copy 18th July 2023 Workshop 8th Sept 2023 (date to be confirmed) 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 <funarch2023(a)easychair.org>. 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 proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the workshop. PROGRAM CHAIRS: Mike Sperber Active Group, Germany Graham Hutton University of Nottingham, UK PROGRAM COMMITTEE: Joachim Breitner Germany Manuel Chakravarty Tweak & 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.

1 0

SAS 2023 - First Call for Papers - Paper Deadline: April 24, 2023
by Manuel Hermenegildo 15 Mar '23

15 Mar '23

-------------------------------------------------------------------------------- SAS 2023 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 - Fri 27, October 2023 https://2023.splashcon.org/home/sas-2023 -------------------------------------------------------------------------------- The 30th Static Analysis Symposium, SAS 2023, will be co-located with SPLASH 2023 in Cascais (Lisbon), Portugal. Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. IMPORTANT DATES All deadlines are AoE (Anywhere on Earth) - Full paper submission: April 24, 2023 - Artifact submission: April 29, 2023 - Author response period: June 11-14, 2023 - Notification: June 29, 2023 - Final version due: August 3, 2023 - Conference: Part of SPLASH, Oct 17-22, 2023 TOPICS The technical program for SAS 2023 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: Abstract interpretation Automated deduction Data flow analysis Debugging techniques Deductive methods Emerging applications Model-checking Data science Program optimizations and transformations Program synthesis Program verification Machine learning and verification Security analysis Tool environments and architectures Theoretical frameworks Type checking Distributed or networked systems PAPER SUBMISSION All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submission link: https://easychair.org/conferences/?conf=sas2023 We welcome regular papers as well as papers focusing on any of the following in the NEAT (New questions/areas, Experience, Announcement, Tool) category: - Well-motivated discussion of new questions or new areas. - Experience with static analysis tools, Industrial Reports, and Case Studies - Brief announcements of work in progress - Tool papers We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of experience papers, all other papers will follow a lightweight double-blind reviewing process. The identity of the authors for the remaining papers will be known to the reviewers. Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must be written and presented in English. A submitted paper must describe original work and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper. RADHIA COUSOT AWARD The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. ARTIFACTS As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review.

1 0

CMSB 2023: second call for papers
by Jun PANG 14 Mar '23

14 Mar '23

======================================== CMSB 2023: 21st Conference on Computational Methods in Systems Biology Luxembourg City, Luxembourg September 13-15, 2023 Conference website: https://cmsb2023.uni.lu/ CMSB series website: https://cmsb.sciencesconf.org/ ======================================== CMSB 2023 solicits original research articles, tool papers, posters, and highlight talks on the modelling and analysis of biological systems and networks, as well as the analysis of biological data. The conference brings together researchers from across biological, mathematical, computational, and physical sciences who are interested in the modelling, simulation, analysis, inference, design, and control of biological systems. It covers the broad field of computational methods and tools in systems and synthetic biology and their applications. ************************ INVITED SPEAKERS (New in the 2nd CfP) ************************ Jorge Goncalves – University of Luxembourg (Luxembourg) Philippe Jacques – University of Liège (Belgium) Mirco Tribastone – IMT School for Advanced Studies Lucca (Italy) Verena Wolf – Saarland University (Germany) ************************ LIST OF TOPICS ************************ Topics of interest include, but are not limited to: * formalisms for modelling biological processes; * methods and tools for biological system analysis, modelling and simulation; * frameworks for model verification, validation, analysis, and simulation of biological systems; * high-performance methods for computational systems biology; * identification of biological systems; * applications of machine learning and data analytics in biology; * network modelling, analysis, inference; * automated parameter and model synthesis; * model integration and biological databases; * multi-scale modelling and analysis methods; * design, analysis, and verification methods for synthetic biology; * methods for biomolecular computing and engineered molecular devices; * data-based approaches for systems and synthetic biology; * optimality and control of biological systems; * modelling, analysis and control of microbial communities. The conference welcomes new theoretical results with potential applications to systems and synthetic biology, as well as novel applications and case studies of existing methods, tools, or frameworks. The CMSB 2023 proceedings will be published in the Springer LNCS/LNBI series and indexed by ISI Web of Science, Scopus, ACM Digital Library, DBLP, and Google Scholar. A selection of best papers is planned to be invited after the conference to be extended and submitted to a special issue of a major international journal. ************************ IMPORTANT DATES (all dates are AoE) ************************ Abstract submission: April 16, 2023 Paper submission: April 23, 2023 Notification: June 9, 2023 Camera ready: June 23, 2023 Poster/highlight talk: July 9, 2023 Conference: September 13-15, 2023 ************************ TYPES OF CONTRIBUTIONS ************************ Contributions should be submitted to one of the following categories: A) REGULAR PAPERS: Regular papers should describe original work that has not been previously published and is not under review for publication elsewhere. Accepted regular papers will be published as part of the conference proceedings in the Springer LNCS series. Papers in this category should not exceed 15 pages in the Springer LNCS style (including main figures and tables, excluding references and possible appendices). B) TOOL PAPERS: Tool papers should present new tools or public websites, new tool components or novel extensions to existing tools or websites supporting biological system modelling, analysis, simulation, or similar. Submissions must include information on methods, tool availability, and selected application results. They should be original and not previously published in a similar form. Accepted tool papers will be published as part of the conference proceedings in the Springer LNCS series. Papers in this category should have 4-6 pages in the Springer LNCS style (including main figures and tables, excluding references and possible appendices). C) POSTERS: Extended abstracts should be submitted to propose poster presentation of original unpublished work, or of major results published or accepted in the last year in a high-quality journal or conference. The abstracts should be submitted in Springer LNCS style and should not exceed 4 pages all included. Authors of accepted abstracts will be invited for presentation in a poster session and/or for flash presentations. Poster submissions will not be included in the Springer LNBI proceedings. D) HIGHLIGHT TALKS: Highlight talk proposals should be submitted in the form of an extended abstract, for possible oral presentation without publication of related material in the conference proceedings. We particularly welcome submissions of recently published work. Submitted abstracts summarising the results and their relevance should not exceed 2 pages including references. Extended abstracts will not be included in the Springer LNBI proceedings. ************************ SUBMISSION INFORMATION ************************ All submitted papers and extended abstracts have to be written in English and must be submitted in the form of a PDF file using the EasyChair online submission system, at the following link: https://easychair.org/conferences/?conf=cmsb2023. Instruction for the Springer Nature LNCS style: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-gui…. Each submission will be reviewed by at least three members of the Program Committee (see above for specific reviewing information about tools). All accepted contributions must be presented at the conference by one of the authors. Springer Nature encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. If an author is interested in Open Access or Open Choice, please refer to Springer Nature’s webpage for prices and additional information. All CMSB authors should consult the Springer Nature Code of Conduct (https://www.springernature.com/gp/authors/book-authors-code-of-conduct) including guidelines for authorship principles, originality, redundant publications, conflicts of interests, etc. In particular, we draw your attention to the Springer Nature policies in the section Ethical Approval and Informed Consent. ************************ PROGRAMME COMMITTEE ************************ Tatsuya Akutsu – University of Kyoto (Japan) Claudio Altafini – University of Linköping (Sweden) Daniela Besozzi – University of Milan Bicocca (Italy) Luca Bortolussi – University of Trieste (Italy) Frank Bruggeman – Vrije Universiteit Amsterdam (Netherlands) Luca Cardelli – University of Oxford (United Kingdom) Milan Ceska – Brno University of Technology (Czech Republic) Eugenio Cinquemani – Inria Grenoble-Rhône-Alpes (France) François Fages – Inria Saclay (France) Christoph Flamm – University of Vienna (Austria) Maxime Folschette – École Centrale de Lille (France) Anna Gambin – University of Warsaw (Poland) Ashutosh Gupta – Indian Institute of Technology Bombay (India) Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany) Hillel Kugler – Bar-Ilan University (Israel) Luca Laurenti – TU Delft (Netherlands) Andrzej Mizera – University of Warsaw (Poland) Pedro T. Monteiro – University of Lisbon (Portugal) Joachim Niehren – Inria Lille (France) – co-chair Jun Pang – University of Luxembourg (Luxembourg) – co-chair Loïc Paulevé – CNRS, Bordeaux (France) Andrei Paun – University of Bucharest (Romania) Ion Petre – University of Turku (Finland) Tatjana Petrov – University of Konstanz (Germany) Maria Rodriguez Martinez – IBM, Zurich Research Laboratory (Switzerland) Jakob Ruess – Inria Paris (France) David Šafránek – Masaryk University (Czech Republic) Thomas Sauter – University of Luxembourg (Luxembourg) Abhyudai Singh – University of Delaware (United States) Chris Thachuk – University of Washington (United States) Andrea Vandin – Sant’Anna School of Advanced Studies, Pisa (Italy) Mirco Tribastone – IMT School for Advanced Studies Lucca (Italy) Christoph Zechner – Max Planck Institute, Dresden (Germany) ************************ CONTACT ************************ All questions about the conference should be emailed to the organizers Joachim Niehren (joachim.niehren(a)inria.fr) and Jun Pang (jun.pang(a)uni.lu)

1 0

PhD or Postdoc Position at LMU Munich about Verified Modal Logics
by Andrei Popescu 10 Mar '23

10 Mar '23

We are looking for a PhD student (4 years) or postdoctoral researcher (3 years) to work on the Isabelle formalization of modal model theory. The work will take place within the Chair of Theoretical Computer Science at LMU Munich under Jasmin Blanchette's supervision with the participation of two external experts: Cláudia Nalon (University of Brasília) and Sophie Tourret (Inria Nancy). Modal logics are extensions of classical logics with operators that allow for the qualification of truth. Model theory for modal logics is concerned with the interplay between the language (syntax, i.e., the set of its formulas) and its meaning (semantics, i.e., the structures over which the language is interpreted). There are, however, different ways of characterizing meaning for modal sentences and also several (well-established) results that allow for restriction on the sets of structures being considered. This project concerns the formalization in Isabelle of those results for general Kripke structures for generalized modal operators (i.e., of any arity). The goal is to produce a library that could then be used (and possibly extended) for specific applications, in particular those related to proof theory. The position is categorized as TV-L E13 according to the German salary scale. It includes some teaching obligations. The starting date is flexible. Please contact Jasmin Blanchette (jasmin.blanchette(a)ifi.lmu.de) for more information or if you want to apply. The application deadline is 15 April 2023.

1 0

Call for Talks: Haskell Implementors' Workshop 2023
by Ryan Scott 08 Mar '23

08 Mar '23

ACM SIGPLAN Haskell Implementors' Workshop https://icfp23.sigplan.org/home/hiw-2023 Seattle, Washington, United States, September 4, 2023 Co-located with ICFP 2023 https://icfp23.sigplan.org/ Important dates --------------- Deadline: July 4, 2023 (AoE) Notification: August 4, 2023 Workshop: September 4, 2023 The 15th Haskell Implementors' Workshop is to be held alongside ICFP 2023 this year in Seattle. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure to share their work and to discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos, and short lightning talks. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2023. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides, and presented data available with the consent of the speakers. The Implementors' Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community are encouraged to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are especially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions can be made via HotCRP at https://icfphiw23.hotcrp.com until July 4 (anywhere on earth). We will also have a lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks should be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Program Committee ----------------- * Gergő Érdi (Standard Chartered Bank) * Sebastian Graf (Karlsruhe Institute of Technology) * Wen Kokke (University of Strathclyde) * Ryan Scott (Galois, Inc.) * Rebecca Skinner (Mercury) * Li-yao Xia (University of Edinburgh) Contact ------- * Ryan Scott <ryan.gl.scott at gmail.com>

1 0

OPLSS 2023: Summer School Dates
by Stephanie Weirich 07 Mar '23

07 Mar '23

We are pleased to announce the dates of the 21st annual Oregon Programming Languages Summer School (OPLSS) to be held from June 26th to July 8th, 2023 at the University of Oregon in Eugene. We are looking forward to getting together in person! The theme of the summer school will be "types, semantics, and logic". More details about the program and the registration process will be available soon. OPLSS 2023 Organization Team Zena Ariola, Stephanie Balzer, and Stephanie Weirich [image: oplss.png]

1 0

TYPES 2023: Call for Contributions - Deadline extension
by Alicia Villanueva 06 Mar '23

06 Mar '23

[ Apologies for multiple postings ] ============================================================== TYPES 2023: Call for Contributions -- Deadline extension ============================================================== * Submission of abstract 13 March 2023 AoE **NEW * Author notification 5 May 2023 AoE * Camera-ready version of abstract 12 May 2023 AoE * Conference 12 - 15 June 2023 ============================================================== TYPES 2023 29th International Conference on Types for Proofs and Programs Valencia, Spain, 12 - 15 June 2023 https://types2023.webs.upv.es/ OVERVIEW ----------- The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. CONTRIBUTED TALKS -------------------- TYPES solicits contributed talks to stimulate discussions. Selection of those will be based oncextended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2023 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. POST-PROCEEDIGNS ------------------- A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: October 2023. PROGRAMME COMMITTEE ---------------------- Andreas Abel (Gothenburg University, Sweden) Bahareh Afshari (U. of Gothenburg, Sweden & U. of Amsterdam, The Netherlands) Carlo Angiuli (Carnegie Mellon University, USA) Stefano Berardi (University of Torino, Italy) Marc Bezem (University of Bergen, Norway) Ulrik Buchholtz (University of Nottingham, UK) Cyril Cohen (Inria Sophia Antipolis - Méditerrannée, France) Herman Geuvers (Radboud University, The Netherlands) Silvia Ghilezan (University of Novi Sad, Serbia) Robert Harper (Carnegie Mellon University, USA) Eduardo Hermo Reyes (Formal Vindications, Spain) (co-chair) Ambrus Kaposi (Eötvös Loránd University, Hungary) Delia Kesner (Université Paris Cité, France) Ekaterina Komendantskaya (Heriot-Watt University, UK) Marina Lenisa (Università degli Studi di Udine, Italy) Assia Mahboubi (INRIA, France) Ralph Matthes (IRIT - CNRS and University of Toulouse, France) Leonardo de Moura (Microsoft, USA) Sara Negri (Università degli Studi di Genova, Italy) Luca Padovani (Università di Camerino, Italy) Pierre-Marie Pédrot (INRIA, France) Luís Pinto (Universidade do Minho, Portugal) Anton Setzer (Swansea University, UK) Alicia Villanueva (U. Politècnica de València, Spain) (co-chair) TYPES STEERING COMMITTEE --------------------------- Sandra Alves (University of Porto, Portugal) (Secretary) Henning Basold (Leiden University, The Netherlands) (SC chair) Eduardo Hermo Reyes (Formal Vindications, Spain) Paige Randall North (Utrecht University, The Netherlands) Matthieu Sozeau (INRIA & Université de Nantes, France) Benno van den Berg (University of Amsterdam, The Netherlands) ABOUT TYPES -------------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2021, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022). CONTACT ---------- Email: types2023(a)easychair.org ORGANIZERS ------------- Mireia González Bedmar (Formal Vindications, Spain) Alicia Villanueva (VRAIN & Universitat Politècnica de València, Spain)

1 0

1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering
by Andrei Chis 06 Mar '23

06 Mar '23

------------------------------------------------------------------------ 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023) October 22-27, 2023 Cascais, Lisbon, Portugal http://www.sleconf.org/2023/ Follow us on Twitter: https://twitter.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023), held in conjunction with SPLASH 2023. The conference will be hosted in Cascais, Lisbon, Portugal on October 22-27, 2023. --------------------------- Topics of Interest --------------------------- SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral/executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications * Synergies between Language Engineering and emerging/promising research areas - AI and ML language engineering (e.g., ML compiler testing, code classification) Quantum language engineering (e.g., language design for quantum machines) - Language engineering for physical systems (e.g., CPS, IoT, digital twins) - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) - Etc. --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: * Research papers: These are “traditional” papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. * New ideas/vision papers: These papers may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas/vision papers must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. * SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools, and methods developed by the SLE community. In this respect, the SLE conference will accept surveys, essays, open challenges, empirical observations, and case study papers on the SLE topics. These can focus on, but are not limited to, methods, techniques, best practices, and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. * Tool papers: These papers focus on the tooling aspects often forgotten or neglected in research papers. A good tool paper focuses on practical insights that will likely be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. They may optionally include an appendix with a demo outline/screenshots and/or a short video/screencast illustrating the tool. **Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found on the SPLASH 2023 Website. --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * 1st round submissions - Abstract submissions: March 31, 2023 - Paper submissions: April 7, 2023 - Notification: May 5, 2023 * 2nd round submissions - Abstract submissions: June 26, 2023 - Paper submissions: June 30, 2023 - Review notification: August 11, 2023 (starting of the rebuttal) - Author response period: August 18, 2023 (end of the rebuttal) - Notification: August 25, 2023 * Artifact submissions: August 30, 2023 * Artifact kick-the-tires Author response: September 15, 2023 * Artifact notification: September 29, 2023 * Conference: October 22-27, 2023 (co-located with SPLASH, precise dates to be announced) --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart"(http://sigplan.org/Resources/Author/#acmart-format) please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template(https://www.acm.org/binaries/content/assets/publications/consolida…, and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. In this line, SLE will follow the double-blind process. Author names and institutions should be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle23.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (http://www.sigplan.org/Resources/Policies/Republication) Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (http://www.acm.org/publications/policies/plagiarism_policy) Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research comply with their local governing laws and regulations and the ACM’s general principles as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-particip…) Submissions that violate this policy will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas/vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. SLEBoK papers will be reviewed on their significance, readability, topicality and capacity of presenting/evaluating/demonstrating a piece of BoK about SLE. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Artifact Evaluation --------------------------- For the seventh year, SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please have a look at the Artifact Evaluation (http://www.sleconf.org/2023/ArtifactEvaluation.html) page. --------------------------- Awards --------------------------- - **Distinguished paper**: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. - **Distinguished artifact**: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: The official publication date is the date the proceedings 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. --------------------------- SLE and Doctoral Students --------------------------- SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted papers will have the chance to present their work to the SLE audience, too. --------------------------- Organisation --------------------------- Chairs: * General chair: João Saraiva, Universidade do Minho, Portugal * PC co-chair: Thomas Degueule, CNRS/LaBRI, France * PC co-chair: Elizabeth Scott, Royal Holloway University of London, United Kingdom * Publicity chair: Andrei Chis, feenk gmbh, Switzerland --------------------------- Contact --------------------------- For additional information, clarification, or answers, please get in touch with the program co-chairs (E.Scott at rhul.ac.uk and thomas.degueule at labri.fr).

1 0

CALCO 2023: Deadline Extension
by Thorsten Wissmann 05 Mar '23

05 Mar '23

========================================================= CALL FOR PAPERS: CALCO 2023 10th International Conference on Algebra and Coalgebra in Computer Science June 19-21, 2023 Bloomington, Indiana (USA) and online Co-located with MFPS XXXIX https://coalg.org/calco-mfps-2023/ *** Updated: Extended Submission Deadline *** ========================================================== Abstract submission: March 10, 2023 (AoE) Full Paper submission: March 19, 2023 (AoE) Author notification: Apr 28, 2023 (AoE) Final version due: May 19, 2023 ========================================================== Invited Speakers ---------------- - Robert Harper, Carnegie Mellon University (Joint with MFPS) - Assia Mahboubi, Inria (Joint with MFPS) - Roberto Bruni, University of Pisa - Elaine Pimentel, University College London - Jeremy Siek, Indiana University Special Sessions ---------------- “Category Theory in Machine Learning” Organised by Brendan Fong and Brandon Shapiro (Topos Institute), Fabio Zanasi (University College London) “Machine-checked proofs in mathematics and meta-mathematics” (joint with MFPS) Organised by Assia Mahboubi, Inria Scope ----- Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Salzburg (Austria, 2021), London (UK, 2019), Ljubljana (Slovenia,2017), Nijmegen (the Netherlands, 2015), Warsaw (Poland, 2013), Winchester (UK, 2011), Udine (Italy, 2009), Bergen (Norway, 2007), Swansea (Wales, 2005). The 10th edition will be held in Bloomington, Indiana, co-located with MFPS XXXIX. It is planned as a physical, in-person event, with support for remote presence, both for speakers and for other participants who are unable or unwilling to travel. Submission Categories --------------------- CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebraic tools. Topics of Interests ------------------- All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformations) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ---------------------- All submissions will be handled via EasyChair: https://easychair.org/conferences/?conf=calco2023 The format for all submissions is specified by LIPIcs. Please use the latest version of the style: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers -------------- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) containing extended versions of selected papers, is planned. (Co)algebraic pearls -------------------- This is a recent submission category. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Early ideas abstracts --------------------- Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Tool papers ----------- Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Best Paper and Best Presentation Awards --------------------------------------- This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee ------------------- * Carlos Gustavo Lopez Pombo (University of Buenos Aires) * Andreas Abel (Gothenburg University) * Vincenzo Ciancia (Consiglio Nazionale delle Ricerche, Pisa) * Patricia Johann (Appalachian State University) * Ionut Tutu (Simion Stoilow Institute of Mathematics of the Romanian Academy) * Martin Escardo (University of Birmingham) * Tarmo Uustalu (Reykjavik University) * Giorgio Bacci (Aalborg University) * Thorsten Wißmann (FAU Erlangen-Nürnberg) * Fabio Gadducci (University of Pisa) * Shin-Ya Katsumata (National Institute of Informatics, Tokyo) * Holger Giese (Hasso Plattner Institute at the University of Potsdam) * Peter Ölveczky (University of Oslo) * Michael Johnson (Macquarie University) * Nicolas Behr (CNRS Université Paris Cité) * Henning Urbat (FAU Erlangen-Nürnberg) * Valentina Castiglioni (Reykjavik University) * Fernando Orejas (Universitat Politècnica de Catalunya) * Mehrnoosh Sadrzadeh (University College London) * Georgiana Caltais (University of Twente) * Sławomir Lasota (University of Warsaw) * Aleks Kissinger (University of Oxford) * Thomas Colcombet (CNRS, IRIF, Université de Paris) * Sandra Kiefer (Max Planck Institute for Software Systems) * Peter Selinger (Dalhousie University) * Natasha Alechina (Utrecht University) * Sara Kalvala (University of Warwick) Chairs ------ * Paolo Baldan (University of Padua) * Valeria de Paiva (Topos Institute, Berkeley) Organiser --------- * Larry Moss (local) (Indiana University)

1 0

SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT)
by Ali BENZERBADJ 02 Mar '23

02 Mar '23

Please accept our apologies if you receive multiple copies of this CFP The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada July 24-26, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ **************************************************************************** The goal of the SEIT 2023 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. Important Dates ---------------- - Workshop Proposal Due: February 20, 2023 - Paper Submission Due: March 14, 2023 - Acceptance Notification: May 8, 2023 - Final Manuscript Due: June 1, 2023 Publication ------------ All SEIT 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/) Selected papers will be invited for publication in an international journal. Conference Main Topics (A detailed list can be found at: http://cs-conferences.acadiau.ca/seit-23/#callforPapers) ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems COMMITTEES: -------------- General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesus Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Wayne Groszko, Dalhousie University, Canada Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Isam Janajreh, Khalifa University, UAE Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Yazan Mualla, UTBM, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh, World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-23/#programCommittees

1 0