A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software
RSS Meetup, por Nuno Lopes (IST, ULisboa).
Software
Data Scientist com R
Aprenda a organizar e analisar dados com foco na obtenção de soluções orientadas para a resolução de problemas.
Using R in Real Life
Participants will be introduced to using R in real life situations. From the start, this hands-on practical workshop will focus on following good programming and data analysis practices.
What are microservices? Are they just tiny services?
Palestra por Bruno Baptista (RedHat).
Aula aberta sobre Construção de Sistemas de Software
Por André Luís, (ex-aluno de Ciências ULisboa; atualmente Frontend Engineering Manager na GitLab).
Curso de programação em SAS para Professores Universitários
Uma oportunidade para iniciar ou atualizar os seus conhecimentos em SAS, permitindo-lhe utilizar este software de análise de dados nas suas aulas e dar aos estudantes contacto com uma ferramenta que tem procura crescente no mercado de trabalho.
Qualidade e Testes de Software: Teoria e Prática
Curso com candidaturas a decorrer.
Desenvolvimento de Software em Equipa com Git
Aula aberta da Unidade Curricular de Construção de Sistemas de Software, por Leonor Loureiro (Github).
The Developer Experience of Robotics Software: Challenges and Opportunities
RSS Meetup, por Paulo Santos, Miguel Tavares e Ricardo Cordeiro (LASIGE).
Software engineering standards and philosophy of science: Models, high-risk decision making, and epistemic warrants
Speakers: John Symons & Jack K. Horner (University of Kansas).