[isabelle] LOPSTR 2023 - Final Call for Participation · Mirror: Isabelle Users Mailing List

Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] LOPSTR 2023 - Final Call for Participation

Email Gateway (Oct 12 2023 at 12:57):

From: Daniel Jurjo <daniel.jurjo@imdea.org>
Apologies for multiple postings

Call for Participation

LOPSTR 2023
The 33rd International Symposium on Logic-based
Program Synthesis and Transformation

Cascais (Lisbon), Portugal, Mon 23 - Tue 24, October 2023
Colocated with PPDP 23 as part of SPLASH 23

https://lopstr.github.io/2023/

Registration is now open for LOPSTR 2023!

The 33rd International Symposium on Logic-based Program Synthesis and
Transformation will be co-located with PPDP 2023 as part of SPLASH
2023 in Cascais (Lisbon), Portugal and held on October 23-24.

REGISTRATION

Virtual registration is also possible

Registration link: https://2023.splashcon.org/attending/Registration

INVITED SPEAKERS

- Manuel V. Hermenegildo
On-The-Fly Verification via Incremental, Interactive Abstract
Interpretation with CiaoPP and VeriFly.

- Maribel Fernandez
Unification Modulo Equational Theories in Languages with Binding
Operators

ACCEPTED PAPERS

- Gonzague Yernaux and Wim Vanhoof. Predicate Anti-unification in
    (Constraint) Logic Programming
- Bach Nguyen Trong, Kanae Tsushima and Zhenjiang Hu. Design Datalog
    Templates for Synthesizing Bidirectional Programs from Tabular
    Examples
- John P. Gallagher, Manuel V. Hermenegildo, Jose F. Morales and
    Pedro Lopez-Garcia. Transforming big-step to small-step semantics
    using interpreter specialisation
- Hector Suzanne and Emmmanuel Chailloux. A reusable machine-calculus
    for automated resource analyses
- Jordina Francès de Mas and Juliana Bowles. A novel EGs-based
    framework for systematic propositional-formula simplification
- Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel
    V. Hermenegildo. A rule-based approach for designing and composing
    abstract domains
- Marija Kulas. A term matching algorithm and substitution generality
- Marco Carbone, Sonia Marin and Carsten Schuermann. A Logical
    Interpretation of Asynchronous Multiparty Compatibility
- Anna Bamberger and Maribel Fernandez. From Static to Dynamic Access
    Control Policies via Attribute-Based Category Mining
- Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz
    and Ekaterina Komendantskaya. Towards a Certified Proof Checker for
    Deep Neural Network Verification
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and
    Maurizio Proietti. Constrained Horn Clauses Satisfiability via
    Catamorphic Abstractions
- Peter Lozov, Dmitry Kosarev, Dmitry Ivanov and Dmitry
    Boulytchev. Relational Solver for Java Generics Type System

Email Gateway (Oct 13 2023 at 18:20):