[Agda] LOPSTR 2014: Call for Participation

Maurizio Proietti maurizio.proietti at iasi.cnr.it
Thu Jul 24 22:44:30 CEST 2014


 ===================== CALL FOR PARTICIPATION =============================

                                               24th International Symposium
on
                               Logic-Based Program Synthesis and
Transformation
                                                             LOPSTR 2014


http://www.iasi.cnr.it/events/lopstr14/
                          University of Kent, Canterbury, UK, September
9-11, 2014

                  Co-located with the 16th International ACM SIGPLAN
Symposium on
                    Principles and Practice of Declarative Programming
(PPDP 2014)

==========================================================================
Early registration by August 8, 2014
     http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/registration.html

Invited Speakers:
     Roberto Giacobazzi (University of Verona, Italy)
 "Obscuring Code -- Unveiling and Veiling Information in Programs"
     Viktor Kuncak (EPFL, Switzerland)
 Title to be announced

Accepted papers
- Nikita Danilenko
Functional Kleene Closures
- Amer Tahat and Ali Ebnenasir
A Hybrid Method for the Verification and Synthesis of Parameterized
Self-Stabilizing Protocols
- German Vidal
Concolic Execution and Test-Case Generation in Prolog
- Henning Christiansen and Maja Kirkeby
Confluence Modulo Equivalence in Constraint Handling Rules
- Remis Balaniuk
Drill & Join: A method for inductive program synthesis
- Minoru Kinoshita, Kohei Suenaga and Atsushi Igarashi
Automatic Synthesis of Combiners in the MapReduce Framework - An Approach
with Right Inverse
- Daniel De Schreye, Vincent Nys and Colin Nicholson
Analysing and Compiling Coroutines with Abstract Conjunctive Partial
Deduction
- Daniel Gall and Thom Frühwirth
A Formal Semantics for the Cognitive Architecture ACT-R
- J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter
Schachte, Harald Søndergaard and Peter J. Stuckey
Analyzing array manipulating programs by program transformation
- Nada Sharaf, Slim Abdennadher and Thom Frühwirth
A Visualization Tool for Constraint Handling Rules
- Salvador Lucas, Jose Meseguer and Raúl Gutiérrez
Extending the 2D DP Framework for CTRSs
- Ahmed Nagah, Amira Zaki and Slim Abdennadher
Exhaustive Execution of CHR through Source-to-Source Transformation
- Sandra Alves, Anatoli Degtyarev and Maribel Fernandez
Access control and obligations in the category-based metamodel: A
rewrite-based semantics
- James Lipton, Emilio Jesús Gallego Arias and Julio Mariño
A Declarative Compilation of Constraint Logic Programming
- Jose F. Morales and Manuel V. Hermenegildo
Pre-indexed Terms for Prolog
- Norbert Preining, Kokichi Futatsugi and Kazuhiro Ogata
Liveness properties in CafeOBJ - a case study for meta-level specifications
- Wlodzimierz Drabent
On completeness of logic programs
- Ranjeet Singh and Andy King
Partial Evaluation for Java Malware Detection
- Raul Gutierrez and Salvador Lucas
Below Frozen Positions
- Md Solimul Chowdhury, Jia-Huai You, Wu Chen, Arash Karimi and Fangfang Liu
Polynomial Approximation to Well-Founded Semantics for Logic Programs with
Generalized Atoms: Case Studies
=============================================================================

Program Co-Chairs:
     Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti at iasi.cnr.it)
     Hirohisa Seki, Nagoya Institute of Technology, Japan (seki at nitech.ac.jp
)

Symposium Co-Chairs:
     Olaf Chitil and Andy King
     School of Computing, University of Kent, UK
 ({O.Chitil,A.M.King}@kent.ac.uk)

Organizing Committee:
     Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy
     Fabrizio Smith, IASI-CNR, Italy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140724/504d506f/attachment.html


More information about the Agda mailing list