BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Plone.org//NONSGML plone.app.event//EN
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
SUMMARY:Preliminary Course "Formal Methods of Computer Science"
DTSTART;TZID=Europe/Berlin:20250908T091500
DTEND;TZID=Europe/Berlin:20250919T150000
DTSTAMP:20260410T065107Z
UID:c50794b487354d3984a470cbd7ad6cb1@www.informatik.uni-bonn.de
CATEGORIES:events
CREATED:20241203T102037Z
DESCRIPTION:In this preliminary course\, incoming computer science student
 s get an introduction to important formal and mathematical foundations. \n
 \nContents include:\n\n    mathematical language\,\n    propositional logi
 c\, predicate logic\,\n    number domains and data types.\n    proof techn
 iques (direct\, indirect proof\; circular inference\, complete induction)\
 ,\n    functions and relations\,\n    basic algebraic structures\,\n    ex
 ponential functions and logarithms.\n\n\nTarget Groups\n\n    Cyber Securi
 ty (B.Sc.)\n    Informatik (B.Sc.)\n    Informatik (Lehramt)
LAST-MODIFIED:20250902T122928Z
URL:https://www.informatik.uni-bonn.de/en/news/events/pre-course-formal-me
 thods-2025
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:20250330T030000
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR