[TYPES/announce] CFP WLP2023: 37th Workshop on (Constraint and Functional) Logic Programming

Sibylle Schwarz sibylle.schwarz at htwk-leipzig.de
Fri Jun 2 15:34:40 EDT 2023


37th Workshop on (Constraint and Functional) Logic Programming 
(WLP)Workshop at KI2023, Berlin, Germany September 26, 2023

     Workshop Website:   https://urldefense.com/v3/__https://dbs.informatik.uni-halle.de/wlp2023/__;!!IBzWLUs!UDKNudDhHkpnOwoYFCNpz83hsrBB3ZaX_tnFGK-XMFbDojMFmYLwtZQ4uqe4hqaAIlGYAVT4HsUMnEZCPujB_iUh8inpuRmNKuTYysQex3x4aDmT7A$ 
     Conference Website: https://urldefense.com/v3/__https://ki2023.gi.de/__;!!IBzWLUs!UDKNudDhHkpnOwoYFCNpz83hsrBB3ZaX_tnFGK-XMFbDojMFmYLwtZQ4uqe4hqaAIlGYAVT4HsUMnEZCPujB_iUh8inpuRmNKuTYysQex3ycp74GPg$ 

Important dates:

     Submission deadline: July 2nd
     Notification of acceptance: August 21st
     Workshop: 26th September 2023

The Workshop on (Constraint and Functional) Logic Programming serves as 
the scientific forum and the annual meeting of the Society of Logic 
Programming (GLP e.V.) and brings together researchers interested in 
logic programming, constraint programming, functional programming, and 
related areas like knowledge representation, artificial intelligence, 
databases.

Contributions are welcome on all theoretical, experimental, and 
application aspects of logic and constraint logic programming. The 
topics include, but are not limited to the following areas:

     Logic, Functional, and Constraint Programming Languages and Extensions
     Multi-paradigm Declarative Programming
     Knowledge Representation, Deductive Databases, and Non-monotonic 
Reasoning
     Applications and Application Areas of Declarative Programming
     Foundations, Semantics, Specification, Verification
     Tools and Implementations
     Software techniques for declarative programming

Authors should submit an electronic copy of the full paper in PDF. 
Papers should be submitted via the EasyChair conference management 
system (https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wlp2023__;!!IBzWLUs!UDKNudDhHkpnOwoYFCNpz83hsrBB3ZaX_tnFGK-XMFbDojMFmYLwtZQ4uqe4hqaAIlGYAVT4HsUMnEZCPujB_iUh8inpuRmNKuTYysQex3wgPzgxvQ$ ). Papers must 
describe original work, be written and presented in English, and must 
not substantially overlap with papers that have been published or that 
are simultaneously submitted to a journal, conference, or workshop with 
refereed proceedings.

Full papers should consist of up to 12 pages, system descriptions or 
short papers should be no longer than 6 pages (excluding references).The 
workshop is running a single-blind review process. Submitted papers will 
be judged on the basis of significance, relevance, correctness, 
originality, and clarity. They should include a clear identification of 
what has been accomplished and why it is significant. All accepted 
papers will be published on the workshop website.

Workshop Chairs

     Sibylle Schwarz (HTWK Leipzig, Germany)
     Mario Wenzel (University of Halle, Germany)

Program Committee of WLP 2023

     Slim Abdennadher (German University Cairo, Egypt)
     Salvador Abreu (University of Évora, Portugal)
     Michael Hanus (University of Kiel, Germany)
     Petra Hofstedt (BTU Cottbus-Senftenberg, Germany)
     Herbert Kuchen (University of Münster)
     Dietmar Seipel (University of Würzburg, Germany)
     Hans Tompits (TU Wien, Austria)
     Janis Voigtländer (University of Duisburg-Essen, Germany)
     German Vidal (Universitat Politècnica de València, Spain)



More information about the Types-announce mailing list