Rogério Reis


Err and err and err again, but less and less and less.


MAP-i Seminar (2014-2015)
The course will have three different constituents: 
- a short course on “Initiation of Scientific Research (2 sessions);
- 4 visits to the research units connected to the PhD programme;
- 10-12 talks on target subjects of the research units that are not directly covered by programme courses. 
Grading rules

Each student will need to write two two-page synthesis reports on the subject of two of the talks. The reports should be written in english, using \(\LaTeX\) and
LNCS article style
One of the subjects for these reports will be selected by the student and the other assigned by the coordination of this curricular unit (me). There will be a limited number of reports written on each subject. The assignment of subjects will obey to
“first come, first served” principle.
Student grading will take in account the attendance to the sessions as well as the grading of the reports submitted. 

Reports should be sent to me, by email, until 2015.02.15. (PDF only)

Plagiarism will constitute sufficient exclusion condition for this unit.
Talk Sessions
2014.10.29
Talk no.1
9:30
Speaker: Prof. Vítor Santos Costa
Title: Processing and Learning from High Throughput Genomic Data

Slides of the talk
Talk no.2
11:30
Speaker: Prof. João Pedro Pedroso
Title: Branch-and-bound: old method, new applications

All bibliographic requests should be redirected to jpp(at)dcc.fc.up.pt
2014.11.05
9:30
Visit to Minho University research units (Braga campus)
Please contact Prof. Paulo Carvalho (Informatics Department)
15:00
Visit to Minho University research units (Guimarães campus).
Meeting point at the main entrance of the University.
Stacks Image 5774
Stacks Image 5772
2014.11.12
Talk no.3
9:30
Speakers: Prof. Cristina Ribeiro and Prof. Sérgio Nunes
Title: Research topics in information retrieval
Presentation slides
Talk no.4
11:00
Speaker: Prof. Sabine Broda
Title: Formal Verification of Software
Presentation slides: (
part I, part II)
2014.11.19
9:30
Visit Aveiro University research units.
Meeting point at the entrance of IETTA (map here).
Stacks Image 5936
Stacks Image 5938
2014.11.26
9:30
Visit Porto University research units (School of Engineering)
Schedule & Map
Slides from the presentations:
- Computer Graphics
- Collaborative Networks and BI
- From Knowledge Generation To Science-Based Innovation
- Computing Systems R&D Lab
- Software Engineering
Stacks Image 5964
Stacks Image 5962
2014.11.26
Talk no.6
16:00
Speaker: Prof. Ricardo Rocha
Title: Multithreaded Dynamic Programming with the Yap Prolog System
Links to some material related to the topic:
-
Mode-Directed Tabling
-
Multithreaded Tabling
-
Applications of Multithreaded Tabling
2014.12.03
Talk n.7
9:30
Speaker: Prof. João Pascoal Faria and Prof. Ana Paiva
Title: Research Topics in Software Engineering
-
Slides on the first part of the talk
- Slides on the second part of the talk (
1) (2)
Talk no.8
11:00
Speaker: Prof. Sandra Alves
Title: Type Systems for Linear Calculi with Recursion
2014.12.03
14:30
Visit Porto University research units (School of Sciences)
Slides from the presentations:
2014.12.10
Talk no.9 CANCELLED
9:30
Speaker: Prof. Eugénio Oliveira
Title: Trusting Agents
Talk no.10
11:00
Speaker: Prof. Ana Paula Tomás
Title: Optimal Solutions for Art Gallery Problems: exact and approximation
algorithms
2014.12.17
Talk no.11
9:30
Speaker: Prof. Luís Lopes
Title: Seamless and Safe Programming of Wireless Sensor Networks
Talk no.12
11:00
Speaker: Prof. Susana Sargento
Title: A practical approach on Vehicular Networks

slides of the talk
2015.01.07
Talk no.13
9:30
Speaker: Prof. Eduardo Tovar
Title: Real-time and embedded computing systems

Materials of the talk:
1 2 3
Talk no.14
11:00
Speaker: Prof. Michel Ferreira
Title: Vehicular sensing: cars as urban scanners