BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TECoSA - ECPv6.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:TECoSA
X-ORIGINAL-URL:https://www.tecosa.center.kth.se
X-WR-CALDESC:Events for TECoSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20210101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VTIMEZONE
TZID:Asia/Shanghai
BEGIN:STANDARD
TZOFFSETFROM:+0800
TZOFFSETTO:+0800
TZNAME:CST
DTSTART:20210101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20221005T130000
DTEND;TZID=UTC:20221005T150000
DTSTAMP:20220920T112028Z
CREATED:20220325T143726Z
LAST-MODIFIED:20220920T112028Z
UID:4865-1664974800-1664982000@www.tecosa.center.kth.se
SUMMARY:TECoSA Course Module "Fundamentals of Security for Edge Computing" (1/2)
DESCRIPTION:Attendance is free to all TECoSA members. To register\, please email tecosa-admin@kth.se stating which module(s) you wish to take. Alternatively\, calendar invitations will be issued to everyone on the tecosa-all mailing list. You can register by accepting the invitations that are of interest to you. (This module runs on more than one date – please be sure to accept all the relevant invitations.)\nFormat: Two 2-hour workshops plus self-study assignment\nLocation: Kista Campus\, with “join on-line” option\nTiming: Weds 5 Oct kl.13-15 and Weds 19 Oct kl.13-15 (all CET)\nModule led by: KTH: Elena Dubrova (dubrova@kth.se)\nContent: *Introduction to cryptography (secret and public cryptosystems\, encryption and authentication basics); *Attack vectors; *Anti-tamper techniques. \nProf. Elena Dubrova is an internationally renowned expert in hardware security\, including the design of energy-efficient cryptographic primitives\, secure key storage\, countermeasures against side-channel attacks and mitigation of hardware Trojans. She is author of 200+ international peer-reviewed publications and books\, and has a proven track record of successfully transferring technology to industry. Her work has been awarded prestigious awards such as the IBM faculty partnership award for outstanding contributions to IBM research and development. She is a program committee member of top international conferences such as Design Automation Conference (DAC) and Design Automation and Test in Europe Conference (DATE). She has been a principal investigator of many successfully completed projects funded by SSF\, VINNOVA and VR. \nThe TECoSA Course
URL:https://www.tecosa.center.kth.se/event/tecosa-course-module-fundamentals-of-security-for-edge-computing-1-3/
CATEGORIES:Workshops
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20221019T130000
DTEND;TZID=UTC:20221019T150000
DTSTAMP:20220920T113000Z
CREATED:20220325T143933Z
LAST-MODIFIED:20220920T113000Z
UID:4869-1666184400-1666191600@www.tecosa.center.kth.se
SUMMARY:TECoSA Course Module "Fundamentals of Security for Edge Computing" (2/2)
DESCRIPTION:Attendance is free to all TECoSA members. To register\, please email tecosa-admin@kth.se stating which module(s) you wish to take. Alternatively\, calendar invitations will be issued to everyone on the tecosa-all mailing list. You can register by accepting the invitations that are of interest to you. (This module runs on more than one date – please be sure to accept all the relevant invitations.)\nFormat:  Two 2-hour workshops plus self-study assignment\nLocation: Kista Campus\, with “join on-line” option\nTiming: Weds 5 Oct kl.13-15 and Weds 19 Oct kl.13-15 (all CET)\nModule led by: KTH: Elena Dubrova (dubrova@kth.se)\nContent: *Introduction to cryptography (secret and public cryptosystems\, encryption and authentication basics); *Attack vectors; *Anti-tamper techniques. \nProf. Elena Dubrova is an internationally renowned expert in hardware security\, including the design of energy-efficient cryptographic primitives\, secure key storage\, countermeasures against side-channel attacks and mitigation of hardware Trojans. She is author of 200+ international peer-reviewed publications and books\, and has a proven track record of successfully transferring technology to industry. Her work has been awarded prestigious awards such as the IBM faculty partnership award for outstanding contributions to IBM research and development. She is a program committee member of top international conferences such as Design Automation Conference (DAC) and Design Automation and Test in Europe Conference (DATE). She has been a principal investigator of many successfully completed projects funded by SSF\, VINNOVA and VR. \nThe TECoSA Course
URL:https://www.tecosa.center.kth.se/event/tecosa-course-module-fundamentals-of-security-for-edge-computing-1-3-2/
CATEGORIES:Workshops
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Shanghai:20221023T090000
DTEND;TZID=Asia/Shanghai:20221023T170000
DTSTAMP:20220922T074734Z
CREATED:20220922T074531Z
LAST-MODIFIED:20220922T074734Z
UID:5453-1666515600-1666544400@www.tecosa.center.kth.se
SUMMARY:2nd RL-CONFORM Workshop\, co-located with IROS'22
DESCRIPTION:Reinforcement Learning meets HRI\, Control\, and Formal Methods!\nTECoSA researchers Iolanda Leite. Jana Tumova. Sanne van Waveren and Alexis Linard are co-organising a 1-day workshop at IROS’22\, taking place in Kyoto\, Japan. \nReinforcement learning (RL) has shown remarkable achievements in applications ranging from autonomous driving\, object manipulation\, or beating best players in complex board-games. Different communities\, including RL\, human-robot interaction (HRI)\, control\, and formal methods (FM)\, have proposed multiple techniques to increase safety\, transparency\, and robustness of RL. However\, elementary problems of RL remain open: exploratory and learned policies may cause unsafe situations\, lack task-robustness\, or be unstable. By satisfactorily addressing these problems\, RL research will have long-lasting impact and see breakthroughs on real physical systems and in human-centered environments. As an example\, a collaborative mobile manipulator needs to be robust and verifiably safe around humans. This requires an integrated approach with RL to learn optimal policies for complex manipulation tasks\, control techniques to ensure stability of the system\, FM techniques to provide formal guarantees to ensure safety\, and techniques from human-robot interaction to learn from and interact with humans. \nThe aim of this multidisciplinary workshop is to bring these communities together to: \n\nIdentify key challenges and opportunities related to safe and robust exploration\, formal safety and stability guarantees of control systems\, safety in physical human-robot collaborative systems;\nProvide unique insights into how these challenges depend on the application\, desired system properties\, and complexity of the environment;\nPropose new and debate existing approaches to ensure desired properties of learned policies in a wide range of domains;\nDiscuss existing and new benchmarks to accelerate safe and robust RL research;\nDisseminate the outcomes of the workshop and publish the results as a perspectives article in one of the major robotics journals.\n\n \n  \nThere will be two interactive panel sessions\, one on Principles and understanding of RL algorithms and models and one on Benchmarks\, implementation\, and accelerating RL research. \nFor the full program\, please see\nhttps://rlconform-workshop.github.io/\n  \n 
URL:https://www.tecosa.center.kth.se/event/2nd-rl-conform-workshop-co-located-with-iros22/
CATEGORIES:Workshops
END:VEVENT
END:VCALENDAR