Youyou Cong

Assistant Professor @sciencetokyo_en.
I enjoy capturing continuations and composing well-typed music.

[Youyou Cong @yuyuchazuke]

I lost the third TT in my profile. 😢

https://t.co/ZlQKvjIRhn

[Youyou Cong @yuyuchazuke]

Time to update my profile...

[Youyou Cong @yuyuchazuke]

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

[Youyou Cong @yuyuchazuke]

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

[Programming Languages Mentoring Workshop @PLMentoring]

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: https://t.co/IeCeV0RUgf

[Youyou Cong @yuyuchazuke]

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

[Youyou Cong @yuyuchazuke]

TyDe 2023 will consist of 12 exciting talks and a keynote by @jer_gib! Register by August 5 for reduced rates.

Website: https://t.co/XOh4LrOg3h
Registration: https://t.co/Imbxu4iybf

[Youyou Cong @yuyuchazuke]

We also have a playlist of videos in which past PLMW participants share their experience at the workshop!

https://t.co/IINzZqiMDF

[Programming Languages Mentoring Workshop @PLMentoring]

July 24 is coming up, apply/tell your students if you haven't already!

[GPCE @GPCECONF]

We have extended the deadlines for abstract and paper submission!

Abstract submission: July 10th
Paper submission: July 14th
Conference website: https://t.co/ozAp750hrN

[Programming Languages Mentoring Workshop @PLMentoring]

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!

https://t.co/5hBY3LfBj3

[GPCE @GPCECONF]

GPCE submission deadline is approaching! Register your abstract by July 3 and submit your paper by July 7.

https://t.co/ozAp750hrN

[Youyou Cong @yuyuchazuke]

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

[Youyou Cong @yuyuchazuke]

One week until the TyDe submission deadline! We look forward to learning about your latest work on types.

https://t.co/XOh4LrOg3h

[FARM Workshop @WorkshopFARM]

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! https://t.co/C7RSHzvdWe

[Youyou Cong @yuyuchazuke]

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

https://t.co/XOh4LrOg3h

[GPCE @GPCECONF]

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

[Youyou Cong @yuyuchazuke]

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

[Youyou Cong @yuyuchazuke]

@typetheorysucks Thanks 🙂

[Youyou Cong @yuyuchazuke]

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

[Youyou Cong @yuyuchazuke]

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