Official LSV Web Site

Teaching activities at RWTH Aachen

(dates refer to academic years)

ST 2005

• Exercise class for Probabilistic Models of Concurrency
  
• Seminar Validation of Stochastic Systems

WT 2004/2005

• Exercise class for Automata, Languages, and Complexity
  
• Seminar Message Sequence Charts

ST 2004

• Seminar Logic Programming

ST 2003

• Exercise class for Automata Theory and Formal Languages
  

WT 2002/2003

• Seminar Specification Languages for Concurrent Systems

ST 2002

• Exercise class for Term Rewriting Systems
  
• Seminar Message Sequence Charts

ST 2001

• Exercise class for Automata Theory and Formal Languages
  

WT 2000/2001

• Exercise class for Modeling Concurrent Systems
  

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique