Activities per year
- 17 results
Search results
-
Tutorial on Isabelle/UTP
Kangfeng Ye (Speaker) & Zhiming Liu (Chair)
14 May 2019 → 15 May 2019Activity: Talk or presentation › Workshop
-
15th International Workshop on Real-Time Networks
Leandro Soares Indrusiak (Keynote/plenary speaker)
27 Jun 2017Activity: Talk or presentation › Workshop
-
Invited Keynote: 17th International Workshop on Combinatorial Image Analysis (Plovdiv Bulgaria)
Edwin R Hancock (Keynote/plenary speaker)
19 Jun 2017 → 21 Jun 2017Activity: Talk or presentation › Workshop
-
Keynote talk on ""On the Evaluation of Schedulability Tests for Real-Time Scheduling Algorithms ” in the International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) 2016
Robert Ian Davis (Invited speaker)
5 Jul 2016Activity: Talk or presentation › Workshop
-
12th European Workshop on Performance Engineering
Leandro Soares Indrusiak (Keynote/plenary speaker)
1 Sept 2015Activity: Talk or presentation › Workshop
-
NIST-UMD Workshop on Quantum Information and Computer Science
Samuel Leon Braunstein (Invited speaker)
Apr 2014Activity: Talk or presentation › Workshop
-
3rd Embedded Operating Systems Workshop (EWiLi 2013)
Robert Ian Davis (Keynote/plenary speaker)
2013Activity: Talk or presentation › Workshop
-
Unconditional security of two-way quantum cryptography
Stefano Pirandola (Invited speaker)
Apr 2012Activity: Talk or presentation › Workshop
-
2nd IEEE International Workshop on Stochastic Image Grammars
Edwin R Hancock (Keynote/plenary speaker)
12 Nov 2011Activity: Talk or presentation › Workshop
-
PASCAL Workshop on Applications of Pattern Analysis
Edwin R Hancock (Keynote/plenary speaker)
1 Oct 2010Activity: Talk or presentation › Workshop
-
RCUK Workshop on Cloud Computing for Research
Jim Austin (Invited speaker)
2010Activity: Talk or presentation › Workshop
-
A tutorial on logic-based approaches to SRL
James Cussens (Invited speaker)
2009Activity: Talk or presentation › Workshop
-
Workshop on Spectral Graph Theory
Edwin R Hancock (Keynote/plenary speaker)
1 Dec 2008 → 4 Dec 2008Activity: Talk or presentation › Workshop
-
KI 2007 Workshop on Learning from Non-Vectorial Data
Edwin R Hancock (Keynote/plenary speaker)
7 Sept 2007Activity: Talk or presentation › Workshop
-
DEICS III Workshop
Samuel Leon Braunstein (Invited speaker)
Mar 2006Activity: Talk or presentation › Workshop
-
Workshop on Transport, Dissipation and Control in Quantum Devices
Samuel Leon Braunstein (Keynote/plenary speaker)
Jan 2006Activity: Talk or presentation › Workshop
-
Workshop of Syntactic and Structural Pattern Recognition
Edwin R Hancock (Keynote/plenary speaker)
7 Aug 2002Activity: Talk or presentation › Workshop