Foundations of Computation

Activities

Activities per year 2007 2018 2021 2021

• 6 Editorial activity
• 3 Participation in conference
• 1 Invited talk

Activities per year

Search results

• ACM SIGMOD/PODS International Conference on Management Data

  Leonid Libkin (Chair), Reinhard Pichler (Chair) & Paolo Guagliardo (Chair)

  21 Jun 2021 → 23 Jun 2021

  Activity: Participating in or organising an event types › Participation in conference

• 36th Annual ACM/IEEE Symposium on Logic in Computer Science

  Daniele Gorla (Chair) & Leonid Libkin (Chair)

  29 Jun 2021 → 2 Jul 2021

  Activity: Participating in or organising an event types › Participation in conference

• Journal of Logical and Algebraic Methods in Programming (Journal)

  Vashti Galpin (Guest editor), Paolo Milazzo (Guest editor) & Anna Monreale (Guest editor)

  25 Oct 2019

  Activity: Publication peer-review and editorial work types › Editorial activity

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

  Andrew Millar (Invited speaker), Argyris Zardilis (Contributor), Jose Urquiza Garcia (Contributor), Alastair Hume (Contributor), Robert Muetzelfeldt (Contributor) & Gordon Plotkin (Contributor)

  5 Nov 2018

  Activity: Academic talk or presentation types › Invited talk

• 7th Workshop on Mathematically Structured Functional Programming (Event)

  Robert Atkey (Editor) & Sam Lindley (Editor)

  2018

  Activity: Publication peer-review and editorial work types › Editorial activity

• 22nd ACM SIGPLAN International Conference on Functional Programming (Event)

  Sam Lindley (Editor) & Brent Yorgey (Editor)

  2018

  Activity: Publication peer-review and editorial work types › Editorial activity

• 7th Workshop on Mathematically Structured Functional Programming (Event)

  Robert Atkey (Editor) & Sam Lindley (Editor)

  8 Jul 2018

  Activity: Publication peer-review and editorial work types › Editorial activity

• 2nd ACM SIGPLAN International Workshop on Type-Driven Development (Event)

  Sam Lindley (Editor) & Brent Yorgey (Editor)

  3 Sep 2017

  Activity: Publication peer-review and editorial work types › Editorial activity

• Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Journal)

  Vassilis Zikas (Peer reviewer) & Roberto De Prisco (Peer reviewer)

  1 Sep 2016

  Activity: Publication peer-review and editorial work types › Editorial activity

• 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems

  Leonid Libkin (Chair)

  11 Jun 2007 → 14 Jun 2007

  Activity: Participating in or organising an event types › Participation in conference