Department of Computer Science

Seminars

Future Seminars

  • RoboChart & RoboSim: modelling robots and collections [slides]
    Speaker: Alvaro Miyazawa
    23rd of January 2019, 12h30, CSE/203
  • Reasoning in tock-CSP with FDR
    Speaker: Pedro Ribeiro
    30th of January 2019, 12h30, PZA/022 (Piazza Building)

    Abstract: Specifying budgets and deadlines using a process algebra like CSP requires an...

  • Epistemic and Temporal Epistemic Logics of Authentication [slides]
    Speaker: Sharar Ahmadi
    12th of February 2019, 12h30, CSE/203

    Abstract: The authentication properties of a security protocol are specified based on t...

  • Orca: a functional correctness verifier based on Isabelle/UTP
    Speaker: Yakoub Nemouchi
    26th of February 2019, 12h30, CSE/203

    Abstract: We present Orca, a functional correctness verifier based on Isabelle/UTP. A n...

  • CANCELLED - A UTP theory for Hybrid Computation
    Speaker: Simon Foster
    9th of April 2019, 12h30, CSE/202

    Abstract: In this talk I will describe our UTP theory of hybrid relations, which extend...

  • Risk Structures: Towards Engineering Risk-aware Autonomous Robots
    Speaker: Mario Gleirscher
    16th of April 2019, 16h00, CSE/202

    Abstract: To achieve acceptable safety, autonomous robots will have to reduce risk by i...

  • Foundational end-to-end verification of cyber-physical systems: The VeriPhy pipeline and its Applications
    Speaker: Brandon Bohrer
    17th of July 2019, 11h30, PZA/016

    Abstract: We first present VeriPhy, a verified pipeline which automatically transforms ...

  • CANCELLED - Testing Robots using CSP
    Speaker: James Baxter
    18th of September 2019, 15h00, CSE/203

    Abstract: We present a technique for automatic generation of tests for robotic systems ...

  • Testing Robots using CSP
    Speaker: James Baxter
    25th of September 2019, 15h00, CSE/102

    Abstract: We present a technique for automatic generation of tests for robotic systems ...

  • [CANCELLED] RoboChart & RoboTool: modelling and verification of probabilistic systems
    Speaker: Kangfeng Ye
    1st of October 2019, 12h30, CSE/102&103

    Abstract: In addition to standard state machines and time primitives, RoboChart also su...

  • A UTP theory for Hybrid Computation
    Speaker: Simon Foster
    3rd of October 2019, 16h00, CSE/202

    Abstract: In this talk I will describe our UTP theory of hybrid relations, which extend...

  • RoboChart & RoboTool: modelling and verification of probabilistic systems
    Speaker: Kangfeng Ye
    15th of October 2019, 12h30, CSE/202

    Abstract: In addition to standard state machines and time primitives, RoboChart also su...

  • From computer says no to robot says yes: engineering a positive future for robotics
    Speaker: Ana Cavalcanti
    6th of January 2020, 15h30, CSE/203

    Abstract: With the prospect of sophisticated robots working ever more closely with huma...

  • Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
    Speaker: Brijesh Dongol
    23rd of January 2020, 14h30, CSE/102

    Abstract: Teleo-Reactive (TR) robotic agent programs comprise sequences of guarded acti...

  • Towards an Isabelle EMF Meta-Model
    Speakers: Bestoon Hussien and Simon Foster
    23rd of September 2020, 10h30, Online

    Abstract: Isabelle is both a proof assistant and a platform for developing verification...

  • Automated Algebraic Reasoning for Collections and Local Variables with Lenses
    Speaker: James Baxter
    7th of October 2020, 10h30, Online

    Abstract: Lenses are a useful algebraic structure for giving a unifying semantics to pr...

  • Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL
    Speaker: Simon Foster
    19th of May 2021, 10h30, Online

    Abstract: Simulation and formal verification are important complementary techniques nec...

  • The Pi-puck: a Raspberry Pi enhanced e-puck robot platform
    Speaker: Alan Millard
    17th of November 2021, 10h30, Online

    Abstract: This talk will present the Pi-puck extension board - an interface between the...

  • Transforming RoboSim Models into UPPAAL
    Speaker: Mingzhuo Zhang
    1st of December 2021, 10h30, Online

    Abstract: RoboSim is a tool-independent notation for modeling software simulations of r...

  • From RoboSim to another CSP - CLEARSY Safety Platform [slides]
    Speaker: Thierry Lecomte
    26th of January 2022, 10h30, Online

    Abstract: RoboSim is a diagrammatic language to model simulations of robotic systems to...

  • Visual Specification of Properties for Robotic Designs
    Speakers: Waldeck Lindoso Jr., Sidney C. Nogueira, and Lucas Lima
    9th of March 2022, 10h30, Online

    Abstract: RoboChart is a diagrammatic notation based on UML designed for modelling robo...

  • [CANCELLED] Mixed Signals: audio and wearable data analysis for health diagnostics
    Speaker: Cecilia Mascolo
    22nd of June 2022, 13h30, Online

    Abstract: Wearable and mobile devices are very good proxies for human behaviour. Yet, m...

  • CSP in Practice: Timed Verification of Robot Software.
    Speaker: Matt Windsor
    10th of August 2022, 10h30, Online

    Abstract: This talk describes work done by myself and the RoboStar team in York to tack...

  • Formal Verification of ANN Components in RoboChart.
    Speaker: Ziggy Attala
    24th of August 2022, 10h30, Online

    Abstract: We present a framework for obtaining system-level formal proofs of properties...

  • Probabilistic modelling and verification using RoboChart and PRISM
    Speaker: Kangfeng Ye
    5th of October 2022, 10h30, Online

    Abstract: RoboChart is a timed domain-specific language for robotics, distinctive in it...

  • Formally Verified Animation for RoboChart Using Interaction Trees
    Speaker: Kangfeng Ye
    19th of October 2022, 10h30, Online

    Abstract: RoboChart is a core notation in the RoboStar framework. It is a timed and pro...

  • Formal Verification and Mechanisation of Cryptographic Constructions, Algorithms and Protocols
    Speaker: Roberto Metere
    2nd of November 2022, 10h30, Online

    Abstract: Cybersecurity is a critical aspect in more and more real-world contexts. Comm...

  • Generalizing the Elo rating system for multiplayer games and races: why endurance is better than speed
    Speaker: Ben Powell
    8th of February 2023, 10h30, Online

    Abstract: I will talk about a recent applied statistics project motivated by Formula On...

  • Probabilistic relations for modelling epistemic and aleatoric uncertainties: its semantics and automated reasoning with theorem proving
    Speaker: Kangfeng Ye
    28th of June 2023, 10h30, CSE/082

    Abstract: Probabilistic programming combines general computer programming, statistical ...

  • ROSA: A knowledge-based solution for robot self-adaptation
    Speaker: Gustavo Silva
    13th of December 2023, 10h30, CSE/202 and online

    Abstract: While operating, autonomous robots are subject to uncertainties from both the...

  • Human-Centred AI and Robotics in Manufacturing Systems
    Speaker: John Oyekan
    24th of January 2024, 10h30, TBC

    Abstract: Industry 5.0, also known as the Fifth Industrial Revolution, is a new and eme...


