JavaScript is not available.

#FMAS2023 will be held

@iFMconf

this year on the 15th and 16th of November 2023, crossing over with the final day of #ifm23 Deadline: 17th of August 2023 (Anywhere on Earth) We are interested in #FormalMethods applied to almost any kind of autonomous system! #ifm2023

Dr Jamie Gallagher

@JamieBGall

Had a fantastic visit to

@UniOfYork

meeting with the Intelligent Systems & Robotics Research Group ahead of Robot Lab Live (

@UKRobotics

) this summer. The group build bio-inspired robots which can ‘evolve’ to tackle whatever challenge they are faced with.

Photo of a lab. There is a robotic arm with pincer grip and a 3D printer visible.

read image description

ALT

A small pen which contains a multi limbed robot.

read image description

ALT

FMICS 2023

@FMICS_conf

Jan 13

FMICS will take place on 20-22 September in Antwerp, Belgium and the paper submission deadline is May 15! Have you started working on your paper? 😊

FMICS 2023

@FMICS_conf

FMICS 2023 best paper will be awarded a 1000Euro prize sponsored by Springer! Another good reason to submit your paper soon! Deadline is May 15.

Matt Luckcuck

@MattLuckcuck

It was a nice surprise when I stumbled across this page for the first time. I didn't think

was big enough yet to be found by DBLP, but there we were 'real'. 😊

Quote Tweet

Apr 4

For quick access to all the proceedings from our previous workshops on Formal Methods for Autonomous Systems, you can check the page generated by the lovely people @dblp_org : dblp.dagstuhl.de/db/conf/fmas/i #FMAS2023 #FMAS2022 #FMAS2021 #FMAS2020 #FMAS2019

Screenshot from a DBLP page listing the proceedings of the previous workshops on Formal Methods for Autonomous Systems.

read image description

ALT

LeiminTian

@LeiminTian

We are inviting submissions to the second workshop on Affective Human-Robot Interaction (AHRI) at #ACII2023 (due 28 Apr) 🤖✍️🗓️ Please spread the word! More info on our website and flyer: a-hri.me

@acii_conf

@officialAAAC

call for papers for the AHRI workshop at ACII 2023: https://www.a-hri.me/

read image description

ALT

L-CAS

@LCAS_UoL

Mar 13

Apply to the PUB.R competition at #ICRA23 if you have a robotic solution for food preparation! 🤖👨🏼‍🍳 The 2nd version rulebook now contains all the scores, tools and materials. Application deadline is in just one month! lcas.lincoln.ac.uk/wp/pubr

@Agri_FoRwArdS

read image description

ALT

ICRA2023

Apr 4

Calling all IEEE RAS members, new call for #ICRA2023 travel grants now open! Funding of $750 to $1250 available. Deadline to apply 21st April, 23:59 PST Members who submitted in 1st round are automatically reconsidered for 2nd round. More info here: icra2023.org/ras-travel-gra

Michael Black

@Michael_J_Black

Mar 30

PhD students, don't worry. Technologies, trends, and even whole fields come and go. A PhD makes you an expert in a field but, more importantly, teaches you how to become an expert. Once you know that you can learn anything, you can adapt to major disruptions in your field.

504

3,266

Apr 5

Preparation and dish Up of an English Breakfast with Robots (PUB.R) competition

Deadline 14th of April lcas.lincoln.ac.uk/wp/deadline-ap #ICRA2023

Quote Tweet

L-CAS

@LCAS_UoL

Apr 5

Submit your qualification materials by the 14th of April to participate in our exciting competition!

lcas.lincoln.ac.uk/wp/deadline-ap

Apr 4

For quick access to all the proceedings from our previous workshops on Formal Methods for Autonomous Systems, you can check the page generated by the lovely people

@dblp_org

: dblp.dagstuhl.de/db/conf/fmas/i #FMAS2023 #FMAS2022 #FMAS2021 #FMAS2020 #FMAS2019

read image description

ALT

Katie Winkle

@KatieJWinkle

2+ years of hard (but enjoyable!) work & conversation across HRI / HCI / interaction design & gender studies went into this paper - we hope it makes feminist scholarship (and it’s relevance to HRI) a bit more accessible to HRI researchers/developers. Thrilled we got best paper 🎉

