April 2022 - Haskell - Haskell.org

WPTE 2022 cfp (extended deadline, journal publication)
by Stefan Ciobaca 29 Apr '22

29 Apr '22

WPTE 2022 (affiliated to FSCD 2022, part of FLoC 2022, Haifa, Israel) 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 31st, 2022) Web: https://wpte2022.github.io/ Submit: https://easychair.org/conferences/?conf=wpte2022 Deadline: 10 May 2022 (extended) Publication: post-proceedings as a special issue in the Journal of Logical and Algebraic Methods in Programming for selected papers --------------------------------------------------------------------------- The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. List of Topics --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline an extended abstract of at most 10 pages is required. The extended abstract may present original work, but also work in progress. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions will be electronic via https://easychair.org/conferences/?conf=wpte2022. Formal Proceedings --------------------------------------------------------------------------- For the 2020 and 2021 editions, WPTE post-proceedings of selected papers are scheduled to be published in JLAMP special issues. We are delighted that the 2022 workshop will continue this tradition. Based on the quality of the submission and the presentation, we will invite a selection of papers to be published in extended form in a special issue of the Journal of Logical and Algebraic Methods in Programming. Invited Speakers --------------------------------------------------------------------------- Akihisa YAMADA, National Institute of Advanced Industrial Science and Technology (AIST), Japan. Important Dates --------------------------------------------------------------------------- Submission of extended abstracts: May 10, 2022 (AoE, extended) Notification of acceptance: June 15, 2022 Final version for informal proceedings: June 29, 2022 Workshop: July 31, 2022 Submission to post-proceedings (JAMP special issue): autumn 2022 Program Committees --------------------------------------------------------------------------- María Alpuente, Universitat Politècnica de València, Spain Demis Ballis, University of Udine, Italy Christopher Brown, University of St Andrews, UK Stefan Ciobaca, Alexandru Ioan Cuza University, Romania (co-chair) Dániel Horpácsi, Eötvös Loránd University, Hungary Shin-Ya Katsumata, National Institute of Informatics, Japan Kentaro Kikuchi, Tohoku University, Japan Cynthia Kop, Radboud University, The Netherlands Pierre-Etienne Moreau, Université de Lorraine, France Koko Muroya, Kyoto University, Japan Keisuke Nakano, Tohoku University, Japan (co-chair) Masahiko Sakai, Nagoya University, Japan Contact --------------------------------------------------------------------------- Please direct questions to wpte2022(a)easychair.org.

1 0

TERMGRAPH 2022 Workshop: Final Call for Papers
by Clemens Grabmayer 28 Apr '22

28 Apr '22

