BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CHESS - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://chess-eu.cs.ut.ee
X-WR-CALDESC:Events for CHESS
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Helsinki
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Helsinki:20231208T090000
DTEND;TZID=Europe/Helsinki:20231208T160000
DTSTAMP:20260404T145629
CREATED:20231107T093217Z
LAST-MODIFIED:20231107T093531Z
UID:5111-1702026000-1702051200@chess-eu.cs.ut.ee
SUMMARY:CHESS Industrial Day 2023
DESCRIPTION:The aim of CHESS Industrial Day 2023 is to bring together researchers and practitioners in formal methods from industry and academia. The event provides an informal platform for exchanging practical experience with methods and tools for software analysis/verification/testing\, and discussing their benefits and bottlenecks. It is organized by the Cyber-security Excellence Hub in Estonia and South Moravia (CHESS). \nThe Program includes \n\ninvited presentations reporting the use/advantages/bottlenecks of formal methods in industrial practice;\ntool demos;\nopen panel discussion addressing (at least) the following questions:\n\nWhat are the main problems preventing the massive use of formal methods in software development?\nWhere are the current technologies and tools most useful? Where do they fail? Why?\nDo we provide our students with enough knowledge and skills to use formal methods in practice?\n\n\n\nThere will be enough space for informal communication. The participants are welcome to contact the organizers and propose additional items enriching the program. A detailed schedule will be announced later. \nContact: Antonín Kučera (FI MU)\, Jan Strejček (FI MU)\, Tomáš Vojnar (FIT VUT) \nPlease register before November 30\, 2023.
URL:https://chess-eu.cs.ut.ee/event/chess-industrial-day-2023/
LOCATION:KYPO\, Faculty of Informatics\, Masaryk University\, Botanická 68a\, Brno\, 60200\, Czech Republic
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Helsinki:20231212T110000
DTEND;TZID=Europe/Helsinki:20231212T233000
DTSTAMP:20260404T145629
CREATED:20231128T071211Z
LAST-MODIFIED:20231128T080445Z
UID:5198-1702378800-1702423800@chess-eu.cs.ut.ee
SUMMARY:CHESS Hacking Day
DESCRIPTION:Are you into hacking and cybersecurity? Come and put your skills to the test at Hacking Day 2023. You can enjoy playing cyber security games designed by the students of the Cyber Attack Simulation Seminar at the Faculty of Informatics\, Masaryk University\, Brno\, Czech Republic. The event is intended primarily for students and those interested in cybersecurity training. \n  \n\nUnleash your inner hacker at Hacking Day!\nEnjoy an exhilarating cybersecurity game.\nBring basic Linux knowledge and learn something new.\n\n  \nDecember 12 @ 11:00 am – 11:30 pm \nCHESS Hacking Day \nONLINE and onsite at the Faculty of Informatics of Masaryk University\, Brno Botanická 68A\, Brno\, Brno-Královo Pole-Ponava\, Czech Republic \n  \nWe will send you all the details by email after the registration. The registration closes on December 10\, 2023. Capacity is limited.\n\nRegister Now \n\nContact person Zuzana Vémolová vemolova@rect.muni.cz
URL:https://chess-eu.cs.ut.ee/event/chess-hacking-day/
LOCATION:ONLINE\, Faculty of Informatics of Masaryk University\, Brno\, Botanická 68A\, Brno\, Brno-Královo Pole-Ponava\, 60200\, Czech Republic
ORGANIZER;CN="Faculty of Informatics of Masaryk University":MAILTO:info@fi.muni.cz
END:VEVENT
END:VCALENDAR