|
19.05.2012 - 17:20 - 18:05 |
Computer Science семинар (весна 2012) |
Local proof transformations for flexible interpolation and proof reduction (Prof. Natasha Sharygina, University of Lugano, Switzerland) |
|
19.05.2012 - 18:15 - 19:00 |
Computer Science семинар (весна 2012) |
Computational Science – modeling approaches and algorithms (Igor Pivkin, University of Lugano, Switzerland) |
|
19.05.2012 - 19:15 - 20:05 |
Computer Science семинар (весна 2012) |
Local proof transformations for flexible interpolation and proof reduction (Prof. Natasha Sharygina, University of Lugano, Switzerland) |
|
19.05.2012 - 20:05 - 20:45 |
Computer Science семинар (весна 2012) |
Service Oriented Computing with Resource Oriented Architectures (Cesare Pautasso, University of Lugano, Switzerland) |
|
20.05.2012 - 11:15 - 12:00 |
Computer Science семинар (весна 2012) |
Computational Science – modeling approaches and algorithms (Igor Pivkin, University of Lugano, Switzerland) |
Русский
English