Logic-ml January 2022

12 participants
13 discussions

SOCREAL 2022: The First Call for Papers
by Katsuhiko Sano 08 Jan '22

08 Jan '22

logic-ml の皆様、北海道大学の佐野です。2/28~3/1にオンラインで開催される、 SOCREAL 2022の The First Call for Papersをお送りします。佐野勝彦 -------- The First Call for Papers SOCREAL 2022 (6th International Workshop on Philosophy and Logic of Social Reality 28 February - 1 March 2022, On-Line Under the auspices of * Laboratory of Philosophy and Ethics, Department of Philosophy and Religious Studies, Hokkaido University, * CAEP (Center for Applied Ethics and Philosophy), Faculty of Humanities and Human Sciences, Hokkaido University, and LOG-UCI (An interdisciplinary study of the logical dynamics of the interaction between utterances and social contexts, funded by JSPS, JSPS KAKENHI Grant Number JP 17H02258) [About SOCREAL] Since the last years of the 20th century, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals who have positions in organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. The earlier editions of SOCREAL Workshop have been held in March 2007, March 2010, October 2013, October 2016, and November 2019 in Hokkaido University. Building upon the success of these editions, its sixth edition will be held from 28 February till 1 March 2022 On-line. SOCREAL 2022 will consist of lectures by invited speakers and presentations of submitted papers. Invited lectures will be given by Alexandru Baltag (Amsterdam) Johan van Benthem (Stanford, Tsinghua), Mamoru Kaneko (Tsukuba), Fenrong Liu (Tsinghua), Katsuhiko Sano (Hokkaido), Jeremy Seligman (Auckland), Sonja Smets (Amsterdam), Satoshi Tojo (JAIST), and Tomoyuki Yamada (Hokkaido). The working language of SOCREAL Workshop is English. [Submission] A few time slots for contributed papers are available. Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 30 January 2022 via the easychair at: https://easychair.org/conferences/?conf=socreal2022 . Please upload your abstract as ``the paper'' via ``Files'' section. Abstracts will be peer-reviewed by the program committee of the workshop. Abstracts should be written in English and submitted in .pdf format. Each abstract should include a title, names and contact details of the author or all the co-authors. It is requisite for the author or at least one of the co-authors of each accepted paper to present the paper on line via Zoom. [Registration] Participation in SOCREAL 2022 is free but registration is mandatory. Please register by submitting the registration form accessible at: https://forms.gle/qE6gg6GryCUESUku6 . The Zoom link will be sent to registered participants by email. [Important Dates] Deadline for Submission of Abstracts: 30 January 2022 Notification of Acceptance: 22 February 2022 Deadline for Registration: 25 February 2022 Workshop: 28 February - 1 March 2022 [Publication] A booklet in the .pdf format containing the abstracts of all the accepted papers will be made available at the website of the workshop. On-line proceedings containing the papers and/or the presentation slides presented at the workshop will be made available after the workshop. Authors of the presented papers will also be encouraged to submit (the revised versions of) the full papers for publication in an issue of The Journal of Applied Ethics and Philosophy after the workshop. The papers should be written according to the submission guidelines of the journal, and will be peer-reviewed. Further particularities and instructions will be announced after the workshop. [Website] For more information, please visit the following website: http://www.asahi-net.or.jp/~yt6t-ymd/sr22/index.html . [Contact] Tomoyuki Yamada ( yamada[at]let.hokudai.ac.jp )

1 0

WRLA 2022: Call for Papers (deadline extension)
by Nao Hirokawa 06 Jan '22

06 Jan '22

皆様来年4月に ETAPS 2022 の併設イベントとして開催されます書換え論理と応用に関するワークショップ WRLA-28 の deadline extension をご案内致します。ぜひ論文の投稿をご検討下さい。廣川 (JAIST) --------------------------------------------------------------------------- Call for Papers WRLA 2022 14th International Workshop on Rewriting Logic and its Applications An ETAPS 2022 satellite event, Munich, Germany, April 2-3, 2022 --------------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: Jan 4, 2022 (AoE) (extended!) Paper submission deadline: Jan 11, 2022 (AoE) (extended!) Notification: Feb 8, 2022 Conference: April 2-3, 2022 INVITED SPEAKERS Sebastian Mödersheim Technical University of Denmark, Denmark Gwen Salaün University Grenoble Alpes, France AIMS AND SCOPE Rewriting is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application domains. It also has good properties as a metalogical framework for representing logics. Several successful languages based on rewriting (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of WRLA is to bring together researchers with a common interest in rewriting and its applications, and to give them the opportunity to present their recent work, discuss future research directions, and exchange ideas. The topics of the workshop include, but are not limited to: A. Foundations and models of rewriting and rewriting logic * termination, confluence, coherence, and complexity * unification, generalization, narrowing, and partial evaluation * constrained rewriting and symbolic algebra * graph rewriting, tree automata, and rewriting strategies * rewriting-based calculi and explicit substitutions B. Rewriting as a logical and semantic framework * uses of rewriting as a logical framework, including deduction modulo * uses of rewriting as a semantic framework for programming languages * rewriting semantics of concurrency models and distributed systems * rewriting semantics of real-time, hybrid, and probabilistic systems * uses of rewriting for compilation and language transformation C. Rewriting languages * rewriting-based declarative languages * type systems for rewriting * implementation techniques * tools supporting rewriting languages D. Verification techniques * confluence, termination, coherence, and sufficient completeness * temporal, modal, and reachability logics for rewrite theories * model checking techniques for rewrite theories * rewriting-based theorem proving * rewriting-based constraint solving and satisfiability * rewriting-semantics-based verification and analysis of programs E. Applications * applications in logic, mathematics, physics, chemistry, and biology * security specification and verification * applications to distributed, network, mobile, and cloud computing * applications to cyber-physical and intelligent systems * applications to model-based software engineering * applications to engineering and planning. PAPER SUBMISSION We solicit submissions of regular papers, tool papers, and work-in-progress papers. Regular papers must contain original contributions, be clearly written, and include appropriate references and comparison with related work. Tool papers have to present a new tool, a new tool component, or novel extensions to an existing tool. Work-in-progress papers present early-stage work or other types of innovative or thought-provoking work. All submissions must be original, unpublished, and not submitted simultaneously for publication elsewhere. Papers must be formatted according to the guidelines for Springer LNCS papers and should not exceed 15 pages (excluding references). Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=wrla2022. PUBLICATION All accepted papers will be presented at the workshop and included in the pre-proceedings, which will be available during the workshop. Following the tradition of the last editions, regular, tool, and invited papers will be published as a volume in Springer's Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop. The authors of a subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP). BEST PAPER AWARD The program committee will consider a best paper award (a diploma and 500 euro) for a paper in which at least one author is a junior researcher (a PhD student or the PhD defense was less than two years ago). The PC chair may require the other authors to declare that at least 50% of the contribution was made by the junior researcher. PROGRAM COMMITTEE Erika Abraham RWTH Aachen University, Germany María Alpuente Universitat Politècnica de València, Spain Kyungmin Bae (chair) POSTECH, Korea Roberto Bruni Università di Pisa, Italy Francisco Durán Universidad de Málaga, Spain Santiago Escobar Universitat Politècnica de València, Spain Maribel Fernández King's College London, United Kingdom Mark Hills East Carolina University, USA Nao Hirokawa JAIST, Japan Alexander Knapp University Augsburg, Germany Temur Kutsia Johannes Kepler University Linz, Austria Alberto Lluch-Lafuente Technical University of Denmark, Denmark Dorel Lucanu Alexandru Ioan Cuza University, Romania Salvador Lucas Universitat Politècnica de València, Spain Narciso Martí-Oliet Universidad Complutense de Madrid, Spain José Meseguer University of Illinois at Urbana-Champaign, USA Aart Middeldorp University of Innsbruck, Austria Vivek Nigam Federal University of Paraíba, Brazil Kazuhiro Ogata JAIST, Japan Peter Ölveczky University of Oslo, Norway Adrián Riesco Universidad Complutense de Madrid, Spain Christophe Ringeissen INRIA, France Camilo Rocha Pontificia Universidad Javeriana, Colombia Vlad Rusu INRIA Lille, France Traian-Florin Serbanuta University of Bucharest, Romania Carolyn Talcott SRI International, USA CONTACT INFORMATION For more information, please contact the organizer kmbae(a)postech.ac.kr or visit the workshop web page http://sv.postech.ac.kr/wrla2022

1 1

PEPM 2022 - Call for Participation
by Youyou Cong 04 Jan '22

04 Jan '22

みなさま、あけましておめでとうございます。東京工業大学の叢です。 POPL 2022 の併設ワークショップ PEPM 2022 の参加募集をお送りいたします。オンライン開催で、特に2日目はアジアから参加しやすいスケジュールになっています。早期参加登録の締切は日本時間の1月4日 20:59 です。みなさまのご参加をお待ちしております。叢悠悠 -- CALL FOR PARTICIPATION -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022 =============================================================================== * Website : https://popl22.sigplan.org/home/pepm-2022 * Time : 17th--18th January 2022 * Place : Online (co-located with POPL 2022, with no physical component) PEPM brings together researchers in partial evaluation, program manipulation, and related areas. This year, we are announcing "PEPM 30", a project aiming at preserving and celebrating the history of PEPM. To this effect, the program includes five invited talks by the key contributors of the PEPM community. We will have a PEPM 30+ History Celebration Day at PEPM 2023. Invited Talks: * Andrei Klimov "Why are partial evaluation and supercompilation still not widely used in practice? Reflections in light of Russian work on metacomputation." * Y. Annie Liu "From meta frameworks and transformations to distributed computing and more" * Frank Pfenning "Modal Logics and Types: Looking Back and Looking Forward" * Naoki Kobayashi "On Type-Based Techniques for Program Manipulation" * Peter Sestoft "A partial history of partial evaluation" Please find the full program at: https://popl22.sigplan.org/home/pepm-2022#program and register yourself at: https://regmaster.com/2022conf/POPL22/register.php Note that early registration closes on January 3rd. We look forward to seeing you at the workshop! Zena M. Ariola (Program Co-Chair) Youyou Cong (Program Co-Chair)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml January 2022