BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Sabre//Sabre VObject 4.5.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:sabre-vobject-4c17bb12-edd9-4bd5-b022-4c9ec67d8773
DTSTAMP:20260517T050658Z
LOCATION:Wrocław\, Instytut Informatyki UWr
SUMMARY:ProCoS/ TABLEAUX Automatyczne dowodzenie twierdzeń przy użyciu me
 tody tableau i metod pokrewnych\, formalne metody wnioskowania dla różny
 ch logik
DESCRIPTION:Opiekun naukowy: dr hab. Jan Marie de Nivelle
DTSTART;VALUE=DATE:20150919
DTEND;VALUE=DATE:20150926
END:VEVENT
END:VCALENDAR