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

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
VSI:LBS in the era of IoT 2020   Location Based Services and Applications in the era of Internet of Things
CVPR 2020   Computer Vision and Pattern Recognition
OVERLAY 2019   First workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
VPT 2019   Seventh International Workshop on Verification and Program Transformation
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
ICSD 2020   8th International Conference on Sustainable Development,9 - 10 September ICSD 2020
VISAPP 2020   15th International Conference on Computer Vision Theory and Applications