Zulip Chat Archive

Stream: Geographic locality

Topic: Montreal, Quebec


view this post on Zulip 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.

view this post on Zulip Jalex Stark (Jul 24 2020 at 02:56):

Ah! I thought your name sounded familiar --- I've used your entropy accumulation stuff before

view this post on Zulip Jalex Stark (Jul 24 2020 at 02:57):

or, rather, Thomas used it and I only kind of understood it

view this post on Zulip 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!

view this post on Zulip Jalex Stark (Jul 24 2020 at 04:35):

:) the main theorem of the talk i gave at QIP 2018 is false

view this post on Zulip Jalex Stark (Jul 24 2020 at 04:35):

that's a big reason that I'm here

view this post on Zulip Jasmin Blanchette (Jul 24 2020 at 05:45):

Bienvenue, Frédéric ! I'm from Warwick, Qc.

view this post on Zulip Simon Hudon (Jul 24 2020 at 12:50):

Bienvenue! Je viens de Gatineau, Qc :)

view this post on Zulip 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:

view this post on Zulip 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 :-)

view this post on Zulip 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...

view this post on Zulip 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

view this post on Zulip 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...

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Jérémie Turcotte (Jun 07 2022 at 20:19):

Cool! I did my Master's with Gena Hahn at DIRO actually.

view this post on Zulip 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!

view this post on Zulip Antoine Labelle (Jul 01 2022 at 20:29):

Also from Montreal here, I am an undergrad at McGill with interests in Lean! :grinning:

view this post on Zulip Frédéric Dupuis (Jul 01 2022 at 21:51):

I'd be up for it!

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Frédéric Dupuis (Jul 06 2022 at 15:37):

We can also just reschedule to next week.

view this post on Zulip 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...

view this post on Zulip Frédéric Dupuis (Jul 07 2022 at 18:38):

So are we still on for this...?

view this post on Zulip Jake Levinson (Jul 07 2022 at 19:11):

I think no. At least, I made other plans.

view this post on Zulip Frédéric Dupuis (Jul 07 2022 at 19:13):

Next time!

view this post on Zulip Jake Levinson (Jul 07 2022 at 19:21):

yes!

view this post on Zulip Antoine Labelle (Jul 15 2022 at 15:15):

Should we try doing this next week?

view this post on Zulip 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.

view this post on Zulip Mathieu Guay-Paquet (Jul 15 2022 at 18:45):

Both weeks work for me, ideally on a Wednesday or Thursday

view this post on Zulip 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

view this post on Zulip 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!

view this post on Zulip 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.

view this post on Zulip Jake Levinson (Aug 08 2022 at 15:35):

See you all later today!

view this post on Zulip 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