Activities per year
Activities
- 50 - 59 out of 59 results
Search results
-
Software Language Engineering
L. Thomas van Binsbergen (Speaker)
5 Nov 2018Activity: Participating in or organising an event › Participation in conference
File -
Statistical Learning and Data Sciences (SLDS)
Giovanni Cherubin (Speaker)
2015Activity: Participating in or organising an event › Participation in conference
-
Strachey 100
L. Thomas van Binsbergen (Participant)
19 Nov 2016Activity: Participating in or organising an event › Participation in conference
-
The International Conference on Networked Systems
Matthew Hague (Member of programme committee)
19 May 2021 → 21 May 2021Activity: Participating in or organising an event › Participation in conference
-
The Seventh International Conference on Computational Creativity (ICCC2016)
Claudia-Elena Chirita (Speaker)
26 Jun 2016 → 1 Jul 2016Activity: Participating in or organising an event › Participation in conference
-
Tool Support for Component-Based Semantics - NWPT 2015
L. Thomas van Binsbergen (Speaker)
Oct 2015 → …Activity: Participating in or organising an event › Participation in conference
File -
Twelfth International Workshop on Neural-Symbolic Learning and Reasoning
Claudia-Elena Chirita (Participant)
17 Jul 2017 → 18 Jul 2017Activity: Participating in or organising an event › Participation in conference
-
Working Formal Methods Symposium
Claudia-Elena Chirita (Speaker)
5 Jul 2017 → 8 Jul 2017Activity: Participating in or organising an event › Participation in conference
-
Young Researchers Workshop on Concurrency Theory
Matthew Hague (Member of programme committee)
3 Sept 2018Activity: Participating in or organising an event › Participation in conference