Spring 2021: 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
Schedule
- 05/02/2021 : Codensity Games for Bisimilarity by Shin-ya Katsumata
- Time: 9am-10am EST (2pm-3pm UTC)
- 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)
- 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)
- 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)
- Time: 1pm-2pm EST (6pm-7pm UTC)
- 05/03/2021 : Coupled Relational Symbolic Execution
by Marco Gaboardi
- Time: 2pm-3pm EST (7pm-8pm UTC)
- 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)
- 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)
- Time: 1pm-2pm EST (6pm-7pm UTC)
- 16/04/2021 : Quantitative Tauberian theorems by Thomas Powell
- Time: 1pm-2pm EDT (6pm-7pm UTC)
- 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)
- Time: 1pm-2pm EDT (6pm-7pm UTC)
- 30/04/2021 : Logical Relations As Types by Jon Sterling
- Time: 1pm-2pm EDT (6pm-7pm UTC)
- Time: 1pm-2pm EDT (6pm-7pm UTC)
- 07/05/2021 : Excel meets Lambda by Andy Gordon
- Time: 9am-10am EDT (1pm-2pm UTC)
- Time: 9am-10am EDT (1pm-2pm UTC)
- 14/05/2021 : Mathematical Structures in Dependent Type Theory by Assia Mahboubi
- Time: 9am-10am EDT (1pm-2pm UTC)
