Call for participation LOPSTR 2023

by jurjo, Sept. 26, 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

Registration to be completed through the SPLASH registration pages; see instructions at:

https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration
https://2023.splashcon.org/attending/Registration

INVITED SPEAKERS

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

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

  ACCEPTED PAPERS

  - Gonzague Yernaux and Wim Vanhoof. Predicate Anti-unification in
    (Constraint) Logic Programming
  - Bach Nguyentrong, 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