Activities per year
Activities
- 16 results
Search results
-
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
-
RoboChart and RoboSim Verified Simulation for Robotics
Woodcock, J. (Invited speaker)
13 Jun 2019Activity: Talk or presentation › Invited talk
File -
Keith Lines
Jim Woodcock (Host), Leonardo Freitas (Host) & Bill Scott (Host)
31 May 2019Activity: Hosting a visitor › Academic
-
Symposium on Unifying Theories of Programming 2019 (Event)
Jim Woodcock (Reviewer)
20 May 2019 → 24 May 2019Activity: Publication peer-review and editorial work › Publication peer review
-
Southwest University, Chongqing
Jim Woodcock (Advisor) & Zhiming Liu (Collaborator)
11 May 2019 → 15 May 2019Activity: Visiting an external institution › Academic
-
RoboStar: Engineering Verified Software for Robotics
Jim Woodcock (Chair)
10 May 2019Activity: Talk or presentation › Invited talk
File -
Southwest University, Chongqing
Jim Woodcock (Advisor) & Zhiming Liu (Collaborator)
8 May 2019 → 16 May 2019Activity: Visiting an external institution › Academic
-
DIGIT advisory board meeting (Event)
Jim Woodcock (Advisor)
7 May 2019Activity: Membership › Advisory Group
-
Foundations for Digital Twins
Jim Woodcock (Keynote/plenary speaker)
6 May 2019Activity: Talk or presentation › Invited talk
-
Aarhus Centre for Digital Twins
Jim Woodcock (Visitor) & Ana Lucia Caneca Cavalcanti (Visitor)
5 May 2019Activity: Other › Collaboration
-
Aarhus University, Aarhus, Denmark.
Jim Woodcock (Visitor), Ana Lucia Caneca Cavalcanti (Visitor) & Peter Gorm Larsen (Collaborator)
3 May 2019 → 7 May 2019Activity: Visiting an external institution › Academic
-
Engineering Robotic Swarms
Baxter, J. (Speaker), Ye, K. (Speaker), Redpath, R. A. (Other) & Timmis, J. I. (Speaker)
22 Mar 2019Activity: Other › Public engagement and outreach (general)
-
CyPhyAssure Spring School
Jim Woodcock (Participant)
19 Mar 2019 → 22 Mar 2019Activity: Participating in or organising an event › Seminar/workshop/course
-
Meeting of IFIP WG2.3 on Programming Methodology
Jim Woodcock (Organiser)
4 Feb 2019 → 8 Feb 2019Activity: Participating in or organising an event › Conference
File -
Huawei European Research Symposium
Jim Woodcock (Advisor)
16 Jan 2019 → 17 Jan 2019Activity: Participating in or organising an event › Symposium
File -
RoboScience: can using robots add up to a safer world?
Alvaro Miyazawa (Presenter), Pedro Fernando De Oliveira Salazar Ribeiro (Presenter), Simon David Foster (Presenter) & Wei Li (Presenter)
16 May 2018Activity: Other › Public engagement and outreach (general)