[TYPES/announce] First Call for Papers for ICFEM 2023
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] https://urldefense.com/v3/__http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=172358__;!!IBzWLUs!S2tBXxwzKujT8OABaIewuvfWsr4SC4CSqML8gvJUk0rpNl-iF2iqaYr8A9kv15hmO2p0PtC57-hIXu2HXhEWZhFW0J66wDIPifvR0r97R1c$ 24th International Conference on Formal Engineering Methods (ICFEM 2023) https://urldefense.com/v3/__https://formal-analysis.com/icfem/2023/__;!!IBzWLUs!S2tBXxwzKujT8OABaIewuvfWsr4SC4CSqML8gvJUk0rpNl-iF2iqaYr8A9kv15hmO2p0PtC57-hIXu2HXhEWZhFW0J66wDIPifvRhgdNA_w$ Overview ICFEM (International Conference on Formal Engineering Methods) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM has been hosted in many countries around the world. This year, ICFEM 2023 will be held in Brisbane, Australia (physical) on November 21-24, 2023. Topics of Interest Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: - Abstraction, refinement and evolution - Formal specification and modelling - Formal verification and analysis - Model checking and equivalence checking - Automated and interactive theorem proving - Formal approaches to software testing and inspection - Formal methods for self-adaptive systems - Formal methods for object-oriented systems - Formal methods for component-based systems - Formal methods for concurrent and real-time systems - Formal methods for cloud computing - Formal methods for cyber-physical systems - Formal methods for hardware and embedded systems - Formal methods for software safety and security - Formal methods for software reliability and dependability - Development, integration and experiments involving verified systems - Formal certification of products under international standards - Formal model-based development and code generation Important Dates - Abstract Submission: May 14, 2023 (AOE) - Paper Submission: May 21, 2023 (AOE) - Author Notification: July 30, 2023 - Camera-ready versions: Aug 13, 2023 - Conference: Nov 21-24, 2023 More information can be found on the website of ICFEM 2023: https://urldefense.com/v3/__https://formal-analysis.com/icfem/2023/__;!!IBzWLUs!S2tBXxwzKujT8OABaIewuvfWsr4SC4CSqML8gvJUk0rpNl-iF2iqaYr8A9kv15hmO2p0PtC57-hIXu2HXhEWZhFW0J66wDIPifvRhgdNA_w$ Submission Instructions Submission should be done through the ICFEM 2023 submission page, handled by the EasyChair conference system: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=icfem2023__;!!IBzWLUs!S2tBXxwzKujT8OABaIewuvfWsr4SC4CSqML8gvJUk0rpNl-iF2iqaYr8A9kv15hmO2p0PtC57-hIXu2HXhEWZhFW0J66wDIPifvRfXOR-DQ$ As in previous years, the proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (including references) in the Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website. Organizing Committee General Co-Chairs - Jin Song Dong, NUS and Griffith University, Singapore/Australia - Guangdong Bai, The University of Queensland, Australia Program Co-Chairs - Yi Li, Nanyang Technological University, Singapore - Sofiene Tahar, Concordia University, Canada Finance Chair - Zhe Hou, Griffith University, Australia Publicity Chair - Cheng-Hao Cai, Monash University at Suzhou, China - Neeraj Kumar Singh, IRIT-ENSEEIHT, Toulouse, France Workshop Chair - Xiaofei Xie, Singapore Management University, Singapore Publication Chair - Xiaodong Qi, Nanyang Technological University, Singapore
[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - CFP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30) https://urldefense.com/v3/__https://2023.splashcon.org/home/st-anniversary-30__;!!IBzWLUs!WWB8agwnL4rzoqlKqN4YqYXXEl38QlsYNICmyheLYP_I25taKlpAfBsm6bm9Tr23hhhWbovjJnnxLg83FhV4TwYgBx6kz_LCZWUZAZs$ Affiliated with SPLASH 2023, Cascais, Portugal Dates to be confirmed within 22-27 October 2023 Session types are a type-theoretic approach to specifying communication protocols so that they can be verified by type-checking. This year marks 30 years since the first paper on session types, by Kohei Honda at CONCUR 1993. Since then the topic has attracted increasing interest, and a substantial community and literature have developed. Google Scholar lists almost 400 articles with "session types" in the title, and most programming language conferences now include several papers on session types each year. In terms of the technical focus, there have been continuing theoretical developments (notably the generalisation from two-party to multi-party session types by Honda, Yoshida and Carbone in 2008, and the development of a Curry-Howard correspondence with linear logic by Caires and Pfenning in 2010) and a variety of implementations of session types as programming language extensions or libraries, covering (among others) Haskell, OCaml, Java, Scala, Rust, Python, C#, Go. We invite submissions to a workshop celebrating 30 years of session types. Submissions can be about any aspect of session types, including but not limited to the topics listed above. The programme will include invited talks, contributed talks, software demonstrations and a panel session. We call for three types of submission: - Research papers with a maximum length of 8 pages (excluding bibliography and appendices). Submitted research papers will be reviewed for novelty, clarity and technical soundness. They must not be submitted simultaneously for publication in other venues. Accepted research papers will appear in the workshop proceedings. - Talk proposals with a maximum length of 2 pages (excluding bibliography and appendices). Talk proposals can be for presentation of ongoing work, or for presentation of work that has already been published elsewhere. Proposals will be reviewed based on their likely interest as contributions to the workshop. Accepted talks will be presented at the workshop, but will not have corresponding papers in the workshop proceedings. - Demo proposals with a maximum length of 2 pages (excluding bibliography and appendices). Demo proposals can be for any programming language, library, tool or other software that is based on session types. Accepted demos will be presented at the workshop, but will not have corresponding papers in the workshop proceedings. Submissions must be formatted in EPTCS style. We intend the proceedings to be published in EPTCS. Important dates Abstract registration deadline: 7 July 2023, AoE Submission deadline: 12 July 2023, AoE Notification: 18 August 2023 Final versions for the proceedings: 10 September 2023 Organising committee Marco Carbone (IT University of Copenhagen, Denmark) Ilaria Castellani (INRIA Sophia Antipolis Méditerranée, France) Diana Costa (University of Lisbon, Portugal) Simon Gay (University of Glasgow, UK) Luca Padovani (University of Camerino, Italy) Alceste Scalas (Technical University of Denmark) Nobuko Yoshida (University of Oxford, UK) Programme committee Diana Costa (University of Lisbon, Portugal) co-chair Ornela Dardha (University of Glasgow, UK) Mariangiola Dezani-Ciancaglini (University of Torino, Italy) Simon Gay (University of Glasgow, UK) co-chair Sung-Shik Jongmans (Open University of the Netherlands) Wen Kokke (Strathclyde University, UK) Rumyana Neykova (Brunel University, UK) Jorge Perez (University of Groningen, Netherlands) Kirstin Peters (University of Augsburg, Germany) Frank Pfenning (Carnegie Mellon University, USA) António Ravara (Universidade Nova de Lisboa and NOVA LINCS, Portugal) Peter Thiemann (University of Freiburg, Germany) Bernardo Toninho (Universidade Nova de Lisboa and NOVA LINCS, Portugal)
[TYPES/announce] Final Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos, and Performance Seattle, Washington, USA, 8th September 2023 Deadline: June 1 https://urldefense.com/v3/__https://functional-art.org/2023__;!!IBzWLUs!TV2mMLwXNnwXnNiY8aEM5vltQ88gBb8mQG8RF_1820mvrDyHmWkAgL2OS0yZ-rpquM_xeER0SuSmIwHT9j2koYbi-176tpacl26p$ === Key Dates - Submission deadlineJune 1 (AoE) Author notificationJuly 1 Camera-ready deadline July 15 Workshop September 8 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 your conference. The official publication date affects the deadline for any patent filings related to published work. Call for Papers --- The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) encourages submissions from across art, craft, and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. In addition to the main workshop, FARM hosts a traditional evening of performances. Thus, this call encompasses both papers/demos for the workshop (and its published proceedings) as well as performance proposals for the evening's event. Authors are invited to make a single submission for each. Authors may submit both a paper/demo and performance proposal, but the submissions will be considered independently. Note on Finances Paid registration to the FARM workshop is usually required for paper and demo submitters, but will be waived for performers. If you would have financial difficulty attending, you can apply for conference “PAC” funds. Please get in touch for more information. Papers -- Paper submissions are invited in three categories: - Original research - Overview / state of the art - Technology tutorial (especially tools and environments for distributed artistic workflow) Papers must be submitted via HotCRP (https://urldefense.com/v3/__https://farm23.hotcrp.com__;!!IBzWLUs!TV2mMLwXNnwXnNiY8aEM5vltQ88gBb8mQG8RF_1820mvrDyHmWkAgL2OS0yZ-rpquM_xeER0SuSmIwHT9j2koYbi-176tgnFtdc7$ ) and meet the following requirements: - 5 to 12 pages - PDF format - Adhere to the ACM SIGPLAN template Accepted papers will be published in the ACM Digital Library as part of the FARM 2023 proceedings. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.). Authors retain all rights to the auxiliary material. Demos - Demo submissions should describe a demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10 to 20 minute) tutorial, a presentation of work in progress, an exhibition of some work, or even a performance. Demos must be submitted via HotCRP (https://urldefense.com/v3/__https://farm23.hotcrp.com__;!!IBzWLUs!TV2mMLwXNnwXnNiY8aEM5vltQ88gBb8mQG8RF_1820mvrDyHmWkAgL2OS0yZ-rpquM_xeER0SuSmIwHT9j2koYbi-176tgnFtdc7$ ) and meet the following requirements: - 500 to 2000 words - Have a title starting with “Demo: ” - PDF format - Adhere to the ACM SIGPLAN template (https://urldefense.com/v3/__https://www.sigplan.org/Resources/ProceedingsFormat__;!!IBzWLUs!TV2mMLwXNnwXnNiY8aEM5vltQ88gBb8mQG8RF_1820mvrDyHmWkAgL2OS0yZ-rpquM_xeER0SuSmIwHT9j2koYbi-176tuw2sBp3$ ) Accepted demos will be published in the ACM Digital Library as part of the FARM 2023 proceedings. Performances FARM seeks proposals for performances which employ functional programming techniques, in whole or in part. We invite a diverse range of functionally-themed submissions including music, video, dance, and performance art. Both live performances and fixed-media submissions are welcome. We encourage risk-taking proposals that push forward the state of the art as well as refined presentations of highly developed practice. In either case, please support your submission with a clear description of your performance, including how your performance employs functional programming and a discussion of influences and prior art as appropriate. Performance proposals should be emailed to performa...@functional-art.org, and must include: - A
[TYPES/announce] CFP RV 2023: 23rd International Conference on Runtime Verification
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Important Dates: *Paper submission: 4 June 2023* *Notification: 7 July 2023* Camera-ready: 30 July 2023 Conference: 3-6 October 2023 Website: https://urldefense.com/v3/__https://rv23.csd.auth.gr/__;!!IBzWLUs!T1BwJpftGDQGa3TEH2nUoHK_owRO5oGNJ3uYFd_jzdn2pa5yLSMu-DDpLB4PWKwu1FYg47e-AaKPWMOufFsIC4Uz7MCUH2ct$ Objectives and Scope: Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. The topics of the conference include, but are not limited to: - specification languages for monitoring - monitor construction techniques - program instrumentation - logging, recording, and replay - combination of static and dynamic analysis - specification mining and machine learning over runtime traces - monitoring techniques for concurrent and distributed systems - runtime checking of privacy and security policies - metrics and statistical information gathering - program/system execution visualization - fault localization, containment, resilience, recovery and repair - systems with learning-enabled components - dynamic type checking and assurance cases - runtime verification for autonomy and runtime assurance Application areas of runtime verification include cyber-physical systems, autonomous systems, safety/mission critical systems, enterprise and systems software, cloud systems, reactive control systems, health management and diagnosis systems, and system security and privacy. Papers There are four categories of papers that can be submitted: regular, short, tool demo, and benchmark papers. Papers in each category will be reviewed by at least three members of the Program Committee. Regular Papers (up to 16 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. Short Papers (up to 8 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Tool Demonstration Papers (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. Benchmark Papers (up to 8 pages, not including references) should describe a benchmark, suite of benchmarks, or benchmark generator useful for evaluating RV tools. Papers should include information as to what the benchmark consists of and its purpose (what is the domain), how to obtain and use the benchmark, an argument for the usefulness of the benchmark to the broader RV community and may include any existing results produced using the benchmark. We are interested in both benchmarks pertaining to real-world scenarios and those containing synthetic data designed to achieve interesting properties. Broader definitions of benchmark e.g. for generating specifications from data or diagnosing faults are within scope. We encourage benchmarks that are tool agnostic, especially if they have been used to evaluate multiple tools. We also welcome benchmarks that contain verdict labels and with rigorous arguments for correctness of these verdicts, and benchmarks that are demonstrably cha llenging with respect to the state-of-the-art tools. Benchmark papers must be accompanied by an easily accessible and usable benchmark submission. Papers will be evaluated by a separate benchmark evaluation panel who will assess the benchmarks relevance, clarity, and utility as communicated by the submitted paper. The Program Committee of RV 2023 will give a Springer-sponsored Best Paper Award to one eligible regular paper. Tutorial track: tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings. A
[TYPES/announce] APLAS 2023: Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UPDATE: Distinguished Papers Awards! == CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023__;!!IBzWLUs!UprlsqTgiUbwlKdsjBSZ0WqcVaXvgB0rtJKjfvXDAKi-3HKHSb_0IjAPho7zGRLFjFlFP6msOKvuBgQ-hLhBk641-W6tyWeaKqJfLQ$ == IMPORTANT DATES - Submission deadline: Thu 15 Jun 2023 AoE Author response: Mon 31 Jul 12:00 - Wed 2 Aug 12:00 2023 AoE Author notification: Mon 14 Aug 2023 AoE Final paper deadline: Wed 6 Sep 2023 AoE Conference: Sun 26 – Wed 29 Nov 2023 SCOPE - We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: - ** programming paradigms and styles ** : functional programming; object-oriented programming; probabilistic programming; logic programming; constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; - ** methods and tools to specify and reason about programs and languages ** : programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; - ** programming language foundations ** : formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; - ** methods and tools for implementation ** : compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; - ** concurrency and distribution ** : process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; - ** applications and emerging topics ** : programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. GENERAL INFORMATION - Submissions should not exceed 17 pages, excluding bibliography in the Springer LNCS format. LaTeX template is available at: https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!UprlsqTgiUbwlKdsjBSZ0WqcVaXvgB0rtJKjfvXDAKi-3HKHSb_0IjAPho7zGRLFjFlFP6msOKvuBgQ-hLhBk641-W6tyWeOrpwSaA$ The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions. Papers should be submitted via HotCRP: https://urldefense.com/v3/__https://aplas2023.hotcrp.com/__;!!IBzWLUs!UprlsqTgiUbwlKdsjBSZ0WqcVaXvgB0rtJKjfvXDAKi-3HKHSb_0IjAPho7zGRLFjFlFP6msOKvuBgQ-hLhBk641-W6tyWcz0ywxWQ$ The review process of APLAS 2023 is double-anonymous, with a rebuttal phase. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you. Additional material intended for reviewers but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. POSTERS and STUDENT RESEARCH COMPETITION APLAS 2023 includes a Posters session and a Student Research Competition. For more details, please see the website. https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/posters-and-src__;!!IBzWLUs!UprlsqTgiUbwlKdsjBSZ0WqcVaXvgB0rtJKjfvXDAKi-3HKHSb_0IjAPho7zGRLFjFlFP6msOKvuBgQ-hLhBk641-W6tyWdqGVK0fQ$ DISTINGUISHED PAPERS AWARDS