Email Gateway (May 05 2024 at 22:06): Email Gateway (May 05 2024 at 22:06):From: Yutaka Nagashima <united.reasoning@gmail.com>
Call for Contributions: *Fifth International Workshop on Automated
(Co)inductive Theorem Proving <https://wait2024.github.io/>*
<https://wait2024.github.io>
Dear Isabelle users,
(Please accept our apologies if you receive this call through multiple
channels. We aim to ensure that all potentially interested parties are
informed, but sometimes this leads to overlaps.)
We are delighted to announce the Fifth International Workshop on Automated
(Co)inductive Theorem Proving <https://wait2024.github.io>, an event
dedicated to the latest developments in inductive and coinductive methods
for verification. This workshop is a significant gathering for researchers
and practitioners in the field, providing an invaluable opportunity to
explore current challenges and innovations in computational verification.
Key Themes:
Advances in inductive reasoning for recursive structures and
loop-containing programs.
Developments in coinductive methods and their growing relevance in
verification and industrial applications.
Cross-disciplinary collaboration to foster innovation in computational
verification methods, including SMT, HOL, FOL, etc.
Featured Speakers Announcement:
We are thrilled to announce that this year's workshop will feature four
distinguished invited speakers:
Prof. Andrei Voronkov from the University of Manchester and *Ms. Petra
Hozzová* from the Vienna University of Technology
Prof. Dmitriy Traytel from the University of Copenhagen
Call for Abstracts:
We invite you to submit an extended abstract showcasing your latest
research, findings, or ongoing studies in the field of automated
(co)inductive theorem proving. This is a fantastic platform to share your
work with a diverse and expert audience, engage in intellectual exchange,
and contribute to the advancement of the field. We welcome studies and
findings published within the last five years.
Submission Guidelines:
abstracts are to be sent to wait.in.france@gmail.com
Length:
1-2 pages excluding references.
Recommended Format:
easychair.cls (https://easychair.org/publications/easychair.zip)
Important Dates:
Workshop Format:
The workshop will feature in-depth tutorials, talks by leading experts, and
a panel discussion for interactive dialogue. It is an ideal setting for
networking, collaboration, and gaining new insights into the challenges and
opportunities in automated theorem
proving.
*Remote Participation: *
While on-site attendance is encouraged to fully benefit from the
interactive nature of the workshop, provisions for remote participation
will be available for wider accessibility.
Dissemination and Special Issue:
Selected abstracts and presentation slides will be published on the
workshop website. There's also a plan for a special journal issue based on
the workshop's theme, subject to participant interest.
Join Us!
Be a part of this stimulating event to discuss, learn, and contribute to
the future of automated (co)inductive theorem proving. Don’t miss this
opportunity to engage with a vibrant community and shape the future of
verification techniques. We look forward to your submissions and
participation!
For more information, please visit our website <https://wait2024.github.io> or
contact the organizers, Yutaka Nagashima and Sorin Stratulat at
wait.in.france@gmail.com.
Last updated: May 19 2024 at 04:18 UTC