Scryer Prolog Meetup 2024
Invitation to the Scryer Prolog Meetup 2024 on November 7th and 8th, 2024 in Vienna.
Since the number of participants is limited, registration is requested.
Taborstrasse 12
Wien
The Scryer Prolog Meetup is an ideal venue to present and learn about the latest developments and applications of Prolog, and to pave the way for future cooperations.
Keyfacts
-
Start: November 7, 2024 from 9:00 a.m
-
End: November 8, 2024 around 8:00 p.m
-
Location: Hotel Stefanie, 2nd district, Taborstrasse 12
https://www.schick-hotels.com/ -
Language: English
Register for participation using the subject “Scryer Prolog Meetup 2024”
➡️ post.vii-5(at)bka.gv.at
If you would like to give a talk or have any questions, please send an email with the subject “Scryer Prolog Meetup 2024 - Info”
➡️ post.vii-5(at)bka.gv.at
Excursus: What is Prolog?
Prolog is the first logic programming language and is especially well-suited for the development of reliable AI applications.
The international standard ISO/IEC 13211-1 ensures interoperability and potential extensions of the language which is under continuous development.
Scryer Prolog is one of the newest implementations of Prolog and is available as free software at no cost. It is therefore especially suited for use in public administrations, businesses, research and teaching.
The Austrian Federal Ministry of Finance uses Scryer Prolog to analyze logical relations between grants for businesses, an application of symbolic AI.
Agenda
Wednesday November 6th
- 19:00 o’clock Dinner at the Hotel Stefanie, for those of us who are already here
Thursday November 7th
- 08:30 - 09:00 Morning reception, informal exchange
- 09:00 - 09:15 Markus Triska: Welcome address, Presentation of Agenda
- 09:15 - 10:30 Mark Thom: Recent developments in Scryer Prolog, Q&A
- 10:30 - 10:45 Coffee break
- 10:45 - 11:45 Adrián Arroyo Calle: Native compilation of Prolog predicates with cranelift
- 12:00 - 13:00 Lunch break
- 13:00 - 14:30 Torbjörn Lager: The Role of the Raven in the Prolog Trinity Ecosystem: Scryer Prolog Agents on the Web
- 14:30 - 15:30 David C. Norris: Applied Category Theory with Scryer Prolog and CLP(ℤ): a case study in dose-escalation
- 15:30 - 16:00 Coffee break
- 16:00 - 17:00 Michael Compton: Prolog powered data mesh - provable governance, resource provisioning and heterogeneous data access planning
- approx. 18:00 Speakers' dinner at the hotel
Friday November 8th
- 08:30 - 09:00 Morning reception, informal exchange
- 09:00 - 10:00 Mark Thom: Scryer Shen: Typechecking Shen programs with Scryer Prolog
- 10:00 - 11:00 James J. Tolton: Embedded Scryer Prolog Powering Video Game AI
- 11:00 - 11:10 Coffee break
- 11:10 - 12:00 Christian Jendreiko: Unlocking the generative potential of quantum structures using DCGs
- 12:00 - 14:00 Lunch break
- 14:00 Walk from the hotel to TU Wien to visit the Prolog laboratory
- 15:00 - 16:00 François Fages: Functional notations and set comprehension metapredicates for mathematical modeling in Prolog
- 16:00 - 18:30 Presentation of the Prolog teaching environment GUPU by Ulrich Neumerkel
- 19:30 Closing dinner at the hotel