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

ETHE Blearning 2017   Blended learning in higher education: research findings
TheWebConf 2018   The Web Conference (The International World Wide Web Conference - WWW2018)
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
LOPSTR 2017   27th International Symposium on Logic-Based Program Synthesis and Transformation
GPCE 2017   16th International Conference on Generative Programming: Concepts & Experiences
IEEE - ICCC 2017   3rd IEEE International Conference on Computer and Communications
SATToSE 2017   10th Seminar Series on Advanced Techniques & Tools for Software Evolution
AAMAS 2018   International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18)
VPT 2017   Fifth International Workshop on Verification and Program Transformation
CODASPY 2018   Conference on Data and Application Security and Privacy