Event
Scryer Prolog Meetup 2024
Was bietet dieses Meetup?
Das Scryer Prolog Meetup bietet das ideale Umfeld, um die neuesten Entwicklungen und Einsatzmöglichkeiten dieser Programmiersprache vorzustellen, kennenzulernen und zu besprechen.
Außerdem können Kontakte für zukünftige Kooperationen geknüpft oder vertieft werden.
Eckdaten
Scryer Prolog Meetup 2024
Beginn: 7. November 2024 ab 9:00 Uhr
Ende: 8. November 2024 gegen 20:00 Uhr
Ort: Hotel Stefanie, 2. Bezirk, Taborstraße 12
https://www.schick-hotels.com/
Sprache: Englisch
Teilnahme anmelden unter Betreff-Angabe "Scryer Prolog Meetup 2024" an post.vii-5(at)bka.gv.at
Falls Sie einen Vortrag halten möchten oder Fragen haben, senden Sie bitte ein Mail unter Betreff-Angabe "Scryer Prolog Meetup 2024 - Info" an post.vii-5(at)bka.gv.at
Exkurs: Was ist Prolog?
Prolog ist die erste logikorientierte Programmiersprache und eignet sich besonders für die Entwicklung zuverlässiger KI-Verfahren.
Der internationale Standard ISO/IEC 13211-1 normiert die Interoperabilitätsgarantien und Erweiterungsmöglichkeiten dieser Programmiersprache die laufend weiterentwickelt wird.
Scryer Prolog ist eine der neuesten Implementierungen dieser Programmiersprache und steht als freie Software kostenlos zur Verfügung.
Daher eignet sich Scryer Prolog besonders für den Einsatz in Verwaltung, Wirtschaft, Forschung und Lehre.
Das Bundesministerium für Finanzen setzt Scryer Prolog ein, um logische Beziehungen zwischen Förderungen für Unternehmen automatisch zu analysieren, ein Anwendungsfall symbolischer KI.
Programm Scryer Prolog Meetup 2024
Wednesday Nov. 6th
19:00 o’clock: dinner at the Hotel Stefanie, for those of us who are already here
Thursday Nov. 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 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 TBD
18:00 and later: speakers' dinner at the hotel
Friday Nov. 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 to TU Wien to visit the Prolog laboratory, presentation of the
Prolog teaching environment GUPU by Ulrich Neumerkel
19:30 Closing dinner at the hotel
Agenda Scryer Meetup 2024 (PDF, access free)
