** 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 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info