International Symposium in Honor of Nissim Francez' 65th Birthday

International Symposium in Honor of Nissim Francez' 65th BirthdayOn May 24th and 25th an international symposium entitled "Languages: From Formal to Natural" was held in the Computer Science Department to honor Prof. Nissim Francez on the occasion of his 65th birthday. Scholars from the United States, Holland,  Poland, and England joined colleagues from the Technion and other Israeli universities in presenting work related to the two major areas in which Prof. Francez has made major contributions: approaches to verifying and specifying complex (usually concurrent) programs, and natural language semantics. As the concluding lecture of the symposium, Prof. Francez gave an overview of his work, and pointed out promising new directions that he intends to investigate.

Photos

  • photo 1
  • photo 2
  • photo 3
  • photo 4
  • photo 5
  • photo 6
  • photo 7
  • photo 8
  • photo 9
  • photo 10
  • photo 11
  • photo 12
  • photo 13
  • photo 14
  • photo 15
  • photo 16
  • photo 17
  • photo 18
  • photo 19
  • photo 20
  • photo 21
  • photo 22
  • photo 23
  • photo 24
  • photo 25
  • photo 26
  • photo 27
  • photo 28
  • photo 29
  • photo 30
  • photo 31
  • photo 32
  • photo 33
  • photo 34
  • photo 35
  • photo 36
  • photo 37
  • photo 38
  • photo 39
  • photo 40
  • photo 41
  • photo 42
  • photo 43
  • photo 44
  • photo 45
  • photo 46
  • photo 47
  • photo 48
  • photo 49
  • photo 50
  • photo 51
  • photo 52
  • photo 53
  • photo 54
  • photo 55
  • photo 56
  • photo 57

Back to the news index Sunday, May 31, 2009