Quote Tweet

ACM Digital Library

@ACMDL

Apr 2

Learn about "Feminist Human-Robot Interaction: Disentangling Power, Principles and Practice for Better, More Ethical HRI," by Katie Winkle, et al., a Best Theory, Methods and Reproducibility Paper from HRI '23: Conference on Human-Robot Interaction bit.ly/3zdzxGl

Xiaowei Huang

@xiaoweih

I suppose one significant difference is the modularity. Airplanes are built on components, with each component can be tested and understood. People understand how and why it functions. ML is a complete opposite— it grows into a giagantic model without rooms for a scientific study

Quote Tweet

Yann LeCun

@ylecun

Some folks say "I'm scared of AGI" Are they scared of flying? No! Not because airplanes can't crash. But because engineers have made airliners very safe. Why would AI be any different? Why should AI engineers be more scared of AI than aircraft engineers were scared of flying?

Dr Emma Beckett

@DrEmmaBeckett

A tale of open access in two screenshots. OA it’s awesome, plz pay us to get behind the paywall to learn how! Slow clap for

@Nature

A screenshot of an academic article with a title that says “confused by open access policies, these tools can help”

read image description

ALT

read image description

ALT

Fifth Workshop on Formal Methods for Autonomous Systems

Autonomy poses some key challenges, like: * dynamic environments * verifying decision-making * Formal methods as evidence for certification or regulatory organisations Full details of #FMAS2023 can be found on our website: fmasworkshop.github.io/FMAS2023/ #ifm23 #ifm2023

fmasworkshop.github.io

Paulius Stankaitis

@pastankaitis

Mar 20

Giving online seminar at

@bcs

(Formal Aspects of Computing group) on the 4th of April on formal development of cyber-physical systems. If you’re interested in joining here is event link: bcs.org/events-calenda

Assuring Autonomy International Programme

@AAIP_York

Mar 27

Do you have strong technical, interpersonal and communication skills? Join the AAIP team as a Research Associate or Research Fellow. Find out more about the role here: bit.ly/3FVPepr The deadline for applications is the 18th of April, 2023 #robotics #ai #autonomoussytems

Fifth Workshop on Formal Methods for Autonomous Systems

fmasworkshop.github.io

A and V Network

@AandVNetwork

Mar 29

3rd Workshop on Agents and Robots for reliable Engineered Autonomy (AREA) Deadline: 18th Jul 2023 (AoE, UTC-12) Workshop: 30th September - 1st October 2023 (exact day TBA) @ #ECAI2023 (ecai2023.eu) Details: areaworkshop.github.io/AREA2023/ #AREA2023

A and V Network

@AandVNetwork

Mar 29

#AREA2023 is looking for research combining #robotics, #autonomous agents, software engineering, and verification Full details: areaworkshop.github.io/AREA2023/ Contact: area.workshop.info@gmail.com Organised by *

@Peppia42

* Rafael C. Cardoso (rafaelcaue.github.io) #ECAI2023

Michele Sevegnani

@michele_seve

Mar 22

Fully funded ESRC PhD studentship at the University of Glasgow: A novel Artificial Intelligence Method for inferencing impaired cognition trajectories from MRI data in patients with Alzheimer’s dementia Application deadline: 13th of April More info: sgsss.ac.uk/studentship/a-

ICRA2023

Mar 29

#ICRA2023 Keynote roundup! #thread Tuesday Robots for Society Andrew Davison, Imperial College John Leonard, MIT Lynne Parker, Uni of Tennessee Healthcare Robotics Jessica Burgner-Kahrs, Uni of Toronto Mississauga Simona Crea, Scuola Superiore Sant'Anna Heike Vallery, TU Delft

AI-PRISM

@AIPRISMEU

#AIPRISMNews🗞 Demonstrator 1⃣🪑Furniture: Digitising the art of sanding! Recently, researchers from

visited

in Valencia🇪🇸to participate in a data collection study Learn more➡bit.ly/3ZAzUGz

🔜 Our workshop at

with

, #ZEROP ,

,#Respect #Merging &

! 👀 Look at the keynote experts and their projects on #Human-Robot collaboration - #AI in challenging industrial applications🔝 Register now ➡ erf2023.sdu.dk/register/

