Fwd: New MSc in Logic, Semantics, and Verification of Programs

[Elaine Pimentel]

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

--------------------------------------------------------