BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:A Vision for Computer Science – The System Perspective 
DTSTART:20110408T141500
DTSTAMP:20260408T085029Z
UID:90bba1e18e7f9ebe93abd01d66dfa67316de0ea998e851bec398daa2
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Joseph Sifakis\, Verimag Laboratory\nAbstract : In this 
 talk\, Joseph Sifakis will discuss the evolution of Computer Science and i
 n particular its shift of focus from algorithms and programs to systems. H
 e will advocate for a coherent scientific foundation of system design and 
 present a vision for its development in three work directions: \nMarrying 
 Physicality and Computation: Computation models ignore physical time and r
 esources and are by their nature very different from analytic models used 
 in physical systems engineering. In order to take into account interaction
  of computing systems with physical environments they must be enriched and
  extended with paradigms and methods from Electrical Engineering and Contr
 ol Theory.\nComponent-based Construction: Complex systems are designed by 
 assembling heterogeneous components. Heterogeneity has different sources i
 ncluding a large variety of interaction mechanisms\, synchronous or asynch
 ronous execution and different levels of abstraction. \nAdaptivity: Comple
 x systems must provide a service meeting given requirements in interaction
  with uncertain environments. Adaptivity is a means to enforce correctness
  in the presence of uncertainty by using control-based techniques. It enco
 mpasses a new and realistic vision for “intelligent systems” quite dif
 ferent from the “strong” vision of Artificial Intelligence. \nHe will 
 conclude with general remarks about the nature of Computer Science as a sc
 ientific discipline on its own right and advocate for a deeper interaction
  and cross-fertilization with other more mature disciplines.  \n\n\n\nBio 
 : Joseph Sifakis is a CNRS researcher and the founder of Verimag laborator
 y (http://www-verimag.imag.fr/)\, in Grenoble\, France. He studied Electri
 cal Engineering at the Technical University of Athens and Computer Science
  at the University of Grenoble. \nJoseph Sifakis is recognized for his pio
 neering work on both theoretical and practical aspects of Concurrent Syste
 ms Specification and Verification. He contributed to the emergence of mode
 l-checking\, currently the most widely-used method for the verification of
  industrial applications. His current research activities include componen
 t-based design\, modeling\, and analysis of real-time systems with focus o
 n correct-by-construction techniques (http://www-verimag.imag.fr/~sifakis/
 ).  \nJoseph Sifakis has received with Ed Clarke and Allen Emerson for the
 ir contribution to Model Checking\, the Turing Award for 2007 (http://awar
 ds.acm.org/homepage.cfm?srt=all&awd=140). 
LOCATION:INM 202
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR