Email Gateway (May 12 2022 at 10:18): Email Gateway (May 12 2022 at 10:18):From: Philipp Ruemmer <philipp.ruemmer@it.uu.se>
iPRA 2022 - FOURTH WORKSHOP ON INTERPOLATION: FROM PROOFS TO APPLICATIONS
CALL FOR CONTRIBUTIONS
Workshop date: August 11, 2022
Location: Haifa, Israel
Web: https://ipra-2022.bitbucket.io/
iPRA 2022 is a workshop at the Federated Logic Conference (FLoC) 2022
IMPORTANT DATES
Submission deadline: May 17, 2022, AOE (EXTENDED)
Author notification: June 1, 2022
Workshop: August 11, 2022
SCOPE
Starting from Craig's interpolation theorem for first-order logic, the
existence and computation of interpolants became an active research
area, with applications in different fields, notably in verification,
databases, and knowledge representation. There are challenging
theoretical and practical questions, for model-theoretic as well as
proof-theoretic approaches. The workshop aims at bringing together
researchers working on interpolation and its various applications,
based on different approaches, increasing the awareness of the
automated reasoning community for challenging open problems related to
interpolation.
The workshop will include invited talks, invited tutorials, and
contributed talks.
For the contributed talks, we solicit submissions in the form of
abstracts. The authors of accepted abstracts are required to present
their work at the workshop. A book of abstracts will be published
online in advance of the event.
We encourage submissions presenting work in progress, tools under
development, as well as research of PhD students, such that the
workshop can become a forum for active dialog. Presentations of
recently published papers are also allowed and encouraged, but please
indicate on your submission where the paper was published/presented.
Relevant topics include, but are not limited to:
INVITED SPEAKERS
Bahareh Afshari (University of Gothenburg, Sweden)
Alessandro Gianola (Free University of Bozen-Bolzano, Italy)
H. Jerome Keisler (University of Wisconsin, United States)
Ken McMillan (The University of Texas at Austin, United States)
PROGRAMME COMMITTEE
Michael Benedikt (University of Oxford, UK) - co-chair
Maria Paola Bonacina (Universita degli Studi di Verona, Italy)
Silvio Ghilardi (Universita degli Studi di Milano, Italy)
Arie Gurfinkel (University of Waterloo, Canada)
Laura Kovacs (TU Wien, Austria)
Rosalie Iemhoff (Utrecht University, The Netherlands)
Pavel Pudlak (Czech Academy of Sciences, Czech Republic)
Philipp Ruemmer (Uppsala University, Sweden) - co-chair
Georg Weissenbacher (TU Wien, Austria)
Christoph Wernhard (University of Potsdam, Germany) - co-chair
Frank Wolter (University of Liverpool, UK)
SUBMISSION INSTRUCTIONS
Abstracts (at most one page, excluding references) or extended
abstracts (at most 5 pages, excluding references) have to be submitted
by the submission deadline. Submissions should be written in English,
and preferably formatted in the style of the Springer Publications
format for Lecture Notes in Computer Science (LNCS).
Papers should be submitted electronically via
https://easychair.org/conferences/?conf=ipra2022
När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/
E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy
Last updated: Jul 15 2022 at 23:21 UTC