Montreal, Quebec

Stream: Geographic locality

[Frédéric Dupuis]

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]

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

[Jalex Stark]

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

[Frédéric Dupuis]

Yes, I remember seeing your name on the list of QIP speakers at some point I think!

[Jalex Stark]

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

[Jalex Stark]

that's a big reason that I'm here

[Jasmin Blanchette]

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

[Simon Hudon]

Bienvenue! Je viens de Gatineau, Qc :)

[Jasmin Blanchette]

Yuck. Could somebody (-ies?) make that ugly maple leaf go away? ;) :fleur_de_lis: :fleur_de_lis: :fleur_de_lis:

[Frédéric Dupuis]

Merci! En fait je travaillais au LORIA à Nancy jusqu'à récemment, j'avais entendu ton nom à plusieurs reprises :-)

[Frédéric Dupuis]

@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]

yeah there's a lot of bookkeeping there which seems like a computer really ought to be good at

[Frédéric Dupuis]

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]

I'm also from Gatineau, QC, studied at Université de Montréal in CS/math and now working in Montreal

[Jérémie Turcotte]

Hey! I'm PhD student at McGill University, and previously at Université de Montréal, doing mostly graph theory.

[Frédéric Dupuis]

Always nice to see people from Quebec here! I'm at the CS department at the Université de Montréal.

[Jérémie Turcotte]

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

[Mathieu Guay-Paquet]

Hey, we might have enough people at the various Montreal universities to have a gathering this summer!

[Antoine Labelle]

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

[Frédéric Dupuis]

I'd be up for it!

[Mathieu Guay-Paquet]

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]

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]

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]

We can also just reschedule to next week.

[Jake Levinson]

Next week I'll be at ICERM for the Lean workshop, so I wouldn't be able to join...

[Frédéric Dupuis]

So are we still on for this...?

[Jake Levinson]

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

[Frédéric Dupuis]

Next time!

[Jake Levinson]

yes!

[Antoine Labelle]

Should we try doing this next week?

[Frédéric Dupuis]

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]

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

[Mathieu Guay-Paquet]

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]

I won't be able to make it I'm afraid, I'll be in Israel for ITP!

[Mathieu Guay-Paquet]

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]

See you all later today!

[Mathieu Guay-Paquet]

Yes, and given the uncertain weather let's do the backup plan, of meeting at UQAM

[Mathieu Guay-Paquet]

Next Wednesday (November 16), between 3pm and 4pm, some of us will be doing the natural number game collaboratively at UQAM in room PK-4323 (201 Avenue du Président-Kennedy). If anyone here (or anyone you know) is curious about Lean, feel free to join us!

[Frédéric Dupuis]

I won't be able to make it (I'm teaching at UdeM from 4pm to 5pm), but have fun!

[Mathieu Guay-Paquet]

Mathieu Guay-Paquet said:

Next Wednesday (November 16), between 3pm and 4pm, some of us will be doing the natural number game collaboratively at UQAM in room PK-4323 (201 Avenue du Président-Kennedy). If anyone here (or anyone you know) is curious about Lean, feel free to join us!

Reminder that this is happening tomorrow!

[Antoine Labelle]

I'll be there, and convinced a friend who's interested in Lean to come!

[Mathieu Guay-Paquet]

Let's do it again! Next Wednesday (December 14), between 3pm and 4pm, some of us will be (continuing to) do natural numbers game collaboratively at UQAM in room PK-4323 (201 Avenue du Président-Kennedy). Anyone in Montreal who's curious about Lean is welcome :smile:

[Mathieu Guay-Paquet]

@Frédéric Dupuis @Antoine Labelle sorry for cancelling :up:

[Frédéric Dupuis]

No problem, get well soon!