Top Tweets for #FloC26

24 days ago

@krismicinski I don't know what your context was, but I just expressed related thoughts discussing students' behavior. I think some of what @vardi said at #floc26 about the proliferation of papers could fit here too.

Swarat Chaudhuri

@swarat

about 1 month ago

At #FLOC26? You won’t want to miss the AIMACS workshop panel at 5:15 pm, Saturday Jully 25! When else would you get to see @vardi, @ShriramKMurthi, Armando Solar-Lezama, and Pavithra Prabhakar spar about what AI progress means for the future of CS and Formal Methods? I will moderate and plan to ask hard questions! https://t.co/cflkydLEg3

898

Swarat Chaudhuri

@swarat

about 1 month ago

If you are at #FloC26, come to the workshop on AI for Math and Computer Science (AIMACS) on July 25! * Tutorial by @KaiyuYang4 on AI-aided theorem-proving * Tutorial by Clark Barrett and Sorrachai Yingchareonthawornchai on #CSLib, the Lean computer science library * Talks by @lorisdanto, @gtsoukal, and Moa Johansson * A panel on how computer scientists should respond to AI progress, with @vardi, @ShriramKMurthi, Pavithra Prabhakar, and Armando Solar-Lezama. I will moderate. * Many very interesting posters. https://t.co/lAK5ZDWNlY https://t.co/y1oKw38l8h

Top Tweets for #FloC26

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users