WADT 2012
21st International Workshop on Algebraic Development Techniques
Salamanca, Spain, June 7-10, 2012
WADT 2012 Travel: Salamanca
The two cathedrals of Salamanca | C.M. Fonseca | Plaza Mayor | Universidad de Salamanca | Other monuments
UNIVERSIDAD DE SALAMANCA
![](pict/univ01t.jpg)
![](pict/univ01.jpg)
Universidad de Salamanca
![](pict/univ02t.jpg)
![](pict/univ02.jpg)
Universidad de Salamanca
![](pict/univ03t.jpg)
![](pict/univ03.jpg)
Universidad de Salamanca
![](pict/univ04t.jpg)
![](pict/univ04.jpg)
Universidad de Salamanca
![](pict/univ05t.jpg)
![](pict/univ05.jpg)
Universidad de Salamanca
![](pict/univ06t.jpg)
![](pict/univ06.jpg)
Universidad de Salamanca
![](pict/univ07t.jpg)
![](pict/univ07.jpg)
Universidad de Salamanca