- curry - lists.rwth-aachen.de

PADL 2023: Final Call for Papers (with updated deadlines!)
by Michael Hanus 05 Oct '22

05 Oct '22

============================================================================== Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023 Boston, Massachusetts, United States, January 16-17, 2023 Co-located with ACM POPL 2023 ============================================================================== FINAL DEADLINES: ---------------- Abstract submission: October 12, 2022 (AoE) Paper submission: October 19, 2022 (AoE) Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2023 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL 2023 welcomes three kinds of submission: * Technical papers (max. 15 pages): Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages): Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages): Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2023 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Papers should be submitted electronically at https://easychair.org/conferences/?conf=padl2023 Important Dates (UPDATED!) -------------------------- Abstract submission: October 12, 2022 (AoE) Paper submission: October 19, 2022 (AoE) Notification: November 15, 2022 Camera-ready papers: December 1, 2022 Symposium: January 16-17, 2023 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra…, 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 -------------------------------------------------------------------------------

1 0

2nd Call for Papers: PADL 2023
by Michael Hanus 17 Sep '22

17 Sep '22

============================================================================== 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-gu… 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-progra…, 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 -------------------------------------------------------------------------------

1 0

1st Call for Papers: PADL 2023
by Michael Hanus 09 Aug '22

09 Aug '22

============================================================================== 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-gu… 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-progra…, 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 -------------------------------------------------------------------------------

1 0

LOPSTR 2022 - Deadline extension!
by Alicia Villanueva 10 May '22

10 May '22

Apologies for multiple postings ====================================================================== LOPSTR 2022: Final Call for Papers -- DEADLINE EXTENSION ====================================================================== 32nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2022 http://lopstr2022.webs.upv.es/ Tbilisi, Georgia and Virtual -- 21-23 September 2022 (co-located with PPDP 2022 as part of CLAS 2022) Latest News: * Two-week deadline extension! (see important dates below) * The PC can also invite up to two papers for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP). * The conference will be held as a hybrid (blended) meeting, both in-person and virtual. * The LOPSTR 2022 proceedings will be published by Springer in the LNCS series at conference time after a single round of reviewing. OVERVIEW ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual. Previous symposia were held in Tallin (hybrid event), Bologna (as a virtual meeting), Porto, Frankfurt am Main, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve and Manchester. You might have a look at the contents of past LOPSTR symposia at DBLP (http://www.informatik.uni-trier.de/~ley/db/conf/lopstr/index.html), and at the Springer LNCS repository for past Post-proceedings (https://link.springer.com/conference/lopstr). LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022. Information about venue and travel is available on the CLAS 2022 website (http://www.viam.science.tsu.ge/clas2022/). The LOPSTR 2022 proceedings will be published by Springer in the Lecture Notes in Computer Science series at conference time after a single round of reviewing. Submissions can be made in two categories: Full Papers and Extended Abstracts. All submissions must be written in English. Submissions of Full Papers must describe original work, 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. The PC can also invite up to two papers for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of Extended Abstracts may describe work-in-progress research to be presented during the conference. These contributions will be published in informal proceedings, if enough papers are accepted. After the symposium, a selection of the best papers will be invited for submission to a special issue of the Fundamenta Informaticae journal (https://fi.episciences.org/). Authors of selected original papers will be invited to revise and/or extend their submissions to be considered for publication in the special issue. The papers submitted to the special issue will be subject to the standard reviewing process of the journal. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: * synthesis; transformation; specialization; composition; optimisation * specification; analysis; verification; testing; certification * program and model manipulation; inversion * artificial intelligence methods for program development; verification and testing of AI-based systems * transformational techniques in SE * applications and tools Both full papers and extended abstracts describing foundations and applications in these areas are welcome. Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications are also welcome. Important Dates ====================================================================== * Abstract submission: May 16, 2022 (extended) * Paper submission: May 23, 2022 (extended) * Notification to authors: June 24, 2022 (extended) * Final version: July 11, 2022 * Conference: September 21-23, 2022 Submission Guidelines ====================================================================== Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions at the author's page (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…), and use their proceedings templates, either for LaTeX (available also in Overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, 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. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Full papers cannot exceed 15 pages excluding references. Extended abstracts cannot exceed 8 pages excluding references. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2022 Accepted Full Papers will be published in the formal LNCS proceedings. Accepted Extended Abstracts will be included in the informal proceedings if enough papers are accepted. The program committee may recommend some full papers to be accepted only for presentation at the symposium and to be included in the informal proceedings. Best paper awards ====================================================================== Thanks to Springer's sponsorship, a best paper award, which will include a 1000 EUR prize, will be given at LOPSTR 2022. The program committee will select the winning paper based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). Invited Speaker ====================================================================== TBA Program Committee ====================================================================== Elvira Albert -- Complutense University of Madrid (Spain) Roberto Amadini -- University of Bologna (Italy) Emanuele De Angelis -- IASI, National Research Council (Italy) Włodzimierz Drabent -- IPI PAN, Poland & Linköping University (Sweden) Catherine Dubois -- ENSIIE-Samovar (France) Fabio Fioravanti -- University of Chieti-Pescara (Italy) Gopal Gupta -- University of Texas at Dallas (USA) Geoff Hamilton -- Dublin City University (Ireland) Michael Hanus -- Kiel University (Germany) Maja Kirkeby -- Roskilde University (Denmark) Ekaterina Komendantskaya -- Heriot-Watt University (UK) Temur Kutsia -- RISC J. Kepler University of Linz (Austria) Maria Chiara Meo -- University G. D'Annunzio, Chieti Pescara (Italy) Fred Mesnard -- Université de la Réunion (France) Alberto Momigliano -- University of Milano (Italy) Naoki Nishida -- Nagoya University (Japan) Laura Panizo -- University of Málaga, Spain Laura Titolo -- National Institute of Aerospace (US) Wim Vanhoof -- University of Namur (Belgium) Alicia Villanueva (Chair) -- Universitat Politècnica de València (Spain) Organization ====================================================================== * Local organization: Besik Dundua (chair) Tbilisi State University / Kutaisi International University, Georgia * Contact For more information, please contact the Program Committee Chair: alvilga1(a)upv.es * In coorperation with Springer Lecture Notes in Computer Science Kurt Gödel Society

