Name: Facebook Testing and Verification Symposium 2019
Start: 2019-11-20T08:00:00-05:00
End: 2019-11-21T17:00:00-05:00
Location: Facebook London

The Event

About

Contact

RSVP

September

22nd

at

7:00pm

Facebook Testing and Verification Symposium 2019

Facebook London

1 Rathbone Square

RSVP

About the event

Please join the Facebook research team for our third annual

Facebook Testing and Verification Symposium!

The symposium aims to build meaningful collaboration and exchange between Testing and Verification scientific research and academia and industry. The symposium is a two-day event at Facebook's London office on

Wednesday, November 20th and Thursday, November 21st.

Please check back on this website for updates to the agenda and speaker list. There is no fee to attend the event.

The deadline to register for the symposium is Friday, November 1st.

We look forward to seeing you at Facebook London in November!

WORKSHOP

AGENDA

Tuesday, November 19th, 2019

8:00 - 8:30 am

Registration & Breakfast

Check in at the lobby in the Facebook Rathbone Square lobby. Be prepared to show your ID. Breakfast and coffee will be served.

10:15 - 10:45 am

Break for refreshments

Beverages and light snacks will be served.

12:00 - 1:00 pm

Lunch

Food and beverages will be served.

2:30 - 3:00 pm

Break for refreshments

Beverages and light snacks will be served.

5:00 - 7:30 pm

Happy Hour & Dinner

Location to be announced

SYMPOSIUM

DAY 1

AGENDA

Wednesday, November 20th, 2019

8:00 - 9:15 am

Registration & Breakfast

Check in at the Facebook Rathbone Square main lobby. Be prepared to show your ID. Breakfast and coffee will be served.

9:15 - 10:00 am

Introduction to the Facebook Testing and Verification Symposium

Mark Harman

Facebook

10:00 - 10:45 am

Analysis and Testing of Mobile Systems

Julia Rubin

The University of British Columbia

10:45 - 11:15 am

Break for refreshments

Beverages and light snacks will be served.

11:15 am - 12:00 pm

Testing and Verification Technology Transfer

Stephen Magill

Galois, Inc.

12:00 - 12:45 pm

Probabilistic Model Checking

Marta Kwiatkowska

University of Oxford

12:45 - 2:00 pm

Lunch & Networking

Food and beverages will be served.

2:00 - 2:45 pm

Fuzz Based Testing

Andreas Zeller

Saarland University

2:45 - 3:30 pm

Sapienz Testing

Nadia Alshahwan

Facebook

3:30 - 4:00 pm

Break for refreshments

Beverages and light snacks will be served.

4:00 - 4:45 pm

Perspectives on Testing and Verification

Tony Hoare

University of Oxford

4:45 - 5:45 pm

Incorrectness Logic

Peter O'Hearn

Facebook

6:30 - 9:30 pm

Social Reception - all aboard!

Join us for an evening boat ride down River Thames!

SYMPOSIUM

DAY 2

AGENDA

Thursday, November 21st, 2019

8:45 - 9:30 am

Registration & Breakfast

Check in at the lobby in the Facebook Rathbone Square lobby. Be prepared to show your ID. Breakfast and coffee will be served.

9:30 - 10:15 am

Finding bugs with Infer

Ezgi Çiçek

Facebook

10:15 - 10:45 am

Break for refreshments

Beverages and light snacks will be served.

10:45 - 11:30 am

Using Machine Learning to Recommend Correctness Checks for Geographic Map Data

Atif Memon

Apple

11:30 am - 12:15 pm

Testing and Verification at Amazon

Liana Hadarean

Amazon

12:15 - 1:00 pm

2019 Facebook Testing and Verification RFP Panel Discussion

Mark Harman, Panel Chair

Facebook

1:00 - 2:00 pm

Lunch & Networking

Food and beverages will be served.

2:00 - 2:45 pm

Survey of Program Synthesis

Cristina David

University of Cambridge

2:45 - 3:30 pm

Automated Program Repair with Getafix

Satish Chandra

Facebook

3:30 - 4:00 pm

Break for refreshments

Beverages and light snacks will be served.

4:00 - 4:45 pm

Talk 13

TBD

4:45 - 5:00 pm

Closing remarks

Thanks for attending!

TRAVEL INFORMATION

Hotel & Flights

Facebook will offer to cover your roundtrip flights and hotel costs (up to four nights - Mon Nov 18, Tues Nov 19, Wed Nov 20, and Thurs Nov 21) booked directly through our online booking tool. Any extra hotel nights requested for additional personal stay will be at the cost of the guest requesting, and will not be covered by Facebook. IMPORTANT: Facebook is unable to reimburse flights, hotel accommodations, or ground transportation booked outside of our online booking tool.

Transportation

Heathrow Airport is a 1-hour drive from The Bloomsbury Hotel.

The Bloomsbury Hotel is a 7-minute walk or 20-minute drive from Facebook London.

We will provide shuttles on Symposium Day 1 to transport guests between Facebook London and the social reception, and then back to The Bloomsbury Hotel.

Compliance Policy

As part of our continuing commitment to ethics, openness and transparency, we are mindful that some government employees, including public university professors, may have limitations on receiving for free items of value from companies. By accepting travel, accommodations, and meals from Facebook,

you certify that you have notified and consulted with the relevant ethics officer of your employer regarding the items of value Facebook will be providing to you, at no charge, as part of participation in this event. If your ethics officer does not approve of your acceptance of this amount but you would still like to attend, please make your own travel arrangements.

September

22nd

at

7:00pm

"To achieve great things, two things are needed; a plan and not quite enough time."

jane Doeso | TITLE

The Final Countdown!

Time left for the event days hours minutes seconds

The countdown doesn't work if the event start date is set to TBD

Speakers

Good Company Venture | Founder & CEO

Mrs Robinson

Mike Zoppo is a host of exceptional ability. Studies show that a vast majority of guests attending events by Mike have been known to leave more elated than visitors to Santa's Workshop, The Lost of Continent of Atlantis, and the Fountain of Youth.

Good Company Venture | Founder & CEO

Mrs Robinson

Mike Zoppo is a host of exceptional ability. Studies show that a vast majority of guests attending events by Mike have been known to leave more elated than visitors to Santa's Workshop, The Lost of Continent of Atlantis, and the Fountain of Youth.

Good Company Venture | Founder & CEO

Mrs Robinson

Mike Zoppo is a host of exceptional ability. Studies show that a vast majority of guests attending events by Mike have been known to leave more elated than visitors to Santa's Workshop, The Lost of Continent of Atlantis, and the Fountain of Youth.

Good Company Venture | Founder & CEO

Mrs Robinson

Mike Zoppo is a host of exceptional ability. Studies show that a vast majority of guests attending events by Mike have been known to leave more elated than visitors to Santa's Workshop, The Lost of Continent of Atlantis, and the Fountain of Youth.

#ElizabethV2

Venue

Facebook London

1 Rathbone Square

London,

England

VENUE

Facebook London

1 Rathbone Square

Fitzrovia, London

W1T 1FB

United Kingdom

PLANNING TEAM

sharon ayalde

research program manager,

academic relations

facebook

Jessie Birch

Event operations associate

facebook

Mark Harman

engineering manager

facebook

peter o'hearn

research scientist

facebook

HOTEL accommodations

The Bloomsbury

16-22 Great Russell Street

London, WC1B 3NN

United Kingdom

+44 20 7347 1000

Text Block #9

Clear your calendar - It's going down! You're invited to take part in the festivities. Come one, come all, bring a guest, and hang loose. This is going to be epic!