BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TECoSA - ECPv6.16.3//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:VTIMEZONE
TZID:Europe/Stockholm
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20221005T130000
DTEND;TZID=UTC:20221005T150000
DTSTAMP:20260612T184419
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:20221006T150000
DTEND;TZID=UTC:20221006T160000
DTSTAMP:20260612T184419
CREATED:20220915T124310Z
LAST-MODIFIED:20220915T125418Z
UID:5430-1665068400-1665072000@www.tecosa.center.kth.se
SUMMARY:TECoSA Seminar - Control Systems in the presence of Computational Problems
DESCRIPTION:We aim to bring you a TECoSA Seminar on the first Thursday of each month during term-time. For Autumn 2022\, the talks will be on-line or hybrid. All are welcome to attend and we look forward to some lively discussions.  Members can register via the invitations; non-members can register via email to tecosa-admin @kth . se\nOur October seminar is with Professor Martina Maggio from the Computer Science Department at Saarland University and also the Department of Automatic Control at Lund University. \nThe session will be given in via Zoom (https://kth-se.zoom.us/j/66857695267). \nABSTRACT:  Feedback control is pervasive in our lives\, as it often lays the foundation of technology we daily interface with. Control systems are at the core of the energy distribution infrastructure\, govern the behavior of vehicles\, and are embedded into household appliances like washing machines. Controllers usually use sensors\, that provide information about the physical environment\, to calculate the values that actuators should assume to fulfill specific requirements. For example\, adaptive cruise control systems use the throttle to automatically adjust the vehicle’s speed\, while maintaining a safe distance from vehicles ahead. \nThe actuator values are calculated using hardware and software. Hence\, the computation of the new control signals is subject to accidental faults\, systematic issues\, and software bugs. However\, in many cases\, these computational problems can safely be ignored. This talk will introduce the problem of analyzing the behavior of control software subject to computational problems\, and verifying when no corrective action is needed\, i.e.\, when the control software is able to fulfill the system requirements despite the presence of computational problems. \nBIO:  Martina Maggio is a Professor at the Computer Science Department\, Saarland University since March 2020 and also an Associate Professor at the Department of Automatic Control\, Lund University since 2017.  She completed her Ph.D. at Politecnico di Milano\, working with Alberto Leva on the applications of control-theoretical tools for the design of computing systems. During her Ph.D. she spent one year as a visiting graduate student at the Computer Science and Artificial Intelligence Laboratory at MIT\, working with Anant Agarwal and Hank Hoffmann on the Self-Aware Computing project.  In 2019\, she spent a sabbatical year at Bosch Corporate Research in Renningen\, Germany\, working with Dirk Ziegenbein and Arne Hamann on the verification and validation of control systems in presence of deadline misses and computational faults.
URL:https://www.tecosa.center.kth.se/event/5430/
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20221019T130000
DTEND;TZID=UTC:20221019T150000
DTSTAMP:20260612T184419
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:20260612T184419
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
BEGIN:VEVENT
DTSTART;TZID=Europe/Stockholm:20221024T160000
DTEND;TZID=Europe/Stockholm:20221024T180000
DTSTAMP:20260612T184419
CREATED:20221018T074510Z
LAST-MODIFIED:20221018T074518Z
UID:5510-1666627200-1666634400@www.tecosa.center.kth.se
SUMMARY:(online) Consultation Workshop on Edge AI  - KDT JU’s Focus Topic Call 2023
DESCRIPTION:As part of the preparation of KDT JU Work Programme and Call 2023\, a focus topic on Edge AI is under discussion. The work programme promotes focus topics notably in the context of delivering on national and European policy priorities such as digital leadership. \nThere will be a virtual open workshop on Monday 24th October 2022 (16:00 – 18:00) to get feedback from the ECS (electronic components and systems) community on our vision for this focus topic. The baseline of the workshop is a long-term strategy for a series of focus topics in this area\, as well as a specific draft text for Call 2023\, as it was prepared by a core team of experts gathered by the three industry associations that are partnering in the KDT JU. \nThe workshop is organized in two parts. The first part will include a general presentation of the workshop baseline and brief pitches by selected experts. The second part will open the debate with the audience. \nParticipation at the event is free of charge\, but registration is compulsory.  See: Consultation Workshop on Edge AI  – KDT JU’s Focus Topic Call 2023 | (europa.eu)
URL:https://www.tecosa.center.kth.se/event/online-consultation-workshop-on-edge-ai-kdt-jus-focus-topic-call-2023/
END:VEVENT
END:VCALENDAR