UKRI TAS Node in Functionality

@tas_function

UKRI TAS Node in Functionality

Final call for applications for our Masterclass in Soft, Swarm & Aerial Robotics

@BristolRobotLab

. Apply by midnight on Friday to be considered for a space ⬇️

Quote Tweet

@tas_function

Mar 2

This is the last week to apply for a place at our Masterclass in Soft, Swarm & Aerial Robotics! Visit our webpage to find out more & apply to attend before 10 March

tasfunctionality.bristol.ac.uk/2023/03/02/dea @tas_hub @BristolUniEng @BristolRobotLab @SoftLabBristol @sabinehauert

Rolf Drechsler

@Rolf_Drechsler

#SETS2023 - Marcel Merten from

@agra_uni_bremen

presenting at South-European Test Symposium (SETS) on "Increasing SAT-Resilience of #LogicLocking Mechanisms using #FormalMethods" sites.google.com/view/sets2023/

Department of Computer Science, Aalborg University

@CompSciAAU

Mar 10

This week, Martijn Goorden,

@mariusmik

and Florian Lorber from

@DEIS_aau_dk

participated in

. During the industry day, they showcased the pre-release of #UPPAAL 5, facilitating lively discussions. For more info 👉uppaal.org #formalmethods #fm23 #verification

Surasak Phetmanee

@phsurasak

Mar 10

Formal Methods 2024 will be in Milan, Italy from 9 to 13 September 2024.

Anastasia Mavridou

@anmavrid

Mar 7

Great news! Our paper was accepted at the NASA Formal Methods (NFM) symposium. It describes work on integrating FRET into CERN's PLCverif tool for the verification of Programmable Logic Controllers (PLCs). The tool chain was used on two critical CERN case studies. #NFM2023 #FRET

Fifth Workshop on Formal Methods for Autonomous Systems

This afternoon at

’23 kicking off with Jeannette M. Wing’s luminary talk on “Trustworthy AI”. #fm23 #formalmethods

We're even on the

news list! To keep up with the details for #iFM23 see their website: liacs.leidenuniv.nl/~bonsanguemm/i #FormalMethods

A bullet point list of news items, including an announcement that one of the events at iFM 2023 will be the Fifth Workshop on Formal Methods for Autonomous Systems.

read image description

ALT

Excitingly, #FMAS2023 will be co-located with

@iFMconf

this year! FMAS will run on the 15th and 16th of November 2023, crossing over with the final day of #ifm23 We're still finalising the details. You can keep up on the FMAS webpage: fmasworkshop.github.io/FMAS2023/ #ifm2023

fmasworkshop.github.io

Formal Methods 2023

Today we have Nils Jansen

@thesuperjansen

as our third keynote speaker, who is going to tell us about Intelligent and Dependable Decision-Making Under Uncertainty. #fm23 #formalmethods

We started our day

’23 with the keynote by Harald Rueß, who told us the next big thing about embedded systems and embodied actors. #fm23 #formalmethods

Formal Methods 2023

Mar 8

Congratulations to Sandrine Blazy who received the Lucas Award 2023

for her work with Zaynah Dargaye and Xavier Leroy on Formal Verification of a C Compiler Front-End in #fm 2006. #formalmethods

Taylor T Johnson

@taylorjohnson

Mar 6

The 4th Verification of Neural Networks Competition (VNN-COMP'23) is being held at

@confCAV

Tool Registration by March 17, 2023: forms.gle/v8LJxHAoJ8DmnA Details: sites.google.com/view/vnn2023 Benchmarks / Sponsorships for VNN-COMP are welcome, please contact me #neuralnetworks

Good luck

presenting your PhD work at the Doctoral Symposium

! Proud of my first PhD student, his first time at a conference as PhD student, and what a great conference to attend!

Quote Tweet

Doctoral Symposium at 25th International Symposium on Formal Methods (FM 2023), 6-10 March 2023 in Lübeck, Germany #doctoralsymposium #formalmethods23

’23 is in full swing. The first keynote speaker Laura Kovács is going to talk about Automated Program Reasoning. #formalmethods #fm23

Formal Methods 2023