CCS Colloquium
Description
This is the schedule for the School of Computer and Cyber Sciences (CCS) Colloquium Series. This course brings weekly researchers in CCS related areas to Augusta University to introduce their work, and provide an opportunity for networking.
This semester the seminar is completely online, and thus, we will be opening the talks up to the wider research community.
This page will be updated with the details of each talk including their abstracts.
Format
Each talk will be over Zoom. If you are interested in attending one of the presentations please RSVP a few days in advance by sending Harley Eades an email.
Videos
All of the talks are recorded and posted on Youtube
Past Editions
Schedule
- 03/09/2021 : Session Logical Relations for Noninterference
by Stephanie Balzer
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- 10/09/2021 : Adjoint Reactive GUI programming
by Neel Krishnaswami
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- 17/09/2021 : SCCS Lightening Talks
- Time: 12pm-12:30pm EDT (4pm-4:30pm UTC)
- Time: 12pm-12:30pm EDT (4pm-4:30pm UTC)
- 24/09/2021 : On Turing machines with syntactic restrictions
by Keisuke Nakano
- Time: ⚠ 9am-10am EDT (2-3pm UTC) ⚠️
- Time: ⚠ 9am-10am EDT (2-3pm UTC) ⚠️
- 01/10/2021 : SCCS Lightning Talk Series
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- 15/10/2021 : SCCS Lightning Talk Series
- Time: 2:30pm-3:30pm EDT (6:30pm-7:30pm UTC)
- Time: 2:30pm-3:30pm EDT (6:30pm-7:30pm UTC)
- 22/10/2021 : On Turing machines with syntactic restrictions
by Keisuke Nakano
- Time: ⚠ 9am-10am EDT (2-3pm UTC) ⚠️
- Time: ⚠ 9am-10am EDT (2-3pm UTC) ⚠️
- 29/10/2021 : P, NP, and Pspace without machine models
by Isabel Oitavem
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- 05/11/2021 : Tight Polynomial Worst-Case Bounds for Loop Programs
by Geoff Hamilton
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- Time: 1pm-2pm EDT (5pm-6pm UTC)
- 12/11/2021 : Integrating Usability into Programming Language Design by Jonathan Aldrich
- Time: 1pm-2pm EST (6pm-7pm UTC)
- Time: 1pm-2pm EST (6pm-7pm UTC)
- 15/11/2021 : Distinguished Speaker Series
by Dr. Kim-Kwang Raymond Choo
- Time: 1pm-2pm EST (6pm-7pm UTC)
- Time: 1pm-2pm EST (6pm-7pm UTC)
- 29/11/2021 : Distinguished Speaker Series
by Dr. Scott A. Smolka
- Time: 1pm-2pm EST (6pm-7pm UTC)
- Time: 1pm-2pm EST (6pm-7pm UTC)
- 03/12/2021 : Discovering Vulnerabilities in ePassports using Bisimilarity
by Ross Horne
- Time: 1pm-2pm EST (6pm-7pm UTC)