======================================================================== Final Call for Papers TERMGRAPH 2022 Twelfth International Workshop on Computing with Terms and Graphs http://termgraph.org.uk/2022 Technion, Haifa, Israel Monday, 1st August 2022 *) A Workshop that is part of FLoC 2022, (associated with the conference FSCD) ======================================================================== *) preliminary, due to room capacity decisions the FLoC organizers can reschedule to Sunday, 31st July 2022 (decision on 15 June 2022) Graphs and graph transformation systems are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modeling tool to study complex systems, etc. Topics of interest for TERMGRAPH encompass all aspects of term-/graph rewriting (term-graph and graph rewriting), and applications of graph transformations in programming, automated reasoning and symbolic computation, including: * Theory of first-order and higher-order term graph rewriting * Graph rewriting in lambda calculus (sharing graphs, optimality) * Term-/graph based models of computation * Graph grammars * Term-/graph based languages and modelling frameworks * Term-/graph rewriting tools: -- system descriptions and case studies * Applications of term-/graph rewriting in, and term-/graph rewriting aspects of: -- semantics and implementation of programming languages -- compiler construction -- interaction nets and proof nets -- software engineering -- automated reasoning and symbolic computation -- functional and logic programming -- pattern recognition -- bioinformatics The aim of this workshop is to bring together researchers working in these different domains, to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Poster announcement ------------------- http://www.termgraph.org.uk/2022/poster.pdf Invited Speakers: ----------------- Joerg Endrullis (Vrije Universiteit Amsterdam, The Netherlands) Delia Kesner (Universite Paris Cite, Institut Universitaire de France, and IRIF/CNRS): "A Computational Interpretation of Girard’s Intuitionistic Proof-Nets" Submissions and Publication: ---------------------------- We invite submissions of extended abstracts of at most 8 pages typeset in the EPTCS (Electronic Proceedings in Theoretical Computer Science) LaTeX style. This may include, concerning any of the topics above: -- original work, -- tutorials, -- work in progress, -- system descriptions of term-/graph rewriting tools. Extended abstracts have to be submitted no later than 10 May 2022 (AoE) electronically (pdf) via the EasyChair submission site: https://easychair.org/conferences/?conf=termgraph2022 Papers will be judged on relevance, originality, correctness, and usefulness. Preliminary proceedings will be available for the workshop. After the workshop, authors will be invited to submit a longer version of their work (a 15-pages paper) for the publication of the Workshop Post-Proceedings in EPTCS. These submissions will undergo a second round of refereeing with: submission deadline in the mid of October 2022, notification in December 2022, publication in February or March 2023. Important Dates: ---------------- Submission deadline: 10 May 2022 Notification: 7 June 2022 Program publication: 15 June 2022 PreProceedings version due: 21 June 2022 Workshop: 1 August 2022 (see proviso (*) above) Programme Committee: -------------------- Sandra Alves, Universidade do Porto, Portugal Martin Avanzini, INRIA Sophia Antipolis - Méditerranée, France Patrick Bahr, IT University Copenhagen, Copenhagen, Denmark Thierry Boy de la Tour, CNRS, France Clemens Grabmayer (chair), Gran Sasso Science Institute, Italy Wolfram Kahl, McMaster University, Canada Ian Mackie, LIX, France Koko Muroya, Kyoto University, Japan Femke van Raamsdonk, Vrije Universiteit Amsterdam, The Netherlands Adrian Rutle, Western Norway University, Norway Kazunori Ueda, Waseda University, Japan Contact: -------- Clemens Grabmayer clemens.grabmayer(a)gssi.it ========================================================================

1 0

Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
by Andrei Popescu 26 Apr '22

26 Apr '22

Greetings, The Department of Computer Science at University of Sheffield has an open position of Lecturer or Senior Lecturer in Cybersecurity. Details can be found here: https://www.jobs.ac.uk/job/COY785/lecturer-senior-lecturer-in-cybersecurity Note that "formalisation and proof of system security properties" is listed as a topic of interest. Women are particularly encouraged to apply. All applicants will be given equal consideration. Best wishes, Andrei

1 0

FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals
by Taro Sekiyama 25 Apr '22

25 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

JFLA 2022: Call for Participation (in French)
by Timothy Bourke 22 Apr '22

22 Apr '22

