Date | Seminar | Seminar series |
---|---|---|
2003-05-20 5/20/03 |
Planning under Uncertainty by Model Checking
Timetable:
17:30
|
Speaker:
Dr. Paolo Traverso
(IRST, ITC, Trento)
|
|
2003-06-03 6/3/03 |
Description Logics for Ontologies
Timetable:
17:30
|
Speaker:
Dr. Ulrike Sattler
(Institut fuer Theoretische Informatik, Technische Universitaet Dresden)
|
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>