BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:4773-4554@fg-dedsys.gi.de
CLASS: PUBLIC
SUMMARY:Joint Logic Workshop: Logic in Computer Science and Deduction Syste
 ms
DESCRIPTION:Joint Logic Workshop: Logic in Computer Science and Deduction S
 ystems – 26. Jahrestagung FG LogInf und Workshop der FG DedSys –\n\nSubmiss
 ion deadline extension to March 30, 2022! Details see below.\n\nThe annual 
 Workshop on Logic in Computer Science (Jahrestagung) is the prime activity 
 of the Interest Group on Logic in Computer Science (FG LogInf) of the Germa
 n Society of Informatics (Gesellschaft für Informatik, GI). Together with t
 he Interest Group on Deduction Systems (FG DedSys) of the AI chapter of GI 
 the Joint Logic Workshop fosters mutual exchange and aims at exploring syne
 rgies between both groups.\n\nThe Joint Logic Workshop is a meeting with an
  informal and friendly atmosphere, where everyone (not only the German comm
 unity) interested in the relevant topics can report on their work in an acc
 essible setting.\n\nA special focus of the workshop is on young researchers
  and students, who are particularly encouraged to present their ongoing res
 earch projects to a wider audience. Another goal of the meeting is to stimu
 late networking effects and to foster collaborative research projects.\n\nB
 ecause of the ongoing pandemic situation the Joint Logic Workshop is organi
 zed as an online event. Organizational details are published on the event's
  website.\n\nInvited speakers\n\nMartin Suda (Czech Institute of Informatic
 s, Robotics, and Cybernetics), Title: TBA\n\nMarijn Heule (Carnegie Mellon 
 University), Title: Short Proofs in Strong Proof System\n\nOrganization\n\n
 We welcome contributions on all theoretical, experimental and applied aspec
 ts of formal logic, reasoning and deduction. Accepted contributions are pre
 sented in a talk of approx. 15-30 minutes (depending on the overall number 
 of accepted contributions), including discussion. \n\nThe Joint Logic Works
 hop will also host the annual general assembly (Mitgliederversammlung) of F
 G LogInf.\n\nThe Joint Logic Workshop is kindly hosted by the Theoretical C
 omputer Science and Knowledge Representation groups at University of Erlang
 en-Nürnberg (FAU) and organized by Sergey Goncharov and Florian Rabe.\n\nSu
 bmission\n\nSubmission is open to everybody interested in logic and/or dedu
 ction systems.\n\nPlease submit an extended abstract (max. one page) of you
 r contribution to both Olaf Beyersdorff  and Alexander Steen . Submissions 
 will be weakly reviewed to ensure topical fit.\n\nSubmission deadline passe
 d.\n\nScientific Committee\n\nOlaf Beyersdorff, University of Jena Thomas S
 chneider, University of Bremen Claudia Schon, University of Koblenz Alexand
 er Steen, University of Greifswald\n\n\n\n
LOCATION:Zoom meeting hosted by FAU University Erlangen-Nuremberg
DTSTAMP:20220404T073743Z
DTSTART:20220408T080000Z
DTEND:20220408T150000Z
END:VEVENT
END:VCALENDAR