Skip to content

Commit

Permalink
Merge pull request #30 from lesunb/RoME_24
Browse files Browse the repository at this point in the history 
Inclusão de keynote e atualização de programação
  • Loading branch information
@DanielDePaulaPorto
DanielDePaulaPorto committed Feb 2, 2024
2 parents 5faf13c + 419fb3a commit babef39
Show file tree
Hide file tree
Showing 4 changed files with 68 additions and 158 deletions.
132 changes: 17 additions & 115 deletions src/.vuepress/styles/index.scss
View file
Original file line number Diff line number Diff line change
Expand Up @@ -53,19 +53,19 @@
}
}

.instagram-link>a{
.instagram-link>a {
color: #7f8c8d;
}

.instagram-link>a:hover{
.instagram-link>a:hover {
color: #2980b9;
}

.linkedin-link>a{
.linkedin-link>a {
color: #7f8c8d;
}

.linkedin-link>a:hover{
.linkedin-link>a:hover {
color: #2980b9;
}

Expand All @@ -82,117 +82,19 @@
}

//tabela de programação
.tg {
border-collapse: collapse;
border-spacing: 0;
margin: auto;
width: max-content;
}

.tg td {
border-style: solid;
border-width: 1px;
font-family: Arial, sans-serif;
font-size: 14px;
overflow: hidden;
padding: 10px 5px;
word-break: normal;
color: #000;
}

.tg th {
border-color: black;
border-style: solid;
border-width: 1px;
font-family: Arial, sans-serif;
font-size: 14px;
font-weight: normal;
overflow: hidden;
// padding: 10px 5px;
word-break: normal;
color: #000;
}

.tg .tg-0x09 {
background-color: #c0c0c0;
text-align: left;
vertical-align: middle
}

.tg .tg-baqh {
text-align: center;
vertical-align: middle;
color: #9b9b9b;
}

.tg .tg-t4q3 {
color: #9b9b9b;
font-weight: bold;
text-align: center;
vertical-align: middle
}

.tg .tg-tkab {
background-color: #5883ff;
font-weight: bold;
text-align: center;
vertical-align: middle
}

.tg .tg-2dgu {
background-color: #5883ff;
font-family: inherit;
font-weight: bold;
text-align: center;
vertical-align: middle
}

.tg .tg-ltxa {
background-color: #ffccc9;
text-align: left;
vertical-align: middle
}

.tg .tg-8xib {
background-color: #fffc9e;
text-align: center;
vertical-align: middle
}

.tg .tg-sh07 {
background-color: #cbcefb;
text-align: center;
vertical-align: middle
}

.tg .tg-4aw5 {
background-color: #96fffb;
text-align: left;
vertical-align: middle
}

.tg .tg-j6lv {
background-color: #96fffb;
text-align: center;
vertical-align: middle
}

.tg .tg-ifcm {
background-color: #ffce93;
text-align: center;
vertical-align: middle
}

.tg .tg-y6fn {
background-color: #c0c0c0;
text-align: left;
vertical-align: middle
}

.tg .tg-0lax {
text-align: left;
vertical-align: middle
}
.tg {border-collapse:collapse;border-spacing:0;}
.tg td{border-style:solid;border-width:0px;font-family:Arial, sans-serif;font-size:14px;overflow:hidden;
padding:10px 5px;word-break:normal;}
.tg th{border-style:solid;border-width:0px;font-family:Arial, sans-serif;font-size:14px;font-weight:normal;
overflow:hidden;padding:10px 5px;word-break:normal;}
.tg .tg-9fnw{background-color:#ffccc9;color:#000000;text-align:center;vertical-align:top}
.tg .tg-0c6x{background-color:#fffc9e;color:#000000;text-align:center;vertical-align:top}
.tg .tg-qrlx{background-color:#cbcefb;color:#000000;text-align:center;vertical-align:top}
.tg .tg-bq31{background-color:#3166ff;color:#ffffff;font-weight:bold;text-align:center;vertical-align:top}
.tg .tg-amwm{font-weight:bold;text-align:center;vertical-align:top}
.tg .tg-ddj9{background-color:#c0c0c0;color:#000000;text-align:center;vertical-align:top}
.tg .tg-zsuv{background-color:#96fffb;color:#000000;text-align:center;vertical-align:top}
.tg .tg-slju{background-color:#ffce93;color:#000000;text-align:center;vertical-align:top}


// Tabela de preços
Expand Down
8 changes: 8 additions & 0 deletions src/Keynotes/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,14 @@ Claudio Menghi earned his BSc and MSc degrees in computer science from the Polit

Read more about Dr. Claudio Menghi in [his web page](https://claudiomenghi.github.io/)

## <i class="fas fa-user" style="color:var(--theme-color)"></i> Marsha Chechik

![](mc.jpg){width="200"}

Marsha Chechik is a professor (former Chair, 2019-22) in the Department of Computer Science at the University of Toronto, Canada, and holds a significant role in academia. She served as the Acting Dean of the Faculty of Information from July to December 2022, extending her influence beyond the Computer Science realm. Her primary interests revolve around Software Engineering, focusing on Safety and Security Assurance, Automated Verification, Software Product Lines, and Model Management. Her research pursuits delve into applying formal methods to elevate software quality. This encompasses scalable, automated verification techniques such as model-checking and theorem-proving, user-friendly formal specification languages for easy comprehension and review, protocol verification, exploration of non-classical logic, and adept reasoning under inconsistency.

Read more about Dr. Marsha Chechik in [her web page](https://www.cs.toronto.edu/~chechik/)

## <i class="fas fa-calendar-check" style="color:var(--theme-color)"></i> Keynotes Schedule

Check the [program](/RoME/program) for the keynotes schedule
Expand Down
Binary file added src/Keynotes/mc.jpg
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
86 changes: 43 additions & 43 deletions src/Program/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,73 +9,73 @@ icon: calendar-alt
<table class="tg">
<thead>
<tr>
<th class="tg-tkab"><span style="font-style:normal">Time/Day</span></th>
<th class="tg-tkab">February 20th</th>
<th class="tg-tkab">February 21st</th>
<th class="tg-2dgu"><span style="font-style:normal">February 22nd</span></th>
<th class="tg-2dgu"><span style="font-style:normal">February 23rd</span></th>
<th class="tg-bq31">Time/Day</th>
<th class="tg-bq31">Tuesday, Feb 20th</th>
<th class="tg-bq31">Wednesday, Feb 21st</th>
<th class="tg-bq31">Thursday, Feb 22nd</th>
<th class="tg-bq31">Friday, Feb 23rd</th>
</tr>
</thead>
<tbody>
<tr>
<td class="tg-baqh">09:00</td>
<td class="tg-0x09" rowspan="6"></td>
<td class="tg-8xib">Keynote 1</td>
<td class="tg-8xib"><span style="font-weight:400;font-style:normal">Keynote 2</span></td>
<td class="tg-8xib"><span style="font-weight:400;font-style:normal">Keynote 3</span></td>
<td class="tg-amwm">09:00</td>
<td class="tg-ddj9" rowspan="6"> <br><br><br><br><br></td>
<td class="tg-0c6x">Claudio Menghi Keynote</td>
<td class="tg-9fnw"> Architecture in RME</td>
<td class="tg-0c6x"> Patrizio Pelliccione keyonte</td>
</tr>
<tr>
<td class="tg-baqh">10:00</td>
<td class="tg-sh07" colspan="3">Coffee break</td>
<td class="tg-amwm">10:00</td>
<td class="tg-qrlx" colspan="3">Coffee break</td>
</tr>
<tr>
<td class="tg-baqh">10:30</td>
<td class="tg-ltxa">Technical Session 1</td>
<td class="tg-ltxa">Technical Session 4</td>
<td class="tg-ltxa" rowspan="2">Discussion Panel<br><br></td>
<td class="tg-amwm">10:30</td>
<td class="tg-9fnw">Requirements in RME</td>
<td class="tg-9fnw"> Verification in RME I</td>
<td class="tg-9fnw" rowspan="2">Discussion panel</td>
</tr>
<tr>
<td class="tg-baqh">11:00</td>
<td class="tg-ltxa"><span style="font-weight:400;font-style:normal">Technical Session 2</span></td>
<td class="tg-ltxa"><span style="font-weight:400;font-style:normal">Technical Session 5</span></td>
<td class="tg-amwm">11:00</td>
<td class="tg-9fnw">Self-adaptiveness in RME</td>
<td class="tg-9fnw"> Verification in RME II</td>
</tr>
<tr>
<td class="tg-baqh">11:30</td>
<td class="tg-ltxa">Technical Session 3</td>
<td class="tg-ltxa"><span style="font-weight:400;font-style:normal">Technical Session 6</span></td>
<td class="tg-4aw5"><span style="font-weight:400;font-style:normal">Closing Ceremony</span></td>
<td class="tg-amwm">11:30</td>
<td class="tg-9fnw">Simulation in RME</td>
<td class="tg-9fnw">Field Testing in RME</td>
<td class="tg-zsuv">Closing Ceremony</td>
</tr>
<tr>
<td class="tg-baqh">12:00</td>
<td class="tg-sh07" colspan="3">Lunch break<br></td>
<td class="tg-amwm">12:00</td>
<td class="tg-qrlx" colspan="3">Lunch time</td>
</tr>
<tr>
<td class="tg-baqh">14:00</td>
<td class="tg-j6lv">Registration<br></td>
<td class="tg-ifcm">Working Session 1</td>
<td class="tg-ifcm"><span style="font-weight:400;font-style:normal">Working Session 3</span></td>
<td class="tg-y6fn" rowspan="4"></td>
<td class="tg-amwm">14:00</td>
<td class="tg-zsuv">Registration</td>
<td class="tg-slju">WS 1 - Turtlebots I</td>
<td class="tg-0c6x">Marsha Chechik Keyonte</td>
<td class="tg-ddj9" rowspan="5"> <br><br><br><br></td>
</tr>
<tr>
<td class="tg-baqh">15:30</td>
<td class="tg-j6lv" rowspan="2">Opening <br>Ceremony</td>
<td class="tg-sh07" colspan="2"><span style="font-weight:400;font-style:normal">Coffee break</span></td>
<td class="tg-amwm">15:30</td>
<td class="tg-zsuv">Opening Ceremony</td>
<td class="tg-qrlx" colspan="2">Coffee break</td>
</tr>
<tr>
<td class="tg-baqh">16:00</td>
<td class="tg-ifcm" rowspan="2"><span style="font-weight:400;font-style:normal">Working Session 2</span></td>
<td class="tg-ifcm" rowspan="2"><span style="font-weight:400;font-style:normal">Working Session 4</span></td>
<td class="tg-amwm">16:00</td>
<td class="tg-0c6x">Sebastian Uchitel Keynote</td>
<td class="tg-slju" rowspan="2">WS 2 - Turtlebots II</td>
<td class="tg-slju" rowspan="2">Working Session 3<br> SA-BSN</td>
</tr>
<tr>
<td class="tg-baqh">17:30</td>
<td class="tg-j6lv">Welcome Reception<br></td>
<td class="tg-amwm">17:30</td>
<td class="tg-zsuv">Welcome Reception</td>
</tr>
<tr>
<td class="tg-baqh">18:00</td>
<td class="tg-t4q3">End of day 1</td>
<td class="tg-t4q3"><span style="font-style:normal">End of day 2</span></td>
<td class="tg-t4q3"><span style="font-style:normal">End of day 3</span></td>
<td class="tg-0lax"></td>
<td class="tg-amwm">18:00</td>
<td class="tg-amwm"> End of day 1</td>
<td class="tg-amwm">End of day 2</td>
<td class="tg-amwm">End of day 3</td>
</tr>
</tbody>
</table>

0 comments on commit babef39

Please sign in to comment.