Katie Dey

TypePostAuthorRepliesLast updated
PageDesign Studios Katie Dey05 hours 56 min ago
PageHCSS 2020 Program Agenda Katie Dey02 days 10 hours ago
File2020 High Confidence Software and Systems (HCSS) Program Booklet Katie Dey03 days 9 hours ago
FileMemory Bugs Classes in BF-handouts-HCSS2020 Katie Dey05 days 9 hours ago
PageHigh Confidence Software and Systems Conference Katie Dey06 days 23 hours ago
WebformFill Out and Submit the Following to Register for the 2020 HCSS Conference (Virtual) Katie Dey01 week 1 hour ago
PageFormal Methods at Scale Overview Katie Dey01 week 1 day ago
PageHCSS Draft Schedule of Events Katie Dey01 week 1 day ago
FileProgramming with Proofs - C3E - Sep 11, 2020.pptx Katie Dey01 week 1 day ago
Webform2020 High Confidence Software and Systems Questionnaire Katie Dey01 week 2 days ago
PageHCSS 2020 Video Instructions for Presenters Katie Dey01 week 2 days ago
PageHCSS 2020 Program Committee Katie Dey01 week 2 days ago
PageUndergraduate Research Opportunity Katie Dey01 week 2 days ago
PageResearch Seminars - 2020 Katie Dey01 week 2 days ago
PageVirtual Conference Venue Katie Dey01 week 4 days ago
PageConfiguring a Tool for Launch Katie Dey01 week 5 days ago
PageHCSS Conference 2020: Video Instructions for Presenters Katie Dey01 week 6 days ago
PageSaTC 2025 Program Agenda Katie Dey02 weeks 2 days ago
PageC3E 2020 Homepage Katie Dey02 weeks 4 days ago
PageISIS Summer Internship Program Katie Dey02 weeks 4 days ago
PageHotSoS Code of Conduct Katie Dey02 weeks 4 days ago
PageHotSoS 2020 Virtual Symposium Video Instructions for Presenters Katie Dey02 weeks 5 days ago
PageSecurity Reports Katie Dey02 weeks 6 days ago
PageSecurity Workshops & Conferences [Pane] Katie Dey02 weeks 6 days ago
PageHCSS 2020 Call for Presentations Katie Dey03 weeks 2 days ago