====== Socrates/Erasmus Visit at Segovia, Spain, on October 21 - 28, 2007 ======
{{ :talks:2007_spain_segovia:students.jpg?450|Alexander Meduna and his students at Segovia}}
=== Host Institution ===

[[http://www.eui.upm.es/|Escuela Universitaria de Informática]]

Campus de Segovia - [[http://www.uva.es/|Universidad de Valladolid]]

Plaza de Santa Eulalia 9 y 11 - 40005 [[http://en.wikipedia.org/wiki/Segovia|Segovia]] (SPAIN)

=== Lectures ===

  * {{:talks:2007_spain_segovia:segovia07_talk_abstracts.rtf|Schedule - October 24}} (RTF)

== Lecture 1 - Regulated Pushdown Automata (October 24) ==

  * Regulated Pushdown Automata
    * {{:talks:2007_spain_segovia:1_segovia07-regulated_automata.pdf| Presentation}} (PDF)
    * {{:talks:2007_spain_segovia:1_segovia07_intro_and_regulated_pda.wma| Audio Record}} (WMA, 13MB)

== Lecture 2 - Deep Pushdown Automata (October 24) ==
  * {{:talks:2007_spain_segovia:2_segovia07-deep_pushdown_automata.pdf| Presentation}} (PDF)
  * {{:talks:2007_spain_segovia:2_segovia07_deep_pda.wma| Audio Record}} (WMA, 11MB)



=== Photos - People ===

| {{:talks:2007_spain_segovia:people1.jpg?300|:talks:2007_spain_segovia:people1.jpg}} | {{:talks:2007_spain_segovia:people2.jpg?300|:talks:2007_spain_segovia:people2.jpg}} | 
| {{:talks:2007_spain_segovia:people3.jpg?300|:talks:2007_spain_segovia:people3.jpg}} | {{:talks:2007_spain_segovia:people4.jpg?300|:talks:2007_spain_segovia:people4.jpg}} |
| {{:talks:2007_spain_segovia:people5.jpg?300|:talks:2007_spain_segovia:people5.jpg}} | {{:talks:2007_spain_segovia:people6.jpg?300|:talks:2007_spain_segovia:people6.jpg}} |
| {{:talks:2007_spain_segovia:people7.jpg?300|:talks:2007_spain_segovia:people7.jpg}} | {{:talks:2007_spain_segovia:people8.jpg?300|:talks:2007_spain_segovia:people8.jpg}} |