Past Seminars

  • Human-Centred AI and Robotics in Manufacturing Systems
    Speaker: John Oyekan
    24th of January 2024, 10h30, TBC

    Abstract: Industry 5.0, also known as the Fifth Industrial Revolution, is a new and eme...

  • ROSA: A knowledge-based solution for robot self-adaptation
    Speaker: Gustavo Silva
    13th of December 2023, 10h30, CSE/202 and online

    Abstract: While operating, autonomous robots are subject to uncertainties from both the...

  • Probabilistic relations for modelling epistemic and aleatoric uncertainties: its semantics and automated reasoning with theorem proving
    Speaker: Kangfeng Ye
    28th of June 2023, 10h30, CSE/082

    Abstract: Probabilistic programming combines general computer programming, statistical ...

  • Generalizing the Elo rating system for multiplayer games and races: why endurance is better than speed
    Speaker: Ben Powell
    8th of February 2023, 10h30, Online

    Abstract: I will talk about a recent applied statistics project motivated by Formula On...

  • Formal Verification and Mechanisation of Cryptographic Constructions, Algorithms and Protocols
    Speaker: Roberto Metere
    2nd of November 2022, 10h30, Online

    Abstract: Cybersecurity is a critical aspect in more and more real-world contexts. Comm...

  • Formally Verified Animation for RoboChart Using Interaction Trees
    Speaker: Kangfeng Ye
    19th of October 2022, 10h30, Online

    Abstract: RoboChart is a core notation in the RoboStar framework. It is a timed and pro...

  • Probabilistic modelling and verification using RoboChart and PRISM
    Speaker: Kangfeng Ye
    5th of October 2022, 10h30, Online

    Abstract: RoboChart is a timed domain-specific language for robotics, distinctive in it...

  • Formal Verification of ANN Components in RoboChart.
    Speaker: Ziggy Attala
    24th of August 2022, 10h30, Online

    Abstract: We present a framework for obtaining system-level formal proofs of properties...

  • CSP in Practice: Timed Verification of Robot Software.
    Speaker: Matt Windsor
    10th of August 2022, 10h30, Online

    Abstract: This talk describes work done by myself and the RoboStar team in York to tack...

  • [CANCELLED] Mixed Signals: audio and wearable data analysis for health diagnostics
    Speaker: Cecilia Mascolo
    22nd of June 2022, 13h30, Online

    Abstract: Wearable and mobile devices are very good proxies for human behaviour. Yet, m...

  • Visual Specification of Properties for Robotic Designs
    Speakers: Waldeck Lindoso Jr., Sidney C. Nogueira, and Lucas Lima
    9th of March 2022, 10h30, Online

    Abstract: RoboChart is a diagrammatic notation based on UML designed for modelling robo...

  • From RoboSim to another CSP - CLEARSY Safety Platform [slides]
    Speaker: Thierry Lecomte
    26th of January 2022, 10h30, Online

    Abstract: RoboSim is a diagrammatic language to model simulations of robotic systems to...

  • Transforming RoboSim Models into UPPAAL
    Speaker: Mingzhuo Zhang
    1st of December 2021, 10h30, Online

    Abstract: RoboSim is a tool-independent notation for modeling software simulations of r...

  • The Pi-puck: a Raspberry Pi enhanced e-puck robot platform
    Speaker: Alan Millard
    17th of November 2021, 10h30, Online

    Abstract: This talk will present the Pi-puck extension board - an interface between the...

  • Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL
    Speaker: Simon Foster
    19th of May 2021, 10h30, Online

    Abstract: Simulation and formal verification are important complementary techniques nec...

  • Automated Algebraic Reasoning for Collections and Local Variables with Lenses
    Speaker: James Baxter
    7th of October 2020, 10h30, Online

    Abstract: Lenses are a useful algebraic structure for giving a unifying semantics to pr...

  • Towards an Isabelle EMF Meta-Model
    Speakers: Bestoon Hussien and Simon Foster
    23rd of September 2020, 10h30, Online

    Abstract: Isabelle is both a proof assistant and a platform for developing verification...

  • Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
    Speaker: Brijesh Dongol
    23rd of January 2020, 14h30, CSE/102

    Abstract: Teleo-Reactive (TR) robotic agent programs comprise sequences of guarded acti...

  • From computer says no to robot says yes: engineering a positive future for robotics
    Speaker: Ana Cavalcanti
    6th of January 2020, 15h30, CSE/203

    Abstract: With the prospect of sophisticated robots working ever more closely with huma...

  • RoboChart & RoboTool: modelling and verification of probabilistic systems
    Speaker: Kangfeng Ye
    15th of October 2019, 12h30, CSE/202

    Abstract: In addition to standard state machines and time primitives, RoboChart also su...

  • A UTP theory for Hybrid Computation
    Speaker: Simon Foster
    3rd of October 2019, 16h00, CSE/202

    Abstract: In this talk I will describe our UTP theory of hybrid relations, which extend...

  • [CANCELLED] RoboChart & RoboTool: modelling and verification of probabilistic systems
    Speaker: Kangfeng Ye
    1st of October 2019, 12h30, CSE/102&103

    Abstract: In addition to standard state machines and time primitives, RoboChart also su...

  • Testing Robots using CSP
    Speaker: James Baxter
    25th of September 2019, 15h00, CSE/102

    Abstract: We present a technique for automatic generation of tests for robotic systems ...

  • CANCELLED - Testing Robots using CSP
    Speaker: James Baxter
    18th of September 2019, 15h00, CSE/203

    Abstract: We present a technique for automatic generation of tests for robotic systems ...

  • Foundational end-to-end verification of cyber-physical systems: The VeriPhy pipeline and its Applications
    Speaker: Brandon Bohrer
    17th of July 2019, 11h30, PZA/016

    Abstract: We first present VeriPhy, a verified pipeline which automatically transforms ...

  • Risk Structures: Towards Engineering Risk-aware Autonomous Robots
    Speaker: Mario Gleirscher
    16th of April 2019, 16h00, CSE/202

    Abstract: To achieve acceptable safety, autonomous robots will have to reduce risk by i...

  • CANCELLED - A UTP theory for Hybrid Computation
    Speaker: Simon Foster
    9th of April 2019, 12h30, CSE/202

    Abstract: In this talk I will describe our UTP theory of hybrid relations, which extend...

  • Orca: a functional correctness verifier based on Isabelle/UTP
    Speaker: Yakoub Nemouchi
    26th of February 2019, 12h30, CSE/203

    Abstract: We present Orca, a functional correctness verifier based on Isabelle/UTP. A n...

  • Epistemic and Temporal Epistemic Logics of Authentication [slides]
    Speaker: Sharar Ahmadi
    12th of February 2019, 12h30, CSE/203

    Abstract: The authentication properties of a security protocol are specified based on t...

  • Reasoning in tock-CSP with FDR
    Speaker: Pedro Ribeiro
    30th of January 2019, 12h30, PZA/022 (Piazza Building)

    Abstract: Specifying budgets and deadlines using a process algebra like CSP requires an...

  • RoboChart & RoboSim: modelling robots and collections [slides]
    Speaker: Alvaro Miyazawa
    23rd of January 2019, 12h30, CSE/203

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements