Morning:
Begin | End | Description | External(s) | Medium |
---|---|---|---|---|
10h00 | 10h30 | SIG1 | J.Visser, J.P. Correia | Skype |
10h30 | 11h00 | SIG2 | J.Visser, J.P. Correia | Skype |
11h00 | 11h30 | Evaluation and coffee break | ||
11h30 | 12h00 | CS2 | José Miguel Faria | Teleconf |
12h00 | 12h30 | Evaluation |
Afternoon:
Begin | End | Description | External(s) | Medium |
---|---|---|---|---|
14h30 | 15h00 | BSC1 | Brian Larsen | Skype |
15h00 | 15h30 | BSC2 | Brian Larsen | Skype |
16h00 | 17h00 | Evaluation and coffee break | ||
17h00 | 17h30 | G1 | Sally Browning | Skype |
17h30 | 18h00 | G2 | Sally Browning | Skype |
18h00 | 18h30 | Evaluation |
Workshop Skype id: uminho-di-a1
#Proj | Title | Company | Code | Proponent(s) | Tutor | #Group |
1 | Massive Parallel Source Code Analysis | SIG | SIG1 | Joost Visser, Miguel Ferreira, José Pedro Correia | JBB | 1 |
2 | Extension of a Java library for binary relational algebra | SIG | SIG2 | Joost Visser, Miguel Ferreira, José Pedro Correia | JNO | 4 |
3 | Theme PG: formally-verified Pulse Generator | Boston Scientific | BSC1 | Brian Larsen | MJF (JNO) | 8' |
4 | Theme DCM: validated Device Controller-Monitor | Boston Scientific | BSC2 | Brian Larsen | LSB (JNO) | 2' |
7 | Modelação em NUSMV de um DHSW | Critical Software | CS2 | J.M. Faria, J. Esteves | JSP | 5 |
8 | Elliptic curve crypto (ECC) in Cryptol | Galois | G1 | Sally A Browning | MAC | 7 |
9 | Cryptol for digital signal properties (DSP) | Galois | G2 | Sally A Browning | MAC | 6 |
Constituição dos grupos:
Grupo | Número | Nome | PI(II) |
---|---|---|---|
Grupo 1 | 15220 | Tiago Veloso | SIG1 |
15260 | Luís Couto | ||
Grupo 2' | 15142 | André Martins | BSC2 |
15141 | João Bordalo | ||
15395 | Nelson Gonçalves | ||
Grupo 4 | 15143 | Luís Teixeira | SIG2 |
16046 | Márcio Coelho | ||
Grupo 5 | 15330 | João Martins | CS2 |
15753 | André Pedro | ||
Grupo 6 | 13405 | Manuel Costa | G2 |
15345 | Daniel Cadete | ||
Grupo 7 | 16019 | Diogo Araújo | G1 |
15997 | Mário Eiras | ||
Grupo 8' | 15989 | João Melo | BSC1 |
15992 | Inês Prada |
Grupo | Número | Nome![]() | Projecto | Milestone 1 | Milestone 2 |
---|---|---|---|---|---|
Grupo 2 | 15142 | André Martins | Modelos de Consistência | 10.5 | 14.0 |
Grupo 5 | 15753 | André Pedro | Channel Allocation | 13.0 | 15.5 |
Grupo 6 | 15345 | Daniel Cadete | Controlo de Versões | 16.0 | 14.5 |
Grupo 7 | 16019 | Diogo Araújo | Journaling File System | 13.5 | 12.5 |
Grupo 3 | 15992 | Inês Prada | Interval Tree Clocks | 13.0 | 13.5 |
Grupo 2 | 15141 | João Bordalo | Modelos de Consistência | 10.5 | 14.0 |
Grupo 5 | 15330 | João Martins | Channel Allocation | 13.0 | 15.5 |
Grupo 8 | 15989 | João Melo | Sistema de Gestão de Escalas | 14.0 | 11.5 |
Grupo 1 | 15260 | Luís Couto | Alocação de Turnos | 16.5 | 18.0 |
Grupo 4 | 15143 | Luís Teixeira | Serviços Académicos | 12.5 | 13.5 |
Grupo 6 | 13405 | Manuel Costa | Controlo de Versões | 16.0 | 14.5 |
Grupo 4 | 16046 | Márcio Coelho | Serviços Académicos | 12.5 | 13.5 |
Grupo 7 | 15997 | Mário Eiras | Journaling File System | 13.5 | 12.5 |
Grupo 3 | 15395 | Nelson Gonçalves | Interval Tree Clocks | 13.0 | 13.5 |
Grupo 1 | 15220 | Tiago Veloso | Alocação de Turnos | 16.5 | 18.0 |
Os relatórios deverão seguir o formato seguinte:
\documentclass[a4paper]{article} \usepackage[portuges]{babel} \usepackage[latin1]{inputenc} \usepackage{a4wide} \begin{document} \end{document}