WLP @ KI2023: Call for Papers
37th Workshop on (Constraint and Functional) Logic Programming (WLP)Workshop at KI2023, Berlin, Germany September 26, 2023 Workshop Website: https://dbs.informatik.uni-halle.de/wlp2023/ Conference Website: https://ki2023.gi.de/ 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://easychair.org/conferences/?conf=wlp2023). 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) --
participants (1)
-
Michael Hanus