NavTalks
From Navigators
(Difference between revisions)
Line 13: | Line 13: | ||
|- | |- | ||
|-id="slNT20170113" | |-id="slNT20170113" | ||
- | | rowspan="2"| 13/01 <br> '''Room 6.1.25''' | + | | rowspan="2"| 13/01 12pm <br> '''Room 6.1.25''' |
| [[José_Rufino | José Rufino]] || The (Hidden) Potential of Non-Intrusive Runtime Verification <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/6/6f/2017-01-JRufino-NavTalk.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/f/f0/ECRTS-RV_in_RT_8.pdf paper] | | [[José_Rufino | José Rufino]] || The (Hidden) Potential of Non-Intrusive Runtime Verification <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/6/6f/2017-01-JRufino-NavTalk.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/f/f0/ECRTS-RV_in_RT_8.pdf paper] | ||
|- | |- | ||
Line 19: | Line 19: | ||
|- | |- | ||
|-id="slNT20170125" style="background: lightgreen;" | |-id="slNT20170125" style="background: lightgreen;" | ||
- | | rowspan="2" | 25/01 <br> '''Room 6.2.46''' | + | | rowspan="2" | 25/01 12pm <br> '''Room 6.2.46''' |
| '''Altair Santin''' <br> (guest speaker) || Segurança para ambiente de Smart Grid <br> (Security for Smart Grid Environments) | | '''Altair Santin''' <br> (guest speaker) || Segurança para ambiente de Smart Grid <br> (Security for Smart Grid Environments) | ||
|- style="background: lightgreen;" | |- style="background: lightgreen;" |
Revision as of 17:57, 24 January 2017
The Navtalks is a series of informal talks given by Navigators members or some special guests about every two-weeks at Ciências, ULisboa.
Please check out the schedule in our public NavTalks Google Calendar (you can also subscribe through its ICAL link).
scheduled | next | to be defined |
Spring'17 | Presentations | |
Date | Speaker | Title |
13/01 12pm Room 6.1.25 | José Rufino | The (Hidden) Potential of Non-Intrusive Runtime Verification slides paper |
Inês Gouveia | Enforcing Safety and Security Through Non-Intrusive Runtime Verification slides paper | |
25/01 12pm Room 6.2.46 | Altair Santin (guest speaker) | Segurança para ambiente de Smart Grid (Security for Smart Grid Environments) |
João Sousa | Practical experiences with a BFT middleware database | |
08/02 | Tiago Oliveira | - |
Max Alaluna | - | |
22/02 | Nuno Neves | - |
Adriano Serckumecka | - | |
TBD | Pedro Ferreira | - |
Bruno Vavala | - | |
TBD | Miguel Falé | - |
Henrique Mendes | - | |
TBD | António Casimiro | - |
Eunice Branco | - | |
TBD | Bruno Nunes | - |
Pedro Alves | - | |
TBD | Rui Marques | - |
Fabio Pereira | - | |
TBD | Diogo Pinto | - |
João Silva | - | |
TBD | João Paulino | - |
Gonçalo Reis | - |
Fall'16 | Presentation A | Presentation B | ||
Date | Speaker | Title | Speaker | Title |
06/10 | Eric Vial | Packet Manipulation Tools for Linux slides | Ricardo Fonseca | Securing SDN-based monitoring - obstacles and learned insights slides |
20/10 | Fernando Ramos | No more excuses: it’s time to secure BGP! slides | Miguel Garcia | On the Origin of Diversity, by Means of Cluster Selection, or the Preservation of Favoured OSes in the Struggle for Dependability slides |
03/11 | Alysson Bessani | Dependable Storage and Computing using Multiple Cloud Providers slides | Túlio Ribeiro | Floodlight Tracing, Durable and Fault Tolerant slides |
18/11 | Vinicius Cogo | Getting Started on LSH slides | Ricardo Mendes | Janus: User-defined Cloud-backed Storage slides |
02/12 | Pedro Costa | Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce slides | Diogo Duarte | (to be rescheduled) |
16/12 @12.30pm | Fernando Alves | Machine Learning with Big Data - Specialized distributed systems for machine learning purposes slides | Ibéria Medeiros | Attacks, you shall not pass! SEPTIC will not avail you. |
For past years, please check out our archive.