[ This message is intentionally written in French. It is a call for participation for the "Francophone Days on Functional Languages" to be held, finally and fingers crossed, at the end of June in the Périgord. None of the articles are about Haskell (unfortunately!) but some of them are about functional programming. Most of the articles are in French, but some are written in English. They are available online: https://hal.inria.fr/JFLA2022/ ] *Merci de faire circuler : premier appel à participation * JFLA'2022 (http://jfla.inria.fr/jfla2022.html) Journées Francophones des Langages Applicatifs Saint-Médard-d'Excideuil - du 28 juin au 1er juillet 2022 Les inscriptions aux JFLA 2022 - en présence ! - sont désormais ouvertes : https://www.azur-colloque.fr/DR04/inscription/preinscription/203/fr Ces journées réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques. L'inscription est un forfait qui comprend notamment l'hébergement en pension complète sur le site des journées : - participant·e plein tarif, chambre simple : 660 euros - étudiant·e orateur·ice, en chambre double : 0 euro Nous espérons que vous serez nombreux à participer à ces journées. Inscrivez-vous dès que possible ! En particulier, les étudiant·es orateur·ices sont invité·es à s'inscrire, même s'ils ne paient pas grâce à nos sponsors. Vous pouvez d'ores et déjà vous inscrire au salon de discussion framateam afin d'échanger ensemble : https://framateam.org/signup_user_complete/?id=gnbebtncubnbpe96ok9kam8t9y Tout le programme est à retrouver ici : http://jfla.inria.fr/jfla2022.html Dates importantes ----------------- 17 juin 2022 : date limite d'inscription aux journées 28 juin au 1er juillet 2022 : journées Cours invités ------------- * Delphine Demange (IRISA, Université de Rennes 1) "Si2-FIP: Programmation Fonctionnelle en Licence 1 avec Scala" * Denis Mérigoux (Inria) "Rust pour le formaliste impatient" Exposé invité --------------- * Matthias Puech (INA GRM) Titre à venir - avec une surprise ! Articles acceptés ----------------- L'ensemble des articles acceptés est disponible sous forme d'une collection HAL : https://hal.inria.fr/JFLA2022 Comité de programme ------------------- Chantal Keller LMF, Université Paris-Saclay (Présidente) Timothy Bourke Inria, ÉNS de Paris (Vice-président) Sandrine Blazy Irisa, Université Rennes 1 Frédéric Bour Tarides - Inria Guillaume Bury OcamlPro Stefania Dumbrava Samovar, ENSIIE, Télécom Sud Paris Diane Gallois-Wong Nomadic Labs Adrien Guatto IRIF, Université de Paris David Janin LaBRI, Université de Bordeaux Marie Kerjean LIPN, Université Paris 13 Luc Pellissier LACL, Université Paris-Est Créteil Mário Pereira NOVA-LINCS, Universidade Nova de Lisboa Alix Trieu Aarhus University Yannick Zakowski LIP, Inria, ÉNS de Lyon

1 0

Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)
by cfp 20 Apr '22

20 Apr '22

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --------------------------------------------------------------------------- SECOND CALL FOR PAPERS 4th International Workshop on the Resurgence of Datalog in Academia and Industry Datalog 2.0 2022 https://tinyurl.com/datalog20-22 September 5, 2022, Genova, Italy Workshop of LPNMR 2022 --------------------------------------------------------------------------- NEW IN THIS CALL * Opportunity for TPLP rapid publication * Invited Speaker * Program Committee AIMS AND SCOPE Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. The 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022) will be held in Genova, Italy, on September 5, 2022. Datalog 2.0 2022 is a workshop of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second and the third edition of the workshop, which were held in Vienna in 2012 and in Philadelphia in 2019, respectively, were open for submissions. INVITED SPEAKER Reinhard Pichler, Vienna University of Technology, Austria TOPICS Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. SUBMISSION Datalog 2.0 2022 welcomes two types of submissions * Long papers of up to 12 pages, presenting original research * Short papers of up to 5 pages that may contain either original ongoing research or recently published results in the following categories * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org) Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Paper submission is enabled via the Datalog 2.0 2022 EasyChair site:https://easychair.org/conferences/?conf=datalog20-22 Up to five best papers will be invited for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP). FURTHER INFORMATION WWW:https://tinyurl.com/datalog20-22 Email:datalog20-22@easychair.org IMPORTANT DATES Paper registration: July 1 Paper submission: July 8 Notification: August 1 Final versions due: August 20 VENUE The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the see. (To be confirmed. Alternative: University of Genova.) Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. Genova’s old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. Nervi is a former fishing village, now a suburb of Genoa, 7 km east of central Genova. Two of the most important tourist attractions of Genoa are in Nervi: the sea promenade, a 2 km walkway along the cliffs, and the "Parchi di Nervi". The sea promenade is famous for the stunning views that make it one of Italy's most beautiful promenades. While the "Parchi di Nervi" is a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species and the entrance is just at the end of the promenade. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas, and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Andreas Pieris, University of Edinburgh, UK & University of Cyprus, Cyprus PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy PROGRAM COMMITTEE Marcelo Arenas, Pontificia Universidad Católica, Chile Leopoldo Bertossi, University Adolfo Ibáñez, Chile & Skema Business School, Canada Marco Calautti, University of Trento, Italy Esra Erdem, Sabanci University, Turkey Jorge Fandinno, University of Nebraska, USA Cristina Feier, University of Bremen, Germany Roman Kontchakov, Birkbeck, University of London, UK Paraschos Koutris, University of Wisconsin-Madison, USA Markus Krötzsch, TU Dresden, Germany Matthias Lanzinger, University of Oxford, UK Domenico Lembo, Sapienza University of Rome, Italy Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro", Italy Yanhong A. Liu, Stony Brook University, USA Marco Manna, University of Calabria, Italy Michael Morak, University of Klagenfurt, Austria Liat Peterfreund, Paris-Est University, France Torsten Schaub, University of Potsdam, Germany Mantas Simkus, TU Wien, Austria Tran Cao Son, New Mexico State University, USA

