Speakers:

• Noga Alon, Tel-Aviv University, Introductory remarks
• Arnon Avron, Tel-Aviv University, "Safety of formulas in query languages, in set theory and in metamathematics"
• Moti Gitik, Tel-Aviv University, "The power set function"
• Menachem Kojman, Ben-Gurion University, "Topological van der Waerden and Hindman theorem"
• Janos Makowsky, Technion, "On a problem by E. Speckor"
• Larry Manevitz, Haifa University, "Lessons of a lost logician"
• Amir Pnueli, Weizmann Institute, "Taming the infinite: Verifying parameterized systems"
• Boaz Trakhtenbrot, Tel-Aviv University, "Automata and circuits: Facets of continuous time"

Coffee and cake will be served. The event will be followed by a reception at Yoram's home! See www.math.tau.ac.il/~nachumd/yoram.html