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)
10/09/2021 : Adjoint Reactive GUI programming by Neel Krishnaswami
- Time: 1pm-2pm EDT (5pm-6pm UTC)
17/09/2021 : SCCS Lightening Talks
- 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) ⚠️
01/10/2021 : SCCS Lightning Talk Series
- 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)
22/10/2021 : On Turing machines with syntactic restrictions by Keisuke Nakano
- 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)
05/11/2021 : Tight Polynomial Worst-Case Bounds for Loop Programs by Geoff Hamilton
- Time: 1pm-2pm EDT (5pm-6pm UTC)
12/11/2021 : TBA by Jonathan Aldrich
- Time: 1pm-2pm EDT (5pm-6pm UTC)
15/11/2021 : Distinguished Speaker Series by Dr. Kim-Kwang Raymond Choo
- Time: 1pm-2pm EDT (5pm-6pm UTC)
03/12/2021 : TBA by Ross Horne
- Time: 1pm-2pm EDT (5pm-6pm UTC)