Konferenz
Scryer Prolog Meetup 2023

Do, 9.11.2023, 10.00–17.00 Uhr
↳ bis Fr, 10.11.2023, 10.00–17.00 Uhr

Hochschule Düsseldorf
Gebäude 6, Raum 2.002

The Scryer Prolog Meetup 2023 is the first meetup of its kind. Taking place exactly one year after the 50years-of-Prolog-Symposium in Paris, the idea of this meetup is to exchange experiences, strategies, concepts and ideas in the development and the application of the Scryer Prolog System. To enhance the future of logic programming. With a free software ISO Prolog system intended to be an industrial strength production environment, a tool for learning and a testbed for research in logic and constraint programming. Due to the strong ISO-conformance, modern declarative constructs and compact internal string representation.

Schedule and topics (tentative)

Thursday, November, 9th

10:00 – 13:00

  • Mark Thom, Scryer Prolog Chief Developer, Canada, Current Developments in Scryer Prolog
  • Adrián Arroyo Calle, Spain, Foreign Function Interface, library(ffi)
  • Nicolas Luck, Co-Founder and Chief-Architect at Coasys, Coasys – How we use Prolog in ADAM and the Synergy Engine

13:00 – 14:00

  • Lunch

14:00 – 17:00

  • Dr. David Cushing, Research Associate in pure mathematics, The University of Manchester, Great Britain, Proof-theoretic applications of Prolog and how to „win“ on the UK national lottery
  • Prof. Christian Jendreiko, HSD, Duesseldorf, Art, Design & DCGs: The generative power of Prolog
  • Prof. Dr. Ulrich Neumerkel, TU Wien, Austria, ISO Prolog, a basis for Prolog extensions

Friday, November, 10th

10:00 – 13:00

  • David C. Norris, MD, Precision-Medicine Methodologist, USA, Verifying safety properties in dose escalation trials designs with Prolog
  • Dr. François Fages, Senior Research Scientist at Inria, France, Meta-predicates for the answer constraint semantics and constraint-based modeling in Prolog
  • Prof. Dr. Michael Leuschel, Heinrich Heine University, Duesseldorf, Prolog for Verification, Analysis and Transformation Tools

13:00 – 14:00

  • Lunch

14:00 – 17:00

  • Dr. Tomas Veloz, UTEM, Santiago de Chile, Emergence and Logic
  • Dr David Stewart, Reader pure mathematics, The University of Manchester, Great Britain, Prolog and algebra
  • Dr. Markus Triska, Austria, Federal Ministry of Finance, Grants4Companies: A logic-based AI application in the public sector
  • Dr. Björn Lellmann, Austria, Federal Ministry of Finance, Law as Code: Applying logic programming to formalize and analyze laws and regulations

 

Participation is free. Registration not necessary.

Contact:
christian.jendreiko@hs-duesseldorf.de

If you want to share this event please click here:
Copy Link