1 0

ICFP'22 Artifact Evaluation Committee: call for nominations
by Jannis Limperg 19 Apr '22

19 Apr '22

Dear all, We are looking for motivated people to be members of the ICFP 2022 Artifact Evaluation Committee (AEC); students, researchers and people from the industry or the free-software community are all welcome. The artifact evaluation process aims to improve the quality and reproducibility of research artifacts for ICFP papers. You can either nominate yourself or nominate someone else (students, colleagues, etc; we will of course check later that this person is willing to be a committee member) by filling the nomination form. Nomination form: https://framaforms.org/icfp22-aec-nomination-form-1649450477 For more information, see the AEC webpage: https://icfp22.sigplan.org/track/icfp-2022-artifact-evaluation The primary responsibility of committee members is to review the artifacts submitted corresponding to the already accepted papers in the main research track. In particular, run the associated tool, check whether the results in the main paper can be reproduced, and inspect the tool and the data. We expect evaluation of one artifact to take about a full day, and each committee member to receive 2 to 3 artifacts to review. All of the AEC work will be done remotely/online. The ICFP AEC committee will work in June, with the review work happening between June 2nd and June 28th. Here are some reasons why we think nominees may like it: 1. Reviewing artifacts helps our community improve the quality of its artifacts, such as research software and mechanized proofs. Participating to this effort feels valuable and useful. 2. Nominees may learn some nice tricks by studying how other researchers implement, evaluate and document their ideas. 3. There is some evidence that members of the artifact-evaluation committee like the job: about a third of last year's evaluators volunteered to join the committee again this year. (The cons: unpaid work, less prestigious than reviewing papers, the evaluation process is less clearly-defined and well-understood than for papers.) Come join us in improving the quality of research in our field! Best, the Artifact Evaluation chairs: Jannis Limperg and Gabriel Scherer

1 0

BX 2022 - Call for papers (deadline 14 May)
by Li-yao Xia 18 Apr '22

18 Apr '22

