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...


Past Seminars

  • 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