THIS SITE

Information for

Waterloo Workshop on ML + Verification + SecurityExport this event to calendar

Monday, August 26, 2019 — 9:00 AM to Friday, August 30, 2019 — 5:00 PM EDT

Campus

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.
 
We invite applications from Masters, PhDs, postdocs, and early-stage professors from universities around the world. Seats are limited, hence it is best to apply as soon as possible. All applicants are required to submit their CV via email to: 

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

There is no registration fee associated with this workshop.  Once applicants have submitted a CV, they may register for the workshop on the registration website.

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

The workshop will be held at the University of Waterloo on our main campus  in the Centre for Information and Environmental Technology building (3rd floor, Room 3142).  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

Our sponsors for this event are:

Waterloo Artificial Intelligence Institute (Waterloo.AI)

Waterloo Cybersecurity and Privacy Institute

Vector Institute

 

 

Cost 
No cost to attend.
Location 
EIT - Centre for Environmental and Information Technology
Room 3142
200 University Avenue West
Waterloo, ON N2L 3G1
Canada

S M T W T F S
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
  1. 2019 (7)
    1. August (1)
    2. January (6)
  2. 2018 (137)
    1. December (11)
    2. November (16)
    3. October (11)
    4. September (13)
    5. August (7)
    6. July (22)
    7. June (9)
    8. May (6)
    9. April (9)
    10. March (16)
    11. February (10)
    12. January (7)
  3. 2017 (212)
  4. 2016 (242)
  5. 2015 (242)
  6. 2014 (268)
  7. 2013 (192)
  8. 2012 (31)