# Tenth International Workshop on Bidirectional Transformations (BX 2022) 8 July 2022, Nantes, France Part of STAF 2022 (5-8 July): https://staf2022.univ-nantes.io/ BX 2022 homepage: http://bx-community.wikidot.com/bx2022:home ## Overview Bidirectional transformations (BX) are a mechanism for maintaining the consistency between two or more related (and heterogeneous) sources of information (e.g., relational databases, software models and code, or any other artefacts following standard or domain-specific formats). The strongest argument in favour of BX is its ability to provide a synchronization mechanism that is guaranteed to be correct by construction. BX has been attracting a wide range of research areas and communities, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation). Nowadays, the fast-growing complexity of software- or data-intensive systems has forced industry and academia to use and investigate different development techniques to manage the many different aspects of the systems. Researchers are actively investigating the use of bidirectional approaches to tackle a diverse set of challenges with various applications including model-driven software development, visualization with direct manipulation, big data, databases, domain-specific languages, serializers, and data transformation, integration and exchange. BX 2022 is a dedicated venue for BX in all relevant fields and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. Papers for BX 2022 can be submitted on EasyChair: https://www.easychair.org/conferences/?conf=bx2022 ## Important Dates - Paper submission: 14 May, 2022 - Author notification: 28 May, 2022 - Workshop: 8 July, 2022 ## Topics The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - software development with BX - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for BX - analysis and classification of requirements for BX - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - model-driven and model-based approaches - survey and comparison of BX technologies - case studies and tool support - applications and experiences of adopting BX in the real world ## Categories of Submissions Five categories of submissions are considered: 1. Full Research Papers (13-15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches, case studies 2. Tool Papers (7-8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools 3. Experience Report (7-8 pages) - sharing experiences and lessons learned with bx tools/frameworks/languages - how bx is used in (research/industrial/educational) projects 4. Short Papers (5 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx 5. Talk Proposals (2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories ## Submission guidelines Papers should use the new CEUR-ART style, single column, available as an Overleaf page or as a zip archive: https://www.overleaf.com/read/gwhxnqcghhdt http://ceur-ws.org/Vol-XXX/CEURART.zip and must be submitted via EasyChair: https://www.easychair.org/conferences/?conf=bx2022 If your submission is not a Full Research Paper, please include the intended submission category in the Title field of EasyChair’s submission form. Tool papers, experience reports and short papers will be mapped to the short paper category in CEUR (having between 5-9 standard pages, 1 standard page = 2500 characters), whereas full research papers will be mapped to the regular paper category in CEUR (having at least 10 standard pages). The bibliography is excluded from the page limits. All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools, and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers; short papers contain focused results, positions or perspectives that can be presented in full in just a few pages, and that correspondingly contain fewer results and that therefore might not be competitive in the full paper category. Talk proposals are expected to present work that is of particular interest to the community and worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and, for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g., via Share) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. If a submission is accepted, at least one author is expected to participate in the workshop to present it. Authors of accepted tool paper submissions are also expected to be available to demonstrate their tool at the event. ## Proceedings The workshop proceedings (in a STAF 2022 joint volume for workshops), including all accepted papers (except talk proposals), shall be submitted after the conference to CEUR-WS.org for online publication. Pre-prints of all papers will be available via the workshop website at the beginning of the conference. In case of questions, please contact the PC chairs at bx2022(a)easychair.org. Best regards, Li-yao Xia, Vadim Zaytsev, Xiao He

1 0

WPTE 2022: Call for Papers
by Stefan Ciobaca 16 Apr '22

16 Apr '22

WPTE 2022 (affiliated to FSCD 2022, part of FLoC 2022, Haifa, Israel) 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 31st, 2022) Web: https://wpte2022.github.io/ Submit: https://easychair.org/conferences/?conf=wpte2022 Deadline: 26 April 2022 (abstract) / 3 May 2022 (paper) Publication: post-proceedings as a special issue in the Journal of Logical and Algebraic Methods in Programming for selected papers --------------------------------------------------------------------------- The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. List of Topics --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline an extended abstract of at most 10 pages is required. The extended abstract may present original work, but also work in progress. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions will be electronic viahttps://easychair.org/conferences/?conf=wpte2022. Formal Proceedings --------------------------------------------------------------------------- For the 2020 and 2021 editions, WPTE post-proceedings of selected papers are scheduled to be published in JLAMP special issues. We are delighted that the 2022 workshop will continue this tradition. Based on the quality of the submission and the presentation, we will invite a selection of papers to be published in extended form in a special issue of the Journal of Logical and Algebraic Methods in Programming. Invited Speakers --------------------------------------------------------------------------- Akihisa YAMADA, National Institute of Advanced Industrial Science and Technology (AIST), Japan. Important Dates --------------------------------------------------------------------------- Submission of extended abstracts: May 3, 2022 (AoE) Notification of acceptance: June 15, 2022 Final version for informal proceedings: June 29, 2022 Workshop: July 31, 2022 Submission to post-proceedings (JAMP special issue): autumn 2022 Program Committees --------------------------------------------------------------------------- María Alpuente, Universitat Politècnica de València, Spain Demis Ballis, University of Udine, Italy Christopher Brown, University of St Andrews, UK Stefan Ciobaca, Alexandru Ioan Cuza University, Romania (co-chair) Dániel Horpácsi, Eötvös Loránd University, Hungary Shin-Ya Katsumata, National Institute of Informatics, Japan Kentaro Kikuchi, Tohoku University, Japan Cynthia Kop, Radboud University, The Netherlands Pierre-Etienne Moreau, Université de Lorraine, France Koko Muroya, Kyoto University, Japan Keisuke Nakano, Tohoku University, Japan (co-chair) Masahiko Sakai, Nagoya University, Japan Contact --------------------------------------------------------------------------- Please direct questions to wpte2022(a)easychair.org.

