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

RSVPs Closed

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.

Registration for the symposium is now closed.

If you missed the registration deadline or are waitlisted for the event, we hope you will join us remotely via livestream - see details below.

We look forward to having you join us in November!

LIVESTREAMING THE EVENT

The symposium will be livestreamed for guests that are unable to attend the event in-person.

If you wish to attend the symposium remotely via livestream, please request to join the Facebook TAV Symposium group on Facebook. The event will be livestreamed directly in this group when the symposium takes place November 20-21.

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 am - 12:45 pm

Morning Session

Morning Session Chair:

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 - 5:45 pm

Afternoon Session

Afternoon Session Chair:

Paul Marinescu

Facebook

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

Survey of Program Synthesis

Cristina David

University of Cambridge

4:45 - 5:45 pm

Incorrectness Logic

Peter O'Hearn

Facebook

5:45 - 6:45 pm

Shuttle ride from Facebook London to Tower Pier

Facebook will provide shuttles to transport guests from Facebook London to Tower Pier for the social reception.

7:00 - 9:30 pm

Social Reception aboard the Dixie Queen

Join us for an evening boat cruise down River Thames aboard the Dixie Queen!

9:45 - 10:30 pm

Shuttle ride from Tower Pier to Facebook London

Facebook will provide shuttles to transport guests from Tower Pier to Facebook London. From here, guests can arrange their own travel home or to their hotel.

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 am - 1:00 pm

Morning Session

Morning Session Chair:

Dulma Churchill

Facebook

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

*session will not be livestreamed

11:30 am - 12:15 pm

Mutation Testing

Mike Papadakis
University of Luxembourg

12:15 - 1:00 pm

Panel Discussion

Mark Harman, Panel Chair

Facebook

1:00 - 2:00 pm

Lunch & Networking

Food and beverages will be served.

2:00 - 4:00 pm

Afternoon Session

Afternoon Session Chair:

Peter O'Hearn

Facebook

2:00 - 2:45 pm

Automated Program Repair with Getafix

Satish Chandra

Facebook

2:45 - 3:30 pm

Perspectives on Testing and Verification

Tony Hoare

University of Oxford

3:30 - 4:00 pm

Closing remarks

Thanks for attending!

4:00 - 5:00 pm

Closing Reception

Guests are welcome to stay for mingling and refreshments during this optional closing reception.

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

VENUE

SOCIAL RECEPTION

If you are attending the symposium in-person at Facebook, please join us for a social reception aboard the Dixie Queen on the evening of Wednesday, November 20th.

DETAILS:

Facebook will provide shuttles to transport guests from the Facebook office to Tower Pier where we will board the Dixie Queen. The ship will cruise down River Thames from 7:00-9:30pm with a special siting of London's Tower Bridge opening for the Dixie Queen to pass through. Food and beverages will be served onboard. After the cruise, Facebook will again provide shuttles to transport guests from Tower Pier back to the Facebook office where guests will then arrange their own transportation home.

To reserve your spot aboard the Dixie Queen for the social reception, you must confirm your attendance via the RSVP form. Please double-check your RSVP form and make sure you've selected "yes" to the "Will you be attending the social reception aboard the Dixie Queen?" question. Only guests that have selected "yes" to this question will be permitted onboard due to capacity restraints.

PLANNING TEAM

sharon ayalde

research program manager,

academic relations

facebook

Jessie Birch

Event operations associate

facebook

Mark Harman

Research Scientist

facebook

peter o'hearn

research scientist

facebook

HOTEL accommodations

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!