Activities per year
- 200 - 250 out of 1,437 results
Search results
-
Women in Mathematics: Opportunities for the future Conference, University of Bristol
Kahrobaei, D. (Chair)
4 Nov 2019 → 6 Nov 2019Activity: Talk or presentation › Invited talk
-
RoboSoft: software engineering for robotics
Habli, I. (Invited speaker)
Nov 2019Activity: Talk or presentation › Debate
-
Invited Keynote: Network Econo-physics for Financial Market Analysis
Hancock, E. R. (Keynote/plenary speaker)
28 Oct 2019Activity: Talk or presentation › Invited talk
-
The Effect of Power-Ups on Player Experience in Digital Games
Denisova, A. (Speaker)
23 Oct 2019Activity: Talk or presentation › Talk
-
The ACM Annual Symposium on Computer-Human Interaction in Play
Denisova, A. (Committee member)
22 Oct 2019 → 25 Oct 2019Activity: Participating in or organising an event › Conference
-
The American Mathematical Society, What's New in Group Theory
Kahrobaei, D. (Chair)
12 Oct 2019 → 13 Oct 2019Activity: Talk or presentation › Invited talk
-
Royal Society of Statistics, Statistics in Cyber Security
Kahrobaei, D. (Chair)
3 Oct 2019Activity: Talk or presentation › Invited talk
-
Jury at Ecole Normale Superieur Paris, France, Department of Informatics
Kahrobaei, D. (Examiner (external))
13 Sept 2019Activity: Examination › PhD
-
-
Third Workshop on String Diagrams in Computation, Logic and Physics (STRINGS 2019)
Plump, D. (Invited speaker)
5 Sept 2019 → 6 Sept 2022Activity: Talk or presentation › Invited talk
-
29th International Conference on Inductive Logic Programming
Kazakov, D. L. (Chair)
3 Sept 2019 → 5 Sept 2019Activity: Participating in or organising an event › Conference
-
SPRITE+ (External organisation)
Shahandashti, S. (Advisor)
Sept 2019 → …Activity: Membership › Advisory Group
-
6th International Conference on Computational Science and Technology
Soares Indrusiak, L. (Keynote/plenary speaker)
30 Aug 2019Activity: Talk or presentation › Invited talk
-
University of Ottawa, Canada
Kahrobaei, D. (Advisor)
5 Aug 2019 → 10 Aug 2019Activity: Visiting an external institution › Academic
-
Quantum Security Seminar, University of Ottawa, Canada
Kahrobaei, D. (Chair)
5 Aug 2019Activity: Talk or presentation › Invited talk
-
20th International Conference on Cryptology in India (Event)
Fayyaz Shahandashti, S. (Member)
Aug 2019 → Oct 2019Activity: Publication peer-review and editorial work › Membership of peer review panel or committee
-
Workshop on Requirements Modelling for Cyber-Physical Systems
Woodcock, J. (Advisor)
22 Jul 2019 → 24 Jul 2019Activity: Participating in or organising an event › Seminar/workshop/course
-
-
10th International Workshop on Graph Computation Models
Plump, D. (Chair)
17 Jul 2019Activity: Participating in or organising an event › Seminar/workshop/course
-
12th International Conference on Graph Transformation
Plump, D. (Member of programme committee)
15 Jul 2019 → 16 Jul 2019Activity: Participating in or organising an event › Conference participation
-
Lazard Financial Firm Data Science Sector, New York, USA
Kahrobaei, D. (Chair)
1 Jul 2019Activity: Talk or presentation › Invited talk
-
International Robotics Showcase by EPSRC UK-RAS NETWORK
Cavalcanti, A. L. C. (Advisor), Post, M. A. (Participant), Mitchell, P. D. (Participant) & Woolley, R. (Participant)
27 Jun 2019Activity: Participating in or organising an event › Seminar/workshop/course
-
Automated Approaches for Formal Verification of Embedded Systems Artifacts
Woodcock, J. (Examiner (external))
17 Jun 2019Activity: Examination › PhD
-
Towards Integrating Agile Software Development and Model-Driven Development
Matragkas, N. (Examiner (external))
13 Jun 2019Activity: Examination › PhD
-
RoboChart and RoboSim Verified Simulation for Robotics
Woodcock, J. (Invited speaker)
13 Jun 2019Activity: Talk or presentation › Invited talk
File -
Conference on Semigroups and Groups, Automata, Logics (SandGAL19), Milano, Italy
Kahrobaei, D. (Chair)
10 Jun 2019 → 13 Jun 2019Activity: Talk or presentation › Invited talk
-
IEEE International Conference on Embedded Software and Systems (ICESS)
Chang, W. (Chair)
3 Jun 2019 → 5 Jun 2019Activity: Participating in or organising an event › Conference
-
UCNC 2019, Tokyo, Japan, June 2019
O'Keefe, S. (Participant)
Jun 2019Activity: Participating in or organising an event › Conference
-
Keith Lines
Woodcock, J. (Host), Freitas, L. (Host) & Scott, B. (Host)
31 May 2019Activity: Hosting a visitor › Academic
-
8th Applied Algebra and Geometry Meeting, Glasgow
Kahrobaei, D. (Chair)
30 May 2019 → 31 May 2019Activity: Talk or presentation › Invited talk
-
Cyber Security in the Public Sector: An exchange of ideas, Joint event New Statesman and Cisco
Kahrobaei, D. (Chair)
30 May 2019Activity: Talk or presentation › Debate
-
Newcastle University
Woodcock, J. (Advisor), Rajah, A. (Collaborator), Jones, C. (Collaborator) & Cooke, J. (Collaborator)
30 May 2019Activity: Visiting an external institution › Academic
-
Internet of Things and the ever changing privacy landscape, Reed Smith LLP Law Firm, Persian Women in Tech Event, London
Kahrobaei, D. (Chair)
22 May 2019Activity: Talk or presentation › Debate
-
Topics in robotics
Woodcock, J. (Chair)
20 May 2019 → 22 May 2019Activity: Talk or presentation › Public lecture
-
Symposium on Unifying Theories of Programming 2019 (Event)
Woodcock, J. (Reviewer)
20 May 2019 → 24 May 2019Activity: Publication peer-review and editorial work › Publication peer review
-
Tutorial on Isabelle/UTP
Ye, K. (Speaker) & Liu, Z. (Chair)
14 May 2019 → 15 May 2019Activity: Talk or presentation › Workshop
-
Southwest University, Chongqing
Woodcock, J. (Advisor) & Liu, Z. (Collaborator)
11 May 2019 → 15 May 2019Activity: Visiting an external institution › Academic
-
RoboStar: Engineering Verified Software for Robotics
Woodcock, J. (Chair)
10 May 2019Activity: Talk or presentation › Invited talk
File -
Southwest University, Chongqing
Woodcock, J. (Advisor) & Liu, Z. (Collaborator)
8 May 2019 → 16 May 2019Activity: Visiting an external institution › Academic
-
DIGIT advisory board meeting (Event)
Woodcock, J. (Advisor)
7 May 2019Activity: Membership › Advisory Group
-
Foundations for Digital Twins
Woodcock, J. (Keynote/plenary speaker)
6 May 2019Activity: Talk or presentation › Invited talk
-
Aarhus Centre for Digital Twins
Woodcock, J. (Visitor) & Cavalcanti, A. L. C. (Visitor)
5 May 2019Activity: Other › Collaboration
-
Mapping Theoretical and Methodological Perspectives for Understanding Speech Interface Interactions Workshop
Denisova, A. (Participant)
5 May 2019Activity: Participating in or organising an event › Seminar/workshop/course
-
Aarhus University, Aarhus, Denmark.
Woodcock, J. (Visitor), Cavalcanti, A. L. C. (Visitor) & Larsen, P. G. (Collaborator)
3 May 2019 → 7 May 2019Activity: Visiting an external institution › Academic
-
Not-Equal (UKRI NetworkPlus)
Fayyaz Shahandashti, S. (Reviewer)
May 2019Activity: Other › Peer review of research grants
-
Newton Prize
Fayyaz Shahandashti, S. (Reviewer)
May 2019Activity: Other › Peer review of research grants
-
27th International Conference on Real-Time Networks and Systems
Davis, R. I. (Member of programme committee)
May 2019 → Jun 2019Activity: Participating in or organising an event › Conference
-
Intermediate Habilitation Examination of Dr Mario Gleirscher
Woodcock, J. (Examiner (external)), Nipkow, T. (Examiner (internal)), Gleirscher, M. (Examinee) & Stolen, K. (Examiner (external))
25 Apr 2019Activity: Examination › Other
-
Tech: Comparison & Cooperation between the US & UK, Joint event Parliamentary Internet, Communications and Technology Forum (London) in partnership with Global Women's Innovation Network (DC)
Kahrobaei, D. (Chair)
16 Apr 2019Activity: Talk or presentation › Debate
-
Association for the Study of Animal Behaviour (ASAB) 2019 Easter Conference
Franks, D. W. (Advisor)
3 Apr 2019 → 5 Apr 2019Activity: Participating in or organising an event › Conference