Cohesive Project (Projecto Integrado)

Interesting and useful slides for preparing your milestone presentations:

• http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/writing-a-paper-slides.pdf

Start-up Workshop (5-Dec-2013)

• Project theme proposals: contact the MFES team

• Slides of some presentations: Aarhus ; Altreonic (see also this PDF and the company's website) ; Educed

2nd Workshop (30-Jan-2014)

Group presentations (30 mins each)

3rd Workshop (10-Apr-2014)

Group presentations (30 mins each)

4th Workshop (22-May-2014)

Group presentations (30 mins each)

Final Workshop (03-Jul-2014)

Final evaluation by industrial partners.

Our Skype-ID: uminho-di-a1

Schedule:

Time	Group	Partnership	Project	Report	Slides	Ref	External supervisor(s)	Tutors
10h00	C	Altreonic	Event B Support for Formal or specification focused front-end for RTOS applications	PDF	PDF	Al1	Eric Verhulst	J.N. Oliveira
(break)
11h30	G	Efacec	Optimization of C code for Critical Systems	PDF	PDF	Ef1	J. Martins	J.S. Pinto
12h10	E	Efacec	Centralized Interlocking	PDF	PDF	Ef2	J. Martins	L.S. Barbosa
(lunch)
14h00	H	Educed	Extending PROVA for architecture definition and traceability	PDF	PDF	Ed2	J.M. Faria	L.S. Barbosa
14h40	D	Educed	Extending PROVA for ontologies definition and exchange	PDF	PDF	Ed1	J.M. Faria	M.A. Cunha
16h00 (8h00 in Portland)	B	Galois	Using Cryptol to explore ECC-based random-number generators	PDF	PDF	G1	Joe Hendrix	J.N. Oliveira
17h00 (9h00 in Portland)	A	Galois	Design and implement a Haskell library for easy interaction with SMT solvers	PDF	PDF	G4	Iavor Diatchki	M.J. Frade
18h00 (10h00 in Portland)	F	Galois	Exploring post-quantum cryptographic algorithms in Cryptol	PDF	PDF	G3	Joe Kiniry (Dylan McNamee)	M.B. Barbosa

Projects / Groups

Group	Ref	Project	Partnership	External supervisor(s)	Tutors	Nr	Student	Photo
C	Al1	Event B Support for Formal or specification focused front-end for RTOS applications	Altreonic	Eric Verhulst	J.N. Oliveira	pg22766	Fábio Esteves Sousa
C	Al1	Event B Support for Formal or specification focused front-end for RTOS applications	Altreonic	Eric Verhulst	J.N. Oliveira	pg25328	Miguel Ângelo Gomes da Costa
D	Ed1	EXTENDING PROVA FOR ONTOLOGIES DEFINITION AND EXCHANGE	Educed	José Miguel Faria	M.A. Cunha	pg25300	Damien da Silva Vaz
D	Ed1	EXTENDING PROVA FOR ONTOLOGIES DEFINITION AND EXCHANGE	Educed	José Miguel Faria	M.A. Cunha	pg25340	Yoan David Ribeiro
H	Ed2	EXTENDING PROVA FOR ARCHITECTURE DEFINITION AND TRACEABILITY	Educed	José Miguel Faria	L.S. Barbosa	pg26119	Fábio André Martins Fernandes
H	Ed2	EXTENDING PROVA FOR ARCHITECTURE DEFINITION AND TRACEABILITY	Educed	José Miguel Faria	L.S. Barbosa	pg25263	Telma Ferreira Correia
E	Ef2	Centralized Interlocking	Efacec	João Martins e Hélder Azevedo	L.S. Barbosa	pg25285	Jorge Lobo Teixeira Lopes
E	Ef2	Centralized Interlocking	Efacec	João Martins e Hélder Azevedo	L.S. Barbosa	pg25332	Paulo Alexandre Ribeiro Silva
G	Ef1	Optimization of C code for Critical Systems	Efacec	João Martins e Hélder Azevedo	J.S. Pinto	pg25299	Helder Cristiano Dias Afonso
G	Ef1	Optimization of C code for Critical Systems	Efacec	João Martins e Hélder Azevedo	J.S. Pinto	pg26133	João Carlos Alves Cruz
A	G4	Design and implement a Haskell library for easy interaction with SMT solvers	Galois	Iavor Diatchki	M.J. Frade	pg25313	Nuno Miguel da Costa Laranjo
A	G4	Design and implement a Haskell library for easy interaction with SMT solvers	Galois	Iavor Diatchki	M.J. Frade	pg25318	Rogério António da Costa Pontes
B	G1	Using Cryptol to explore ECC-based random-number generators	Galois	Joe Hendrix	J.N. Oliveira	pg19643	Ana Catarina Pereira Correia
B	G1	Using Cryptol to explore ECC-based random-number generators	Galois	Joe Hendrix	J.N. Oliveira	pg25335	Ana Paula Martins Carvalho
F	G3	Exploring post-quantum cryptographic algorithms in Cryptol	Galois	Dylan McNamee	M.B. Barbosa	pg25311	Luís Miguel Pereira Constantino Romano
F	G3	Exploring post-quantum cryptographic algorithms in Cryptol	Galois	Dylan McNamee	M.B. Barbosa	pg25301	Vitor Manuel Parreira Pereira

-- JoseNunoOliveira - 11 Sep 2013