NavTalks
From Navigators
(Difference between revisions)
| Line 14: | Line 14: | ||
|- | |- | ||
|-id="slNT20170113" style="background: lightgreen;" | |-id="slNT20170113" style="background: lightgreen;" | ||
| - | | 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 | + | | 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" | ||
| 27/01 || [[João_Sousa|João Sousa]] || - || [[Tiago_Oliveira | Tiago Oliveira]] || - | | 27/01 || [[João_Sousa|João Sousa]] || - || [[Tiago_Oliveira | Tiago Oliveira]] || - | ||
Revision as of 16:01, 13 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 | - |
| TBD | 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.
