Seminars details

  • World Logic Day | Logic, Computation, and Programming Languages
  • We will briefly overview how the interleaving threads of prolific research on logic, computation and programming languages has developed during the last 100 years or so, and are still very active today, leading to the design of programming languages for practical concurrent systems in which programs never crash, deadlock or livelock, and are the proof of its own correction. This will be a high level - dissemination type of talk, accessible to a broad audience.
  • 22/02/2023 14:00
  • Software Systems
  • Luís Caires (Director of NOVA LINCS, NOVA School of Science and Technology)