Joseph Sifakis

Talks

  • Linking Artificial and Natural Intelligence, IMT Lucca, September 2016
  • On the Nature of Computing, Heidelberg Laureate Forum, September 2016
  • Modeling Architectures and their Properties, IMT, Lucca, September 2016
  • The Internet of Things, North Eastern University, Shenyang, June 2016
  • The Internet of Things – The Ultimate ICT Revolution, EUNIS2016, June 2016, Thessaloniki
  • Coping with Complexity in Systems Engineering, China Software Trends Forum, June 2016, Dalian
  • The Internet of Things, The Daesan Foundation, Seoul, May 2016
  • ICT & Innovation – Facing the Global Challenges, INOTEX, Tehran, May 2016
  • The Internet of Things – Challenges and Work Directions, INC12, May 10-12, 2016, Leuven Belgium
  • Core Research Topics for CPS, Workshop on “Game Changing and Controversial Topics in Cyber Physical Systems”, Budapest University of Technology and Economics, April 15, 2016
  • Rigorous System Design, McMaster University March 10, 2016
  • The Global Brain and the Issue of Intelligence, WI-IAT 2015, Singapore, December 7 21, 2015
  • Rigorous System Design, CSD&M 2015, Paris, November 24, 2015
  • Rigorous System Design, BCTCS 2015, Middlesex University, September 2015
  • The Internet of Things, College de France, May 2015
  • The Internet of Things – The Ultimate ICT Revolution, French Embassy, Washington, April 2015
  • Critical Research Areas Driven by Industry Transformations, Panel Session DATE 2015 March 11, 2015
  • From Programs to Systems, Distinguished Seminar, Imperial College, London, 28 January 2015
  • Rigorous System Design, Symposium Coordination Models and Languages in honor of Farhad Arbab, CWI, January 9, 2015
  • Rigorous System Design, RTSS 2014, Rome, 4 December 2014
  • Building a Smarter World, TUCS 20 YEARS ANNIVERSARY, Turku, October 24, 2014
  • System Design – Challenges and Work Directions, MEMOCODE 2014, EPFL, October 20, 2014
  • Is Computing a Science? , Heidelberg Laureate Forum, September 2014
  • Rigorous System Design, Keynote Talk, PODC 2014, Paris, 16-18 July 2014
  • Design and Synthesis from Components, Dagstuhl Seminar, 1- 6 June 2014,Synthesis vs. Design for Component-based Systems
  • System Design – Challenges and Work Directions, Reactive Systems: Modeling, Development and Analysis, A Conference in Honor of David Harel, April 23-25, 2014, Rehovot
  • Academic Excellence and Knowledge Transfer to Society, Hearing on Horizon 2020 and the EIT
  • Panel: Academic excellence and knowledge transfer to society, European Parliament 19 February 2014, Brussels
  • System Design Science - Heidelberg Laureate Forum, September 2013
  • From Programs to Systems: Building a Smarter World, ACM India Annual Event, Chennai, January 25, 2013