[Plug] Τετάρτη 2008-12-17

[Michael Iatrou]

Γεια χαρά,

Πρώτα μια ανακοίνωση:

-----------------------------------------------------------------------

Ο κ. Ιωσήφ Σηφάκης, βραβείο Turing Πληροφορικής 2007, Διευθυντής Ερευνών του 
CNRS (Εθνικό Κέντρο Επιστημονικών Ερευνών της Γαλλίας), Διευθυντής του 
Εργαστηρίου Verimag (CNRS/Πανεπιστήμιο της Grenoble/INP) βραβευμένος με το 
αργυρό μετάλλιο του CNRS το 2001, προτίθεται να δώσει διάλεξη την
Τετάρτη 17 Δεκεμβρίου και ώρα 16:00 με θέμα 

The Quest for Correctness - Beyond Verification 

Η διάλεξη θα γίνει στο Αμφιθέατρο Ι-4 του Συνεδριακού και Πολιτιστικού 
Κέντρου Πανεπιστημίου Πατρών.

Περίληψη της διάλεξης
Joseph Sifakis
Verimag Laboratory

I discuss main achievements in the area of formal verification, in 
particular regarding their impact on the development of Computer Science as 
a discipline as well as future research directions. 
The presentation starts with a short overview of formal verification 
techniques and their main characteristics followed by an analysis of their 
current status with respect to 1) requirements specification; 2) 
faithfulness of modeling; 3) scalability of verification methods. 
Compositional modeling and verification is the main challenge for tackling 
complexity. I identify two complementary research directions for overcoming 
current difficulties in compositional techniques. 1) Moving from low-level 
automata-based composition to component-based composition, by developing 
frameworks encompassing heterogeneous components; 2) Use such frameworks to 
study compositionality techniques for particular architectures and/or 
specific properties. 
I argue that these directions are not only an opportunity for reinvigorating 
formal verification, but they also lead to constructivity results which 
will help to close the gap between Formal Methods / Verification and 
Algorithms / Complexity

-----------------------------------------------------------------------

Επομένως, ας κάνουμε τη συνάντηση στις 19:30. Όποιος καλός άνθρωπος μπορέσει 
να φέρει laptop/netbook θα βοηθήσει πολύ.

-- 
 Μιχάλης Ιατρού (yptv)