====== Lectures at the University of Valladolid, Spain, on February 10 - 18, 2007 ======
{{ :talks:2007_spain_valladolid:host_big.jpg?500|Alexander Meduna and María Luisa González Díaz}}
=== Host ===
[[mluisa@infor.uva.es|María Luisa González Díaz]]

[[http://www.fi.uva.es|Faculty of Computer Science]] ([[http://www.infor.uva.es/|Departamento de Informática]]), 

[[http://www.uva.es|University of Valladolid]] (Universidad de Valladolid), Spain (España)

=== Lectures ===

  * {{:talks:2007_spain_valladolid:spain2007lecture_schedule.pdf|Schedule - February 12-15, 12:00 - 14:00}} (PDF)

== Lecture 1 - I. New Variants of Pushdown Automata (February 12, 12:00 - 14:00) ==

  * Preliminaries (Context-Free Languages)
    * {{:talks:2007_spain_valladolid:lect1_part1_cfbasics.pdf| Presentation}} (PDF)
    * {{:talks:2007_spain_valladolid:lect0.wma| Audio Record (only conclusion)}} (WMA, 123KB)

  * Regulated Pushdown Automata
    * {{:talks:2007_spain_valladolid:lect1_part2_rpda.pdf| Presentation}} (PDF)
    * {{:talks:2007_spain_valladolid:lect1.wma| Audio Record}} (WMA, 21MB)

== Lecture 2 - II. Semi-Parallel Grammars (February 13, 12:00 - 14:00) ==
  * {{:talks:2007_spain_valladolid:lect2_part1_deeppda.pdf| Deep Pushdown Automata}}
  * {{:talks:2007_spain_valladolid:lect2_part2_scg.pdf| Scattered Context Grammars}}
  * {{:talks:2007_spain_valladolid:lect2.wma| Audio Record}} (WMA, 26MB)

== Lecture 3 - III. Grammars with Context Conditions (February 14, 12:00 - 14:00) ==
  * {{:talks:2007_spain_valladolid:lect3_medunasvec_bw.pdf| Context Conditions (black & white)}}
  * {{:talks:2007_spain_valladolid:lect3_medunasvec_col.pdf| Context Conditions (color)}}
  * {{:talks:2007_spain_valladolid:lect3.wma| Audio Record}} (WMA, 26MB)
== Lecture 4 - IV. A Combination of Grammars and Automata (February 15, 12:00 - 14:00) ==
  * {{:talks:2007_spain_valladolid:lect4_brs.pdf| #-Rewriting Systems}}
  * {{:talks:2007_spain_valladolid:lect4.wma| Audio Record}} (WMA, 24MB)