<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>** Apologies for multiple postings **<br>
</p>
<p>----------------------------------------------------------------------<br>
Call for Participation<br>
Early registration deadline: September 22<br>
<br>
LOPSTR 2023<br>
The 33rd International Symposium on Logic-based<br>
Program Synthesis and Transformation<br>
<br>
Cascais (Lisbon), Portugal, Mon 23 - Tue 24, October 2023<br>
Colocated with PPDP 23 as part of SPLASH 23<br>
<br>
<a class="moz-txt-link-freetext"
href="https://lopstr.github.io/2023/">https://lopstr.github.io/2023/</a><br>
<br>
----------------------------------------------------------------------<br>
<br>
Registration is now open for LOPSTR 2023!<br>
<br>
The 33rd International Symposium on Logic-based Program
Synthesis and<br>
Transformation will be co-located with PPDP 2023 as part of
SPLASH<br>
2023 in Cascais (Lisbon), Portugal and held on October 23-24.<br>
<br>
REGISTRATION<br>
<br>
*Early bird registration deadline: September 22*<br>
<br>
Registration to be completed through the SPLASH registration
pages;<br>
see instructions at:<br>
<br>
<a class="moz-txt-link-freetext"
href="https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration">https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration</a><br>
<a class="moz-txt-link-freetext"
href="https://2023.splashcon.org/attending/Registration">https://2023.splashcon.org/attending/Registration</a><br>
<br>
INVITED SPEAKERS<br>
<br>
- Maribel Fernandez<br>
Unification Modulo Equational Theories in Languages with
Binding<br>
Operators<br>
<br>
- Manuel V. Hermenegildo<br>
On-The-Fly Verification via Incremental, Interactive Abstract<br>
Interpretation with CiaoPP and VeriFly.<br>
<br>
ACCEPTED PAPERS<br>
<br>
- Gonzague Yernaux and Wim Vanhoof. Predicate Anti-unification
in<br>
(Constraint) Logic Programming<br>
- Bach Nguyentrong, Kanae Tsushima and Zhenjiang Hu. Design
Datalog<br>
Templates for Synthesizing Bidirectional Programs from Tabular<br>
Examples<br>
- John P. Gallagher, Manuel V. Hermenegildo, Jose F. Morales and<br>
Pedro Lopez-Garcia. Transforming big-step to small-step
semantics<br>
using interpreter specialisation<br>
- Hector Suzanne and Emmmanuel Chailloux. A reusable
machine-calculus<br>
for automated resource analyses<br>
- Jordina Francès de Mas and Juliana Bowles. A novel EGs-based<br>
framework for systematic propositional-formula simplification<br>
- Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel<br>
V. Hermenegildo. A rule-based approach for designing and
composing<br>
abstract domains<br>
- Marija Kulas. A term matching algorithm and substitution
generality<br>
- Marco Carbone, Sonia Marin and Carsten Schuermann. A Logical<br>
Interpretation of Asynchronous Multiparty Compatibility<br>
- Anna Bamberger and Maribel Fernandez. From Static to Dynamic
Access<br>
Control Policies via Attribute-Based Category Mining<br>
- Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy
Katz<br>
and Ekaterina Komendantskaya. Towards a Certified Proof
Checker for<br>
Deep Neural Network Verification<br>
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and<br>
Maurizio Proietti. Constrained Horn Clauses Satisfiability via<br>
Catamorphic Abstractions<br>
- Peter Lozov, Dmitry Kosarev, Dmitry Ivanov and Dmitry<br>
Boulytchev. Relational Solver for Java Generics Type System<br>
<br style="color: rgb(34, 34, 34); font-family: Arial, Helvetica,
sans-serif; font-size: small; font-style: normal;
font-variant-ligatures: normal; font-variant-caps: normal;
font-weight: 400; letter-spacing: normal; orphans: 2;
text-align: start; text-indent: 0px; text-transform: none;
widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;
white-space: normal; background-color: rgb(255, 255, 255);
text-decoration-thickness: initial; text-decoration-style:
initial; text-decoration-color: initial;">
</p>
</body>
</html>