|
|
Line 1: |
Line 1: |
- | The Navtalks is a series of informal talks given by Navigators members or some special guests about every two-weeks at Ciências, ULisboa.
| |
| | | |
- |
| |
- | {| class="wikitable" style="font-size: 8pt; text-align: center; width: 30%;"
| |
- | | style="width: 33.33%; " | scheduled || style="width: 33.33%; background-color: lightgreen;" | next || style="width: 33.33%; background-color:lightgray;" | to be defined
| |
- | |}
| |
- | {| class="wikitable" style="font-size: 10pt; text-align: center; width: 100%;"
| |
- | | style="font-size: 12pt; width: 10%;" | Winter'18 || colspan="2" style="font-size: 12pt; width: 90%;" |Presentations
| |
- | |-
| |
- | | When & Where || Speaker || Title
| |
- | |-
| |
- | |-id="slNT20170926" style="background-color:lightgreen;"
| |
- | | rowspan="2" | Sep 20 @ 12pm <br> room 6.3.38
| |
- | | [[Alysson_Bessani | Alysson Bessani]] || SMaRtChain: A Principled Design for a New Generation of Blockchains
| |
- | |- style="background-color:lightgreen;"
| |
- | | [[Rui_Miguel | Rui Miguel]] || Named Data Networking with Programmable Switches
| |
- | |-
| |
- | |}
| |
- | <!-- style="background-color:lightgray;" style="background-color:lightgreen;"-->
| |
- |
| |
- |
| |
- | For past years, please check out our [[Navtalks/Archive|archive]].
| |
- |
| |
- |
| |
- |
| |
- |
| |
- |
| |
- | <!-- This is a comment
| |
- |
| |
- | {| class="wikitable" style="font-size: 10pt; text-align: center; width: 100%;"
| |
- | | style="font-size: 12pt; width: 6%;" | Spring'17 || colspan="2" style="font-size: 12pt; width: 47%;" |Presentation A || colspan="2" style="font-size: 12pt; width: 47%;" |Presentation B
| |
- | |-
| |
- | | Date || style="width: 15%;" | Speaker || Title || style="width: 15%;" |Speaker || Title
| |
- | |-
| |
- | |-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]
| |
- | |-id="slNT20170125" style="background: lightgreen;"
| |
- | | 25/01 || [[João_Sousa|João Sousa]] || - || [[Tiago_Oliveira | Tiago Oliveira]] || -
| |
- | |-id="slNT20170208"
| |
- | | 08/02 || [[Nuno_Ferreira_Neves | Nuno Neves ]] || - || [[Max_Alaluna |Max Alaluna ]] || -
| |
- | |-id="slNT20170222"
| |
- | | 22/02 || [[ Adriano Serckumecka | Adriano Serckumecka ]] || - || [[ Bruno_Vavala | Bruno Vavala ]] || -
| |
- | |-id="slNT" style="background-color: lightgray;"
| |
- | | TBD || [[Pedro_Ferreira | Pedro Ferreira ]] || - || [[Miguel_Falé | Miguel Falé ]] || -
| |
- | |-id="slNT" style="background-color: lightgray;"
| |
- | | TBD || [[ Henrique_Mendes | Henrique Mendes ]] || - || [[Eunice_Branco | Eunice Branco ]] || -
| |
- | |-id="slNT" style="background-color: lightgray;"
| |
- | | TBD || [[António_Casimiro | António Casimiro ]] || - || [[Bruno_Nunes | Bruno Nunes ]] || -
| |
- | |-id="slNT" style="background-color: lightgray;"
| |
- | | TBD || [[ Pedro_Alves | Pedro Alves ]] || - || [[ Rui_Marques | Rui Marques ]] || -
| |
- | |-id="slNT" style="background-color: lightgray;"
| |
- | | TBD || [[Fabio_Pereira | Fabio Pereira ]] || - || [[ Diogo_Pinto | Diogo Pinto ]] || -
| |
- | |-id="slNT" style="background-color: lightgray;"
| |
- | | TBD || [[ João_Silva| João Silva ]] || - || [[ Joao_Paulino | João Paulino ]] || -
| |
- | |-id="slNT" style="background-color: lightgray;"
| |
- | | TBD || [[Gonçalo_Reis | Gonçalo Reis ]] || - || - || -
| |
- | |}
| |
- | -->
| |
- |
| |
- |
| |
- |
| |
- | <div style="background:#eeeeee; border:1px solid #cccccc; padding:5px 10px">
| |
- | <table border="0" cellspacing="0" style="width:90%">
| |
- | <tbody>
| |
- | <tr><td colspan="2" style="width:20%">November 2018</td><td style="width:60%">Title</td><td style="width:20%">PDF</td></tr>
| |
- | <tr><td>13/11</td>
| |
- | <td>Salvatore Signorello</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr><td>13/11</td><td>Tiago Oliveira</td><td> </td><td> </td></tr>
| |
- |
| |
- | <tr><td>27/11</td><td>Nuno Neves</td><td> </td><td> </td></tr>
| |
- |
| |
- | <tr><td>27/11</td><td>Ricardo Mendes</td><td> </td><td> </td></tr>
| |
- | </tbody>
| |
- | </table>
| |
- | </div>
| |
- |
| |
- | <p> </p>
| |
- |
| |
- | <div id="dec" style="background:#eeeeee; border:1px solid #cccccc; padding:5px 10px">
| |
- |
| |
- | <table border="0" cellspacing="0" style="width:90%">
| |
- |
| |
- | <tr><td colspan="2" style="width:20%">December 2018</td>
| |
- | <td style="width:60%">Title</td>
| |
- | <td style="width:20%">PDF</td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>11/12</td><td>António Casimiro</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>11/12</td><td>Carlos Nascimento</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | </table>
| |
- | </div>
| |
- |
| |
- |
| |
- | <p> </p>
| |
- |
| |
- | <div style="background:#eeeeee; border:1px solid #cccccc; padding:5px 10px">
| |
- | <table border="0" cellspacing="0" style="width:90%">
| |
- | <tr>
| |
- | <td colspan="2" style="width:20%">January 2019</td>
| |
- | <td style="width:60%">Title</td>
| |
- | <td style="width:20%">PDF</td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>15/01</td> <td>Fernando Alves</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>15/01</td> <td>Ibéria Medeiros</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>29/01</td> <td>Fernando Ramos</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>29/01</td> <td>Miguel Garcia</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | </table>
| |
- | </div>
| |
- |
| |
- | <p> </p>
| |
- |
| |
- | <div style="background:#eeeeee; border:1px solid #cccccc; padding:5px 10px">
| |
- | <table border="0" cellspacing="0" style="width:90%">
| |
- | <tr>
| |
- | <td colspan="2" style="width:20%">February 2019</td>
| |
- | <td style="width:60%">Title</td>
| |
- | <td style="width:20%">PDF</td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>19/02</td> <td>Ana Fidalgo</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>19/02</td> <td>João Sousa</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | </table>
| |
- | </div>
| |
- |
| |
- | <p> </p>
| |
- |
| |
- | <div style="background:#eeeeee; border:1px solid #cccccc; padding:5px 10px">
| |
- | <table border="0" cellspacing="0" style="width:90%">
| |
- | <tr>
| |
- | <td colspan="2" style="width:20%">March 2019</td>
| |
- | <td style="width:60%">Title</td>
| |
- | <td style="width:20%">PDF</td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>12/03</td> <td>Pedro Gaspar</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>12/03</td> <td>Ricardo Morgado</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>26/03</td> <td>André Oliveira</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>26/03</td> <td>Nuno Dionísio</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | </table>
| |
- | </div>
| |
- |
| |
- | <p> </p>
| |
- |
| |
- | <div style="background:#eeeeee; border:1px solid #cccccc; padding:5px 10px">
| |
- | <table border="0" cellspacing="0" style="width:90%">
| |
- | <tr>
| |
- | <td colspan="2" style="width:20%">April 2019</td>
| |
- | <td style="width:60%">Title</td>
| |
- | <td style="width:20%">PDF</td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>09/04</td> <td>Adriano Serckumecka</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>09/04</td> <td>Tulio Ribeiro</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | </table>
| |
- | </div>
| |
- |
| |
- | <p> </p>
| |
- |
| |
- | <div style="background:#eeeeee; border:1px solid #cccccc; padding:5px 10px">
| |
- | <table border="0" cellspacing="0" style="width:90%">
| |
- | <tr>
| |
- | <td colspan="2" style="width:20%">May 2019</td>
| |
- | <td style="width:60%">Title</td>
| |
- | <td style="width:20%">PDF</td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>14/05</td> <td>Diogo Gonçalves</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>14/05</td> <td>Vinicius Cogo</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>25/05</td> <td>Francisco Araújo</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>28/05</td> <td>Miguel Matos</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | </table>
| |
- | </div>
| |
- |
| |
- | <p> </p>
| |
- |
| |
- | <div style="background:#eeeeee; border:1px solid #cccccc; padding:5px 10px">
| |
- | <table border="0" cellspacing="0" style="width:90%">
| |
- | <tr>
| |
- | <td colspan="2" style="width:20%">June 2019</td>
| |
- | <td style="width:60%">Title</td>
| |
- | <td style="width:20%">PDF</td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>11/06</td>
| |
- | <td>Eric Vial</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>11/06</td>
| |
- | <td>FREE</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>25/06</td>
| |
- | <td>João Pinto</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- | <tr>
| |
- | <td>25/06</td>
| |
- | <td>Tiago Correia</td>
| |
- | <td> </td>
| |
- | <td> </td>
| |
- | </tr>
| |
- |
| |
- | </table>
| |
- | </div>
| |