@@ -106,11 +106,11 @@ <h2>Schedule and course material</h2>
106106
107107 < div class ="session-grid ">
108108 < article class ="session-card ">
109- < p class ="session-label "> Monday</ p >
110- < h3 > Intro + Part 1</ h3 >
109+ < p class ="session-label "> Monday afternoon </ p >
110+ < h3 > Session 1 - Intro, Part 1, Part 2 </ h3 >
111111 < p >
112- Introduction to the tutorial, followed by performance estimation
113- problems and fundamental proof structures .
112+ Introduction to the tutorial, followed by the first lecture
113+ blocks and hands-on material .
114114 </ p >
115115 < div class ="resource-group ">
116116 < a class ="resource-link " href ="./Part%200%20-%20Introduction/TutoPart0.pdf ">
@@ -122,23 +122,18 @@ <h3>Intro + Part 1</h3>
122122 >
123123 Part 1 slides
124124 </ a >
125+ < span class ="resource-link resource-link-muted "> Part 2 slides coming soon</ span >
126+ < a class ="resource-link " href ="https://pepitui-test.streamlit.app/ ">
127+ Open the UI
128+ </ a >
125129 < a
126130 class ="resource-link "
127131 href ="https://colab.research.google.com/github/PerformanceEstimation/Tutorial-SMAI-MODE/blob/main/Part%201%20-%20PEPs%20and%20fundamental%20proof%20structures/PEPit_demo_extract_worst_case_examples_session1_init_student_version.ipynb "
128132 >
129- Init notebook in Colab
133+ Notebook 1 in Colab
130134 </ a >
135+ < span class ="resource-link resource-link-muted "> Notebook 2 coming soon</ span >
131136 </ div >
132- < p class ="subresources ">
133- Extras:
134- < a href ="https://github.com/PerformanceEstimation/Tutorial-SMAI-MODE/blob/main/Part%201%20-%20PEPs%20and%20fundamental%20proof%20structures/PEPit_demo_extracting_a_proof.ipynb ">
135- proof extraction
136- </ a > ,
137- < a href ="https://github.com/PerformanceEstimation/Tutorial-SMAI-MODE/blob/main/Part%201%20-%20PEPs%20and%20fundamental%20proof%20structures/PEPit_demo_extract_worst_case_examples_session1.ipynb ">
138- worst-case examples
139- </ a >
140- on GitHub.
141- </ p >
142137 </ article >
143138
144139 < article class ="session-card ">
0 commit comments