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 )
皆様
来年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
みなさま、
あけましておめでとうございます。
東京工業大学の叢です。
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)
