Activities per year
Activities
- 4 results
Search results
-
The Operational Semantics of Programs - Cake Talk CS Department
L. Thomas van Binsbergen (Speaker)
15 Mar 2017Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
File -
The Fundamental Constructs of Homogeneous Generative Meta-Programming
L. Thomas van Binsbergen (Speaker)
17 Jan 2018Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
File -
The annotation of protocol sequencing steps in the Sequence Read Archive - Cake Talk, CS Department
Jamie Alnasir (Participant)
4 Feb 2014Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
-
Alice in Logicland
Claudia-Elena Chirita (Speaker)
27 Nov 2015Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar