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 : TBA by by Marco Gaboardi
  • Time: 1pm-2pm EST (6pm-7pm UTC)
    
    
• 12/03/2021 : TBA
  • Time: 1pm-2pm EST (6pm-7pm UTC)
    
    
• 19/03/2021 : TBA
  • Time: 1pm-2pm EST (6pm-7pm UTC)
    
    
• 26/03/2021 : TBA by Mitchell Riley
  • Time: 9am-10am EST (2pm-3pm UTC)
    
    
• 02/04/2021 : TBA by TBA
  • Time: 1pm-2pm EST (6pm-7pm UTC)
    
    
• 16/04/2021 : TBA
  • Time: 1pm-2pm EST (6pm-7pm UTC)
    
    
• 23/04/2021 : TBA
  • Time: 1pm-2pm EST (6pm-7pm UTC)
    
    
• 30/04/2021 : TBA
  • Time: 1pm-2pm EST (6pm-7pm UTC)
    
    
• 07/05/2021 : TBA
  • Time: 1pm-2pm EST (6pm-7pm UTC)