Bin Lin (@wzblin) 's Twitter Profile
Bin Lin

@wzblin

ID: 462963458

linkhttps://binlin.info calendar_today13-01-2012 15:27:51

204 Tweet

267 Takipçi

254 Takip Edilen

Software Institute (@usisoftware) 's Twitter Profile Photo

On 17 February 2022 we will host the first #SISummit: an online day of talks about #software and everything that goes around it! #SaveTheDate

On 17 February 2022 we will host the first #SISummit: an online day of talks about #software and everything that goes around it! #SaveTheDate
Software Institute (@usisoftware) 's Twitter Profile Photo

🎉 The registrations for the #SISummit 2022 are open! We offer two types of tickets: Full Experience (CHF 10) and Streaming Only (free!). Visit our website to discover more! ℹ️ summit.si.usi.ch

🎉 The registrations for the #SISummit 2022 are open!

We offer two types of tickets: Full Experience (CHF 10) and Streaming Only (free!). 

Visit our website to discover more!

ℹ️ summit.si.usi.ch
Bin Lin (@wzblin) 's Twitter Profile Photo

I'm thrilled to announce that I will be joining Radboud University as an assistant professor this September! Meanwhile, I am looking for a Ph.D. student (more info at binlin.info/join.html). If you know any good candidate, your recommendation is highly appreciated!

Software Institute (@usisoftware) 's Twitter Profile Photo

Are you interested in Program Analysis and Verification? The ATOM Research Group is looking for PhD students funded by the Swiss National Science Foundation (Swiss National Science Foundation). si.usi.ch/position/2022/…

Bin Lin (@wzblin) 's Twitter Profile Photo

The ICPC 2024 tool demo track is still open for paper submissions even if you didn’t register your abstract! The deadline is Dec 1 AoE.

Ayushi Rastogi (@ayushi_rastogi) 's Twitter Profile Photo

SENSymposium’24 welcomes a one-page proposal for lighting talks by the 17th of May at 23:59 CEST via HOTCRP sensym24-lightning.hotcrp.com #sensymposium24 will be held on Friday, 7 June 2024, at CWI Amsterdam. Spread the word! VERSEN Bin Lin Casper Bach Tijs van der Storm Jurgen Vinju

Ayushi Rastogi (@ayushi_rastogi) 's Twitter Profile Photo

Registration is now open! Consider registering yourselves for SEN Symposium'24. sen-symposium.nl/registration/ Participation is free, but we ask all attendees to register beforehand. Spread the word! Bin Lin Casper Bach Tijs van der Storm Jurgen Vinju VERSEN

Ayushi Rastogi (@ayushi_rastogi) 's Twitter Profile Photo

#sensymposium24 presents ‘Where Model-Based Testing Meets Software Engineering,’ an invited talk by Petra van den Bos from University of Twente (inactive). Join us on 7 June (Friday) at CWI Amsterdam. Register via sen-symposium.nl/registration/ Bin Lin Casper Bach Tijs van der Storm Jurgen Vinju CWI VERSEN

Ayushi Rastogi (@ayushi_rastogi) 's Twitter Profile Photo

5 days to go! Submit a one-page proposal for a lightning talk in SENSymposium'24 via HOTCRP sensym24-lightning.hotcrp.com #sensymposium24 will be held on Friday, 7 June 2024, at CWI Amsterdam. VERSEN CWI Bin Lin Casper Bach Tijs van der Storm Jurgen Vinju

Ayushi Rastogi (@ayushi_rastogi) 's Twitter Profile Photo

#sensymposium24 presents ‘Software Engineering Education in the LLM Era: Promises, Perils, and Risks,’ keynote by Massimiliano Di Penta Max Di Penta from University of Sannio, Italy. Join us on June 7 at CWI Amsterdam. Bin Lin Casper Bach Tijs van der Storm Jurgen Vinju CWI VERSEN

Casper Bach (@eclecnant) 's Twitter Profile Photo

2 days left to submit! SENSymposium’24 invites one-page lighting talk proposals. Deadline 17 May @ 23:59 CEST. sensym24-lightning.hotcrp.com #sensymposium24 Event takes place Friday 7 June at CWI Amsterdam. Spread the word! VERSEN Bin Lin Ayushi Rastogi Tijs van der Storm Jurgen Vinju

Ayushi Rastogi (@ayushi_rastogi) 's Twitter Profile Photo

‘From verified compilers to verified compilation,’ #sensymposium24 presents a keynote by Gabriele Keller Gabriele Keller from Utrecht University. Join us on 7 June (Friday) at CWI Amsterdam. Register via sen-symposium.nl/registration/ Bin Lin Casper Bach Tijs van der Storm Jurgen Vinju CWI VERSEN

Ayushi Rastogi (@ayushi_rastogi) 's Twitter Profile Photo

#sensymposium24 presents ‘Evaluating Large Language Models for Code Generation: a Practical View,’ an invited talk by Maliheh Izadi Maliheh (Mali) Izadi from SERG TU Delft. Join us on 7 June at CWI Amsterdam. Bin Lin Casper Bach Tijs van der Storm Jurgen Vinju CWI VERSEN

Ayushi Rastogi (@ayushi_rastogi) 's Twitter Profile Photo

Last day to register for SENSymposium'24! If you are registered and cannot make it, let us know! It will help us plan better.

Alexander Serebrenik (@aserebrenik) 's Twitter Profile Photo

Dear all, I have decided to run for an at-large member position in the Executive Committee of IEEEComputerSoc. If you are a member of IEEE, IEEE Computer Society and TCSE please vote on surveymonkey.com/r/XJXV3P9 The deadline is Nov 15!