posted by user: cedlibert || 906 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 2020   Eighth International Workshop on Verification and Program Transformation
ISBDAI 2020   【Ei Compendex Scopus】2020 International Symposium on Big Data and Artificial Intelligence
ICDM 2020   20th IEEE International Conference on Data Mining
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
ICPC 2020   28th International Conference on Program Comprehension
GreeNet Symposium - SGNC 2020   11th Symposium on Green Networking and Computing (SGNC 2020)
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
ACM--ICMLC--Ei and Scopus 2020   ACM--2020 12th International Conference on Machine Learning and Computing (ICMLC 2020)--SCOPUS, Ei Compendex
SS DNAP IJCNN 2020   Special Session on Deep Neural Audio Processing at IEEE WCCI/IJCNN 2020
TextGraphs 2020   14th Workshop on Graph-Based Natural Language Processing (TextGraphs-14)