Commit9e1297f

authored

Update index.md

1 parent1b27a30 commit9e1297fCopy full SHA for 9e1297f

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ This website gives a brief overview of our [HOLMS library](https://github.com/HO`
`46`	`46`	`##Talks & Presentations`
`47`	`47`	`-[OVERLAY 2024](https://overlay.uniud.it/workshop/2024/) – 6th International Workshop on Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis<br/>`
`48`	`48`	`28 and 29 November, Bolzano (Italy). <br/>`
`49`		`-[Slides (PDF)]()`
	`49`	`+[Slides (PDF)](https://drive.google.com/file/d/1ys7VisacuYD2raSEuDXXUtfF7lEJN5BH/view?usp=sharing)`
`50`	`50`
`51`	`51`	`-[WiL 2025](https://sites.google.com/view/wil2025/home) – 9th Women in Logic Workshop <br/>`
`52`	`52`	`14 July, Birmingham (United Kingdom). <br/>`

Comments

(0)