1 0

FLOPS 2022: Call For Participation & Workshop talk proposals
by Michael Hanus 26 Apr '22

26 Apr '22

============================================================================ Call For Participation & Workshop talk proposals (extended) FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Online Registration is open for FLOPS 2022. https://conf.researchr.org/attending/flops-2022/registration Deadlines for registration are: (Early) 27 April, 2022, 23:59 (UTC) (Late) 5 May, 2022, 23:59 (UTC) *** Call for talk proposals: AiDL 2022 *** An extra workshop, AiDL 2022 (Workshop on Advances in Declarative Languages), will be held in hybrid (online / physical) format in Kyoto, Japan. Venue: Hybrid (Online / RIMS, Kyoto University, Japan) Talk proposal deadline (extended): April 30, 2022 (AoE) Details: https://conf.researchr.org/track/flops-2022/aidl-2022 *** Venue / Dates for the extra workshop *** This extra event will take place early afternoon (UTC+9), 10-12 May at the venue, RIMS - Research Institute for Mathematical Sciences, Kyoto University, Japan, without any interference with the main FLOPS conference slots, and remote participants are able to attend via Zoom. *** FLOPS 2022 Accepted Papers *** The list of FLOPS 2022 accepted papers is at https://conf.researchr.org/track/flops-2022/flops-2022-papers#event-overview *** FLOPS 2022 Invited Speakers *** Lindsey Kuper (University of California at Santa Cruz) Akimasa Morihata (University of Tokyo) Peter J. Stuckey (Monash University) *** FLOPS 2022 Program Committee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard Universuty, USA Davide Ancona Univ. Genova, Italy William Byrd University of Alabama, USA Matteo Cimini UMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Ekaterina Komendantskaya Heriot-Watt University, UK Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Klaus Ostermann University of Tuebingen, Germany Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium Harald Sondergaard University of Melbourne, Australia Hiroshi Unno University of Tsukuba, Japan Niki Vazou IMDEA, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Nicolas Wu Imperial College, UK Ningning Xie University of Hong Kong, China Jeremy Yallop University of Cambridge, UK Neng-Fa Zhou City University of New York, USA *** FLOPS 2022 Organizers *** Michael Hanus Kiel University, Germany (PC Co-Chair) Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair) Keigo Imai Gifu University, Japan (Local Co-Chair) Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair)

1 0

LOPSTR 2022 - Final Call for Papers
by Alicia Villanueva 24 Apr '22

