[Om-announce] LOPSTR 2023 - Final Call for Participation

Daniel Jurjo daniel.jurjo at imdea.org
Thu Oct 12 12:06:49 CEST 2023


** 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



More information about the Om-announce mailing list