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 this Youtube playlist

Past Editions

Fall 2020

Schedule

05/02/2021 : Codensity Games for Bisimilarity by Shin-ya Katsumata
- Time: 9am-10am EST (2pm-3pm UTC)
12/02/2021 : Relational Programming in miniKanren: Program Synthesis, Treating Rare Diseases, and More! by William Byrd
- Time: 1pm-2pm EST (6pm-7pm UTC)
19/02/2021 : Number-theoretic methods in quantum computing by Peter Selinger
- Time: 1pm-2pm EST (6pm-7pm UTC)
26/02/2021 : Skew X categories and structural proof theory by Tarmo Uustalu
- Time: 1pm-2pm EST (6pm-7pm UTC)
05/03/2021 : Coupled Relational Symbolic Execution by Marco Gaboardi
- Time: 2pm-3pm EST (7pm-8pm UTC)
26/03/2021 : Extending Homotopy Type Theory with Linear Type Formers by Mitchell Riley
- Time: 9am-10am EST (2pm-3pm UTC)
02/04/2021 : Coinductive Equivalences for Higher-order Coeffectful Languages by Francesco Gavazzo
- Time: 1pm-2pm EST (6pm-7pm UTC)
16/04/2021 : Quantitative Tauberian theorems by Thomas Powell
- Time: 1pm-2pm EDT (6pm-7pm UTC)
23/04/2021 : On Higher-Order Cryptography by Ugo Dal Lago
- Time: 1pm-2pm EDT (6pm-7pm UTC)
30/04/2021 : Logical Relations As Types by Jon Sterling
- Time: 1pm-2pm EDT (6pm-7pm UTC)
07/05/2021 : Excel meets Lambda by Andy Gordon
- Time: 9am-10am EDT (1pm-2pm UTC)
14/05/2021 : TBA by Assia Mahboubi
- Time: 9am-10am EDT (1pm-2pm UTC)