NavTalks

From Navigators

(Difference between revisions)
Jump to: navigation, search
Line 62: Line 62:
For past years, please check out our [[Navtalks/Archive|archive]].
For past years, please check out our [[Navtalks/Archive|archive]].
 +
 +
 +
{| class="wikitable" style="font-size: 10pt; text-align: center; width: 100%;"
 +
| style="font-size: 12pt; width: 10%;" | Spring'17 || colspan="2"  style="font-size: 12pt; width: 90%;" |Presentations
 +
|-
 +
| Date ||  Speaker || Title
 +
|-
 +
|-id="slNT20170113"
 +
| rowspan="2"| 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="slNT20170125" style="background: lightgreen;"
 +
| rowspan="2"  | 25/01
 +
| Altair Santin <br> (guest speaker)    || - 
 +
|- style="background: lightgreen;"
 +
| [[João_Sousa|João Sousa]]  ||  -
 +
|-
 +
|-id="slNT20170208"
 +
| rowspan="2"| 08/02
 +
|  [[Nuno_Ferreira_Neves | Nuno Neves ]] ||  -
 +
|-
 +
|  [[Tiago_Oliveira | Tiago Oliveira]]  || -   
 +
|-
 +
|-id="slNT20170222"
 +
| rowspan="2"| 22/02
 +
| [[Max_Alaluna |Max Alaluna ]]  ||  -   
 +
|-
 +
|  [[ Adriano Serckumecka | Adriano Serckumecka ]]  || -     
 +
|-
 +
|-id="slNT" style="background-color: lightgray;"
 +
| rowspan="2"| TBD
 +
| [[Pedro_Ferreira | Pedro Ferreira ]]  ||  -   
 +
|-
 +
|  [[ Bruno_Vavala  | Bruno Vavala  ]]  || -     
 +
|-
 +
|-id="slNT" style="background-color: lightgray;"
 +
| rowspan="2"| TBD
 +
| [[Miguel_Falé | Miguel Falé ]]  ||  -   
 +
|-
 +
|  [[ Henrique_Mendes | Henrique Mendes ]][[Eunice_Branco | Eunice Branco ]]  || -   
 +
|-
 +
|-id="slNT" style="background-color: lightgray;"
 +
| rowspan="2"| TBD
 +
| [[António_Casimiro  | António Casimiro  ]] ||  -   
 +
|-
 +
|  [[Eunice_Branco | Eunice Branco ]]  || -     
 +
|-
 +
|-id="slNT" style="background-color: lightgray;"
 +
| rowspan="2"| TBD
 +
| [[Bruno_Nunes | Bruno Nunes ]] ||  -   
 +
|-
 +
|  [[ Pedro_Alves | Pedro Alves ]]  || - 
 +
|-
 +
|-id="slNT" style="background-color: lightgray;"
 +
| rowspan="2"| TBD
 +
|  [[ Rui_Marques | Rui Marques ]]  ||  -   
 +
|-
 +
|  [[Fabio_Pereira | Fabio Pereira ]]  || -   
 +
|-
 +
|-id="slNT" style="background-color: lightgray;"
 +
| rowspan="2"| TBD
 +
| [[ Diogo_Pinto | Diogo Pinto ]] ||  -   
 +
|-
 +
|  [[ João_Silva| João Silva ]]  || -     
 +
|-
 +
|-id="slNT" style="background-color: lightgray;"
 +
| rowspan="2"| TBD
 +
| [[ Joao_Paulino | João Paulino ]] ||  -   
 +
|-
 +
|  [[Gonçalo_Reis | Gonçalo Reis ]]  || -
 +
|}

Revision as of 16:42, 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
25/01 João Sousa - Tiago Oliveira -
08/02 Nuno Neves - Max Alaluna -
22/02 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.


Spring'17 Presentations
Date 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
25/01 Altair Santin
(guest speaker)
-
João Sousa -
08/02 Nuno Neves -
Tiago Oliveira -
22/02 Max Alaluna -
Adriano Serckumecka -
TBD Pedro Ferreira -
Bruno Vavala -
TBD Miguel Falé -
Henrique Mendes Eunice Branco -
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 -


Personal tools
Navigators toolbox