BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TECoSA - ECPv6.17.2//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:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20230901T130000
DTEND;TZID=UTC:20230901T170000
DTSTAMP:20230825T061051Z
CREATED:20230504T104329Z
LAST-MODIFIED:20230825T061051Z
UID:6456-1693573200-1693587600@www.tecosa.center.kth.se
SUMMARY:TECoSA 13th Quarterly Meeting and Testbeds Inauguration
DESCRIPTION:On Friday 1 September\, TECoSA will host it’s 13th Quarterly Meeting\, starting with the official Testbeds Inauguration.  An Outlook invitation has been circulated to TECoSA members and special guests!  The plan for the afternoon is given below. \nFor more information\, please contact Martin Törngren (martint@kth.se) or James Gross (jamesgr@kth.se). \nPart 1: 13.00-15.00 – TECoSA Testbeds Inauguration \nThe indoor testbed in R1.\nVenue: KTH R1 Reactor Hall\, Drottning Kristinas väg 51 \nPreliminary Agenda: \n\n13.00: Welcome and Introductions\n13.25:  Panel Debate with starting position statements from the industrial and academic representatives\n14.15: Testbed visits (indoor and outdoor) and Demos\n15.30: Inauguration closes\n\nPart 2: 15.13-17.00 – TECoSA Workshop on the new projects and the way forward \n\n15.30: TECoSA 2.0 – updates and Intro to the Workshop\n15.45: Work in groups per project: SMEDE\, CART and COLA\n16.30: Plenary brief summaries\, results from work groups
URL:https://www.tecosa.center.kth.se/event/tecosa-13th-quarterly-meeting-and-testbeds-inauguration/
CATEGORIES:Talks,Workshops
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230919
DTEND;VALUE=DATE:20230923
DTSTAMP:20221213T144819Z
CREATED:20221213T144819Z
LAST-MODIFIED:20221213T144819Z
UID:5581-1695081600-1695427199@www.tecosa.center.kth.se
SUMMARY:SAFECOMP 2023 - CFP Computer Safety\, Reliability and Security
DESCRIPTION:The 42nd International Conference on Computer Safety\, Reliability and Security takes place 19-22 September 2023\, in Toulouse\, France.\nThe SAFECOMP Conference Series offers a platform for knowledge and technology transfer between academia\, industry\, research institutions and standardization bodies in the areas of safety\, reliability and security regarding critical computer applications. It provides ample opportunity to exchange insights and experience on emerging methods and practical applications across the borders of different disciplines. \nFor submission information and all further details\, please see https://safecomp2023.cnrs.fr\nImportant Dates:\nWorkshop proposal submission: 5 February 2023 \nAbstract submission: 6 February 2023\nFull paper submission: 13 February 2023\nNotification of acceptance: 22 April 2023\nCamera-ready submission: 1 June 2023 \nTopics and Application Domains:\nThe conference covers all aspects related to the development\, assessment\, operation and maintenance of safety-related and safety-critical computer systems.   Topics include\, but are not limited to:\n* Fault-tolerant and resilient hardware and software architectures\n* Fault detection and recovery mechanisms\n* Distributed and real-time monitoring and control\n* Security and privacy protection mechanisms for safety applications\n* Safety/security risk assessment\n* Model-based analysis\, design\, and assessment\n* Formal methods for verification\, validation\, and fault tolerance\n* Probabilistic verification and validation\n* In-the-loop and model-based testing\n* Validation and verification methodologies and tools\n* Methods for qualification\, assurance and certification\n* Compositional verification and certification\n* Architecture-driven assurance of safety and security\n* Dependability analysis using simulation and experimental measurement\n* Cyber-physical threats and vulnerability analysis\n* Safety guidelines\, standards and certification\n* Safety and security interactions and tradeoffs\n* Safety and security cases\n* Multi-concern dependability assurance and standardization\n* Safety-related application of technology trends (e.g. AI\, Edge and cloud computing\, Digital twin\, 5G and 6G\, Big data analytics\, IoT and IIoT) \nDomains of application include (but are not limited to):\n* Railways\, automotive\, space\, avionics\, nuclear and process industries\n* Autonomous systems\, advanced robotics\, construction engines and off-road vehicles\n* Telecommunication and networks\n* Critical infrastructures\, smart grids\, SCADA\n* Medical devices and healthcare\n* Defense\, emergency & rescue\n* Logistics\, industrial automation\, off-shore technology \nMore about SAFECOMP\nSAFECOMP was established in 1979 by the European Workshop on Industrial Computer Systems\, Technical Committee 7 on Reliability\, Safety and Security (EWICS TC7). Since then\, it has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. \nSAFECOMP is an annual event covering the state-of-the-art\, experience and new trends in the areas of safety\, security and reliability of critical computer applications. \nSAFECOMP provides ample opportunity to exchange insights and experience on emerging methods\, approaches and practical solutions. It is a single track conference without parallel sessions\, allowing easy networking. \nFor submission information and all further details\, please see https://safecomp2023.cnrs.fr
URL:https://www.tecosa.center.kth.se/event/safecomp-2023-cfp-computer-safety-reliability-and-security/
CATEGORIES:Workshops
END:VEVENT
END:VCALENDAR