BEGIN:VCALENDAR BEGIN:VEVENT SUMMARY:PhD Defence Sung-Shik T.Q. Jongmans (FM) DTSTART:20160303T130000Z DTEND:20160303T150000Z UID:c98a470b-3dfc-4995-b24c-ac8ea00fae4e DESCRIPTION:Everybody is welcome to attend the public defense of Sung-Shik Jongmans of his thesis 'Automata-Theoretic Protocol Programming'. Promoto r: Prof.dr. Farhad Arbab\n\nLocation:\nAcademiegebouw\, Rapenburg 67-73 te Leiden LOCATION:Academiegebouw\, Rapenburg 67-73 te Leiden END:VEVENT BEGIN:VEVENT SUMMARY:CWI Lecture Professor Marta Kwiatkowska (University of Oxford) DTSTART:20170609T090000Z DTEND:20170609T100000Z UID:9173ba59-3140-4e00-89ab-2820df3a0c1a DESCRIPTION:We cordially invite you to attend the CWI lecture given by Pro fessor Marta Kwiatkowska (Fellow of Trinity College Department of Computer Science\, University of Oxford) entitled 'Safety Verification of Deep Ne ural Networks'.\n\nContact:\nSusanne van Dam\nsusanne@cwi.nl\n\nLocation:\ nRoom L120 at CWI\, Science Park 123 in Amsterdam LOCATION:Room L120 at CWI\, Science Park 123 in Amsterdam END:VEVENT BEGIN:VEVENT SUMMARY:PhD defence Julian Salamanca (FM) DTSTART:20180424T143000Z DTEND:20180424T160000Z UID:08bdf0c7-640e-43bb-bdec-1bf6441ea9c0 DESCRIPTION:Everyone is welcome to attend the public defence of Julian Sal amanca\n\nContact:\nSusanne van Dam\nsusanne@cwi.nl\n\nLocation:\nRadboud Universiteit\, Academiezaal\, Aula\, Comeniuslaan 2\, Nijmegen LOCATION:Radboud Universiteit\, Academiezaal\, Aula\, Comeniuslaan 2\, Nij megen END:VEVENT BEGIN:VEVENT SUMMARY:CWI symposium 'It's All About Coordination' in honour of Prof.dr. Farhad Arbab DTSTART:20180525T110000Z DTEND:20180525T163000Z UID:a9c6e9ba-0ed7-4e53-b5eb-e25f06c048b9 DESCRIPTION:CWI symposium: 'It's All About Coordination' on the occasi on of the retirement of prof.dr. Farhad Arbab. Everyone is cordially invit ed to attend this special event\n\nContact:\nSusanne van Dam\nSusanne.van. Dam@cwi.nl\n\nLocation:\nWCW Congress Center\, Turing room\, Science Park 123\, Amsterdam LOCATION:WCW Congress Center\, Turing room\, Science Park 123\, Amsterdam END:VEVENT BEGIN:VEVENT SUMMARY:Third International Workshop on the ABS Modeling Language and Tool s DTSTART:20190513T070000Z DTEND:20190515T110000Z UID:09f7d083-c714-4423-b191-2b328a1b3d89 DESCRIPTION:This informal workshop serves the purpose to present and discu ss the latest developments of the Abstract Behavioral Specification langua ge and related research on programming models and analysis. If you like to participate\, or give a presentation\, please send an email to the local organizer: F.S.de.Boer@cwi.nl as soon as possible.\n\nContact:\nFrank de B oer\nF.S.de.Boer@cwi.nl\n\nLocation:\nRoom L016/L017 at CWI\, Science Par k 123 in Amsterdam LOCATION:Room L016/L017 at CWI\, Science Park 123 in Amsterdam END:VEVENT BEGIN:VEVENT SUMMARY:16th International Conference on Formal Aspects of Component Softw are (FACS 2019) DTSTART:20191023T070000Z DTEND:20191025T150000Z UID:ac6e229c-b134-4e8a-8cbe-9a4408241726 DESCRIPTION:Call for Papers: FACS 2019 FACS 2019 is concerned with how for mal methods can be applied to component-based software and system developm ent. Formal methods have provided foundations for component-based software through research on mathematical models for components\, composition and adaptation\, and rigorous approaches to verification\, deployment\, testin g\, and certification. See website for more information.\n\nContact:\nSung -Shik Jongmans\nsee website\n\nLocation:\nRoom L016 at CWI\, Science Park 123 in Amsterdam LOCATION:Room L016 at CWI\, Science Park 123 in Amsterdam END:VEVENT BEGIN:VEVENT SUMMARY:PhD defence Keyvan Azadbakht (FM) DTSTART:20191211T101500Z DTEND:20191211T114500Z UID:78374a8a-109b-4221-b42c-ea8c16a0696f DESCRIPTION:Everyone is welcome to attend the public defence of Keyvan of his thesis 'Asynchronous Programming in the Abstract Behavioural Specifica tion Language'.\n\nLocation:\nSenate Chamber of the Academy building\, Rap enburg 73\, 2311GJ Leiden LOCATION:Senate Chamber of the Academy building\, Rapenburg 73\, 2311GJ Le iden END:VEVENT BEGIN:VEVENT SUMMARY:Workshop Dutch Secure Autonomous Cloud DTSTART:20201210T120000Z DTEND:20201210T150000Z UID:2f475616-bb47-420d-8531-f32630882226 DESCRIPTION:Join the interactive workshop around the Dutch Secure Autonomo us Cloud: a transparent\, national cloud with security guarantees for the processing and storage of confidential information. The workshop serves as the first step in developing an ambitious national project proposal. END:VEVENT BEGIN:VEVENT SUMMARY:Workshop Dutch Secure Autonomous Cloud DTSTART:20210114T120000Z DTEND:20210114T150000Z UID:a6594238-6435-456e-acd2-8ac1c0500382 DESCRIPTION:We are pleased to invite you to the interactive workshop “Du tch Secure Autonomous Cloud” (DUSAC) on 14 January 2021. The second edit ion of this workshop focusses specifically on the security needs and chall enges of various industry sectors like finance\, insurance\, software\, hi gh tech system integrators\, health\, etc. Representatives from these sect ors are cordially invited to attend and discuss their needs and challenges with academia and industry partners.\n\nContact:\nMarten van Dijk\nMarten .van.Dijk@cwi.nl END:VEVENT BEGIN:VEVENT SUMMARY:Amsterdam Coordination Group (ACG) Talk by Lisa Kohl DTSTART:20210727T113000Z DTEND:20210727T130000Z UID:2784a59c-1541-40ed-b979-89da6f54a3f3 DESCRIPTION:On 27 July 13:30 Lisa Kohl will give a talk titled Correlated Pseudorandom Functions from Variable-Density Learning Parity with Noise. J oin via Zoom.\n\nContact:\nBenjamin Lion\nb.lion@cwi.nl\n\nLocation:\nVia Zoom LOCATION:Via Zoom END:VEVENT BEGIN:VEVENT SUMMARY:Marten van Dijk in discussion with Tom Jessen at Cloud Security co ngress 2021 DTSTART:20211011T074500Z DTEND:20211011T153000Z UID:a3d1ee99-126f-4261-a27c-a05839ef3d58 DESCRIPTION:During the Cloud Security congress 2021\, Marten van Dijk (CWI ) will talk with Tom Jessen about 'The Future of Cloud Security' and the D utch Secure Autonomous Cloud (DUSAC) initiative to ensure future security of the cloud.\n\nLocation:\nThe Hague Conference Centre LOCATION:The Hague Conference Centre END:VEVENT BEGIN:VEVENT SUMMARY:ACG Talk by Yannick Foster from Saarland University DTSTART:20211130T123000Z DTEND:20211130T133000Z UID:6c8337b3-4022-45f9-a1bc-78d4ae9ff589 DESCRIPTION:On November 30\, we are glad to welcome Yannick Foster from Sa arland University for an ACG talk. Yannick investigates\, among other subj ects\, the analysis\, formalization\, and mechanization of computation in constructive type theory. Yannick Foster will give a talk about "Synthetic computability without choice". The talk starts at 1:30pm\, will be onlin e\, via Zoom\n\nContact:\nBenjamin Lion\nb.lion@cwi.nl\n\nLocation:\nhttps ://cwi-nl.zoom.us/j/85074346559?pwd=dXdZWVpHWXFuMlk4SEFqbFRzTGJOZz09 LOCATION:https://cwi-nl.zoom.us/j/85074346559?pwd=dXdZWVpHWXFuMlk4SEFqbFRz TGJOZz09 END:VEVENT BEGIN:VEVENT SUMMARY:Scientific meeting on remote verifiable computation DTSTART:20230217T120000Z DTEND:20230217T130000Z UID:40c37da8-a12b-4b6f-b106-e404df20289a DESCRIPTION:In this 2 in 1 presentation\, we introduce the Computer Securi ty group (CSY).\n\nLocation:\nL016 LOCATION:L016 END:VEVENT BEGIN:VEVENT SUMMARY:CWI Lectures on Secure Computation DTSTART:20251120T083000Z DTEND:20251120T170000Z UID:8a19745a-9510-4ea6-905a-6d4497d94e5b DESCRIPTION:In 2025\, the CWI Lectures are dedicated to the future of secu re computation. How we can harness data while protecting privacy and confi dentiality? The programme features distinguished speakers from MIT\, ETH Z urich\, KU Leuven and Dutch Universities. \nParticipation is free after re gistration.\n\nLocation:\nTuring Hall\, Congress Center\, Science Park 125 LOCATION:Turing Hall\, Congress Center\, Science Park 125 END:VEVENT END:VCALENDAR