Activities per year
- 200 - 250 out of 1,415 results
Search results
-
Automated Approaches for Formal Verification of Embedded Systems Artifacts
Jim Woodcock (Examiner (external))
17 Jun 2019Activity: Examination › PhD
-
Towards Integrating Agile Software Development and Model-Driven Development
Nikolaos Matragkas (Examiner (external))
13 Jun 2019Activity: Examination › PhD
-
RoboChart and RoboSim Verified Simulation for Robotics
Jim Woodcock (Invited speaker)
13 Jun 2019Activity: Talk or presentation › Invited talk
File -
Conference on Semigroups and Groups, Automata, Logics (SandGAL19), Milano, Italy
Delaram Kahrobaei (Chair)
10 Jun 2019 → 13 Jun 2019Activity: Talk or presentation › Invited talk
-
IEEE International Conference on Embedded Software and Systems (ICESS)
Wanli Chang (Chair)
3 Jun 2019 → 5 Jun 2019Activity: Participating in or organising an event › Conference
-
UCNC 2019, Tokyo, Japan, June 2019
Simon O'Keefe (Participant)
Jun 2019Activity: Participating in or organising an event › Conference
-
Keith Lines
Jim Woodcock (Host), Leonardo Freitas (Host) & Bill Scott (Host)
31 May 2019Activity: Hosting a visitor › Academic
-
8th Applied Algebra and Geometry Meeting, Glasgow
Delaram Kahrobaei (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
Delaram Kahrobaei (Chair)
30 May 2019Activity: Talk or presentation › Debate
-
Newcastle University
Jim Woodcock (Advisor), Adam Rajah (Collaborator), Cliff Jones (Collaborator) & John Cooke (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
Delaram Kahrobaei (Chair)
22 May 2019Activity: Talk or presentation › Debate
-
Topics in robotics
Jim Woodcock (Chair)
20 May 2019 → 22 May 2019Activity: Talk or presentation › Public lecture
-
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
-
Tutorial on Isabelle/UTP
Kangfeng Ye (Speaker) & Zhiming Liu (Chair)
14 May 2019 → 15 May 2019Activity: Talk or presentation › Workshop
-
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
-
Mapping Theoretical and Methodological Perspectives for Understanding Speech Interface Interactions Workshop
Alena Denisova (Participant)
5 May 2019Activity: Participating in or organising an event › Seminar/workshop/course
-
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
-
27th International Conference on Real-Time Networks and Systems
Robert Ian Davis (Member of programme committee)
May 2019 → Jun 2019Activity: Participating in or organising an event › Conference
-
Newton Prize
Siamak Fayyaz Shahandashti (Reviewer)
May 2019Activity: Other › Peer review of research grants
-
Not-Equal (UKRI NetworkPlus)
Siamak Fayyaz Shahandashti (Reviewer)
May 2019Activity: Other › Peer review of research grants
-
Intermediate Habilitation Examination of Dr Mario Gleirscher
Jim Woodcock (Examiner (external)), Tobias Nipkow (Examiner (internal)), Mario Gleirscher (Examinee) & Ketil Stolen (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)
Delaram Kahrobaei (Chair)
16 Apr 2019Activity: Talk or presentation › Debate
-
Association for the Study of Animal Behaviour (ASAB) 2019 Easter Conference
Daniel Wayne Franks (Advisor)
3 Apr 2019 → 5 Apr 2019Activity: Participating in or organising an event › Conference
-
International Conference on Privacy, Security and Trust (Event)
Siamak Fayyaz Shahandashti (Member)
Apr 2019 → Jun 2019Activity: Publication peer-review and editorial work › Membership of peer review panel or committee
-
Cyber Security Seminar, University of Kent
Delaram Kahrobaei (Chair)
29 Mar 2019Activity: Talk or presentation › Invited talk
-
Tutorial on Architecting Trustworthy Self-Adaptive Systems at International Conference on Software Architecture 2019
Simos Gerasimou (Organiser), Radu Constantin Calinescu (Organiser) & Danny Weyns (Organiser)
26 Mar 2019Activity: Participating in or organising an event › Seminar/workshop/course
-
Engineering Robotic Swarms
James Baxter (Speaker), Kangfeng Ye (Speaker), Richard Alan Redpath (Other) & Jonathan Ian Timmis (Speaker)
22 Mar 2019Activity: Other › Public engagement and outreach (general)
-
Group Theory Seminar, Universidad Autonoma de Madrid, Spain
Delaram Kahrobaei (Chair)
19 Mar 2019Activity: Talk or presentation › Invited talk
-
CyPhyAssure Spring School
Jim Woodcock (Participant)
19 Mar 2019 → 22 Mar 2019Activity: Participating in or organising an event › Seminar/workshop/course
-
Formal Methods Past, Present, and Future
Jim Woodcock (Keynote/plenary speaker)
19 Mar 2019 → 20 Mar 2019Activity: Talk or presentation › Invited talk
File -
Mini course Group-based Cryptography, Universidad Autonoma de Madrid
Delaram Kahrobaei (Chair)
18 Mar 2019 → 20 Mar 2019Activity: Talk or presentation › Lecture
-
Indian Institute of Science
Jim Woodcock (Visitor), Deepak D'Souza (Collaborator) & Meenakshi D'Souza (Collaborator)
4 Mar 2019 → 9 Apr 2019Activity: Visiting an external institution › Academic
-
Mathematics Colloquium, Jacobs University Bremen, Germany
Delaram Kahrobaei (Chair)
14 Feb 2019Activity: Talk or presentation › Symposium
-
Conference on Groups, Automata, Graphs, Technische Universität Graz, Austria
Delaram Kahrobaei (Chair)
12 Feb 2019 → 13 Feb 2019Activity: Talk or presentation › Invited talk
-
-
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 -
Newton Fund Industry-Academia Partnership Programme steering committee meeting. (Event)
Jim Woodcock (Member)
1 Feb 2019Activity: Membership › Professional body
-
Real-Time Systems Journal (Journal)
Robert Ian Davis (Reviewer)
Feb 2019 → Apr 2020Activity: Publication peer-review and editorial work › Journal or guest editorship
-
Pure Mathematics Seminar Series, University of Newcastle
Delaram Kahrobaei (Chair)
29 Jan 2019Activity: Talk or presentation › Seminar
-
Cyber security Seminar at Royal Holloway, University of London
Delaram Kahrobaei (Chair)
24 Jan 2019Activity: Talk or presentation › Seminar
-
GI Dagstuhl seminar 19023 on Explainable Software for Cyber-Physical Systems
Simos Gerasimou (Advisor)
21 Jan 2019 → 25 Jan 2019Activity: Participating in or organising an event › Seminar/workshop/course
-
PhD Examination Eberle Rambo
Leandro Soares Indrusiak (Examiner (external))
18 Jan 2019Activity: Examination › PhD
-
Huawei European Research Symposium
Jim Woodcock (Advisor)
16 Jan 2019 → 17 Jan 2019Activity: Participating in or organising an event › Symposium
File -
Warwick Manufacturing Group, University of Warwick
Nikolaos Matragkas (Advisor)
16 Jan 2019Activity: Visiting an external institution › Academic
-
File