Skip to content

Commit 6123eb5

Browse files
adieulevadieulev
committed
web min
1 parent 08ef673 commit 6123eb5

2 files changed

Lines changed: 80 additions & 151 deletions

File tree

‎README.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,9 @@
11
# Tutorial on performance estimation problems
22

3+
> [!IMPORTANT]
4+
> Course website:
5+
> **https://performanceestimation.github.io/Tutorial-SMAI-MODE/**
6+
37
**SMAI-MODE:** https://mode2026.sciencesconf.org/
48

59
**Dates:** starts March 16th, 2026 at 2pm, ends March 17th, 2026 at 6pm.

‎index.html‎

Lines changed: 76 additions & 151 deletions
Original file line numberDiff line numberDiff line change
@@ -93,64 +93,14 @@ <h2>Lecturers</h2>
9393
</article>
9494
</section>
9595

96-
<section class="section card">
97-
<h2>GitHub projects</h2>
98-
<ul class="github-list">
99-
<li class="github-entry">
100-
<div class="github-meta">
101-
<strong>Star PEPit</strong>
102-
<a href="https://github.com/PerformanceEstimation/PEPit">
103-
github.com/PerformanceEstimation/PEPit
104-
</a>
105-
</div>
106-
<iframe
107-
src="https://ghbtns.com/github-btn.html?user=PerformanceEstimation&repo=PEPit&type=star&count=true"
108-
width="120"
109-
height="20"
110-
title="Star PEPit on GitHub"
111-
class="github-button-frame"
112-
></iframe>
113-
</li>
114-
<li class="github-entry">
115-
<div class="github-meta">
116-
<strong>Star the tutorial</strong>
117-
<a href="https://github.com/PerformanceEstimation/Tutorial-SMAI-MODE">
118-
github.com/PerformanceEstimation/Tutorial-SMAI-MODE
119-
</a>
120-
</div>
121-
<iframe
122-
src="https://ghbtns.com/github-btn.html?user=PerformanceEstimation&repo=Tutorial-SMAI-MODE&type=star&count=true"
123-
width="120"
124-
height="20"
125-
title="Star Tutorial-SMAI-MODE on GitHub"
126-
class="github-button-frame"
127-
></iframe>
128-
</li>
129-
<li class="github-entry">
130-
<div class="github-meta">
131-
<strong>Star the UI</strong>
132-
<a href="https://github.com/dzngo/pepit_ui">
133-
github.com/dzngo/pepit_ui
134-
</a>
135-
</div>
136-
<iframe
137-
src="https://ghbtns.com/github-btn.html?user=dzngo&repo=pepit_ui&type=star&count=true"
138-
width="120"
139-
height="20"
140-
title="Star pepit_ui on GitHub"
141-
class="github-button-frame"
142-
></iframe>
143-
</li>
144-
</ul>
145-
</section>
146-
14796
<section class="section" id="outline">
14897
<div class="section-heading">
14998
<p class="eyebrow">Outline</p>
150-
<h2>Schedule and starter material</h2>
99+
<h2>Schedule and course material</h2>
151100
<p>
152101
The course is organized across three main teaching blocks. Starter
153-
notebooks open directly in Colab.
102+
notebooks open directly in Colab, and the full notebooks remain
103+
available on GitHub.
154104
</p>
155105
</div>
156106

@@ -179,6 +129,16 @@ <h3>Intro + Part 1</h3>
179129
Init notebook in Colab
180130
</a>
181131
</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>
182142
</article>
183143

184144
<article class="session-card">
@@ -197,6 +157,12 @@ <h3>Part 2</h3>
197157
Init notebook in Colab
198158
</a>
199159
</div>
160+
<p class="subresources">
161+
Full notebook:
162+
<a href="https://github.com/PerformanceEstimation/Tutorial-SMAI-MODE/blob/main/Part%202%20-%20Structured%20algorithm%20certification/Compact%20algorithm%20certification.ipynb">
163+
compact algorithm certification
164+
</a>.
165+
</p>
200166
</article>
201167

202168
<article class="session-card">
@@ -215,10 +181,67 @@ <h3>Part 3</h3>
215181
Init notebook in Colab
216182
</a>
217183
</div>
184+
<p class="subresources">
185+
Full notebook:
186+
<a href="https://github.com/PerformanceEstimation/Tutorial-SMAI-MODE/blob/main/Part%203%20-%20Algorithm%20design/Algorithm%20design.ipynb">
187+
algorithm design
188+
</a>.
189+
</p>
218190
</article>
219191
</div>
220192
</section>
221193

