posted by user: cedlibert || 669 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
GreeNet Symposium - SGNC 2018   9th Symposium on Green Networking and Computing (SGNC 2018)
PSSV 2018   Nineth Workshop Program Semantics, Specification and Verification: Theory and Applications
ICISIP 2018   The 6th IIAE International Conference on Intelligent Systems and Image Processing 2018
FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy
IJIST 2018   The International Journal of Information Science & techniques
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
LICS 2018   Logic in Computer Science
DATE E2 2018   Design, Automation, and Test in Europe, Topic E2: Compilers and Software Synthesis