BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2021/newsitem/12549/26
 -March-2021-Joint-Jahrestagung-FG-LogInf-Deduktion
 streffen-Virtual
DTSTAMP:20210318T214241
SUMMARY:Joint Jahrestagung FG LogInf & Deduktionst
 reffen, Virtual
DTSTART;VALUE=DATE:20210326
DTEND;VALUE=DATE:20210326
LOCATION:Virtual
DESCRIPTION:The annual Workshop on Logic in Comput
 er Science (Jahrestagung) and the annual meeting D
 eduktionstreffen are the prime activities of the I
 nterest Group on Logic in Computer Science (FG Log
 Inf) and the Interest Group on Deduction Systems (
 FG DedSys) of the German Society of Informatics (G
 esellschaft für Informatik), respectively. This ye
 ar, the activities will be organized as a Joint Lo
 gic Workshop in order to foster mutual exchange an
 d to explore potential synergies.  The Joint Logic
  Workshop is a meeting with an informal and friend
 ly atmosphere, where everyone (not only the German
  community) interested in the relevant topics can 
 report on their work in an accessible setting. A s
 pecial focus of the workshop is on young researche
 rs and students, who are particularly encouraged t
 o present their ongoing research projects to a wid
 er audience. Another goal of the meeting is to sti
 mulate networking effects and to foster collaborat
 ive research projects.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The annual Wor
 kshop on Logic in Computer Science (Jahrestagung) 
 and the annual meeting Deduktionstreffen are the p
 rime activities of the Interest Group on Logic in 
 Computer Science (FG LogInf) and the Interest Grou
 p on Deduction Systems (FG DedSys) of the German S
 ociety of Informatics (Gesellschaft für Informatik
 ), respectively. This year, the activities will be
  organized as a Joint Logic Workshop in order to f
 oster mutual exchange and to explore potential syn
 ergies.</p>\n\n  <p>The Joint Logic Workshop is a 
 meeting with an informal and friendly atmosphere, 
 where everyone (not only the German community) int
 erested in the relevant topics can report on their
  work in an accessible setting. A 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. An
 other goal of the meeting is to stimulate networki
 ng effects and to foster collaborative research pr
 ojects.</p>\n
URL:https://kwarc.info/events/GI2020/index.html
CONTACT:olaf.beyersdorff at uni-jena.de
END:VEVENT
END:VCALENDAR