[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
====================================================================== LOPSTR 2020: Call for Papers ====================================================================== 30th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2020 https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020/ 7-9 September 2020 --------------------------------------------------------------------- NEWS: LOPSTR 2020 will be organised as a virtual meeting. The reviewing and publication process remain unchanged. --------------------------------------------------------------------- Abstract Deadline: 5 June 2020 Paper Deadline: 12 June 2020 --------------------------------------------------------------------- SCOPE The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. This year LOPSTR is part of the Bologna Federated Conference in Programming languages, together with PPDP, WFLP and Microservices. TOPICS Topics of interest cover all aspects of logic-based program development (including in domain-specific languages), all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including: * synthesis; transformation; specialisation; composition; optimisation * specification; analysis and verification; testing and certification * program and model manipulation; inversion * machine learning for program development * transformational techniques in SE; applications and tools Both full papers and extended abstracts describing applications in any of these areas are welcome. Survey papers and papers that describe experience with industrial applications are also welcome. SUBMISSION: Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings (please contact the PC chair in case of questions). Important Dates --------------- Abstract submission: 5 June 2020 (AoE) Paper/Extended abstract submission: 12 June 2020 (AoE) Notification: 12 July 2020 Camera-ready (for electronic pre-proceedings): 12 August 2020 Symposium: 7-9 September 2020 Submission Guidelines --------------------- Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in LNCS style. Submissions cannot exceed 15 pages excluding references. Additional pages may be used for appendices (not intended for publication) but note that reviewers are not required to read appendices. Papers should be submitted via the Easychair. Proceedings ----------- Post-conference proceedings will be published by Springer in LNCS. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, available also in Overleaf, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. BEST PAPER AWARDS Thanks to Springer's sponsorship, two awards (including a 500EUR prize each) will be given at LOPSTR 2020, based on relevance, originality and technical quality of papers. The PC may split the awards among several papers. INVITED SPEAKER Philipp Ruemmer (University of Uppsala, Sweden). PROGRAMME COMMITTEE Elvira Albert, Complutense University of Madrid, Spain María Alpuente, Universitat Politècnica de València, Spain Mauricio Ayala-Rincón, University of Brasilia, Brazil Clara Bertolissi, University Aix-Marseilles, France Emanuele De Angelis, CNR Inst. for Systems Analysis and Computer Science, Italy Maribel Fernández, King's College London, UK (chair) Mario Florido, University of Porto, Portugal Maurizio Gabbrielli, University of Bologna, Italy Robert Glück, University of Copenhagen, Denmark Gopal Gupta, University of Texas at Dallas, US Michael Hanus, Kiel University, Germany Delia Kesner, Université de Paris, France Andy King, University of Kent, UK Temur Kutsia, RISC J. Kepler University of Linz, Austria Giselle Reis, Carnegie Mellon University, Qatar Masahito Sakai, Nagoya University, Japan René Thiemann, University of Innsbruck, Austria Alwen Tiu, The Australian National University, Australia Germán Vidal, Universitat Politècnica de València, Spain LOCAL ORGANISATION Maurizio Gabbrielli, University of Bologna CONTACT For more information please contact the Programme Committee Chair: maribel.fernan...@kcl.ac.uk<mailto:maribel.fernan...@kcl.ac.uk> --- Professor Maribel Fernandez Department of Informatics, King’s College London Strand Campus, Bush House, 30 Aldwych London WC2B 4BG www.nms.kcl.ac.uk/maribel.fernandez<http://www.nms.kcl.ac.uk/maribel.fernandez>