1 0

LPNMR 2022 - Last Call for Papers
by cfp 13 Apr '22

13 Apr '22

[Apologies in case of multiple posting] 10 days to abstract submission! Call for Papers --------------------------------------------------------------------------------------------- 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022 https://lpnmr2022.dibris.unige.it Genova, Italy September 5-9, 2022 --------------------------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION AND PUBLICATION LPNMR 2022 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Paper submission is enabled via the LPNMR 2022 Easychair site: https://easychair.org/conferences/?conf=lpnmr2022 The two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the 2-5 best papers with a logic programming focus will be invited for rapid publication in the journal of Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2022 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED WORKSHOPS * 4th International Workshop on the Resurgence of Datalog in Academia and Industry (DATALOG 2.0) * 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) * 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2022) ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW:https://lpnmr2022.dibris.unige.it Email:lpnmr2022@easychair.org (submission and program) lpnmr2022(a)dibris.unige.it (general and local matters) Facebook:https://www.facebook.com/lpnmr2022 Twitter:https://twitter.com/lpnmr2022 Instagram:https://www.instagram.com/lpnmr2022 IMPORTANT DATES * Paper registration: April 23, 2022 * Paper submission: April 30, 2022 * Notification: June 10, 2022 * Final versions due: June 30, 2022 VENUE The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs. The stunning views make it one of Italy's most beautiful promenades. Nervi is also well known for its Parchi, a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species. Genova's old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Workshops and associated events, differently from what we mentioned in the previous call, are planned to be held in the main conference venue as well. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. GENERAL CHAIR Georg Gottlob, Oxford University, UK PROGRAM CHAIRS Daniela Inclezan, Miami University, USA Marco Maratea, University of Genova, Italy PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION Matteo Cardellini, University of Genova, Italy Angelo Ferrando, University of Genova, Italy (Chair) Marco Mochi, University of Genova, Italy PROGRAM COMMITTEE (Current) Mario Alviano, Department of Mathematics and Computer Science, University of Calabria Chitta Baral, Arizona State University Marcello Balduccini, Saint Joseph's University Francesco Calimeri, Department of Mathematics and Computer Science, University of Calabria Marina De Vos, University of Bath Carmine Dodaro, Department of Mathematics and Computer Science, University of Calabria Agostino Dovier, University of Udine Daniele Theseider Dupré, Universita' del Piemonte Orientale Thomas Eiter, Vienna University of Technology Esra Erdem, Sabanci University Wolfgang Faber, Alpen-Adria-Universität Klagenfurt Johannes K. Fichte, TU Wien Paul Fodor, Stony Brook University Gerhard Friedrich, Alpen-Adria-Universitaet Sarah Alice Gaggl, TU Dresden Martin Gebser, University of Klagenfurt Michael Gelfond, Texas Tech University Gopal Gupta, The University of Texas at Dallas Katsumi Inoue, NII Tomi Janhunen, Tampere University Gabriele Kern-Isberner, Technische Universitaet Dortmund Matthias Knorr, Universidade NOVA de Lisboa Emily Leblanc, Drexel University Joao Leite, Universidade NOVA de Lisboa Vladimir Lifschitz, The University of Texas at Austin Enrico Pontelli, New Mexico State University Francesco Ricca, Department of Mathematics and Computer Science University of Calabria Alessandra Russo, Imperial College London Orkunt Sabuncu, TED University, Ankara Chiaki Sakama, Wakayama University Torsten Schaub, University of Potsdam Guillermo R. Simari, Universidad del Sur in Bahia Blanca Theresa Swift, NOVALINKS, Universidade Nova de Lisboa Matthias Thimm, FernUniversität in Hagen Hans Tompits, Vienna University of Technology Mirek Truszczynski, Computer Science Department, University of Kentucky Johannes P. Wallner, TU Graz Kewen Wang, Griffith University Stefan Woltran, Vienna University of Technology Jia-Huai You, University of Alberta

1 0