Youyou Cong

I lost the third TT in my profile. 😢 isct.ac.jp/en/001/about

Time to update my profile...

@ShriramKMurthi @wilbowma Yes. Presupposition (e.g. "X knows that P" presupposes P) is another use case of dependent types.

@yuyuchazuke @wilbowma Is this for anaphora?

I love it. Someone make this happen if you haven't already.

Had an effectful week with @shonanmtg #203 participants. Thank you all, and I look forward to resuming the discussion!

Hey, PL folks! Are you coming to @splashcon? Are you there on Monday? If so, you should come mentor at PLMW! There will be a mentoring session at 4:30pm on Monday, and if you want to come hang out with the PLMW mentees, you can sign up here: forms.gle/ZG8zkdqwDDcrg5…

My @icfp_conference was about setting the alarm for the right time.

TyDe 2023 will consist of 12 exciting talks and a keynote by @jer_gib! Register by August 5 for reduced rates. Website: icfp23.sigplan.org/home/tyde-2023 Registration: cvent.me/KLBGRr

We also have a playlist of videos in which past PLMW participants share their experience at the workshop! 2023.splashcon.org/track/splash-2…

We have extended the deadlines for abstract and paper submission! Abstract submission: July 10th Paper submission: July 14th Conference website: 2023.splashcon.org/home/gpce-2023

Oh, what's this? The application for PLMW@SPLASH? Yes, yes it is! Students, apply by July 24 for full consideration and come PL with us in Portugal! forms.gle/VpqR8dJpEdR12p…

GPCE submission deadline is approaching! Register your abstract by July 3 and submit your paper by July 7. 2023.splashcon.org/home/gpce-2023

You've got an extra week to prepare your TyDe paper!

One week until the TyDe submission deadline! We look forward to learning about your latest work on types. icfp23.sigplan.org/home/tyde-2023

Last call for papers, demos, and performances for #WorkshopFARM2023 - deadline is June 1! #WorkshopFARM2023 will once again be co-located with ICFP, and happen on Sep 8 in Seattle! functional-art.org/2023/cfp.html

TyDe 2023 is happening in September as a co-located event of @icfp_conference. Submit your well-typed paper by June 1! icfp23.sigplan.org/home/tyde-2023

We are delighted to announce GPCE 2023, co-located with @splashcon. Submit your cool work on generative programming and related topics. For details, visit 2023.splashcon.org/home/gpce-2023.

@sinya8282 ありがとうございます！

@yuyuchazuke おめでとうございます！ ナイスTT! 🎉

@typetheorysucks Thanks 🙂

@yuyuchazuke Congratulations 🎉 (fail to come up with a reply with TT as capitals)

@skymountain_ ありがとうございます！研究室の名前はまだ相談中ですが、たとえば「プログラミング研究室」が候補として挙がっています。

@yuyuchazuke ありがとう＆おめでとうございます！研究室は増原・叢研になる？

4月からJKJになりました ✌

@bd_gfngfn ありがとうございます！

@yuyuchazuke おめでとうございます！