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

ICDM 2020   20th IEEE International Conference on Data Mining
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
Cambridge University Press 2021   Call for Book Chapters : Digital Transformation and Disruption of Higher Education
AIP Journal - Indexed in Scopus 2020   Journal of Social and Business Informatics - Acta Informatica Pragensia
OVERLAY 2020   Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
ICSC 2021   International Conference on Semantic Computing
REBLS 2020   7th Workshop on Reactive and Event-based Languages & Systems
IEEE CAIT--Ei Compendex, Scopus 2020   2020 IEEE International Conference on Artificial Intelligence Technology (CAIT 2020)--Ei Compendex, Scopus
VPT 2020   Eighth International Workshop on Verification and Program Transformation
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)