BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium - System Design – Challenges and Work Directions
DTSTART:20141020T161500
DTEND:20141020T173000
DTSTAMP:20260407T103543Z
UID:98c75b5057f8cc6836ae927f9ae6712a97ae6fdcaa7d5219d542d95c
CATEGORIES:Conferences - Seminars
DESCRIPTION:By : Joseph Sifakis - RiSD laboratory\, EPFLVideo of his talkA
 bstract :\nModern computing systems break with traditional systems\, such 
 as desktop computers and servers\, in various ways: 1) they are instrument
 ed in order to interact with physical environments\; 2) they are interconn
 ected to allow interaction between people and objects in entirely new mode
 s\; 3) they must be smart to ensure predictability of events and optimal u
 se of resources. Currently\, we lack theory methods and tools for building
  cost-effectively trustworthy systems.\nIn this talk\, I will discuss syst
 em design as a formal and accountable process leading from requirements to
  correct-by-construction implementations. I will also discuss current limi
 tations of the state of the art and advocate a coherent scientific foundat
 ion for system design by presenting a vision raising three grand challenge
 s: 1) linking the cyber and the physical worlds\; 2) correct component-bas
 ed construction\; 3) intelligence.\nI will conclude with general remarks a
 bout the nature of computing and advocate a deeper interaction and cross-f
 ertilization with other more mature scientific disciplines.Bio :\nJoseph S
 ifakis is a computer scientist\, laureate of the 2007 Turing Award\, along
  with Edmund M. Clarke and E. Allen Emerson\, for his work on model checki
 ng.\nHe studied Electrical Engineering at the National Technical Universit
 y of Athens and Computer Science at the University of Grenoble. He is the 
 founder of the Verimag laboratory\, which he directed for 15 years.\nHe is
  a Full Professor at EPFL\, Lausanne. His current research interests cover
  fundamental and applied aspects of embedded systems design. The main focu
 s of his work is on the formalization of system design as a process leadin
 g from given requirements to trustworthy\, optimized and correct-by-constr
 uction implementations. \nJoseph Sifakis is a member of the French Academ
 y of Sciences\, a member of the French National Academy of Engineering and
  a member of Academia Europea. He is a Grand Officer of the French Nationa
 l Order of Merit\, a Commander of the French Legion of Honor and a Command
 er of the Greek Order of the Phoenix. He has received the Leonardo da Vinc
 i Medal in 2012. He is the President of the Greek National Council for Res
 earch and Technology.More information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR