Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
ccost [2008/09/01 12:37] vkuncak |
ccost [2008/09/01 15:55] vkuncak |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| * [[http://www4.informatik.tu-muenchen.de/~nipkow/|Tobias Nipkow]] (Germany) | * [[http://www4.informatik.tu-muenchen.de/~nipkow/|Tobias Nipkow]] (Germany) | ||
| * [[http://www.loria.fr/~ranise/|Silvio Ranise]] (France) | * [[http://www.loria.fr/~ranise/|Silvio Ranise]] (France) | ||
| + | * [[http://www2.cs.cas.cz/~ratschan/|Stefan Ratschan]] (Czecz Republic) | ||
| * [[http://www.mpi-sws.mpg.de/~rybal/|Andrey Rybalchenko]] (Germany) | * [[http://www.mpi-sws.mpg.de/~rybal/|Andrey Rybalchenko]] (Germany) | ||
| * [[http://www.inf.unisi.ch/faculty/sharygina/|Natasha Sharygina]] (Switzerland) | * [[http://www.inf.unisi.ch/faculty/sharygina/|Natasha Sharygina]] (Switzerland) | ||