posted by user: cedlibert || 798 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

VPT 2019   Seventh International Workshop on Verification and Program Transformation
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
Special Issue MDPI Applied Sciences 2019   Special Issue on Intelligent Health Services Based on Biomedical Smart Sensors
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
MDPI Sensors 2019   Special Issue on UAV-Based Applications in the Internet of Things (IoT)
GreeNet Symposium - SGNC 2019   10th Symposium on Green Networking and Computing (SGNC 2019)
DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
CASES 2019   International Conference on Compilers, Architectures, and Synthesis for Embedded Systems
MedPRAI 2019   The 3rd Mediterranean Conference on Pattern Recognition and Artificial Intelligence