Pedro

Lecturer @UoY_CS, former RF @UoY_PET, technology enthusiast, curious. Formerly a @PARSUK_ ambassador and @spaceapps lead. Views my own.

[Formal Methods Europe @FormalMtds]

A reminder that the FME Annual General Meeting is today (26th of June 2024) and members of FME can attend using Zoom.

The meeting is today between 14:00 and 16:00 (CEST)

Details: https://t.co/dkzmUpqerG

[Formal Methods Europe @FormalMtds]

A recent document from the White House Office of the National Cyber Director (ONCD) reports on the role of Formal Methods in cybersecurity. The report might be of interest to many Formal Methods people! https://t.co/NT0mm3HJAP

[Pedro @pefribeiro]

Interested in robotics and autonomous systems? Apply for a PhD @UoY_CS and RACE @UKAEAofficial on autonomous robots for gloveboxes https://t.co/cvhMLO9cIg #formalmethods #testing #simulation.

[Formal Methods Europe @FormalMtds]

Research Associate job at the University of York (UK)

Fixed term for  22 months
Salary: £36,024
Deadline: 5th of March 2024

#FormalMethodsJobs
@AAIP @UoY_CS @pefribeiro

https://t.co/2MOnJziBM5

[Formal Methods Europe @FormalMtds]

Today (1st of Feb'24) @smr_mousavi from the Trustworthy Autonomous Systems Verification Node @tas_verif is giving a talk on 'Model learning for evolving systems'.

Time 17:00 GMT
Details and Zoom link: https://t.co/txhXbtoe50

#formalMethods #autonomy

[Pedro @pefribeiro]

@FormalMtds @smr_mousavi @tas_verif Broken URL, instead https://t.co/841g64AVJn A gentle reminder that on Thursday 17:00 GMT there is an FME business meeting, and preceding that @smr_mousavi is giving a talk on 'Model learning for evolving systems'. Zoom link available. #formalmethods #ras #autonomy #robotics

[UoY Computer Science @UoY_CS]

Final call - apply now! Fully funded PhDs with ALBERT - the CDT for Autonomous Robotic Systems for Laboratory Experiments. Go to https://t.co/6uhuIGJHSv.

#phdopportunities #phdinrobotics #robotics #autonomousrobotics #uniofyork #universityofyork

[Pedro @pefribeiro]

Next business meeting @FormalMtds is taking place on the 1st of February at @KingsCollegeLon. Prof. @smr_mousavi will give a talk on 'Model learning for evolving systems'. If you intend to attend in person you need to register by Jan 17. Virtual attendance by Zoom also possible.

[Pedro @pefribeiro]

Next business meeting @FormalMtds is taking place on the 1st of February at @KingsCollegeLon. Prof. @smr_mousavi will give a talk on 'Model learning for evolving systems'. If you intend to attend in person you need to register by Jan 17. Virtual attendance by Zoom also possible.

[UoY Computer Science @UoY_CS]

Deadline extended! Join ALBERT - a multidisciplinary CDT in Autonomous Robotic Systems. Visit the web pages: https://t.co/6uhuIGJHSv. Watch presentations about the projects: https://t.co/HfmNa3Ltsr. Closes 31 Jan 2024. #phdopportunities #robotics #universityofyork

[Pedro @pefribeiro]

@yorrobots @UniOfYork @UoY_CS @UoY_PET @ChemistryatYork @UoYSociology @YorkPsychology @UoYLaw @UoYAlumni

[Pedro @pefribeiro]

Thinking about a PhD in Autonomous Robotic Systems for Laboratory Experiments (@yorrobots ALBERT CDT) @UniOfYork? Find out about projects & supervisors on Monday! Book your place now https://t.co/wYY00B3dzE @UoY_CS @UoY_PET @ChemistryatYork @UoYSociology @YorkPsychology @UoYLaw

[Pedro @pefribeiro]

There are, of course, also PhD projects to exploit #Verification using #FormalMethods in this context. #Robotics #RAS @FormalMtds @AandVNetwork @UKRobotics @tas_hub

[Pedro @pefribeiro]

Thinking about a PhD in Autonomous Robotic Systems for Laboratory Experiments (@yorrobots ALBERT CDT) @UniOfYork? Find out about projects & supervisors on Monday! Book your place now https://t.co/wYY00B3dzE @UoY_CS @UoY_PET @ChemistryatYork @UoYSociology @YorkPsychology @UoYLaw

[Pedro @pefribeiro]

Thinking about a PhD in Autonomous Robotic Systems for Laboratory Experiments (@yorrobots ALBERT CDT) @UniOfYork? Find out about projects & supervisors on Monday! Book your place now https://t.co/wYY00B3dzE @UoY_CS @UoY_PET @ChemistryatYork @UoYSociology @YorkPsychology @UoYLaw

[Pedro @pefribeiro]

@FirstYork Thanks, I see that now. I was waiting to board it around 10:04 or so. I was tracking it live, when it suddenly took the route of a 66 instead.

[Pedro @pefribeiro]

@FirstYork so your 67 decided to become a 66 all of a sudden and not call where it would be supposed to? Is this a joke? Disrespect would be an understatement. #fail

[Claudio @menghi_claudio]

Formal Methods Teaching tutorials:

Prof Laura Kovács, Vienna University of Technology, Austria, will lecture on her experiences teaching formal methods on Friday, June 16, at 3 pm
CEST. The lecture is entitled "Teaching Formal Reasoning at TU Wien".

https://t.co/2rWkSoAg16

[Pedro @pefribeiro]

Next @FormalMtds AGM will be taking place on Thursday, the 15th of June 2023 14:00-16:00 CEST over Zoom. Further details at https://t.co/fUE6z1B5rp #formalmethods

[Pedro @pefribeiro]

Next business meeting of @FormalMtds is taking place tomorrow in Lübeck, Germany, Tuesday 7th of March (12:50 CET, GMT+1) during @FMsymp FM'2023. Also possible to join via Zoom! #formalmethods