Das zweitägige Programm bietet eine Vielzahl spannender Vorträge zu Themen wie den neuesten Fortschritten in der Scryer-Entwicklung, Einbettungsschnittstellen in Rust, C und WebAssembly, sowie Anwendungen in Bereichen wie Onkologie, Musiktheorie und Quantentechnologien. Zu den Referenten zählen unter anderem der Initiator und Hauptentwickler von Scryer Prolog Mark Thom aus Kanada, der Convenor von ISO/IEC JTC 1/SC 22/WG 17 Ulrich Neumerkel von der TU Wien, Michael Leuschel von der Heinrich-Heine-Universität Düsseldorf, der Mediziner David C. Norris aus den USA und Guy Narboni aus Frankreich. Auch neue Werkzeuge wie „Bakage“, ein Paketmanager für Prolog-Systeme von Kauê Hunnicutt Bazilli aus Brasilien, und „plwm“, ein in Prolog geschriebener X11-Window-Manager von Barnabás Zahorán aus Ungarn, werden vorgestellt.
Scryer Prolog ist ein ISO-konformes, freies Prolog-System, das in Rust und Prolog entwickelt wird. Es dient sowohl als leistungsfähige Plattform für industrielle Anwendungen als auch als Testumgebung für aktuelle Forschung in Logik- und Constraint-Programmierung. Prolog selbst gilt seit seiner Entwicklung in den 1970er-Jahren als eine der bedeutendsten Programmiersprachen im Bereich der logikbasierten künstlichen Intelligenz. Durch seinen deklarativen Ansatz ermöglicht es, komplexe Zusammenhänge mit eleganten, kompakten Programmen zu beschreiben.
Hinweise zur Teilnahme:
Die Teilnahme ist kostenlos, eine Anmeldung nicht erforderlich.
Termin:
13.11.2025 ab 10:00 - 14.11.2025 17:00
Veranstaltungsort:
Hochschule Düsseldorf
Gebäude 6 | Raum 6.2.002
Münsterstraße 156
40476 Düsseldorf
Nordrhein-Westfalen
Deutschland
Zielgruppe:
Wirtschaftsvertreter, Wissenschaftler
E-Mail-Adresse:
Relevanz:
überregional
Sachgebiete:
Informationstechnik
Arten:
Konferenz / Symposion / (Jahres-)Tagung
Eintrag:
29.10.2025
Absender:
Tim Wellbrock
Abteilung:
Dezernat Kommunikation und Marketing
Veranstaltung ist kostenlos:
ja
Textsprache:
Deutsch
URL dieser Veranstaltung: http://idw-online.de/de/event80365
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).