2023

file

Visible to the public Robots Have Feelings Too: A Discussion About Technology Reflecting the Communities They Serve (and Biases They Still Hold)

Submitted by akarns on Fri, 04/21/2023 - 1:46pm. Contributors:

Abstract: Research has shown that technology does not lack bias - in fact, technology maintains and sometimes amplifies the biases of its developers. As society continues to make technological advances, particularly in the space of robotics and artificial intelligence (AI), it is important to ensure that teams are being intentional about building diverse and inclusive teams, incorporating responsible and ethical development practices, and consciously considering how technologies will impact the communities they serve.

event

Visible to the public  EMBC 2023
Jul 24, 2023 7:00 am - Jul 27, 2023 7:00 pm EDT

Submitted by akarns on Tue, 04/18/2023 - 11:50am

Welcome to IEEE EMBC 2023

Dear EMBS friends and colleagues,

Welcome to EMBC 2023 and to Sydney, Australia! EMBC 2023 is the 45th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. We are honoured and thrilled to host our EMBS community 'down under' from 24th to 28th July 2023.

event

Visible to the public  MSCPES Workshop 2023
May 09, 2023 8:00 am - 5:00 pm CDT

Submitted by akarns on Tue, 04/18/2023 - 11:27am

11th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems

The workshop will be held as part of the Cyber-Physical Systems and Internet-of-Things Week 2023.

Technically co-sponsored by the IEEE Industrial Electronics Society

event

Visible to the public  CREST 2023
Apr 23, 2023 7:00 am - 6:00 pm IST

Submitted by akarns on Tue, 04/18/2023 - 11:04am

CREST 2023 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology

The CREST workshop series center around the development of formal approaches to reasoning about causation in software and systems. The topics of formally identifying the cause(s) of specific events - usually some form of failures -, explaining why they occurred, and predicting certain outcomes are increasing in the focus of several, disjoint communities.

event

Visible to the public  SPIN 2023
Apr 26, 2023 7:00 am - Apr 27, 2023 6:00 pm CEST

Submitted by akarns on Tue, 04/18/2023 - 10:58am

29th International Symposium on Model Checking of Software (SPIN 2023)

April 26-27, co-located with ETAPS 2023

ETAPS 2023 is scheduled to take place in Paris, organized by Sorbonne Universite.

event

Visible to the public  SEFM 2023
Nov 06, 2023 7:00 am - Nov 10, 2023 6:00 pm CET

Submitted by akarns on Tue, 04/18/2023 - 10:32am

21st International Conference on Software Engineering and Formal Methods

Organised by Eindhoven University of Technology, The Netherlands

The 21st edition of the International Conference on Software Engineering and Formal Methods will be held between 6 and 10 November 2023.

event

Visible to the public  FormaliSE 2023
May 14, 2023 7:00 am - May 15, 2023 6:00 pm AEST

Submitted by akarns on Tue, 04/18/2023 - 10:07am

INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2023)

FormaliSE 2023 will take place on Sunday 14 May and Monday 15 May 2023, in Melbourne, Victoria, Australia, as a co-hosted conference of the International Conference on Software Engineering (ICSE2023)

event

Visible to the public  VECoS 2023
Oct 19, 2023 7:00 am - Oct 20, 2023 6:00 pm CEST

Submitted by akarns on Tue, 04/18/2023 - 10:03am

17TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS

19-20 October 2023, Marrakech, Morocco
part of the Computational Logic Autumn Summit (CLAS 2022)

VECoS 2023 is planned as a physical, in-person event to be held October 18-20, 2023 in Marrakech, Morocco.
However, in a limited number of cases, there will be remote participation support for speakers and other participants who cannot come for a number of reasons.

event

Visible to the public  CSF 2023
Jul 09, 2023 7:00 am - Jul 13, 2023 7:30 pm CEST

Submitted by akarns on Mon, 04/17/2023 - 2:52pm

36th IEEE Computer Security Foundations Symposium

The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.