BEGIN:VCALENDAR
CALSCALE:GREGORIAN
PRODID:iCalendar-Ruby
VERSION:2.0
BEGIN:VEVENT
DESCRIPTION: Die computergestützte Mechanisierung unterschiedlicher Logikfo
 rmalismen ist Gegenstand einer Konferenz vom 1. bis 7. August 2015 am Fachb
 ereich Mathematik und Informatik der Freien Universität Berlin. Unter dem T
 itel „Conference on Automated Deduction“ (CADE) befassen sich die Teilnehme
 r aus dem In- und Ausland vornehmlich mit der Methode des Automatischen The
 orembeweisens. Dabei werden mathematische bzw. logische Beweise vollautomat
 isch durch den Computer gefunden. Unter Beweis wird hier eine präzise Argum
 entationskette verstanden\, die ein Beweisziel (das Theorem) aus Grundannah
 men (den Axiomen) ableitet. Erörtert wird auch\, wie die automatische Deduk
 tion beispielsweise in der Informatik und Mathematik angewendet werden kann
 . 
DTEND:20150807T235900
DTSTAMP:20150602T105700
DTSTART:20150801T000000
CLASS:PUBLIC
LOCATION:in Berlin an der Freien Universität Berlin
SEQUENCE:0
SUMMARY:CADE 25. Konferenz - Maschinengestütztes Beweisen von Theoremen
UID:51290531@/www.mi.fu-berlin.de
URL:https://www.mi.fu-berlin.de/fb/dates/cade-25th-2015-conference.html
END:VEVENT
END:VCALENDAR