@carlataciana.bsky.social
November 24, 2025 at 7:51 PM
We aim to understand how students and professionals are using LLMs to support Requirements Engineering activities and to compare the state of practice with recent scientific literature.
⏱️It takes 5-7 min
📅 November 30, 2025
🙋Software Engineering students and professionals
🔗 forms.gle/MufJARdJ3EbE...
⏱️It takes 5-7 min
📅 November 30, 2025
🙋Software Engineering students and professionals
🔗 forms.gle/MufJARdJ3EbE...
November 22, 2025 at 12:55 PM
We aim to understand how students and professionals are using LLMs to support Requirements Engineering activities and to compare the state of practice with recent scientific literature.
⏱️It takes 5-7 min
📅 November 30, 2025
🙋Software Engineering students and professionals
🔗 forms.gle/MufJARdJ3EbE...
⏱️It takes 5-7 min
📅 November 30, 2025
🙋Software Engineering students and professionals
🔗 forms.gle/MufJARdJ3EbE...
Meet the general chair of the 28th Brazilian Symposium on Formal Methods (promoted by the Brazilian Computer Society - @sbcoficial).
🌟Lucas Lima
📍Universidade Federal Rural de Pernambuco, Brazil
🔗https://trust.cin.ufpe.br/author/lucas-lima/
#FormalMethods #Recife #Brazil #BrazilianComputerSociety
🌟Lucas Lima
📍Universidade Federal Rural de Pernambuco, Brazil
🔗https://trust.cin.ufpe.br/author/lucas-lima/
#FormalMethods #Recife #Brazil #BrazilianComputerSociety
November 18, 2025 at 12:21 PM
Meet the general chair of the 28th Brazilian Symposium on Formal Methods (promoted by the Brazilian Computer Society - @sbcoficial).
🌟Lucas Lima
📍Universidade Federal Rural de Pernambuco, Brazil
🔗https://trust.cin.ufpe.br/author/lucas-lima/
#FormalMethods #Recife #Brazil #BrazilianComputerSociety
🌟Lucas Lima
📍Universidade Federal Rural de Pernambuco, Brazil
🔗https://trust.cin.ufpe.br/author/lucas-lima/
#FormalMethods #Recife #Brazil #BrazilianComputerSociety
Meet the scientfic program coordinators of the 28th Brazilian Symposium on Formal Methods (promoted by the Brazilian Computer Society).
🧑💻 The detailed program is available!
easychair.org/smart-progra...
📢 Registration is open!
lnkd.in/dwAhYj8T
#FormalMethods #Recife #Brazil
🧑💻 The detailed program is available!
easychair.org/smart-progra...
📢 Registration is open!
lnkd.in/dwAhYj8T
#FormalMethods #Recife #Brazil
November 13, 2025 at 1:36 PM
Meet the scientfic program coordinators of the 28th Brazilian Symposium on Formal Methods (promoted by the Brazilian Computer Society).
🧑💻 The detailed program is available!
easychair.org/smart-progra...
📢 Registration is open!
lnkd.in/dwAhYj8T
#FormalMethods #Recife #Brazil
🧑💻 The detailed program is available!
easychair.org/smart-progra...
📢 Registration is open!
lnkd.in/dwAhYj8T
#FormalMethods #Recife #Brazil
🌟Marsha Chechik is Professor and former Chair in the Department of Computer Science at the University of Toronto, where she holds Bell University Labs Chair in Software Engineering.
🎙️Her keynote will take place on December 5th.
🔗 sbmf2025.ufrpe.br
#FormalMethods #BrazilianComputerSociety
🎙️Her keynote will take place on December 5th.
🔗 sbmf2025.ufrpe.br
#FormalMethods #BrazilianComputerSociety
November 10, 2025 at 10:20 PM
🌟Marsha Chechik is Professor and former Chair in the Department of Computer Science at the University of Toronto, where she holds Bell University Labs Chair in Software Engineering.
🎙️Her keynote will take place on December 5th.
🔗 sbmf2025.ufrpe.br
#FormalMethods #BrazilianComputerSociety
🎙️Her keynote will take place on December 5th.
🔗 sbmf2025.ufrpe.br
#FormalMethods #BrazilianComputerSociety
🌟Hans Vangheluwe is a Professor in the Antwerp Systems and Software Modelling (AnSyMo) group within the Computer Science Department at the University of Antwerp in Belgium.
🎙️His keynote will take place on December 4th.
🔗For more information, visit sbmf2025.ufrpe.br
#FormalMethods #Keynote #SBC
🎙️His keynote will take place on December 4th.
🔗For more information, visit sbmf2025.ufrpe.br
#FormalMethods #Keynote #SBC
November 7, 2025 at 11:45 PM
🌟Hans Vangheluwe is a Professor in the Antwerp Systems and Software Modelling (AnSyMo) group within the Computer Science Department at the University of Antwerp in Belgium.
🎙️His keynote will take place on December 4th.
🔗For more information, visit sbmf2025.ufrpe.br
#FormalMethods #Keynote #SBC
🎙️His keynote will take place on December 4th.
🔗For more information, visit sbmf2025.ufrpe.br
#FormalMethods #Keynote #SBC
🌟Augusto Sampaio is a Full Professor of Software Engineering at @cinufpe in Brazil.
🎙️His keynote will take place on December 3rd.
🔗For more information, visit sbmf2025.ufrpe.br
#FormalMethods #BrazilianComputerSociety
🎙️His keynote will take place on December 3rd.
🔗For more information, visit sbmf2025.ufrpe.br
#FormalMethods #BrazilianComputerSociety
November 4, 2025 at 10:37 PM
🌟Augusto Sampaio is a Full Professor of Software Engineering at @cinufpe in Brazil.
🎙️His keynote will take place on December 3rd.
🔗For more information, visit sbmf2025.ufrpe.br
#FormalMethods #BrazilianComputerSociety
🎙️His keynote will take place on December 3rd.
🔗For more information, visit sbmf2025.ufrpe.br
#FormalMethods #BrazilianComputerSociety
🥳 Hoje tem aniversário de 7 anos do CINTIA - grupo de mulheres do Centro de Informática UFPE!
🎂 Confiram a programação! Vai ter sorteio de brindes!
🌟 Até lá!
IG do Cintia: lnkd.in/d6TusSqh
#WomenInTech #GirlPower #MulheresEmTech #MulheresEmSTEM #WomenInSTEM
🎂 Confiram a programação! Vai ter sorteio de brindes!
🌟 Até lá!
IG do Cintia: lnkd.in/d6TusSqh
#WomenInTech #GirlPower #MulheresEmTech #MulheresEmSTEM #WomenInSTEM
October 30, 2025 at 11:50 AM
🥳 Hoje tem aniversário de 7 anos do CINTIA - grupo de mulheres do Centro de Informática UFPE!
🎂 Confiram a programação! Vai ter sorteio de brindes!
🌟 Até lá!
IG do Cintia: lnkd.in/d6TusSqh
#WomenInTech #GirlPower #MulheresEmTech #MulheresEmSTEM #WomenInSTEM
🎂 Confiram a programação! Vai ter sorteio de brindes!
🌟 Até lá!
IG do Cintia: lnkd.in/d6TusSqh
#WomenInTech #GirlPower #MulheresEmTech #MulheresEmSTEM #WomenInSTEM
No dias entre 2 e 5 de Dezembro de 2025, vai acontecer em Recife, o XXVIII Simpósio Brasileiro de Métodos Formais, evento realizado anualmente pela Sociedade Brasileira de Computação.
Confira a programação completa e como se inscrever em: sbmf2025.ufrpe.br
#formalmethods #computing #SBMF2025
Confira a programação completa e como se inscrever em: sbmf2025.ufrpe.br
#formalmethods #computing #SBMF2025
October 27, 2025 at 7:42 PM
No dias entre 2 e 5 de Dezembro de 2025, vai acontecer em Recife, o XXVIII Simpósio Brasileiro de Métodos Formais, evento realizado anualmente pela Sociedade Brasileira de Computação.
Confira a programação completa e como se inscrever em: sbmf2025.ufrpe.br
#formalmethods #computing #SBMF2025
Confira a programação completa e como se inscrever em: sbmf2025.ufrpe.br
#formalmethods #computing #SBMF2025
🚨 NEW Submission Deadline: Oct 26, 2025 (grace period Oct 27) 🚨
3rd Multi-disciplinary, Open, and integRatEd Requirements Engineering – MO2RE
🔗 mo2re.github.io
👩💻 We look forward to your contributions!
#RequirementsEngineering
#ICSE2026
#RioDeJaneiro
3rd Multi-disciplinary, Open, and integRatEd Requirements Engineering – MO2RE
🔗 mo2re.github.io
👩💻 We look forward to your contributions!
#RequirementsEngineering
#ICSE2026
#RioDeJaneiro
October 21, 2025 at 3:18 PM
🚨 NEW Submission Deadline: Oct 26, 2025 (grace period Oct 27) 🚨
3rd Multi-disciplinary, Open, and integRatEd Requirements Engineering – MO2RE
🔗 mo2re.github.io
👩💻 We look forward to your contributions!
#RequirementsEngineering
#ICSE2026
#RioDeJaneiro
3rd Multi-disciplinary, Open, and integRatEd Requirements Engineering – MO2RE
🔗 mo2re.github.io
👩💻 We look forward to your contributions!
#RequirementsEngineering
#ICSE2026
#RioDeJaneiro
⏳ Submission deadline is approaching!
📅 20 Oct 2025.
🔹 2nd Requirements Engineering for AI-powered SoftwarE – RAISE
lnkd.in/d48S59We
🔹 3rd Multi-disciplinary, Open, and integRatEd Requirements Engineering – MO2RE
mo2re.github.io
👩💻 We look forward to your contributions!
#ICSE2026 #RioDeJaneiro
📅 20 Oct 2025.
🔹 2nd Requirements Engineering for AI-powered SoftwarE – RAISE
lnkd.in/d48S59We
🔹 3rd Multi-disciplinary, Open, and integRatEd Requirements Engineering – MO2RE
mo2re.github.io
👩💻 We look forward to your contributions!
#ICSE2026 #RioDeJaneiro
October 15, 2025 at 5:22 PM
⏳ Submission deadline is approaching!
📅 20 Oct 2025.
🔹 2nd Requirements Engineering for AI-powered SoftwarE – RAISE
lnkd.in/d48S59We
🔹 3rd Multi-disciplinary, Open, and integRatEd Requirements Engineering – MO2RE
mo2re.github.io
👩💻 We look forward to your contributions!
#ICSE2026 #RioDeJaneiro
📅 20 Oct 2025.
🔹 2nd Requirements Engineering for AI-powered SoftwarE – RAISE
lnkd.in/d48S59We
🔹 3rd Multi-disciplinary, Open, and integRatEd Requirements Engineering – MO2RE
mo2re.github.io
👩💻 We look forward to your contributions!
#ICSE2026 #RioDeJaneiro
Call for Participation
CBSoft 2025 - Brazilian Conference on Software: Practice and Theory will be held in Recife, Brazil, from September 22nd to 26th.
Program: cbsoft.sbc.org.br/2025/cbsoft/...
Registration: cbsoft.sbc.org.br/2025/inscric...
Keynotes and panels: docs.google.com/document/d/1...
CBSoft 2025 - Brazilian Conference on Software: Practice and Theory will be held in Recife, Brazil, from September 22nd to 26th.
Program: cbsoft.sbc.org.br/2025/cbsoft/...
Registration: cbsoft.sbc.org.br/2025/inscric...
Keynotes and panels: docs.google.com/document/d/1...
August 27, 2025 at 11:25 AM
Call for Participation
CBSoft 2025 - Brazilian Conference on Software: Practice and Theory will be held in Recife, Brazil, from September 22nd to 26th.
Program: cbsoft.sbc.org.br/2025/cbsoft/...
Registration: cbsoft.sbc.org.br/2025/inscric...
Keynotes and panels: docs.google.com/document/d/1...
CBSoft 2025 - Brazilian Conference on Software: Practice and Theory will be held in Recife, Brazil, from September 22nd to 26th.
Program: cbsoft.sbc.org.br/2025/cbsoft/...
Registration: cbsoft.sbc.org.br/2025/inscric...
Keynotes and panels: docs.google.com/document/d/1...
Rio de Janeiro - RJ, Brasil
@radicalgraffiti.bsky.social
@radicalgraffiti.bsky.social
August 24, 2025 at 12:15 PM
Rio de Janeiro - RJ, Brasil
@radicalgraffiti.bsky.social
@radicalgraffiti.bsky.social
Rio de Janeiro - RJ, Brasil
@radicalgraffiti.bsky.social
@radicalgraffiti.bsky.social
August 24, 2025 at 12:13 PM
Rio de Janeiro - RJ, Brasil
@radicalgraffiti.bsky.social
@radicalgraffiti.bsky.social
Quando o #WER2025 encontra o #ICSE2026 no Rio de Janeiro! 🌞🏖🌊🍹😎💻
🎙Marcos Kalinowski no WER 2025: "Specifying Intelligence: RE for the Next Generation of AI Systems".
Workshops no ICSE 2026:
📢 MO2RE@ICSE 2026 -
🔗 mo2re.github.io
📢 RAISE@ICSE 2026 -
🔗 lnkd.in/en8zUXQU
🗓 Deadline: 20/10/2025.
🎙Marcos Kalinowski no WER 2025: "Specifying Intelligence: RE for the Next Generation of AI Systems".
Workshops no ICSE 2026:
📢 MO2RE@ICSE 2026 -
🔗 mo2re.github.io
📢 RAISE@ICSE 2026 -
🔗 lnkd.in/en8zUXQU
🗓 Deadline: 20/10/2025.
August 23, 2025 at 7:17 PM
Quando o #WER2025 encontra o #ICSE2026 no Rio de Janeiro! 🌞🏖🌊🍹😎💻
🎙Marcos Kalinowski no WER 2025: "Specifying Intelligence: RE for the Next Generation of AI Systems".
Workshops no ICSE 2026:
📢 MO2RE@ICSE 2026 -
🔗 mo2re.github.io
📢 RAISE@ICSE 2026 -
🔗 lnkd.in/en8zUXQU
🗓 Deadline: 20/10/2025.
🎙Marcos Kalinowski no WER 2025: "Specifying Intelligence: RE for the Next Generation of AI Systems".
Workshops no ICSE 2026:
📢 MO2RE@ICSE 2026 -
🔗 mo2re.github.io
📢 RAISE@ICSE 2026 -
🔗 lnkd.in/en8zUXQU
🗓 Deadline: 20/10/2025.
#WER2025 Proceedings are now online!
All accepted papers are available in the official WER Papers repository.
🔗 werpapers.dimap.ufrn.br
WERpapers is an open-access repository of every edition of the Workshop on Requirements Engineering (WER).
#RequirementsEngineering #Proceedings #WERpapers
All accepted papers are available in the official WER Papers repository.
🔗 werpapers.dimap.ufrn.br
WERpapers is an open-access repository of every edition of the Workshop on Requirements Engineering (WER).
#RequirementsEngineering #Proceedings #WERpapers
August 11, 2025 at 8:37 PM
#WER2025 Proceedings are now online!
All accepted papers are available in the official WER Papers repository.
🔗 werpapers.dimap.ufrn.br
WERpapers is an open-access repository of every edition of the Workshop on Requirements Engineering (WER).
#RequirementsEngineering #Proceedings #WERpapers
All accepted papers are available in the official WER Papers repository.
🔗 werpapers.dimap.ufrn.br
WERpapers is an open-access repository of every edition of the Workshop on Requirements Engineering (WER).
#RequirementsEngineering #Proceedings #WERpapers
📣 Call for Participation – WER 2025
The 28th Workshop on Requirements Engineering is getting closer! 🇧🇷✨
📍 When: August 20–22, 2025
📌 Where: Rio de Janeiro, Brazil
🔗 Check out the papers accepted for this multilingual event in Requirements Engineering 🌎💬: organizacaower.github.io/wer2025/es/a...
The 28th Workshop on Requirements Engineering is getting closer! 🇧🇷✨
📍 When: August 20–22, 2025
📌 Where: Rio de Janeiro, Brazil
🔗 Check out the papers accepted for this multilingual event in Requirements Engineering 🌎💬: organizacaower.github.io/wer2025/es/a...
August 1, 2025 at 11:45 AM
📣 Call for Participation – WER 2025
The 28th Workshop on Requirements Engineering is getting closer! 🇧🇷✨
📍 When: August 20–22, 2025
📌 Where: Rio de Janeiro, Brazil
🔗 Check out the papers accepted for this multilingual event in Requirements Engineering 🌎💬: organizacaower.github.io/wer2025/es/a...
The 28th Workshop on Requirements Engineering is getting closer! 🇧🇷✨
📍 When: August 20–22, 2025
📌 Where: Rio de Janeiro, Brazil
🔗 Check out the papers accepted for this multilingual event in Requirements Engineering 🌎💬: organizacaower.github.io/wer2025/es/a...
📣 Call for Participation – WER 2025
The 28th Workshop on Requirements Engineering is getting closer! ✨
📍 When: August 20–22, 2025
📌 Where: Rio de Janeiro, Brazil
🎟️ Early Bird Registration: until July 24, 2025
📅 Join us for one of the most important events in Requirements Engineering! 🌎💬
The 28th Workshop on Requirements Engineering is getting closer! ✨
📍 When: August 20–22, 2025
📌 Where: Rio de Janeiro, Brazil
🎟️ Early Bird Registration: until July 24, 2025
📅 Join us for one of the most important events in Requirements Engineering! 🌎💬
July 8, 2025 at 12:34 PM
📣 Call for Participation – WER 2025
The 28th Workshop on Requirements Engineering is getting closer! ✨
📍 When: August 20–22, 2025
📌 Where: Rio de Janeiro, Brazil
🎟️ Early Bird Registration: until July 24, 2025
📅 Join us for one of the most important events in Requirements Engineering! 🌎💬
The 28th Workshop on Requirements Engineering is getting closer! ✨
📍 When: August 20–22, 2025
📌 Where: Rio de Janeiro, Brazil
🎟️ Early Bird Registration: until July 24, 2025
📅 Join us for one of the most important events in Requirements Engineering! 🌎💬
We invite you to share your insights on the findings, limitations, and future opportunities outlined in Zhou et al.'s SLR.
All responses are anonymous and used for scientific purposes.
🔗 Please access the survey in the comment.
Thank you for your time and contribution.
All responses are anonymous and used for scientific purposes.
🔗 Please access the survey in the comment.
Thank you for your time and contribution.
July 8, 2025 at 12:08 PM
We invite you to share your insights on the findings, limitations, and future opportunities outlined in Zhou et al.'s SLR.
All responses are anonymous and used for scientific purposes.
🔗 Please access the survey in the comment.
Thank you for your time and contribution.
All responses are anonymous and used for scientific purposes.
🔗 Please access the survey in the comment.
Thank you for your time and contribution.
Só lembro dessa cena aqui de Matrix (1999).
June 26, 2025 at 5:43 PM
Só lembro dessa cena aqui de Matrix (1999).
📢Se você trabalha com o desenvolvimento, validação, operação ou gestão de sistemas com componentes de Machine Learning, lhe convido a responder o questionário abaixo, com tempo estimado de 15 minutos.
👉 Link para o questionário no comentário:
👉 Link para o questionário no comentário:
June 26, 2025 at 5:34 PM
📢Se você trabalha com o desenvolvimento, validação, operação ou gestão de sistemas com componentes de Machine Learning, lhe convido a responder o questionário abaixo, com tempo estimado de 15 minutos.
👉 Link para o questionário no comentário:
👉 Link para o questionário no comentário:
Roteiros atemporais...
June 17, 2025 at 1:25 PM
Roteiros atemporais...
Se você atua no desenvolvimento, aplicação ou gestão de sistemas de Inteligência Artificial (IA), gostaria de contar com a sua participação nesta pesquisa sobre ética na IA.
A participação é voluntária, anônima e leva cerca de 15 minutos. Link no próximo comenário.
A participação é voluntária, anônima e leva cerca de 15 minutos. Link no próximo comenário.
May 29, 2025 at 2:42 PM
Se você atua no desenvolvimento, aplicação ou gestão de sistemas de Inteligência Artificial (IA), gostaria de contar com a sua participação nesta pesquisa sobre ética na IA.
A participação é voluntária, anônima e leva cerca de 15 minutos. Link no próximo comenário.
A participação é voluntária, anônima e leva cerca de 15 minutos. Link no próximo comenário.
O Grupo de Pesquisa DARE vai marcar novamente presença no Simpósio Brasileiro de Sistemas Colaborativos, que acontecerá em Manaus - AM
nos dias 02-06 de Junho: lnkd.in/g8v-nb-X
Dessa vez teremos artigos de dois egressos do curso de Sistemas de Informação do Centro de Informática UFPE. 🥳🎉👩💻
nos dias 02-06 de Junho: lnkd.in/g8v-nb-X
Dessa vez teremos artigos de dois egressos do curso de Sistemas de Informação do Centro de Informática UFPE. 🥳🎉👩💻
April 23, 2025 at 6:14 PM
O Grupo de Pesquisa DARE vai marcar novamente presença no Simpósio Brasileiro de Sistemas Colaborativos, que acontecerá em Manaus - AM
nos dias 02-06 de Junho: lnkd.in/g8v-nb-X
Dessa vez teremos artigos de dois egressos do curso de Sistemas de Informação do Centro de Informática UFPE. 🥳🎉👩💻
nos dias 02-06 de Junho: lnkd.in/g8v-nb-X
Dessa vez teremos artigos de dois egressos do curso de Sistemas de Informação do Centro de Informática UFPE. 🥳🎉👩💻
🚨 DEADLINE EXTENSION! 🚨
📢 Great news! The submission deadline for WER 2025 has been extended!
You now have more time to submit your research!
📅 New Deadline: March 24, 2025
📍 Event Location: Rio de Janeiro, Brazil 🇧🇷
🔗 Submit now: organizacaower.github.io/wer2025
📢 Great news! The submission deadline for WER 2025 has been extended!
You now have more time to submit your research!
📅 New Deadline: March 24, 2025
📍 Event Location: Rio de Janeiro, Brazil 🇧🇷
🔗 Submit now: organizacaower.github.io/wer2025
March 12, 2025 at 1:12 PM
🚨 DEADLINE EXTENSION! 🚨
📢 Great news! The submission deadline for WER 2025 has been extended!
You now have more time to submit your research!
📅 New Deadline: March 24, 2025
📍 Event Location: Rio de Janeiro, Brazil 🇧🇷
🔗 Submit now: organizacaower.github.io/wer2025
📢 Great news! The submission deadline for WER 2025 has been extended!
You now have more time to submit your research!
📅 New Deadline: March 24, 2025
📍 Event Location: Rio de Janeiro, Brazil 🇧🇷
🔗 Submit now: organizacaower.github.io/wer2025