194+
<section class="section card">
195+
<h2>GitHub projects</h2>
196+
<ul class="github-list">
197+
<li class="github-entry">
198+
<div class="github-meta">
199+
<strong>Star PEPit</strong>
200+
<a href="https://github.com/PerformanceEstimation/PEPit">
201+
github.com/PerformanceEstimation/PEPit
202+
</a>
203+
</div>
204+
<iframe
205+
src="https://ghbtns.com/github-btn.html?user=PerformanceEstimation&repo=PEPit&type=star&count=true"
206+
width="120"
207+
height="20"
208+
title="Star PEPit on GitHub"
209+
class="github-button-frame"
210+
></iframe>
211+
</li>
212+
<li class="github-entry">
213+
<div class="github-meta">
214+
<strong>Star the tutorial</strong>
215+
<a href="https://github.com/PerformanceEstimation/Tutorial-SMAI-MODE">
216+
github.com/PerformanceEstimation/Tutorial-SMAI-MODE
217+
</a>
218+
</div>
219+
<iframe
220+
src="https://ghbtns.com/github-btn.html?user=PerformanceEstimation&repo=Tutorial-SMAI-MODE&type=star&count=true"
221+
width="120"
222+
height="20"
223+
title="Star Tutorial-SMAI-MODE on GitHub"
224+
class="github-button-frame"
225+
></iframe>
226+
</li>
227+
<li class="github-entry">
228+
<div class="github-meta">
229+
<strong>Star the UI</strong>
230+
<a href="https://github.com/dzngo/pepit_ui">
231+
github.com/dzngo/pepit_ui
232+
</a>
233+
</div>
234+
<iframe
235+
src="https://ghbtns.com/github-btn.html?user=dzngo&repo=pepit_ui&type=star&count=true"
236+
width="120"
237+
height="20"
238+
title="Star pepit_ui on GitHub"
239+
class="github-button-frame"
240+
></iframe>
241+
</li>
242+
</ul>
243+
</section>
244+
222245
<section class="section card">
223246
<h2>Context and references</h2>
224247
<p>
@@ -259,104 +282,6 @@ <h2>Context and references</h2>
259282
</ul>
260283
</section>
261284

262-
<section class="section" id="sessions">
263-
<div class="section-heading">
264-
<p class="eyebrow">Course material</p>
265-
<h2>Sessions</h2>
266-
<p>
267-
Links marked "Coming soon" can be activated later by replacing the
268-
placeholder or uncommenting one of the templates at the bottom of
269-
this file.
270-
</p>
271-
</div>
272-
273-
<div class="session-grid">
274-
<article class="session-card">
275-
<p class="session-label">Opening session</p>
276-
<h3>Part 0 - Introduction</h3>
277-
<p>Overview of the tutorial and the main performance estimation perspective.</p>
278-
<div class="resource-group">
279-
<a class="resource-link" href="./Part%200%20-%20Introduction/TutoPart0.pdf">
280-
Lecture slides
281-
</a>
282-
<span class="resource-link resource-link-muted">Lab not scheduled</span>
283-
</div>
284-
</article>
285-
286-
<article class="session-card">
287-
<p class="session-label">Session 1</p>
288-
<h3>Part 1 - PEPs and fundamental proof structures</h3>
289-
<p>Core lecture material together with the first hands-on notebooks.</p>
290-
<div class="resource-group">
291-
<a
292-
class="resource-link"
293-
href="./Part%201%20-%20PEPs%20and%20fundamental%20proof%20structures/TutoPart1.pdf"
294-
>
295-
Lecture slides
296-
</a>
297-
<a
298-
class="resource-link"
299-
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"
300-
>
301-
Init notebook in Colab
302-
</a>
303-
</div>
304-
<p class="subresources">
305-
Extras:
306-
<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">
307-
proof extraction
308-
</a>,
309-
<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">
310-
worst-case examples
311-
</a>
312-
on GitHub.
313-
</p>
314-
</article>
315-
316-
<article class="session-card">
317-
<p class="session-label">Session 2</p>
318-
<h3>Part 2 - Structured algorithm certification</h3>
319-
<p>Notebook-based lab focused on compact certification workflows.</p>
320-
<div class="resource-group">
321-
<span class="resource-link resource-link-muted">Lecture slides coming soon</span>
322-
<a
323-
class="resource-link"
324-
href="https://colab.research.google.com/github/PerformanceEstimation/Tutorial-SMAI-MODE/blob/main/Part%202%20-%20Structured%20algorithm%20certification/Compact%20algorithm%20certification_init_version.ipynb"
325-
>
326-
Init notebook in Colab
327-
</a>
328-
</div>
329-
<p class="subresources">
330-
Full notebook:
331-
<a href="https://github.com/PerformanceEstimation/Tutorial-SMAI-MODE/blob/main/Part%202%20-%20Structured%20algorithm%20certification/Compact%20algorithm%20certification.ipynb">
332-
compact algorithm certification
333-
</a>.
334-
</p>
335-
</article>
336-
337-
<article class="session-card">
338-
<p class="session-label">Session 3</p>
339-
<h3>Part 3 - Algorithm design</h3>
340-
<p>Hands-on material dedicated to algorithm design with PEP-based tools.</p>
341-
<div class="resource-group">
342-
<span class="resource-link resource-link-muted">Lecture slides coming soon</span>
343-
<a
344-
class="resource-link"
345-
href="https://colab.research.google.com/github/PerformanceEstimation/Tutorial-SMAI-MODE/blob/main/Part%203%20-%20Algorithm%20design/Algorithm%20design_init_version.ipynb"
346-
>
347-
Init notebook in Colab
348-
</a>
349-
</div>
350-
<p class="subresources">
351-
Full notebook:
352-
<a href="https://github.com/PerformanceEstimation/Tutorial-SMAI-MODE/blob/main/Part%203%20-%20Algorithm%20design/Algorithm%20design.ipynb">
353-
algorithm design
354-
</a>.
355-
</p>
356-
</article>
357-
</div>
358-
</section>
359-
360285
<section class="section card funding">
361286
<div class="section-heading">
362287
<p class="eyebrow">Acknowledgments</p>

0 commit comments

Comments
 (0)