[fg-arc] 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 fg-arc
mailing list