On 13th of April the RoboCalc team will be attending the Advisory Board meeting of the closely related research project RoboTest at Brunel University London.
Ana Cavalcanti is taking up a Royal Academy of Engineering Chair on Emerging Technologies to pursue the long-term vision of RoboCalc.
On the 16th of May the RoboCalc team will be participating in the Pint of Science festival at York with the talk “RoboScience: can using robots add up to a safer world?”. Doors open at 7pm. Tickets are available now.
Over the course of 2 weeks, Ana Cavalcanti delivered a module on RoboChart at UFPE, including practical sessions on the use of RoboTool/FDR for modelling and analysis. Students are now using RoboTool to support modelling and analysis of robotic systems as part of their degree projects.
RoboCalc was presented to a group of experts from the Federal University of Pernambuco (UFPE) in Brazil and the Center for Advanced Studies and Systems Cesar. UFPE has the largest research group on software reliability in Brazil. Cesar is a business incubator and innovation centre, the largest component of Porto Digital in Recife (where UFPE is located). We are discussing close collaboration with UFPE and Cesar on topics related to RoboCalc.
RoboCalc was showcased at a recent EPSRC review of Robotics and AI funded research. All currently EPSRC funded projects presented their work to an international panel, addressing issues such as potential impact of the work, collaboration with industry and fundametal academic questions that underpin the research.
On the 7th of November 2016 Wei Li presented the poster From Formalised State Machines to Implementations of Robotic Controllers at the 13th International Symposium on Distributed Autonomous Robotic Systems (DARS 2016), which was held at the Natural History Museum in London, UK.
On the 29th of September Ana Cavalcanti presented RoboCalc to the Formal Aspects of Computing Science Specialist Group (FACS), the British Computer Society (BCS) Specialist Group for practitioners in Formal Aspects of Computing Science.
Our paper From Formalised State Machines to Automatic Implementations of Robotic Controllers has been accepted for the 13th International Symposium on Distributed Autonomous Robotic Systems (DARS 2016), which will take place from 6 to 9 November 2016 at the Natural History Museum in London, UK.
On the 1-4 December 2015 the School on Verification of Mobile and Autonomous Robots and Workshop was held at the Department of Computer Science.
On Monday the 30th of November 2015, the kick-off meeting with our Advisory Board was held at the Department of Computer Science.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599