Prezados colegas, A pedido da Profa. Alexandra Silva, encaminho a mensagem sobre o novo mestrado na University College London. Para quem não conhece, a Alexandra é uma das mais brilhantes jovens cientistas na área de TCS.
Vale a pena dar uma conferida! Abraços, Elaine. ******** New MSc in Logic, Semantics, and Verification of Programs Dear all, We are excited to announce a new one year MSc programme at University College London (UCL). This new Master’s programme is unique in the UK and one of the few in Europe bringing together deep theoretical subjects and practical program and systems verification. You can find more details about the programme on the website: http://www.cs.ucl.ac.uk/degrees/msc_lsvp/ The new MSc is organized by the Programming Principles, Logic, and Verification (PPLV) group. Research in the PPLV group spans theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving. We have outstanding connections with cutting-edge industry and excellent connections with other groups at UCL, including Systems and Networks, Information Security, and Software Systems Engineering. Attached is the poster advertising the programme. We are running a virtual open day on the 16th February 2017. See details here: http://www.cs.ucl.ac.uk/event_details/?eventnum=1369 Best wishes, Alexandra Silva Programme Director -- Elaine. ------------------------------------------------- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BW-w0YfZ2VoZEzfUr5Y-LLL%2BhRLYJPp6MdyfFqQiCMXuw%40mail.gmail.com.
