posted by user: cedlibert || 613 views || tracked by 1 users: [display]

LOPSTR 2017 : 27th International Symposium on Logic-based Program Synthesis and Transformation

FacebookTwitterLinkedInGoogle

Link: https://events.info.unamur.be/ppdp-lopstr-2017/
 
When Oct 10, 2017 - Oct 12, 2017
Where Namur, Belgium
Submission Deadline TBD
Categories    computer science   programming   programming languages
 

Call For Papers

CALL FOR PARTICIPATION

LOPSTR 2017

27th International Symposium on
Logic-Based Program Synthesis and Transformation
Namur, Belgium, October 10-12

https://www.sci.unich.it/lopstr17/

co-located with

PPDP 2017

19th International Symposium on
Principles and Practice of Declarative Programming
Namur, Belgium, October 9-11

http://complogic.cs.mcgill.ca/ppdp2017


***********************************************

** Please register at https://events.info.unamur.be/ppdp-lopstr-2017/

** Early registration deadline : September 15

***********************************************

INVITED TALKS:

Marieke Huisman (Universiteit Twente)
A Verification Technique for Deterministic Parallel Programs
(joint PPDP/LOPSTR speaker)

Sumit Gulwani (Microsoft)
Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
(joint PPDP/LOPSTR speaker)

Serge Abiteboul (INRIA)
Ethical issues in data management
(PPDP)

Grigore Rosu (University of Illinois at Urbana-Champaign)
K: A Logic-Based Framework for Program Transformation and Analysis
(LOPSTR)

Please consult the conferences' webpages for a list of accepted papers.

Hope to see you in Namur !

Related Resources

LOPSTR 2018   28th International Symposium on Logic-Based Program Synthesis and Transformation
ACII 2018   Advanced Computational Intelligence: An International Journal
DATE E2 2018   Design, Automation, and Test in Europe, Topic E2: Compilers and Software Synthesis
IJMVSC 2018   The International Journal of Managing Value and Supply Chains
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
ICDIP-Ei, Scopus and CPCI 2018   ICDIP 2018 The 10th International Conference on Digital Image Processing--Ei Compendex, Scopus and CPCI
LICS 2018   Logic in Computer Science
IJIST 2018   The International Journal of Information Science & techniques
INISTA 2018   IEEE International Conference on Innovations in Intelligent SysTems and Applications
ICCBR 2018   International Conference on Case-Based Reasoning