24 Apr '22

Apologies for multiple postings ====================================================================== LOPSTR 2022: Final Call for Papers ====================================================================== 32nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2022 http://lopstr2022.webs.upv.es/ Tbilisi, Georgia and Virtual -- 21-23 September 2022 (co-located with PPDP 2022 as part of CLAS 2022) Latest news: * The conference will be held as a hybrid (blended) meeting, both in-person and virtual. * The LOPSTR 2022 proceedings will be published by Springer in the LNCS series at conference time after a single round of reviewing. * After the symposium, a selection of the best papers will be invited for submission to a special issue of the Fundamenta Informaticae journal. OVERVIEW ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual. Previous symposia were held in Tallin (hybrid event), Bologna (as a virtual meeting), Porto, Frankfurt am Main, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve and Manchester. You might have a look at the contents of past LOPSTR symposia at DBLP (http://www.informatik.uni-trier.de/~ley/db/conf/lopstr/index.html), and at the Springer LNCS repository for past Post-proceedings (https://link.springer.com/conference/lopstr). LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022. Information about venue and travel is available on the CLAS 2022 website (http://www.viam.science.tsu.ge/clas2022/). The LOPSTR 2022 proceedings will be published by Springer in the Lecture Notes in Computer Science series at conference time after a single round of reviewing. Submissions can be made in two categories: Full Papers and Extended Abstracts. All submissions must be written in English. Submissions of Full Papers must describe original work, 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. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of Extended Abstracts may describe work-in-progress research to be presented during the conference. These contributions will be published in informal proceedings, if enough papers are accepted. After the symposium, a selection of the best papers will be invited for submission to a special issue of the Fundamenta Informaticae journal (https://fi.episciences.org/). Authors of selected original papers will be invited to revise and/or extend their submissions to be considered for publication in the special issue. The papers submitted to the special issue will be subject to the standard reviewing process of the journal. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: * synthesis; transformation; specialization; composition; optimisation * specification; analysis; verification; testing; certification * program and model manipulation; inversion * artificial intelligence methods for program development; verification and testing of AI-based systems * transformational techniques in SE * applications and tools Both full papers and extended abstracts describing foundations and applications in these areas are welcome. Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications are also welcome. Important Dates ====================================================================== * Abstract submission: May 2, 2022 * Paper submission: May 9, 2022 * Notification to authors: June 20, 2022 * Final version: July 11, 2022 * Conference: September 21-23, 2022 Submission Guidelines ====================================================================== Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions at the author's page (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…), and use their proceedings templates, either for LaTeX (available also in Overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, 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. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Full papers cannot exceed 15 pages excluding references. Extended abstracts cannot exceed 8 pages excluding references. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2022 Accepted Full Papers will be published in the formal LNCS proceedings. Accepted Extended Abstracts will be included in the informal proceedings if enough papers are accepted. The program committee may recommend some full papers to be accepted only for presentation at the symposium and to be included in the informal proceedings. Best paper awards ====================================================================== Thanks to Springer's sponsorship, a best paper award, which will include a 1000 EUR prize, will be given at LOPSTR 2022. The program committee will select the winning paper based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). Invited Speaker ====================================================================== TBA Program Committee ====================================================================== Elvira Albert -- Complutense University of Madrid (Spain) Roberto Amadini -- University of Bologna (Italy) Emanuele De Angelis -- IASI, National Research Council (Italy) Włodzimierz Drabent -- IPI PAN, Poland & Linköping University (Sweden) Catherine Dubois -- ENSIIE-Samovar (France) Fabio Fioravanti -- University of Chieti-Pescara (Italy) Gopal Gupta -- University of Texas at Dallas (USA) Geoff Hamilton -- Dublin City University (Ireland) Michael Hanus -- Kiel University (Germany) Maja Kirkeby -- Roskilde University (Denmark) Ekaterina Komendantskaya -- Heriot-Watt University (UK) Temur Kutsia -- RISC J. Kepler University of Linz (Austria) Maria Chiara Meo -- University G. D'Annunzio, Chieti Pescara (Italy) Fred Mesnard -- Université de la Réunion (France) Alberto Momigliano -- University of Milano (Italy) Naoki Nishida -- Nagoya University (Japan) Laura Panizo -- University of Málaga, Spain Laura Titolo -- National Institute of Aerospace (US) Wim Vanhoof -- University of Namur (Belgium) Alicia Villanueva (Chair) -- Universitat Politècnica de València (Spain) Organization ====================================================================== * Local organization: Besik Dundua (chair) Tbilisi State University / Kutaisi International University, Georgia * Contact For more information, please contact the Program Committee Chair: alvilga1(a)upv.es * In coorperation with Springer Lecture Notes in Computer Science Kurt Gödel Society

