BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260404T073937Z
CREATED:20100830T123731Z
UID:ATEvent-51d25e04f7dfbf60f21a1dd9d612024f
LAST-MODIFIED:20101213T180335Z
SUMMARY:Научный семинар кафедры. Доклад Бугайченко М.Ю.
DTSTART:20101209T142000Z
DTEND:20101209T152000Z
DESCRIPTION:Тема доклада\:\n    Символическая 
 верификация - теория и практика.\n    При
 менение многокорневых бинарных решаю�
 �их диаграмм для\n    вероятностной вери
 фикации
LOCATION:аудитория 2448
CONTACT:Максим Баклановский  \, Maxim.Baklanovsky@lanit-tercom.com
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR