Faculty of
Computer Science
ro
|
site map
|
home
|
Profile
|
Degree Programs
|
People
|
Research
|
Students
A. I. Cuza University of Iaşi
In this section
Overview
Collaborations
Visiting Researchers and Professors
Events
Scientific Seminars
Scientific Annals
Technical Reports
Quick Links
Admission
Doctoral School Admission
FII Student blog
@fiistudent (Twitter)
Regulations
MSDN Academic Alliance
Microsoft Student Partners
eSIMS
Webmail (Professors)
Webmail (Students)
150 UAIC
Research
>
Events
> Scientific Seminars
Scientific Seminars
Future seminars
No scientific seminars planned.
The previous seminar
20.04.2010 12:00
- Catalin DIMA,
"
Satisfiability and model-checking for a variant of the Computational Tree Logic of Knowledge
"
[details...]
View archive >>
A. I. Cuza University of Iaşi