Waterloo Workshop on ML + Verification + Security | Aug 26-30, 2019

University of Waterloo - Department of Electrical and Computer Engineering - the Workshop will be held in EIT 3142
Monday, Aug 26, 2019 at 9:00 AM EDT 
{ "name":"Waterloo Workshop on ML + Verification + Security | Aug 26-30, 2019", "description": "https://ticketfi.com/event/2793/waterloo-workshop-on-ml-verification-security-aug-26-30-2019\n\n\"Over the last decade, machine learning (ML) has had a revolutionary impact on many fields of science and engineering. Problems once deemed impossible, such as automatic language translation, are now solved routinely thanks to ML. An example of a field undergoing revolutionary change thanks to ML is verification. Today's verification tools, such as SAT\\/SMT solvers, are ever more scalable thanks to their use of sophisticated ML methods. Conversely, ML needs verification and security because of increasingly sophisticated attacks on ML models. There is an urgent need for experts (theorists and practitioners) in these fields to work together, if ML is to continue to have significant impact and adoption.\\n \\nThe Department of Electrical and Computer Engineering at the University of Waterloo invites you to attend a week-long workshop, August 26 to August 30th, where we will bring together speakers who are world-renowned practitioners and theorists in ML, verification and security to speak on inter-disciplinary research being conducted on ML for verification+security, and verification+security for ML. The goal is not only to educate each other, but the next generation of researchers in this exciting new inter-disciplinary field.\\n\\nA program\\/schedule will be made available for download soon!\\n\\nRegistration for Masters, PhDs, postdocs, and early-stage professors is now closed.  \\n\\nRegistration for members of industry is still open, but seats are limited.  There is a registration fee to attend this event.  If you are a member of industry, you can  register at: https:\\/\\/webreg.uwaterloo.ca\\/onlinereg\\/Register\\/default.aspx?code=C000566\\n\\nAll attendees are required to submit their CV via email to:\\n\\nAndrea Pinos, Communications and Awards Officer\\nDepartment of Electrical and Computer Engineering\\naepinos@uwaterloo.ca\\n \\nLOCATION:  The workshop will be held at the University of Waterloo on our main campus  in the Science Teaching Complex  (STC), Room 1012.  You can download a map here.\\n\\nPlease note we do not provide travel grants to attendees.\\n\\nIf you are travelling to Waterloo and are looking for accommodation, here are a few options:\\n\\n\\n\\tGuest Rooms at St. Paul's University College (affiliated with University of Waterloo and located on its main campus).  \\n\\tComfort Inn\\n\\tInn of Waterloo\\n\\n\\nIf you are driving to Waterloo, you can download information for parking here.\\n\\nIf you have questions or require assistance, please contact:\\nAndrea Pinos, Communications and Awards Officer\\nDepartment of Electrical and Computer Engineering\\naepinos@uwaterloo.ca\\n519-888-4567 x33708\\n\"", "startDate":"2019-08-26", "endDate":"2019-08-26", "startTime":"09:00", "endTime":"10:00", "location":"University of Waterloo Department of Electrical and Computer Engineering - the Workshop will be held in EIT 3142 - Waterloo ON N2L 3G1 Canada", "label":"Add to Calendar", "options":[ "Apple", "Google", "iCal", "Microsoft365", "Outlook.com", "Yahoo" ], "timeZone":"US/Eastern", "trigger":"click", "inline":true, "listStyle":"modal", "iCalFileName":"invite.ics" }

Event Details

Over the last decade, machine learning (ML) has had a revolutionary impact on many fields of science and engineering. Problems once deemed impossible, such as automatic language translation, are now solved routinely thanks to ML. An example of a field undergoing revolutionary change thanks to ML is verification. Today's verification tools, such as SAT/SMT solvers, are ever more scalable thanks to their use of sophisticated ML methods. Conversely, ML needs verification and security because of increasingly sophisticated attacks on ML models. There is an urgent need for experts (theorists and practitioners) in these fields to work together, if ML is to continue to have significant impact and adoption.
 
The Department of Electrical and Computer Engineering at the University of Waterloo invites you to attend a week-long workshop, August 26 to August 30th, where we will bring together speakers who are world-renowned practitioners and theorists in ML, verification and security to speak on inter-disciplinary research being conducted on ML for verification+security, and verification+security for ML. The goal is not only to educate each other, but the next generation of researchers in this exciting new inter-disciplinary field.

A program/schedule will be made available for download soon!

Registration for Masters, PhDs, postdocs, and early-stage professors is now closed.  

Registration for members of industry is still open, but seats are limited.  There is a registration fee to attend this event.  If you are a member of industry, you can  register at: https://webreg.uwaterloo.ca/onlinereg/Register/default.aspx?code=C000566


All attendees are required to submit their CV via email to:

Andrea Pinos, Communications and Awards Officer
Department of Electrical and Computer Engineering
aepinos@uwaterloo.ca
 

LOCATION:  The workshop will be held at the University of Waterloo on our main campus  in the Science Teaching Complex  (STC), Room 1012.  You can download a map here.

Please note we do not provide travel grants to attendees.

If you are travelling to Waterloo and are looking for accommodation, here are a few options:

  1. Guest Rooms at St. Paul's University College (affiliated with University of Waterloo and located on its main campus).  
  2. Comfort Inn
  3. Inn of Waterloo

If you are driving to Waterloo, you can download information for parking here.

If you have questions or require assistance, please contact:
Andrea Pinos, Communications and Awards Officer
Department of Electrical and Computer Engineering
aepinos@uwaterloo.ca
519-888-4567 x33708

Speakers

Krzysztof Czarnecki
University of Waterloo
Professor
Vijay Ganesh
University of Waterloo
Associate Professor
Arie Gurfinkel
University of Waterloo
Associate Professor
Somesh Jha
University of Wisconsin, Madison
Professor
Antonina Kolokolova
Memorial University of Newfoundland
Associate Professor
Alexey Kurakin
Google Brain
Research Software Engineer
Bo Li
University of Illinois at Urbana-Champaign
Assistant Professor
Aleksander Madry
MIT
NBX Career Development Associate Professor
Prateek Saxena
National University of Singapore
Assistant Professor
Kuldeep Meel
National University of Singapore
Assistant Professor
Mayur Naik
University of Pennsylvania
Associate Professor
Nina Narodytska
VMware Research
Researcher
Dirk Nowotka
Christian-Albrechts-Universitat zu Kiel
Professor
Pascal Poupart
University of Waterloo
Professor
Daniel Selsam
Stanford University
PhD Student

Location

University of Waterloo - Department of Electrical and Computer Engineering - the Workshop will be held in EIT 3142
200 University Avenue West Waterloo, ON N2L 3G1 CA

Tickets

Type
Price
Waterloo Workshop
Free

Organizer Details

Logo - Department of Electrical and Computer Engineering

Department of Electrical and Computer Engineering

Electrical and Computer Engineering (ECE) is Waterloo’s largest academic department, with over 2,500 students, 93 full-time faculty members and 50 support staff. In addition to offering undergraduate and graduate programs in electrical engineering and computer engineering, ECE provides academic expertise and support to Waterloo’s multidisciplinary mechatronics, nanotechnology, and software engineering programs.

Our research activities cover a wide range of fields, from high-voltage engineering and sustainable energy to breakthroughs in wireless technology that will enhance communications across our global society. Our faculty members and students are creating low-cost digital x-ray imagers to combat tuberculosis in developing countries, and building real-time embedded systems that will advance the design and reliability of consumer and industrial products.