NavTalks

From Navigators

(Difference between revisions)
Jump to: navigation, search
Line 13: Line 13:
| Date || style="width: 15%;" | Speaker || Title || style="width: 15%;"  |Speaker || Title
| Date || style="width: 15%;" | Speaker || Title || style="width: 15%;"  |Speaker || Title
|-  
|-  
-
|-id="slNT20170113" style="background: lightgreen;"
+
|-id="slNT20170113"  
| 13/01 <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] || [[Inês_Gouveia | Inês Gouveia ]]    || Enforcing Safety and Security Through Non-Intrusive Runtime Verification  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/6/6a/Presentation.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/31/CERTS_2016_Gouveia_NIRV.pdf paper]
| 13/01 <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] || [[Inês_Gouveia | Inês Gouveia ]]    || Enforcing Safety and Security Through Non-Intrusive Runtime Verification  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/6/6a/Presentation.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/31/CERTS_2016_Gouveia_NIRV.pdf paper]
-
|-id="slNT20170120"
+
|-id="slNT20170120" style="background: lightgreen;"
| 27/01 ||  [[João_Sousa|João Sousa]]  ||  - ||  [[Tiago_Oliveira | Tiago Oliveira]]    || -   
| 27/01 ||  [[João_Sousa|João Sousa]]  ||  - ||  [[Tiago_Oliveira | Tiago Oliveira]]    || -   
|-id="slNT" style="background-color: lightgray;"
|-id="slNT" style="background-color: lightgray;"
-
| TBD ||  [[Nuno_Ferreira_Neves | Nuno Neves ]] ||  - ||  [[Max_Alaluna |Max Alaluna ]]  || -   
+
| 10/02 ||  [[Nuno_Ferreira_Neves | Nuno Neves ]] ||  - ||  [[Max_Alaluna |Max Alaluna ]]  || -   
|-id="slNT" style="background-color: lightgray;"
|-id="slNT" style="background-color: lightgray;"
| TBD || [[ Adriano Serckumecka | Adriano Serckumecka ]]  ||  - ||  [[ Bruno_Vavala  | Bruno Vavala  ]]  || -   
| TBD || [[ Adriano Serckumecka | Adriano Serckumecka ]]  ||  - ||  [[ Bruno_Vavala  | Bruno Vavala  ]]  || -   

Revision as of 11:07, 16 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 Presentation A Presentation B
Date Speaker Title Speaker Title
13/01
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
27/01 João Sousa - Tiago Oliveira -
10/02 Nuno Neves - Max Alaluna -
TBD Adriano Serckumecka - Bruno Vavala -
TBD Pedro Ferreira - Miguel Falé -
TBD Henrique Mendes - Eunice Branco -
TBD António Casimiro - Bruno Nunes -
TBD Pedro Alves - Rui Marques -
TBD Fabio Pereira - Diogo Pinto -
TBD João Silva - João Paulino -
TBD 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.



Personal tools
Navigators toolbox