Skip to content

Commit 4127bd8

Browse files
committed
Talk links fixed
1 parent 169ac80 commit 4127bd8

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

pages/publications.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -112,10 +112,10 @@ The links below give access to talks in PDF format.
112112

113113
The most recent ones come first.
114114

115-
* Narciso Martí-Oliet. [*An introduction to Maude and some of its applications*](:papers/Talk$Maude-padl10-slides.pdf). Invited talk given at PADL 2010.
116-
* Steven Eker. [Unification in Maude at Protocol eXchange Seminar, Naval Postgraduate School, January 2007](:papers/Talk$Eker-unification.pdf).
117-
* Artur Boronat. [PhD seminar at University of Leicester](:papers/Talk$Leicester-20071023_Maude.pdf)
118-
* Narciso Martí-Oliet. [Maude summer course at Rio Cuarto, Argentina](:papers/Talk$Riocuarto-maude.pdf)
115+
* Narciso Martí-Oliet. [*An introduction to Maude and some of its applications*](:papers/Talk.Maude-padl10-slides.pdf). Invited talk given at PADL 2010.
116+
* Steven Eker. [Unification in Maude at Protocol eXchange Seminar, Naval Postgraduate School, January 2007](:papers/Talk.Eker-unification.pdf).
117+
* Artur Boronat. [PhD seminar at University of Leicester](:papers/Talk.Leicester-20071023_Maude.pdf)
118+
* Narciso Martí-Oliet. [Maude summer course at Rio Cuarto, Argentina](:papers/Talk.Riocuarto-maude.pdf)
119119

120120
## Roadmap
121121

0 commit comments

Comments
 (0)