Zum Hauptinhalt springen

Joint Logic Workshop: Zweiter gemeinsamer Workshop FG LogInf und FG DedSys

Am 8. April 2022 findet ein gemeinsamer Online-Workshop der Fachgruppen LogInf (Logik in der Informatik) und DedSys (Deduktionssysteme) statt. Dieser Joint Logic Workshop wird von Sergey Goncharov and Florian Rabe (FAU Erlangen-Nürnberg) ausgerichtet.

Liebe Mitglieder der Fachgruppe,

nach dem erfolgreichen gemeinsamen Jahrestreffen der FGs LogInf und DedSys im Jahr 2021, findet auch dieses Jahr eine Neuauflage eines gemeinsamen Workshops statt.

Joint Logic Workshop: Logic in Computer Science and Deduction Systems am 8. April 2022

Die Lenkungskreise der Fachgruppe Deduktionssysteme (FG DedSys) und der Fachgruppe Logik in der Informatik (FG LogInf) haben beschlossen, erneut einen gemeinsamen informellen Online-Workshop zu veranstalten: Der Joint Logic Workshop findet am 08.04.2022 als eintägige Veranstaltung statt und soll insbesondere die deutsche Logik- und Deduktionscommunity zusammenbringen und zudem einen fachgruppenübergreifenden Austausch ermöglichen. Selbstverständlich sind auch Beiträge von außerhalb Deutschlands und von Nichtmuttersprachler/-innen willkommen; daher wird der Workshop auf Englisch durchgeführt. Freundlicherweise haben sich Florian Rabe und Sergey Goncharov (FAU Erlangen-Nürnberg) wieder bereit erklärt, dieses Treffen virtuell auszurichten.

Wie üblich für Workshops der Fachgruppe DedSys ist der Joint Logic Workshop eine Veranstaltung mit einer informellen und freundlichen Atmosphäre, bei dem jede Person in einem umgänglichen Rahmen über ihre Arbeit berichten kann. Ein besonderer Fokus des Workshops liegt auf jungen Wissenschaftlern/-innen und Studierenden, die besonders ermutigt werden, ihre laufenden Forschungsprojekte einem breiteren Publikum vorzustellen. 

Jetzt Beitrag einreichen

Bis zum 21. März 30. März können Beiträge in Form von kurzen Abstracts (max. eine Seite) in englischer Sprache via E-Mail eingereicht werden. Um die Beteiligung möglichst schwellenlos zu gestalten, können die Einreichungen sehr kurz gehalten werden. Es kann über geplante, aktuell laufende oder abgeschlossene Vorhaben bzw. Projekte berichtet werden. Details können dem Call for Submissions und dem Veranstaltungseintrag entnommen werden.

Wir würden uns sehr freuen, viele spannende Beiträge zu sehen!

Klassisches Deduktionstreffen für KI 2022 im September geplant

Durch pandemiebedingte organisatorische Schwierigkeiten wurde letztes Jahr das jährliche Deduktionstreffen durch den Joint Logic Workshop ersetzt. Dieses Jahr hingegen ist es weiterhin geplant, ein klassisches Deduktionstreffen (inkl. Mitgliederversammlung) auf der KI 2022 in Trier (September 2022) auszurichten. Die Vorbereitungen laufen bereits und wir werden Sie möglichst bald über Details informieren.