BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:4052-2675@rg-trier-luxemburg.gi.de
CLASS: PUBLIC
SUMMARY:Gemeinsames Jahrestreffen der FG Deduktionssysteme und FG Logik in 
 der Informatik
DESCRIPTION:Joint Logic Workshop: Logic in Computer Science and Deduction S
 ystems\n\n26. Jahrestagung FG LogInf und 33. Jahrestreffen FG DedSys (Deduk
 tionstreffen)\n\nThe annual Workshop on Logic in Computer Science (Jahresta
 gung) and the annual meeting Deduktionstreffen are the prime activities of 
 the Interest Group on Logic in Computer Science (FG LogInf) and the Interes
 t Group on Deduction Systems (FG DedSys) of the German Society of Informati
 cs (Gesellschaft für Informatik), respectively. This year, the activities w
 ill be organized as a Joint Logic Workshop in order to foster mutual exchan
 ge and to explore potential synergies.\n\nThe Joint Logic Workshop is a mee
 ting with an informal and friendly atmosphere, where everyone (not only the
  German community) interested in the relevant topics can report on their wo
 rk in an accessible setting.\n\nA special focus of the workshop is on young
  researchers and students, who are particularly encouraged to present their
  ongoing research projects to a wider audience. Another goal of the meeting
  is to stimulate networking effects and to foster collaborative research pr
 ojects.\n\nBecause of the ongoing pandemic situation the Joint Loic Worksho
 p had to be cancelled in 2020 and is now organized as an online event. Orga
 nizational details are published on the event's website.\n\nOrganization\n\
 nWe welcome contributions on all theoretical, experimental and applied aspe
 cts of formal logic, reasoning and deduction. Accepted contributions are pr
 esented in a talk of approx. 15-30 minutes (depending on the overall number
  of accepted contributions), including discussion. The implementation of a 
 digital poster session is planned.\n\nThe Joint Logic Workshop will also ho
 st the annual general assemblies (Mitgliederversammlungen) of both special 
 interest groups.\n\nThe Joint Logic Workshop is kindly hosted by the KWARC 
 group at University of Erlangen-Nürnberg (FAU) and organized by Sergey Gonc
 harov and Florian Rabe.\n\nSubmission\n\nSubmission is open to everybody in
 terested in logic and/or deduction systems.\n\nPlease submit an extended ab
 stract (max. one page) of your contribution to both Olaf Beyersdorff  and A
 lexander Steen . Submissions will be weakly reviewed to ensure topical fit.
 \n\nSubmission deadline: March 05, 2021 Notification: March 12, 2021\n\nSci
 entific Committee\n\nOlaf Beyersdorff, University of Jena Thomas Schneider,
  University of Bremen Claudia Schon, University of Koblenz Alexander Steen,
  University of Luxembourg
LOCATION:Online Workshop
DTSTAMP:20210212T082836Z
DTSTART:20210326T080000Z
DTEND:20210326T160000Z
END:VEVENT
END:VCALENDAR