Laboratory for Foundations of Computer Science

Activities

Activities per year 2007 2013 2016 2017 2018 2019 2021 2024

• 7 Invited talk
• 6 Editorial activity
• 5 Participation in conference
• 2 Public Engagement – Public lecture/debate/seminar
• 1 More
  • 1 Public Engagement – Schools engagement

Activities per year

Search results

• Coherence through normalisation-by-evaluation for cartesian closed bicategories

  Saville, P. (Invited speaker) & Fiore, M. (Contributor)

  12 Nov 2019

  Activity: Academic talk or presentation types › Invited talk

• A type theory for cartesian closed bicategories

  Saville, P. (Invited speaker) & Fiore, M. (Contributor)

  8 May 2019

  Activity: Academic talk or presentation types › Invited talk

• ASA2018 talk: Forging a Causal Chain Around the Circadian Clock, from Genome Sequence to Field Traits

  Millar, A. (Invited speaker), Zardilis, A. (Contributor), Urquiza Garcia, J. (Contributor), Hume, A. (Contributor), Muetzelfeldt, R. (Contributor) & Plotkin, G. (Contributor)

  5 Nov 2018

  Activity: Academic talk or presentation types › Invited talk

• Skew monoidal structure on categories of algebras

  Saville, P. (Invited speaker) & Fiore, M. (Contributor)

  28 Nov 2017

  Activity: Academic talk or presentation types › Invited talk

• List objects with algebraic structure

  Saville, P. (Invited speaker) & Fiore, M. (Contributor)

  23 May 2017

  Activity: Academic talk or presentation types › Invited talk

• Reasoning About Pattern-Based XML Queries

  Libkin, L. (Member)

  Jun 2013

  Activity: Academic talk or presentation types › Invited talk

• Finite validity via model checking: computing certain answers

  Libkin, L. (Speaker)

  2013

  Activity: Academic talk or presentation types › Invited talk