Haskel Love

Confirmed

• Tikhon Jelvis [e-mail]
• Jeremy Gibbons [e-mail]
• Emily Pillmore [e-mail]
• Derek Elkins [e-mail]
• Susan Potter
• Pawel Szulc
• Conal Elliot https://twitter.com/conal?lang=en [e-mail]
• John Wiegley [e-mail]
• Simon Peyton Jones [e-mail]

Contacted by Bartosz

• Dan Piponi https://www.linkedin.com/in/sigfpe/ [e-mail]
• • Manuel Chakravarty https://iohk.io/en/team/manuel-chakravarty
    [e-mail] (also [e-mail])
• • Gabriele Keller [e-mail]
• • Edward Kmett

Contacted by Oli

• • Emily Riehl https://twitter.com/emilyriehl?lang=en [e-mail]
• Stephanie Weirich [e-mail]
• Julie Moronuki @argumatronic [e-mail]
• Erik Torreborre
• Oleg Kiselyov [e-mail]
• Simon Marlow https://www.linkedin.com/in/simonmarlow/ [e-mail]
• Philip Wadler [e-mail]
• Gabriel Gonzales @GabrielG439 [e-mail]
• Richard Eisenberg [e-mail]
• Arnaud Spiwack [e-mail]
• Andrei Mokhov https://twitter.com/andreymokhov?lang=en [e-mail]
• Lennart Augustsson [e-mail]
• Greg Horn [e-mail]
• Alexis King [e-mail]

List of potential speakers

• Tony Morris [e-mail]
• Oleg Grenrus [e-mail]
• Duncan Coutts [e-mail]
• Andres Löh [e-mail]
• Mikolaj Konarski [e-mail]
• Brent Yorgey [e-mail] or [e-mail]
• Ron Garcia: https://www.cs.ubc.ca/~rxg/
• Amal Ahmed: http://www.ccs.neu.edu/home/amal/
• Karim Ali: https://karimali.ca/
• Christine Rizkallah: http://www.cse.unsw.edu.au/~crizkallah/
• Cyrus Omar: https://web.eecs.umich.edu/~comar/
• Vaibhav Sagar: https://vaibhavsagar.com/
• Nadia Polikarpova: https://cseweb.ucsd.edu/~npolikarpova/
• KC Sivaramakrishnan: https://kcsrk.info/
• Nada Amin: https://namin.seas.harvard.edu/people/nada-amin
• Shriram Krishnamurthi: https://cs.brown.edu/~sk/
• Youyou Cong: http://prg.is.titech.ac.jp/people/cong/
• Makoto Hamana: https://www.cs.gunma-u.ac.jp/~hamana/
• Niki Vazou: https://nikivazou.github.io/

Potential Sponsors

• Standard Chartered
• Galois
• Jane Street
• IOHK