1 0

LOPSTR 2022 -- First CfP
by Alicia Villanueva 08 Mar '22

08 Mar '22

====================================================================== LOPSTR 2022: Fist Call for Papers ====================================================================== 32nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2022 http://lopstr2022.webs.upv.es/ Tbilisi, Georgia -- 21-23 September 2022 (co-located with PPDP 2022 as part of CLAS 2022) OVERVIEW ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held at the Ivane Javakhishvili Tbilisi State University (TSU) in Tbilisi, Georgia. Previous symposia were held in Tallin (hybrid event), Bologna (as a virtual meeting), Porto, Frankfurt am Main, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve and Manchester. You might have a look at the contents of past LOPSTR symposia at DBLP (http://www.informatik.uni-trier.de/~ley/db/conf/lopstr/index.html), and at the Springer LNCS repository for past Post-proceedings (https://link.springer.com/conference/lopstr). LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022. Information about venue and travel is available on the CLAS 2022 website (http://www.viam.science.tsu.ge/clas2022/). The LOPSTR 2022 proceedings will be published by Springer in the Lecture Notes in Computer Science series at conference time after a single round of reviewing. Submissions can be made in two categories: Full Papers and Extended Abstracts. All submissions must be written in English. Submissions of Full Papers must describe original work, 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. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of Extended Abstracts may describe work-in-progress research to be presented during the conference. These contributions will be published in informal proceedings, if enough papers are accepted. After the symposium, a selection of the best papers will be invited for submission to a special issue of the Fundamenta Informaticae journal (https://fi.episciences.org/). Authors of selected original papers will be invited to revise and/or extend their submissions to be considered for publication in the special issue. The papers submitted to the special issue will be subject to the standard reviewing process of the journal. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: * synthesis; transformation; specialization; composition; optimisation * specification; analysis; verification; testing; certification * program and model manipulation; inversion * artificial intelligence methods for program development; verification and testing of AI-based systems * transformational techniques in SE * applications and tools Both full papers and extended abstracts describing foundations and applications in these areas are welcome. Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications are also welcome. Important Dates ====================================================================== * Abstract submission: May 2, 2022 * Paper submission: May 9, 2022 * Notification to authors: June 20, 2022 * Final version: July 11, 2022 * Conference: September 21-23, 2022 Submission Guidelines ====================================================================== Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions at the author's page (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…), and use their proceedings templates, either for LaTeX (available also in Overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, 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. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Full papers cannot exceed 15 pages excluding references. Extended abstracts cannot exceed 8 pages excluding references. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2022 Accepted Full Papers will be published in the formal LNCS proceedings. Accepted Extended Abstracts will be included in the informal proceedings if enough papers are accepted. The program committee may recommend some full papers to be accepted only for presentation at the symposium and to be included in the informal proceedings. Best paper awards ====================================================================== Thanks to Springer's sponsorship, a best paper award, which will include a 1000 EUR prize, will be given at LOPSTR 2022. The program committee will select the winning paper based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). Invited Speaker ====================================================================== TBA Program Committee ====================================================================== Elvira Albert -- Complutense University of Madrid (Spain) Roberto Amadini -- University of Bologna (Italy) Emanuele De Angelis -- IASI, National Research Council (Italy) Włodzimierz Drabent -- IPI PAN, Poland & Linköping University (Sweden) Catherine Dubois -- ENSIIE-Samovar (France) Fabio Fioravanti -- University of Chieti-Pescara (Italy) Gopal Gupta -- University of Texas at Dallas (USA) Geoff Hamilton -- Dublin City University (Ireland) Michael Hanus -- Kiel University (Germany) Maja Kirkeby -- Roskilde University (Denmark) Ekaterina Komendantskaya -- Heriot-Watt University (UK) Temur Kutsia -- RISC J. Kepler University of Linz (Austria) Maria Chiara Meo -- University G. D'Annunzio, Chieti Pescara (Italy) Fred Mesnard -- Université de la Réunion (France) Alberto Momigliano -- University of Milano (Italy) Naoki Nishida -- Nagoya University (Japan) Laura Panizo -- University of Málaga, Spain Laura Titolo -- National Institute of Aerospace (US) Wim Vanhoof -- University of Namur (Belgium) Alicia Villanueva (Chair) -- Universitat Politècnica de València (Spain) Organization ====================================================================== * Local organization: Besik Dundua (chair) Tbilisi State University / Kutaisi International University, Georgia * Contact For more information, please contact the Program Committee Chair: alvilga1(a)upv.es * In coorperation with Springer Lecture Notes in Computer Science Kurt Gödel Society

