RT @icfp_conference: 🚨 Call for Volunteers: SPLASH/ICFP 2025 🚨. Join the team that makes it all happen!.Meet the PL community, attend for f….

RT @f_sarro: My group at UCL is hiring two lectures (a.k.a assistant professor) in Software Systems, Artificial Intelligence and Data Engin….

RT @davidrfgomes: 162 people have confirmed attendance for our MCP meetup in Lisbon next week. These are insane numbers, we still have more….

Um individuo tem direitos até estes interferirem com o direito dos outros. @LuisMonteneg9 está lançado o desafio.

RT @claudiaaict: Secretário de Estado adjunto da Presidência:. “Para trabalhar em Portugal não é preciso ser português, mas para ser portug….

🕵️‍♂️PhD and MSc students interested in Theorem Proving or Evolutionary Computation can apply for a Species scholarship to visit and collaborate with me in lisbon:

RT @JAldrichPL: #LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoptio….

RT @levifig: #LifeUpdate. So, stuff happens and me + ~40 of my colleagues are now on the job market… #layoff The company handled it okay (t….

RT @PLDI: Ready for PLDI? ✈️ Checkout the the incredibly detailed PLDI 25 travel guide created by Nuno Lopes. It includes tips on flights,….

I'm looking for 1 PhD student in Program Synthesis (3 years in Portugal, 1 year at CMU). Deadline: June 15th. DMs are open.

Finanças. 9 da manhã. 15 minutos na fila para tirar senha. Número 16. Passado uma hora só chamaram 3 números. Ideia genial: fazer disto um espaço de cowork para ao menos despachar emails.

RT @andrasKovacs6: The TyDe 2025 submission deadline has been extended to 22 June. Please consider submitting! The workshop is in Singapore….

RT @splashcon: PLMW (@PLMentoring) is calling for student applications -- **Funding is available**. If you are a student interested in ICFP….

That airport life at 4am. #gptp2025

RT @awsTO: As part of SIGPLAN blog, Adrian Sampson and I started an interview series where we talk to PL luminaries. Our first one is a sup….

RT @Greg4cr: Some colleagues and I are curious about potential biases that can affect review activities during #SoftwareDevelopment. If you….

RT @SPECIESsociety: 📢 The SPECIES Summer School is back! .🗓️ Aug 26–31, 2025 .📍 Moraira, Spain .A week of learning, hands-on challenges, a….

RT @IMDEA_Software: 📣 IMDEA Software Institute is offering 14 fully-funded research positions for interns & PhD students!. 🤝 Take part in g….

"Os funcionários públicos têm de ter direito a ser avaliados pelas suas competências, pelos seus resultados e por aquilo que entregam ao país. E é inadmissível que esses que têm resultados, que produzem, contribuem para o país [. ] ganhem o mesmo do que aqueles que nada fazem".