Groups

vnn-list

Contact owners and managers

1–26 of 26

0 selected

Matthew Daggitt

12/14/25

Release of Version 2.0 of VNN-LIB standard

Dear all, We are very pleased to announce the release of v2.0 of the VNN-LIB standard. I have

unread,

Release of Version 2.0 of VNN-LIB standard

Dear all, We are very pleased to announce the release of v2.0 of the VNN-LIB standard. I have

12/14/25

11/19/25

Finalizing VNN-COMP'25 report

Dear VNN community, Thank you for contributing to the VNN-COMP'25 report. We have mostly

unread,

Finalizing VNN-COMP'25 report

Dear VNN community, Thank you for contributing to the VNN-COMP'25 report. We have mostly

11/19/25

8/11/25

[VNN-COMP'25] Participant Text by Sept. 1, 2025

Dear all, Thank you again for participating in VNN-COMP 2025. We are now preparing a draft of the VNN

unread,

[VNN-COMP'25] Participant Text by Sept. 1, 2025

Dear all, Thank you again for participating in VNN-COMP 2025. We are now preparing a draft of the VNN

8/11/25

Matthew Daggitt

7/31/25

Request for comment on v2.0 of the VNNLIB standard

Dear VNN-list, (Apologies to those I've already contacted individually).. I currently have two

unread,

Request for comment on v2.0 of the VNNLIB standard

Dear VNN-list, (Apologies to those I've already contacted individually).. I currently have two

7/31/25

Chelsea Rose Sidrane

4/17/25

VNNCS Workshop at ACC '25

Hello VNN-list, I am reaching out to share the Call for Papers (easychair link here) for our upcoming

unread,

VNNCS Workshop at ACC '25

Hello VNN-list, I am reaching out to share the Call for Papers (easychair link here) for our upcoming

4/17/25

3/5/25

VNN-COMP'25 Call for Participation

The 6th International Verification of Neural Networks Competition (VNN-COMP'25), to be held with

unread,

VNN-COMP'25 Call for Participation

The 6th International Verification of Neural Networks Competition (VNN-COMP'25), to be held with

3/5/25

10/11/24

VNN-COMP'24 Report - Participant Text by November 1, 2024 and VNN-COMP'25 Planning

Hi everyone, Thank you again for participating in VNN-COMP'24. We are working on posting a

unread,

VNN-COMP'24 Report - Participant Text by November 1, 2024 and VNN-COMP'25 Planning

Hi everyone, Thank you again for participating in VNN-COMP'24. We are working on posting a

10/11/24

4/14/24

Call for Papers: 7th International Symposium on AI Verification (SAIV 2024)

SAIV 2024: Call for Papers The 7th International Symposium on AI Verification (SAIV 2024) solicits

unread,

Call for Papers: 7th International Symposium on AI Verification (SAIV 2024)

SAIV 2024: Call for Papers The 7th International Symposium on AI Verification (SAIV 2024) solicits

4/14/24

3/18/24

VNN-COMP'24 Final Call for Participation

Dear all, This is a final reminder of call for participation of tools and benchmark proposers for the

unread,

VNN-COMP'24 Final Call for Participation

Dear all, This is a final reminder of call for participation of tools and benchmark proposers for the

3/18/24

2/7/24

VNN-COMP'24 Call for Participation

The 5th International Verification of Neural Networks Competition (VNN-COMP'24), to be held with

unread,

VNN-COMP'24 Call for Participation

The 5th International Verification of Neural Networks Competition (VNN-COMP'24), to be held with

2/7/24

3/9/23

Invitation to participate in the 4th Verification of Neural Networks Competition (VNN-COMP'23)

Dear colleagues, We would like to invite you to participate in the 4th Verification of Neural

unread,

Invitation to participate in the 4th Verification of Neural Networks Competition (VNN-COMP'23)

Dear colleagues, We would like to invite you to participate in the 4th Verification of Neural

3/9/23

8/1/22

NeurIPS 2022 workshop on Progress and Challenges in Building Trustworthy Embodied AI (TEA)

Dear Colleagues,We are excited to announce NeurIPS 2022 workshop on Progress and Challenges in

unread,

NeurIPS 2022 workshop on Progress and Challenges in Building Trustworthy Embodied AI (TEA)

Dear Colleagues,We are excited to announce NeurIPS 2022 workshop on Progress and Challenges in

8/1/22

2/25/22

VNN-COMP 2022 Call for Participation

Dear all, The 3rd Verification of Neural Networks Competition (VNN-COMP ) is being held along with

unread,

VNN-COMP 2022 Call for Participation

Dear all, The 3rd Verification of Neural Networks Competition (VNN-COMP ) is being held along with

2/25/22

10/14/21

ATVA 2021 Workshop on Security and Reliability of Machine Learning (Oct 18, Virtual)

Dear colleagues, We cordially invite you to join us at the Workshop on Security and Reliability of

unread,

ATVA 2021 Workshop on Security and Reliability of Machine Learning (Oct 18, Virtual)

Dear colleagues, We cordially invite you to join us at the Workshop on Security and Reliability of

10/14/21

Bharadwaj, Ramesh CIV USN NRL (5546) Washington DC (USA)

2/27/21

CFP/CFP: First International Workshop on Trusted Automated Decision Making (TADM-2021)

Call for Papers/ Call for Participation TADM 2021: Trusted Automated Decision-Making Co-located with

unread,

CFP/CFP: First International Workshop on Trusted Automated Decision Making (TADM-2021)

Call for Papers/ Call for Participation TADM 2021: Trusted Automated Decision-Making Co-located with

2/27/21

2/24/21

VNN-COMP 2021 Registration

Hello, The 2nd Verification of Neural Networks Competition (VNN-COMP'21) is happening with CAV

unread,

VNN-COMP 2021 Registration

Hello, The 2nd Verification of Neural Networks Competition (VNN-COMP'21) is happening with CAV

2/24/21

1/14/21

ATVA 2021 Call for Workshops

ATVA 2021: The 19th International Symposium on Automated Technology for Verification and Analysis

unread,

ATVA 2021 Call for Workshops

ATVA 2021: The 19th International Symposium on Automated Technology for Verification and Analysis

1/14/21

3/31/20

VNN20 Call for Papers and Benchmarks

VNN20 Call for Papers and Benchmarks The 2020 Workshop on Verification of Neural Networks (VNN20)

unread,

VNN20 Call for Papers and Benchmarks

VNN20 Call for Papers and Benchmarks The 2020 Workshop on Verification of Neural Networks (VNN20)

3/31/20

2/28/20

VNN-COMP 2020 Call for Participation

VNN-COMP 2020 Call for Participation As a part of the Verification of Neural Networks (VNN, https://

unread,

VNN-COMP 2020 Call for Participation

VNN-COMP 2020 Call for Participation As a part of the Verification of Neural Networks (VNN, https://

2/28/20

2/28/20

CFP: 3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2020), Los Angeles, 20 July 2020

3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2020) A satellite event of

unread,

CFP: 3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2020), Los Angeles, 20 July 2020

3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2020) A satellite event of

2/28/20

Warren, Michael A

11/14/19

Internship and other job opportunities in formal methods applied to AI

The Center for Secure and Resilient Systems at HRL Laboratories (http://www.hrl.com) will have

unread,

Internship and other job opportunities in formal methods applied to AI

The Center for Secure and Resilient Systems at HRL Laboratories (http://www.hrl.com) will have

11/14/19

Marta Kwiatkowska

6/6/19

Postdoc positions on ERC project fun2model in 'strong' AI/verification at Oxford

[Please forward to anyone interested. Apologies for multiple mailings.] An exciting opportunity has

unread,

Postdoc positions on ERC project fun2model in 'strong' AI/verification at Oxford

[Please forward to anyone interested. Apologies for multiple mailings.] An exciting opportunity has

6/6/19

Marta Kwiatkowska

6/5/19

Senior Research Associate in Explainable AI for Natural Language Processing

[Please forward to anyone interested. Apologies for multiple mailings.] Senior Research Associate in

unread,

Senior Research Associate in Explainable AI for Natural Language Processing

[Please forward to anyone interested. Apologies for multiple mailings.] Senior Research Associate in

6/5/19

4/27/19

FoMLAS 2019: Deadline extended (May 4th)

2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019) A satellite event of

unread,

FoMLAS 2019: Deadline extended (May 4th)

2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019) A satellite event of

4/27/19

4/16/19

CFP: 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019), New York City, 14 June 2019

2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019) A satellite event of

unread,

CFP: 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019), New York City, 14 June 2019

2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019) A satellite event of

4/16/19

4/15/19

Welcome to vnn-list

Hi all, I wanted to thank you for joining this email list. Goals of this list include providing a

unread,

Welcome to vnn-list

Hi all, I wanted to thank you for joining this email list. Goals of this list include providing a

4/15/19

Search

Clear search

Close search

Google apps

Main menu