1 0

[CfP] ICLP 2022 - Call for Recently Published Research Papers
by Michael Hanus 09 Feb '22

09 Feb '22

Call for Recently Published Research Papers for ICLP 2022 Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought for the Recently Published Research Track for papers related to logic programming that appeared recently (from January 2020 onwards) in selective journals and conferences, but have not been previously presented at ICLP. Recently published research from all areas of logic programming are welcome, including but not restricted to: ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. ** Implementation: Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education. Important Dates *************** ** Extended abstract submission: March 12, 2022 ** Final notifications: April 30, 2022 ** Camera-ready copy due: May 16, 2022 ** Conference: July 31--August 8, 2022 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. Submission Details ****************** Expected submissions for the Recently Published Research Track: ** Extended abstract (2 or 3 pages in EPTCS format: http://style.eptcs.org/) describing previously published research (from January 2020 onwards) in selective journals and conferences, based on papers that have not been previously presented at ICLP. A title page should be appended to the submission with (i) details on the venue, where the original paper appeared, (ii) a link to the original paper, (iii) a paragraph describing why the authors believe this work warrants a presentation at ICLP. The extended abstracts will be published in the Technical Communication Proceedings. Submissions will be done via emailing both track chairs: * Martin Gebser: martin.gebser(a)aau.at * Tuncay Tekle: tuncay(a)cs.stonybrook.edu All accepted papers will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. All submissions must be written in English. Organization ************ ** General Chair Michael Codish, Ben-Gurion University of the Negev, Israel ** Program Chairs Yuliya Lierler, University of Nebraska Omaha, USA Jose F. Morales, IMDEA and Universidad Politécnica de Madrid, Spain ** Publicity Chair Victor Perez, IMDEA Software Institute, Spain ** Workshop Chair Daniela Inclezan, Miami University, USA ** Doctoral Consortium and Fall School Chairs Veronica Dahl, Simon Fraser University, Canada Carmine Dodaro, University of Calabria, Italy ** Programming Contest Chairs Mario Alviano, University of Calabria, Italy Vitaly Lagoon, Cadence Design Systems, USA Program Committee ***************** Salvador Abreu, Universidade de Évora, Portugal Mario Alviano, University of Calabria, Italy Marcello Balduccini, Saint Joseph's University, USA Mutsunori Banbara, Nagoya University, Japan Alex Brik, Google Inc., USA François Bry, Ludwig Maximilian University of Munich, Germany Pedro Cabalar,University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Manuel Carro, Technical University of Madrid and IMDEA, Spain Angelos Charalambidis, University of Athens, Greece Michael Codish, Ben-Gurion University of the Negev, Israel Stefania Costantini, University of L'Aquila, Italy Marc Denecker, KU Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Inês Dutra, University of Porto, Portugal Thomas Eiter, Vienna University of Technology, Austria Esra Erdem, Sabanci University, Turkey Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria Jorge Fandinno, University of Nebraska Omaha, USA Paul Fodor, Stony Brook University, USA Andrea Formisano, University of Udine, Italy Gerhard Friedrich, Alpen-Adria-Universitaet Klagenfurt, Austria Sarah Alice Gaggl, Technische Universität Dresden, Germany Marco Gavanelli, University of Ferrara, Italy Martin Gebser, Alpen-Adria-Universität Klagenfurt, Austria Michael Gelfond, Texas Tech University, USA Laura Giordano, Università del Piemonte Orientale, Italy Gopal Gupta, University of Texas, USA Michael Hanus, CAU Kiel, Germany Manuel Hermenegildo, IMDEA and Universidad Politécnica de Madrid, Spain Giovambattista Ianni, University of Calabria, Italy Katsumi Inoue, National Institute of Informatics, Japan Tomi Janhunen, Tampere University, Finland Matti Järvisalo, University of Helsinkia, Finland Jianmin Ji, University of Science and Technology of China Nikos Katzouris, NCSR Demokritos Zeynep Kiziltan, University of Bologna, Italy Michael Kifer, Stony Brook University, USA Ekaterina Komendantskaya, Heriot-Watt University, UK Nicola Leone, University of Calabria, Italy Michael Leuschel, University of Dusseldorf, Germany Y. Annie Liu, Stony Brook University, USA Vladimir Lifschitz, University of Texas, USA Jorge Lobo, Pompeu Fabra University, Barcelona, Spain Marco Maratea, University of Genova, Italy Viviana Mascardi, University of Genova, Italy Alessandra Mileo, Dublin City University, INSIGHT Centre for Data Analytics, Ireland Manuel Ojeda-Aciego, University of Malaga, Spain Enrico Pontelli, New Mexico State University, USA Francesco Ricca, University of Calabria, Italy Orkunt Sabuncu, TED University, Turkey Chiaki Sakama, Wakayama University, Japan Vitor Santos Costa, University of Porto, Portugal Torsten Schaub, University of Potsdam, Germany Konstantin Schekotihin, Alpen-Adria-Universität Klagenfurt, Austria Tom Schrijvers, KU Leuven, Belgium Mohan Sridharan, University of Birmingham, UK Tran Cao Son, New Mexico State University, USA Theresa Swift, Universidade Nova de Lisboa, Portugal Paul Tarau, University of North Texas, USA Tuncay Tekle, Stony Brook University, USA Daniele Theseider Dupré, University of Piemonte Orientale, Italy Mirek Truszczynski, University of Kentucky, USA Joost Vennekens, KU Leuven, Belgium German Vidal, Universitat Politècnica de València, Spain Alicia Villanueva, VRAIN - Universitat Politècnica de València, Spain Antonius Weinzierl, Vienna University of Technology, Austria Kewen Wang, Griffith University Australia David Warren, SUNY Stony Brook, USA Jan Wielemaker, VU University of Amsterdam, Netherlands Stefan Woltran, Vienna University of Technology, Austria Roland Yap, National University of Singapore, Republic of Singapore Fangkai Yang, NVIDIA, USA Jia-Huai You, University of Alberta, Canada Yuanlin Zhang, Texas Tech University, US Zhizheng Zhang, Southeast University, China Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA

1 0

[Final CfP] ICLP 2022 - The 38th International Conference on Logic
by Michael Hanus 13 Jan '22

13 Jan '22

========================================================================= CALL FOR PAPERS ========================================================================= The 38th International Conference on Logic Programming (ICLP 2022) https://software.imdea.org/Conferences/ICLP2022/ Haifa, Israel August 2-8, 2022 ICLP 2022 will be a physical event in Haifa, Israel Part of the FLOC 2022 https://floc2022.org/ ========================================================================= Scope ***** Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations:Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. ** Implementation: Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education. Tracks and Special Sessions *************************** Besides the main track, ICLP 2022 will host additional tracks: ** Applications Track: this track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. ** Recently Published Research Track: this track provides a forum to discuss important results related to logic programming that appeared recently (from January 2020 onwards) in selective journals and conferences, but have not been previously presented at ICLP. In addition, ICLP 2022 will house: ** Doctoral Consortium and Mentoring Sessions: the Doctoral Consortium (DC) on Logic Programming provides students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare and succeed for a research career. We will have leaders in logic programming research from academia and industry to give invited talks on their research areas. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. ** Tutorials and Co-located Workshops. Important Dates *************** ** Abstract registration: January 14, 2022 ** Paper submission: January 21, 2022 ** Notification to authors (Regular papers): March 14, 2022 ** Revision submission (TPLP papers): April 1, 2022 ** Final notifications (all paper kinds): April 30, 2022 ** Camera-ready copy due (all paper kinds): May 16, 2022 ** Conference: July 31--August 8, 2022 Submission Details ****************** We note that papers accepted at ICLP may appear either in * Theory and Practice of Logic Programming Journal (TPLP), or * Technical Communication Proceeding (TC) published by Electronic Proceedings in Theoretical Computer Science (EPTCS) TPLP format is described at https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra… EPTCS format is described at http://style.eptcs.org/ All accepted papers will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. All submissions must be written in English. Expected submissions: * For Main Track and Application Track: All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. ** Regular papers (14 pages in TPLP format, including references) The accepted regular papers will be published in TPLP. The program committee may recommend some regular papers to be published in Technical Communication Proceeding (TC). In this case, the papers will have to be reformatted into EPTCS format and not exceed 14 pages. Authors who submitted Regular papers that were accepted as TC may elect to convert their submissions into extended abstracts (2 or 3 pages in EPTCS format). This should allow authors to submit a long version elsewhere. ** Short papers (7 pages in EPTCS format, including references). The accepted short papers will be published in the Technical Communication Proceedings. * Recently Published Research Track ** Extended abstract (2 or 3 pages in EPTCS format) describing previously published research (from January 2020 onwards) in selective journals and conferences, but that have not been previously presented at ICLP. A title page should be appended to the submission with (i) details on the venue, where the original paper appeared, (ii) a link to the original paper, (iii) a paragraph describing why the authors believe this work warrants a presentation at ICLP. The extended abstracts will be published in the Technical Communication Proceedings. Submissions will be done via EasyChair. The submission Web page for ICLP2022 is https://easychair.org/my/conference?conf=iclp2022 Organization ************ ** General Chair Michael Codish, Ben-Gurion University of the Negev, Israel ** Program Chairs Yuliya Lierler, University of Nebraska Omaha, USA Jose F. Morales, IMDEA and Universidad Politécnica de Madrid, Spain ** Publicity Chair Victor Perez, IMDEA Software Institute, Spain ** Workshop Chair Daniela Inclezan, Miami University, USA ** Doctoral Consortium and Fall School Chairs Veronica Dahl, Simon Fraser University, Canada Carmine Dodaro, University of Calabria, Italy ** Programming Contest Chairs Mario Alviano, University of Calabria, Italy Vitaly Lagoon, Cadence Design Systems, USA ** 10-year/20-year Test-of-Time Award Chairs Esra Erdem, Sabanci University, Turkey Paul Tarau, Univeristy of North Texas, USA ** Recently Published Research Track Chairs Martin Gebser, Alpen-Adria-Universität Klagenfurt, Austria Tuncay Tekle, Stony Brook University, USA Program Committee ***************** * Salvador Abreu, Universidade de Évora, Portugal * Mario Alviano, University of Calabria, Italy * Marcello Balduccini, Saint Joseph's University, USA * Mutsunori Banbara, Nagoya University, Japan * Alex Brik, Google Inc., USA * François Bry, Ludwig Maximilian University of Munich, Germany * Pedro Cabalar,University of Corunna, Spain * Francesco Calimeri, University of Calabria, Italy * Manuel Carro, Technical University of Madrid and IMDEA, Spain * Angelos Charalambidis, University of Athens, Greece * Michael Codish, Ben-Gurion University of the Negev, Israel * Stefania Costantini, University of L'Aquila, Italy * Marc Denecker, KU Leuven, Belgium * Marina De Vos, University of Bath, UK * Agostino Dovier, University of Udine, Italy * Inês Dutra, University of Porto, Portugal * Thomas Eiter, Vienna University of Technology, Austria * Esra Erdem, Sabanci University, Turkey * Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria * Jorge Fandinno, University of Nebraska Omaha, USA * Paul Fodor, Stony Brook University, USA * Andrea Formisano, University of Udine, Italy * Gerhard Friedrich, Alpen-Adria-Universitaet Klagenfurt, Austria * Sarah Alice Gaggl, Technische Universität Dresden, Germany * Marco Gavanelli, University of Ferrara, Italy * Martin Gebser, Alpen-Adria-Universität Klagenfurt, Austria * Michael Gelfond, Texas Tech University, USA * Laura Giordano, Università del Piemonte Orientale, Italy * Gopal Gupta, University of Texas, USA * Michael Hanus, CAU Kiel, Germany * Manuel Hermenegildo, IMDEA and Universidad Politécnica de Madrid, Spain * Giovambattista Ianni, University of Calabria, Italy * Katsumi Inoue, National Institute of Informatics, Japan * Tomi Janhunen, Tampere University, Finland * Matti Järvisalo, University of Helsinkia, Finland * Jianmin Ji, University of Science and Technology of China * Nikos Katzouris, NCSR Demokritos * Zeynep Kiziltan, University of Bologna, Italy * Michael Kifer, Stony Brook University, USA * Ekaterina Komendantskaya, Heriot-Watt University, UK * Nicola Leone, University of Calabria, Italy * Michael Leuschel, University of Dusseldorf, Germany * Y. Annie Liu, Stony Brook University, USA * Vladimir Lifschitz, University of Texas, USA * Jorge Lobo, Pompeu Fabra University, Barcelona, Spain * Marco Maratea, University of Genova, Italy * Viviana Mascardi, University of Genova, Italy * Alessandra Mileo, Dublin City University, INSIGHT Centre for Data Analytics, Ireland * Manuel Ojeda-Aciego, University of Malaga, Spain * Enrico Pontelli, New Mexico State University, USA * Francesco Ricca, University of Calabria, Italy * Orkunt Sabuncu, TED University, Turkey * Chiaki Sakama, Wakayama University, Japan * Vitor Santos Costa, University of Porto, Portugal * Torsten Schaub, University of Potsdam, Germany * Konstantin Schekotihin, Alpen-Adria-Universität Klagenfurt, Austria * Tom Schrijvers, KU Leuven, Belgium * Mohan Sridharan, University of Birmingham, UK * Tran Cao Son, New Mexico State University, USA * Theresa Swift, Universidade Nova de Lisboa, Portugal * Paul Tarau, University of North Texas, USA * Tuncay Tekle, Stony Brook University, USA * Daniele Theseider Dupré, University of Piemonte Orientale, Italy * Mirek Truszczynski, University of Kentucky, USA * Joost Vennekens, KU Leuven, Belgium * German Vidal, Universitat Politècnica de València, Spain * Alicia Villanueva, VRAIN - Universitat Politècnica de València, Spain * Antonius Weinzierl, Vienna University of Technology, Austria * Kewen Wang, Griffith University Australia * David Warren, SUNY Stony Brook, USA * Jan Wielemaker, VU University of Amsterdam, Netherlands * Stefan Woltran, Vienna University of Technology, Austria * Roland Yap, National University of Singapore, Republic of Singapore * Fangkai Yang, NVIDIA, USA * Jia-Huai You, University of Alberta, Canada * Yuanlin Zhang, Texas Tech University, US * Zhizheng Zhang, Southeast University, China * Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA ========================================================================= Any additional question can be directed towards ICLP Chairs: iclp2022(a)easychair.org =========================================================================

1 0

2nd Call for Papers: FLOPS 2022
by Michael Hanus 17 Nov '21

17 Nov '21

* The deadline has been extended to December. * Best papers will be invited to an SCP special issue. ============================================================================ Call For Papers FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Kyoto, Japan https://conf.researchr.org/home/flops-2022 Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. *** Scope *** FLOPS solicits original papers in all areas of declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained at http://www.sigplan.org/Resources/Policies/Republication. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review. FLOPS 2022 will employ a double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors' own related work should be in the third person (e.g., not "We build on our previous work..." but rather "We build on the work of..."). The purpose of this process is to help the reviewers come to a judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2022 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… *** Proceedings *** The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs). Post-proceedings: The authors of 4-7 best papers will be invited to submit an extended version of their FLOPS paper to a special issue which will appear in the journal Science of Computer Programming (SCP). *** Important Dates *** Abstract submission: December 8, 2021 (AoE) Paper submission: December 12, 2021 (AoE) Notification: January 28, 2022 Camera ready due: February 20, 2022 Symposium: May 10-12, 2022 *** Program Comittee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard Universuty, USA Davide Ancona Univ. Genova, Italy William Byrd University of Alabama, USA Matteo Cimini UMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Gl��ck University of Copenhagen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Ekaterina Komendantskaya Heriot-Watt University, UK Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Klaus Ostermann University of Tuebingen, Germany Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium Harald Sondergaard University of Melbourne, Australia Hiroshi Unno University of Tsukuba, Japan Niki Vazou IMDEA, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Nicolas Wu Imperial College, UK Ningning Xie University of Hong Kong, China Jeremy Yallop University of Cambridge, UK Neng-Fa Zhou City University of New York, USA *** Organizers *** Michael Hanus Kiel University, Germany (PC Co-Chair) Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair) Keigo Imai Gifu University, Japan (Local Co-Chair) Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair) *** Contact Address *** flops2022 _AT_ easychair.org -------------------------------------------------------------------------------

1 0