Stream: Geographic locality
Topic: Montreal, Quebec
Frédéric Dupuis (Jul 24 2020 at 02:52):
I just realized I should probably introduce myself properly now that I'm making PRs :-) I'm an assistant prof in CS at the University of Montreal, working in quantum information theory. I don't know anything about formal verification despite being in CS however, so I guess here that makes me some sort of very applied mathematician.
Jalex Stark (Jul 24 2020 at 02:56):
Ah! I thought your name sounded familiar --- I've used your entropy accumulation stuff before
Jalex Stark (Jul 24 2020 at 02:57):
or, rather, Thomas used it and I only kind of understood it
Frédéric Dupuis (Jul 24 2020 at 04:16):
Yes, I remember seeing your name on the list of QIP speakers at some point I think!
Jalex Stark (Jul 24 2020 at 04:35):
:) the main theorem of the talk i gave at QIP 2018 is false
Jalex Stark (Jul 24 2020 at 04:35):
that's a big reason that I'm here
Jasmin Blanchette (Jul 24 2020 at 05:45):
Bienvenue, Frédéric ! I'm from Warwick, Qc.
Simon Hudon (Jul 24 2020 at 12:50):
Bienvenue! Je viens de Gatineau, Qc :)
Jasmin Blanchette (Jul 24 2020 at 13:30):
Yuck. Could somebody (-ies?) make that ugly maple leaf go away? ;) :fleur_de_lis: :fleur_de_lis: :fleur_de_lis:
Frédéric Dupuis (Jul 25 2020 at 01:23):
Merci! En fait je travaillais au LORIA à Nancy jusqu'à récemment, j'avais entendu ton nom à plusieurs reprises :-)
Frédéric Dupuis (Jul 25 2020 at 01:32):
@Jalex Stark, actually one of the reasons why I'm here is that the entropy accumulation paper took a solid three years to get through the refereeing process, by which time there were several other results built on top. The referees didn't find any bugs in the end, but it makes you think...
Jalex Stark (Jul 25 2020 at 01:33):
yeah there's a lot of bookkeeping there which seems like a computer really ought to be good at
Frédéric Dupuis (Jul 25 2020 at 01:36):
Yeah, and when you take into account the amount of proofreading you have to do, formalizing the result suddenly seems a lot less time-consuming...
François Sunatori (Apr 19 2021 at 02:08):
I'm also from Gatineau, QC, studied at Université de Montréal in CS/math and now working in Montreal
Jérémie Turcotte (Jun 07 2022 at 18:50):
Hey! I'm PhD student at McGill University, and previously at Université de Montréal, doing mostly graph theory.
Frédéric Dupuis (Jun 07 2022 at 20:14):
Always nice to see people from Quebec here! I'm at the CS department at the Université de Montréal.
Jérémie Turcotte (Jun 07 2022 at 20:19):
Cool! I did my Master's with Gena Hahn at DIRO actually.
Mathieu Guay-Paquet (Jul 01 2022 at 18:45):
Hey, we might have enough people at the various Montreal universities to have a gathering this summer!
Antoine Labelle (Jul 01 2022 at 20:29):
Also from Montreal here, I am an undergrad at McGill with interests in Lean! :grinning:
Frédéric Dupuis (Jul 01 2022 at 21:51):
I'd be up for it!
Mathieu Guay-Paquet (Jul 02 2022 at 13:11):
How about this Wednesday (July 6) at 5pm, walking up Mount Royal, starting at the Peel steps? React with :+1: if that works, or :time: if you'd rather a different day/time
Jérémie Turcotte (Jul 05 2022 at 16:41):
I would have liked to join! But I am in Europe at the moment for a few weeks. But definitely would be happy to meet in the future.
Mathieu Guay-Paquet (Jul 06 2022 at 14:17):
I'm feeling sick since yesterday, so I won't be walking up the Mount after all, but I encourage others to do it! And I'm sure we'll do another walk later in the summer
Frédéric Dupuis (Jul 06 2022 at 15:37):
We can also just reschedule to next week.
Jake Levinson (Jul 07 2022 at 15:27):
Next week I'll be at ICERM for the Lean workshop, so I wouldn't be able to join...
Frédéric Dupuis (Jul 07 2022 at 18:38):
So are we still on for this...?
Jake Levinson (Jul 07 2022 at 19:11):
I think no. At least, I made other plans.
Frédéric Dupuis (Jul 07 2022 at 19:13):
Jake Levinson (Jul 07 2022 at 19:21):
Antoine Labelle (Jul 15 2022 at 15:15):
Should we try doing this next week?
Frédéric Dupuis (Jul 15 2022 at 18:41):
Next week it's my turn to be away -- I'll be back the week after though and would be available then.
Mathieu Guay-Paquet (Jul 15 2022 at 18:45):
Both weeks work for me, ideally on a Wednesday or Thursday
Mathieu Guay-Paquet (Aug 02 2022 at 18:56):
Alright, let's try again :smile: How about this coming Monday, Aug 8, at 5pm? We'll meet at the Peel steps to walk up Mount Royal. React with :+1: if that works, or :time: if you'd rather a different day/time. I believe we may be joined by @Jake Levinson and @Peter Nelson
Frédéric Dupuis (Aug 04 2022 at 16:56):
I won't be able to make it I'm afraid, I'll be in Israel for ITP!
Mathieu Guay-Paquet (Aug 07 2022 at 00:39):
Mathieu Guay-Paquet said:
Alright, let's try again :smile: How about this coming Monday, Aug 8, at 5pm? We'll meet at the Peel steps to walk up Mount Royal. React with :+1: if that works, or :time: if you'd rather a different day/time. I believe we may be joined by Jake Levinson and Peter Nelson
Backup plan in case of (likely) rain: the math building at UQAM is at the Place-des-Arts metro station (it's the beige building with a curved wall), and we can meet at the downstairs cafeteria.
Jake Levinson (Aug 08 2022 at 15:35):
See you all later today!
Mathieu Guay-Paquet (Aug 08 2022 at 16:08):
Yes, and given the uncertain weather let's do the backup plan, of meeting at UQAM
Last updated: Sep 24 2022 at 18:19 UTC